2008
Parallel Model Checking Large-Scale Genetic Regulatory Networks with DiVinE
BARNAT, Jiří, Luboš BRIM, Ivana ČERNÁ, Sven DRAŽAN, David ŠAFRÁNEK et. al.Základní údaje
Originální název
Parallel Model Checking Large-Scale Genetic Regulatory Networks with DiVinE
Název česky
Paralelní ověřování rozsáhlých genetických regulačních sítí nástrojem DiVinE
Autoři
BARNAT, Jiří (203 Česká republika), Luboš BRIM (203 Česká republika), Ivana ČERNÁ (203 Česká republika), Sven DRAŽAN (203 Česká republika) a David ŠAFRÁNEK (203 Česká republika, garant)
Vydání
Vol. 194/3. Elsevier, Electronic Notes in Theoretical Computer Science, od s. 35-50, 15 s. 2008
Nakladatel
Elsevier Science
Další údaje
Jazyk
angličtina
Typ výsledku
Stať ve sborníku
Obor
10201 Computer sciences, information science, bioinformatics
Stát vydavatele
Česká republika
Utajení
není předmětem státního či obchodního tajemství
Kód RIV
RIV/00216224:14330/08:00024143
Organizační jednotka
Fakulta informatiky
ISSN
Klíčová slova anglicky
genetic regulatory networks; discrete simulation; parallel model checking
Příznaky
Mezinárodní význam, Recenzováno
Změněno: 18. 11. 2008 12:30, prof. RNDr. Luboš Brim, CSc.
V originále
Studies of cells in silico can greatly reduce the need for expensive and prolonged laboratory experimentation. The use of model checking for the analysis of biological networks has attracted much attention recently. One of the practical limitations is the size of the model. In the paper we report on parallel model checking of genetic regulatory network using the model-checker DiVinE. The approach can check linear time properties on large networks.
Česky
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í.
Návaznosti
| MSM0021622419, záměr |
| ||
| 1ET408050503, projekt VaV |
|