Bc. Vilém Děd

Master's thesis

Agregace stavového prostoru biochemických dynamických modelů

State space aggregation for biochemical dynamical models
Abstract:
Práce se zaměřuje na numerické metody analýzy biologických systémů modelovaných pomocí Markovova řetězce spojitého času~(CTMC). Hlavní problém numerických metod spočívá v jejich velké výpočetní složitosti. V úvodní části práce je podán přehled obecných přístupů k modelovaní v systémové biologii. Dále jsou diskutovány přístupy umožňující urychlení analýzy CTMC modelů, přičemž je kladen důraz na techniky …more
Abstract:
This thesis focuses on numerical methods for analysis of biological systems modelled as Continuous Time Markov Chains~(CTMC). The numerical methods for stochastic systems typically suffer by high computational demands. The thesis first provides survey of general approaches of modeling in systems biology. We further present existing methods allowing to accelerate formal analyses of CTMCs. Main contribution …more
 
 
Language used: Czech
Date on which the thesis was submitted / produced: 25. 5. 2015

Thesis defence

  • Date of defence: 22. 6. 2015
  • Supervisor: RNDr. Milan Češka, Ph.D.
  • Reader: RNDr. Martin Demko

Citation record

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

Masaryk University

Faculty of Informatics

Master programme / field:
Applied Informatics / Bioinformatics

Theses on a related topic