High-performance analysis of biological systems dynamics with the DiVinE model checker

Logo poskytovatele
Logo poskytovatele

Varování

Publikace nespadá pod Fakultu sportovních studií, ale pod Fakultu informatiky. Oficiální stránka publikace je na webu muni.cz.
Autoři

BARNAT Jiří BRIM Luboš ŠAFRÁNEK David

Rok publikování 2010
Druh Článek v odborném periodiku
Časopis / Zdroj Briefings in Bioinformatics
Fakulta / Pracoviště MU

Fakulta informatiky

Citace
www
Obor Informatika
Klíčová slova molecular interaction networks; mathematical modeling and computer simulation; kinetic models; discrete abstraction; high-performance computing; model checking
Popis Článek představuje paralelní distribuovaný model checker DiVinE ve vazbě na aplikaci v systémové biologii. Prostřednictvím metody model checking lze analyzovat dynamiku modelů biochemických reakcí. Článek shrnuje výsledky dosažené v oblasti škálovatelnosti algoritmu model checkingu pro lineární temprální logiku na paralelních architekturách. Představeny jsou výsledky aplikace na konkrétní problémy v systémové biologii.
Související projekty:

Používáte starou verzi internetového prohlížeče. Doporučujeme aktualizovat Váš prohlížeč na nejnovější verzi.

Další info