Parameter Scanning by Parallel Model Checking with Applications in Systems Biology

Logo poskytovatele
Logo poskytovatele

Varování

Publikace nespadá pod Ekonomicko-správní fakultu, 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:

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