TROJÁK, Matej, David ŠAFRÁNEK, Jakub ŠALAGOVIČ, Františka ROMANOVSKÁ a Matej HAJNAL. Biochemical Space: A Framework for Formal Description and Annotation of Complex Biological Processes. In The 8th International Workshop on Static Analysis for Systems Biology. 2017.
Další formáty:   BibTeX LaTeX RIS
Základní údaje
Originální název Biochemical Space: A Framework for Formal Description and Annotation of Complex Biological Processes
Autoři TROJÁK, Matej, David ŠAFRÁNEK, Jakub ŠALAGOVIČ, Františka ROMANOVSKÁ a Matej HAJNAL.
Vydání The 8th International Workshop on Static Analysis for Systems Biology, 2017.
Další údaje
Originální jazyk angličtina
Typ výsledku Prezentace na konferencích
Obor 10201 Computer sciences, information science, bioinformatics
Stát vydavatele Česká republika
Utajení není předmětem státního či obchodního tajemství
Organizační jednotka Fakulta informatiky
Klíčová slova anglicky formal specification; biological systems; systems biology; rule-based language
Příznaky Mezinárodní význam, Recenzováno
Změnil Změnil: RNDr. Matej Troják, Ph.D., učo 410129. Změněno: 5. 9. 2017 18:59.
Anotace
Biochemical Space is a novel framework for practical description of complex biological processes. It is developed as a part of Comprehensive Modeling Platform - a web-based platform for modeling and analysis of biological processes. In the context of the platform, Biochemical Space binds complicated quantitative models with an easy-to-understand, yet formal and compact qualitative description. It allows us to specify formal and well-annotated reaction networks of chemical entities and elemental reactions onto which the mathematical models are projected. Biochemical Space is supported by Biochemical Space Language that combines state-of-the-art rule-based techniques with metadata formats developed in well-known annotation databases.
Návaznosti
MUNI/A/0945/2015, interní kód MUNázev: Rozsáhlé výpočetní systémy: modely, aplikace a verifikace V.
Investor: Masarykova univerzita, Rozsáhlé výpočetní systémy: modely, aplikace a verifikace V., DO R. 2020_Kategorie A - Specifický výzkum - Studentské výzkumné projekty
VytisknoutZobrazeno: 21. 9. 2024 05:27