Zpět na vyhledávání

Mgr. Jakub Šalagovič

Bachelor's thesis

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 …more
Abstract:
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 …more
 

Keywords

oscilácia vlastnosť analýza model cirkadiálny rytmus temporálna logika oscillation property analysis circadian rhythm temporal logic
 
Language used: Slovak
Date on which the thesis was submitted / produced: 14. 5. 2015
Identifier: https://is.muni.cz/th/g0z0q/

Thesis defence

  • Date of defence: 19. 6. 2015
  • Supervisor: RNDr. David Šafránek, Ph.D.
  • Reader: Ing. Jan Červený, Ph.D.

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

Masaryk University

Faculty of Informatics

Bachelor programme / field:
Applied Informatics / Bioinformatics

Theses on a related topic

List of theses with an identical keyword.