Rigorózní práce

Construction of Algebraic Abstractions for Systems Biology

Mgr. Jana Fabriková, učo 139877
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íce

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 …více

Klíčová slova
systems biology discrete abstraction algebraic model checking
Administrativní informace
Práce zkontrolována:
22. 2. 2012 07:46, prof. RNDr. Luboš Brim, CSc.
Plný text práce
2,6 MB / soubor PDF
Jazyk práce
angličtina angličtina
Termín obhajoby
23. 5. 2012
Práce byla úspěšně obhájena

Oponenti

Prof. Jan H. van Schuppen
CWI Amsterdam
Mgr. Jana Němcová, Ph.D.
VŠCHT v Praze
Citovat tuto práci
Masarykova univerzita Fakulta informatiky
Studijní program
Informatika
Obor

Práce na příbuzné téma

Seznam prací, které mají shodná klíčová slova.

Podobné práce

  • Přidání souboru

    Soubor nebo složku lze nahrát pomocí tlačítka Přidat.

  • Další operace se soubory

    Podrobnosti lze zjistit označením příslušného řádku.

  • Pohled pro experty

    Pro častou práci je možné zvolit režim Více možností.

  • Vyhledávání souborů

    Vyhledávaný výraz můžete zadat přímo do adresního řádku.

  • Rychlý přístup k souborům

    Pomocí funkce Nedávné je možné se rychle vrátit k právě prohlíženým souborům. Oblíbené soubory je také možné označit Hvězdičkou.