Thesis/Dissertation: RNDr. Matej Troják, učo 410129: Rule-based Modelling of Biochemical Processes: Specification and Analysis
Doctoral thesis
Rule-based Modelling of Biochemical Processes: Specification and Analysis
Abstract
Modelovanie v systémovej biológii je kľúčovým nástrojom pri skúmaní študovaných systémov. Existuje mnoho prístupov k modelovaniu, medzi ktorými prepisovanie poskytuje vhodný mechanistický prístup na popisovanie systémov. Medzi prepisovacie formalizmy vhodné a osvedčené pre modelovanie v biológii patrí aj tzv. modelovanie založené na pravidlách. Tento prístup využíva abstraktný popis, ktorý umožňuje …more
Abstract
In systems biology, models play a crucial role in understanding the studied systems. There are many modelling approaches, among which rewriting systems provide a framework for describing systems on a mechanistic level. Besides other formalisms based on rewriting, the rule-based approach is one of the most suitable and well-established for modelling in biology. The approach employs abstraction that …more
31/1/2023 08:01, prof. RNDr. Luboš Brim, CSc.
Attachments
Readers
University of Namur
University of Edinburgh
ČSN ISO 690-compliant citation record
Theses on a related topic
List of theses with an identical keyword.
-
Computational analysis and model integration of biorhythmic systems
Mgr. Jakub Šalagovič, UČO 410340 -
Formal Analysis of Rule-Based Models in Systems Biology
RNDr. Matej Troják, Ph.D., UČO 410129 -
Efficient parameter identification for gene regulatory networks
Mgr. Adam Streck, UČO 325017 -
Mathematical models of systems biology
Mgr. Barbora Vítová, UČO 451530 -
Thematic Apperception Test – The Specifics of Content and Formal Analysis in Patients Addicted to Alcohol and other Addictive Substances
Mgr. Mária Jančinová -
Metabolic analysis of human pluripotent stem cells
Anton Salykin, Ph.D. -
Parameter Synthesis of Dynamical Systems via Model Checking
RNDr. Martin Demko, Ph.D., UČO 325073 -
Automatisation of biochemical space annotation
Mgr. Lukrécia Mertová




