Back to search

Bc. Aleš Pejznoch

Master's thesis

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

Parameter Synthesis for Sigmoid Kinetic Models
Abstract:
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 …more
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 …more
 

Keywords

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
 
Language used: Czech
Date on which the thesis was submitted / produced: 25. 5. 2015
Identifier: https://is.muni.cz/th/r3s0e/

Thesis defence

  • Date of defence: 22. 6. 2015
  • Supervisor: RNDr. David Šafránek, Ph.D.
  • Reader: Mgr. Matej Klement

Citation record

Cite this text

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 informatiky
Složka Reference to the local database directory of the institution