Construction of Algebraic Abstractions for Systems Biology – Mgr. Jana Fabriková
Mgr. Jana Fabriková
Rigorózní práce
Construction of Algebraic Abstractions for Systems Biology
Construction of Algebraic Abstractions for Systems Biology
Anotace:
Systémová biologie zahrnuje výzkum genetických regulací a biochemických interakcí mezi molekulami uvnitř buňky. Zaměřme se na deterministické modelování těchto procesů, při kterém je model dán jako systém obecných diferenciálních rovnic (ODR) nebo hybridní systém s dynamikou danou systémy ODR. Obecně jsou problémy dosažitelnosti a ověřování modelu nerozhodnutelné pro spojité systémy a hybridní automaty …víceAbstract:
Systems biology includes the study of genetic regulation and biochemical interaction of molecules inside a cell. We focus on deterministic modeling of such processes, where the model is given as a system of differential equations (ODEs) or a hybrid system with dynamics given as a set of systems of ODEs. In general, the reachability and the model checking problem are undecidable for continuous systems …více
Jazyk práce: angličtina
Datum vytvoření / odevzdání či podání práce: 21. 2. 2012
Identifikátor:
https://is.muni.cz/th/oczsw/
Obhajoba závěrečné práce
- Obhajoba proběhla 23. 5. 2012
- Oponent: Prof. Jan H. van Schuppen, Mgr. Jana Němcová, 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 informatikyRigorózní řízení / obor:
Informatika / Informatika
Práce na příbuzné téma
-
Abstraction-Based Analysis of Continuous-Time Models in System Biology
Jana Dražanová -
Model Checking Based Parameter Synthesis of Dynamical Systems in Biology
Martin Demko -
The Use of CLIL in Teaching English and Biology at a Czech Secondary School
Klára Foltýnová -
Abstraction-Based Analysis of Continuous-Time Models in System Biology
Jana Dražanová -
The non-coding and coding RNA networks in the biology of B-cell leukemias and lymphomas
Sonali Sharma -
Formal Analysis of Rule-Based Models in Systems Biology
Matej Troják -
The importance of PIWI-interacting RNA pathway in the glioblastoma stem cell biology
Martin Kopecký -
The Consequences of CK1ε-induced Phosphorylation of the Selected Components of the WNT/β-catenin Pathway: Structural Biology Point of View
Jakub Harnoš