Rewriting complex biological models in stochastic process algebras: a case study – Mgr. Andrej Tokarčík
Mgr. Andrej Tokarčík
Bachelor's thesis
Rewriting complex biological models in stochastic process algebras: a case study
Rewriting complex biological models in stochastic process algebras: a case study
Abstract:
Cieľom bakalárskej práce je zanalyzovať efektivitu aplikácie operačných prístupov na problém modelovania dynamických biologických systémov, v protiklade s bežnými denotačnými technikami využívajúcimi sústavy obyčajných diferenciálnych rovníc. Jazyky tohto prístupu sa vyznačujú modularitou, stručnosťou zápisu a vhodnosťou k formálnej analýze. Uvádzam postup reformulácie konkrétneho modelu fluorescenčného …moreAbstract:
The thesis objective is to analyse effectiveness of applying operational approaches to the problem of modelling dynamical biological systems, in contrast to conventional denotational techniques utilising systems of ordinary differential equations. The process-based languages are distinguished by modularity, succinctness and predisposition for formal analysis. Reformulation of a concrete model of chlorophyll …more
Language used: English
Date on which the thesis was submitted / produced: 22. 5. 2012
Identifier:
https://is.muni.cz/th/c7rc0/
Thesis defence
- Date of defence: 21. 6. 2012
- Supervisor: RNDr. David Šafránek, Ph.D.
- Reader: Ing. Matej Lexa, Ph.D.
Citation record
ISO 690-compliant citation record:
TOKARČÍK, Andrej. \textit{Rewriting complex biological models in stochastic process algebras: a case study}. Online. Bachelor's thesis. Brno: Masaryk University, Faculty of Informatics. 2012. Available from: https://theses.cz/id/6uowvy/.
Full text of thesis
Contents of on-line thesis archive
Published in Theses:- světu
Other ways of accessing the text
Institution archiving the thesis and making it accessible: Masarykova univerzita, Fakulta informatikyMasaryk University
Faculty of InformaticsBachelor programme / field:
Applied Informatics / Applied Informatics
Theses on a related topic
-
Stochastický kalkulus a jeho aplikace
Libuše Fárková -
Computational analysis and model integration of biorhythmic systems
Jakub Šalagovič -
Je možné, že právě spím?
Tomáš Javůrek -
Podnikatelský plán pro společnost JEZ&SPI
Michaela Smolíková -
Automatické generování testů pro GNOME GUI aplikace z metadat AT-SPI
Martin Krajňák -
Vážky jako deštníkové druhy nebo spíš druhy pod deštníkem?
Martina Valešová -
Konfigurovatelné SPI zařízení
Pavol Ženčár -
Doplnění SPI u parcel nedostatečně indentifikovatelných vlastníků
Jana Tomanová