Formální modely oscilací v biologii a jejich analýza – Mgr. Jakub Šalagovič
Mgr. Jakub Šalagovič
Bakalářská práce
Formální modely oscilací v biologii a jejich analýza
Formal models of biological oscillation and their analysis
Abstract:
This thesis deals with the specification of oscillatory properties and their analysis on selected models. Specifically, two models for the circadian rhythms of cyanobacteria and two minimal oscillatory models have been chosen. Their translation into BioNetGen Language (BNGL) have been considered as a starting point. The thesis contains a summary of selected techniques for formal specification and analysis …víceAbstract:
Táto práca sa zaoberá špecifikáciou oscilačných vlastností a ich analýzou na vybraných modeloch. Konkrétne ide o dva modely cirkadiálnych rytmov siníc a dva minimálne modely oscilácií. Východiskom je ich prepis do jazyka BioNetGen Language (BNGL). Práca obsahuje prehľad vybraných techník pre formálnu špecifikáciu a analýzu oscilačných vlastností. Základné vlastnosti oscilácií sú definované najmä pomocou …více
Jazyk práce: slovenština
Datum vytvoření / odevzdání či podání práce: 14. 5. 2015
Identifikátor:
https://is.muni.cz/th/g0z0q/
Obhajoba závěrečné práce
- Obhajoba proběhla 19. 6. 2015
- Vedoucí: RNDr. David Šafránek, Ph.D.
- Oponent: Ing. Jan Červený, Ph.D.
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 informatikyMasarykova univerzita
Fakulta informatikyBakalářský studijní program / obor:
Aplikovaná informatika / Bioinformatika
Práce na příbuzné téma
-
Specification and monitoring of oscillation properties in dynamical systems
Petr Dluhoš -
Computational analysis and model integration of biorhythmic systems
Jakub Šalagovič -
A business model analysis of a local furniture retailer
Philipp Reiter -
Analysis of banking companies of Belgium banking sector using the fundamental analysis approach
Sofya Chernysheva