Computational methods for discrete abstractions of ODE models – Bc. Jana Fabriková
Bc. Jana Fabriková
Master's thesis
Computational methods for discrete abstractions of ODE models
Computational methods for discrete abstractions of ODE models
Abstract:
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 …moreAbstract:
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 …more
Language used: English
Date on which the thesis was submitted / produced: 31. 5. 2010
Identifier:
https://is.muni.cz/th/heuyq/
Thesis defence
- Date of defence: 1. 7. 2010
- Supervisor: RNDr. David Šafránek, Ph.D.
- Reader: prof. RNDr. Jiří Barnat, Ph.D.
Citation record
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 InformaticsMaster programme / field:
Informatics / Parallel and Distributed Systems