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
Abstract:
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 …moreAbstract:
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 …more
Language used: Czech
Date on which the thesis was submitted / produced: 30. 5. 2016
Identifier:
https://is.muni.cz/th/p60he/
Thesis defence
- Date of defence: 1. 7. 2016
- Supervisor: RNDr. David Šafránek, Ph.D.
- Reader: Mgr. Matej Klement
Citation record
ISO 690-compliant citation record:
HORÁČEK, Petr. \textit{Webový modul pro monitorování a analýzu robustnosti temporálních vlastností biologických systémů}. Online. Master's thesis. Brno: Masaryk University, Faculty of Informatics. 2016. Available from: https://theses.cz/id/q7okx7/.
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 informatikyMasaryk University
Faculty of InformaticsMaster programme / field:
Applied Informatics / Bioinformatics