Formal Biochemical Space for Specification and Analysis of Biochemical Processes – Bc. Matej Troják
Bc. Matej Troják
Master's thesis
Formal Biochemical Space for Specification and Analysis of Biochemical Processes
Formal Biochemical Space for Specification and Analysis of Biochemical Processes
Abstract:
V tejto práci definujeme formálny modelovací jazyk založený na pravidlách ako formálnu časť Biochemického priestoru. Biochemický priestor je formát slúžiaci na popis reakčných sieti biologických procesov. Skladá sa z formálnej časti pre popis a neformálnej časti pre anotáciu dát. Biochemický priestor je vyvíjaný ako súčasť webovej platformy Comprehensive Modelling Platform slúžiacej na modelovanie …moreAbstract:
In this thesis, we define a formal rule-based language suitable for description and analysis of biological systems as a formal part of Biochemical Space. Biochemical Space is a semi-formal notation for reaction networks of biological systems. It is being developed as a part of the Comprehensive Modelling Platform - a web-based platform for modelling and analysis of biological processes. It provides …more
Language used: English
Date on which the thesis was submitted / produced: 12. 12. 2017
Identifier:
https://is.muni.cz/th/lgs7n/
Thesis defence
- Date of defence: 5. 2. 2018
- Supervisor: RNDr. David Šafránek, Ph.D.
- Reader: Mgr. Samuel Pastva
Citation record
ISO 690-compliant citation record:
TROJÁK, Matej. \textit{Formal Biochemical Space for Specification and Analysis of Biochemical Processes}. Online. Master's thesis. Brno: Masaryk University, Faculty of Informatics. 2017. Available from: https://theses.cz/id/rsci1m/.
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
Theses on a related topic
-
Formal representation of graphical models of biological systems
Samuel Kulíšek -
Formal Analysis of Rule-Based Models in Systems Biology
Matej Troják -
Model Checking Based Parameter Synthesis of Dynamical Systems in Biology
Martin Demko -
Formal Methods for Model Selection in Systems Biology
Matej Hajnal -
Construction of Algebraic Abstractions for Systems Biology
Jana Fabriková -
Formal representation of graphical models of biological systems
Samuel Kulíšek -
Computational analysis and model integration of biorhythmic systems
Jakub Šalagovič -
Parallel Parameter Synthesis for Hybrid Systems
Eva Šmijáková