Rigorózní práce

Formal Analysis of Rule-Based Models in Systems Biology

Mgr. Matej Troják, učo 410129
Anotace

Matematické modelovanie v systémovej biológii s využitím bežných prístupov je obvykle obmedzené kombinatorickou explóziou na úrovni popisu modelu. Jedným z potenciálnych prístupov, ktorý rieši tento problém, je špecifikácia biochemických interakcií pomocou pravidiel, ktoré umožňujú prezentáciu v stručnej a zrozumiteľnej forme. Takýto model založený na pravidlách sa dá použiť na automatické vygenerovanie …více

Abstract

The conventional mathematical modelling in systems biology is usually limited by the combinatorial explosion on the level of model description. One of the potential approaches is the idea to specify the biochemical interactions as rules, which allow the presentation in a concise and understandable form. The rule-based model can be used to generate different mathematical models automatically. The main …více

Klíčová slova
rule-based modelling formal analysis parameter synthesis robustness analysis static analysis model checking
Administrativní informace
Práce zkontrolována:
26. 11. 2019 07:13, prof. RNDr. Luboš Brim, CSc.
Plný text práce
1,5 MB / soubor PDF
Jazyk práce
angličtina angličtina
Termín obhajoby
17. 1. 2020
Práce byla úspěšně obhájena

Oponenti

prof. RNDr. Jiří Barnat, Ph.D., učo 3496
KTP FI MU
Prof. Jean-Marie Jacquet
Faculty of Computer Science, University of Namur
Citovat tuto práci
Masarykova univerzita Fakulta informatiky
Studijní program
Plán
Umělá inteligence a zpracování dat

Práce na příbuzné téma

Seznam prací, které mají shodná klíčová slova.

Podobné práce

  • Přidání souboru

    Soubor nebo složku lze nahrát pomocí tlačítka Přidat.

  • Další operace se soubory

    Podrobnosti lze zjistit označením příslušného řádku.

  • Pohled pro experty

    Pro častou práci je možné zvolit režim Více možností.

  • Vyhledávání souborů

    Vyhledávaný výraz můžete zadat přímo do adresního řádku.

  • Rychlý přístup k souborům

    Pomocí funkce Nedávné je možné se rychle vrátit k právě prohlíženým souborům. Oblíbené soubory je také možné označit Hvězdičkou.