Rewriting complex biological models in stochastic process algebras: a case study – Mgr. Andrej Tokarčík
Mgr. Andrej Tokarčík
Bakalářská práce
Rewriting complex biological models in stochastic process algebras: a case study
Rewriting complex biological models in stochastic process algebras: a case study
Anotace:
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 …víceAbstract:
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 …více
Jazyk práce: angličtina
Datum vytvoření / odevzdání či podání práce: 22. 5. 2012
Identifikátor:
https://is.muni.cz/th/c7rc0/
Obhajoba závěrečné práce
- Obhajoba proběhla 21. 6. 2012
- Vedoucí: RNDr. David Šafránek, Ph.D.
- Oponent: Ing. Matej Lexa, Ph.D.
Citační záznam
Plný text práce
Obsah online archivu závěrečné práce
Zveřejněno v Theses:- světu
Jak jinak získat přístup k textu
Instituce archivující a zpřístupňující práci: Masarykova univerzita, Fakulta informatikyMasarykova univerzita
Fakulta informatikyBakalářský studijní program / obor:
Aplikovaná informatika / Aplikovaná informatika
Práce na příbuzné téma
-
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á -
Doplnění SPI u parcel nedostatečně indentifikovatelných vlastníků
Jana Tomanová -
Vážky jako deštníkové druhy nebo spíš druhy pod deštníkem?
Martina Valešová -
Konfigurovatelné SPI zařízení
Pavol Ženčár -
Komparácia filmových adaptácií s knižnými predlohami spi-sovateľa Terryho Pratchetta
Jana Sedláčková