Mgr. Jana Fabriková

Advanced ('rigorózní') thesis

Construction of Algebraic Abstractions for Systems Biology

Construction of Algebraic Abstractions for Systems Biology
Anotácia:
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 …viac
Abstract:
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 …viac
 
 
Jazyk práce: English
Datum vytvoření / odevzdání či podání práce: 21. 2. 2012

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.

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 informatiky