Formal representation of graphical models of biological systems – Samuel Kulíšek
Samuel Kulíšek
Bachelor's thesis
Formal representation of graphical models of biological systems
Formal representation of graphical models of biological systems
Abstract:
Práca sa zaoberá automatizáciou prevodu existujúcich Systems Biology Graphical Notation Process Description (SBGN-PD) diagramov do modelu založeného na pravidlách v jazyku Biochemical Space Language (BCSL) vyvíjaného Fakultou Informatiky. Tento model založený na pravidlách by mal byť načítateľný programom eBCSgen. Táto práca obsahuje zhrnutie existujúcich formátov súborov používaných na ukladanie SBGN …moreAbstract:
This thesis focuses on the automation of transforming the existing Systems Biology Graphical Notation Process Description maps (SBGN-PD) into a rule-based model in the Biochemical Space Language (BCSL) developed by the Faculty of Informatics. This rule-based model should be readable by the tool eBCSgen. This thesis includes an analysis of existing file formats used for containing SBGN Process Diagrams …more
Language used: English
Date on which the thesis was submitted / produced: 25. 5. 2021
Identifier:
https://is.muni.cz/th/nm01y/
Thesis defence
- Date of defence: 30. 6. 2021
- Supervisor: doc. RNDr. David Šafránek, Ph.D.
- Reader: Mgr. Samuel Pastva
Citation record
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 InformaticsBachelor programme / field:
Applied Informatics / Applied Informatics
Theses on a related topic
-
Formal Biochemical Space for Specification and Analysis of Biochemical Processes
Matej Troják -
Formal Analysis of Rule-Based Models in Systems Biology
Matej Troják -
Formal Methods for Model Selection in Systems Biology
Matej Hajnal -
Formal Biochemical Space for Specification and Analysis of Biochemical Processes
Matej Troják -
Computational analysis and model integration of biorhythmic systems
Jakub Šalagovič -
Parallel Parameter Synthesis for Hybrid Systems
Eva Šmijáková