Computational methods for discrete abstractions of ODE models – Bc. Jana Fabriková
Bc. Jana Fabriková
Diplomová práce
Computational methods for discrete abstractions of ODE models
Computational methods for discrete abstractions of ODE models
Anotace:
Diplomová práce popisuje proces získání automatu obdélníkové abstrakce z daného biologického modelu zadaného jako množinu chemických látek a reakcí s kinetikou danou zákonem působení aktivní hmoty a popisuje problém nadaproximace obdélníkové abstrakce. Řešení některých z těchto problémů je navrženo a je definována pravděpodobnostní míra konečných běhů automatu obdélníkové abstrakce popisující míru …víceAbstract:
Thesis describes the process of obtaining a rectangular abstraction automaton from a biological model given as a set of chemical species and reactions with mass action kinetics and describes the overapproximation problems of rectangular abstraction. A solution to some of these problems is proposed and a probabilistic measure on the finite paths of the rectangular abstraction automaton describing the …více
Jazyk práce: angličtina
Datum vytvoření / odevzdání či podání práce: 31. 5. 2010
Identifikátor:
https://is.muni.cz/th/heuyq/
Obhajoba závěrečné práce
- Obhajoba proběhla 1. 7. 2010
- Vedoucí: RNDr. David Šafránek, Ph.D.
- Oponent: prof. RNDr. Jiří Barnat, Ph.D.
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 informatikyMagisterský studijní program / obor:
Informatika / Paralelní a distribuované systémy