Webový modul pro monitorování a analýzu robustnosti temporálních vlastností biologických systémů – Mgr. Ing. Bc. Petr Horáček
Mgr. Ing. Bc. Petr Horáček
Master's thesis
Webový modul pro monitorování a analýzu robustnosti temporálních vlastností biologických systémů
Web module for monitoring and robustness analysis of temporal properties of biological systems
Anotácia:
Tato diplomová práce se zabývá návrhem a implementací webového modulu pro monitorování a analýzu robustnosti temporálních vlastností biologických systémů na portálu www.e-cyanobacterium.org. Tento modul výpočtem lokální robusnosti umožňuje nejen kvalitativní rozhodnutí o platnosti STL formule zachycující nějakou vlastnost modelovaného systému, ale poskytuje také kvantitativní informaci o tom, s jakou …viacAbstract:
This thesis deals with design and implementation of web module for monitoring and robustness analysis of temporal properties of biological systems on www.e-cyanobacterium.org. This module, using local robustness, allows not only deciding about validity of STL formula, but also provides quantitative information about how much is the formula satisfied. The thesis describes in detail the functions of …viac
Jazyk práce: Czech
Datum vytvoření / odevzdání či podání práce: 30. 5. 2016
Identifikátor:
https://is.muni.cz/th/p60he/
Obhajoba závěrečné práce
- Obhajoba proběhla 1. 7. 2016
- Vedúci: RNDr. David Šafránek, Ph.D.
- Oponent: Mgr. Matej Klement
Citační záznam
Citace dle ISO 690:
HORÁČEK, Petr. \textit{Webový modul pro monitorování a analýzu robustnosti temporálních vlastností biologických systémů}. Online. Diplomová práca. Brno: Masarykova univerzita, Faculty of Informatics. 2016. Dostupné z: https://theses.cz/id/q7okx7/.
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 informatikyMasaryk University
Faculty of InformaticsMaster programme / odbor:
Applied Informatics / Bioinformatics