Zpět na vyhledávání

Bc. Aleš Pejznoch

Diplomová práce

Syntéza parametrů pro sigmoidální kinetické modely

Parameter Synthesis for Sigmoid Kinetic Models
Anotace:
Práce se zabývá refaktorizací nástroje pro syntézu parametrů PEPMC, který je součástí nástroje BioDiVinE 1.5 vyvíjeného v Laboratoři systémové biologie na Fakultě informatiky Masarykovy univerzity v Brně. Dále je vyhodnocena efektivnost a praktická použitelnost nástroje. Text nejprve popisuje teoretická východiska, která jsou důležitá pro pochopení této práce. V další kapitole je představen nástroj …více
Abstract:
The aim of this thesis is to refactor parameter synthesis tool PEPMC, which is a component of the tool BioDiVinE 1.5 developed as a part of a research at the Systems Biology Laboratory at the Faculty of Informatics of Masaryk University in Brno. In the next step is evaluated the efficiency and practical accessibility of the tool. First, the text describes theory, which is important for understanding …více
 

Klíčová slova

biologický model ověřování modelu syntéza parametrů lineární temporální logika Büchiho automat obyčejné diferenciální rovnice po částech multi-afinní ODR model kinetika Michaelis-Mentenové Hillova kinetika biologic model model checking parameter synthesis linear temporal logic Büchi automaton ordinary differential equations piecewise multi-affine ODE model Michaelis-Menten kinetics Hill equation
 
Jazyk práce: čeština
Datum vytvoření / odevzdání či podání práce: 25. 5. 2015
Identifikátor: https://is.muni.cz/th/r3s0e/

Obhajoba závěrečné práce

  • Obhajoba proběhla 22. 6. 2015
  • Vedoucí: RNDr. David Šafránek, Ph.D.
  • Oponent: Mgr. Matej Klement

Citační záznam

Citovat tuto práci

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
Složka Odkaz na adresář do lokálního úložiště instituce