Parameter Scanning by Parallel Model Checking with Applications in Systems Biology

Varování

Publikace nespadá pod Ústav výpočetní techniky, ale pod Fakultu informatiky. Oficiální stránka publikace je na webu muni.cz.

Název česky	Skenování parametrů prostřednictvím paralelního modelcheckingu s aplikacemi v systémové biologii
Autoři	BARNAT Jiří BRIM Luboš ŠAFRÁNEK David VEJNÁR Martin
Rok publikování	2010
Druh	Článek ve sborníku
Konference	Ninth International Workshop on Parallel and Distributed Methods in Verification, and Second International Workshop on High Performance Computational Systems Biology
Fakulta / Pracoviště MU	Fakulta informatiky
Citace
Obor	Informatika
Klíčová slova	biological networks; parallel model checking; dy namic systems; parameter scanning; systems biology
Popis	Článek se zabývá škálovatelnou výpočetní metodou pro estimaci parametrů v biologických modelech vzhledem ke sledované dynamické vlastnosti. Presentovaná metoda využívá enumerativního algoritmu ověřování modelů v prostředí logiky lineárního času. Metoda je experimentálně ověřena na několika případových studiích.
Související projekty:	Vysoce paralelní a distribuované výpočetní systémy Verifikace a analýza velmi velkých počítačových systémů Automatizovaná formální verifikace s využitím soudobého hardware