Mgr. Tomáš Vejpustek

Bachelor's thesis

Visual Specification of Temporal Properties over Time Series

Visual Specification of Temporal Properties over Time Series
Abstract:
Tato práce představuje nový formalismus určený pro vizuální specifikaci temporálních vlastností, jehož účelem je tento proces usnadnit. Tento formalismus vychází z interpretace lineární temporální logiky na časové řadě a je odvozen z temporálních vlastností daných časovou řadou, která může tvořit výstup experimentu in vivo, in vitro nebo in silico. Důležitou částí této práce je implementace prototypu …more
Abstract:
This work presents a new formalism for visual specification of temporal properties as a means of this process facilitation. This formalism is based on linear temporal logic interpretation over time series and is derived from temporal properties specified by time series, which may constitute output of an experiment in vivo, in vitro or in silico. An important part of this thesis is implementation of …more
 

Keywords

systems biology biological modelling time series model checking temporal properties visual specification systémová biologie biologické modely časová řada temporální vlastnosti vizuální specifikace
 
Language used: English
Date on which the thesis was submitted / produced: 23. 5. 2011
Identifier: https://is.muni.cz/th/hnk9a/

Thesis defence

  • Date of defence: 24. 6. 2011
  • Supervisor: RNDr. David Šafránek, Ph.D.
  • Reader: Mgr. Sven Dražan

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