Zpět na vyhledávání

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 …more
Abstract:
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
 

Keywords

formal specification biological systems systems biology rule-based language
 
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

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