Parallel Model Checking Large-Scale Genetic Regulatory Networks with DiVinE

Varování

Publikace nespadá pod Filozofickou fakultu, ale pod Fakultu informatiky. Oficiální stránka publikace je na webu muni.cz.
Název česky Paralelní ověřování rozsáhlých genetických regulačních sítí nástrojem DiVinE
Autoři

BARNAT Jiří BRIM Luboš ČERNÁ Ivana DRAŽAN Sven ŠAFRÁNEK David

Rok publikování 2008
Druh Článek ve sborníku
Konference Electronic Notes in Theoretical Computer Science
Fakulta / Pracoviště MU

Fakulta informatiky

Citace
Obor Informatika
Klíčová slova genetic regulatory networks; discrete simulation; parallel model checking
Popis Studium buněk živých organismů prostřednictvím umělého modelu (in silico) se ukazuje jako metoda, která může značně usnadnit nákladný a obtížný laboratorní výzkum. Pro analýzu chování biochemických sítí je již několik let nasazována metoda ověřování modelů. Základním problémem při praktickém nasazení této metody je velikost stavového prostoru modelovaného systému molekulární dynamiky. V tomto článku je popsán paralelní přístup k simulaci a ověřování dynamických modelů biologických sítí.
Související projekty:

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