Informace o publikaci
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 | |
| Rok publikování | 2008 |
| Druh | Článek ve sborníku |
| Konference | Electronic Notes in Theoretical Computer Science |
| Fakulta / Pracoviště MU | |
| 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: |