Parallel Analysis of Genetic Regulatory Networks

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216224%3A14330%2F07%3A00019480" target="_blank" >RIV/00216224:14330/07:00019480 - isvavai.cz</a>

Výsledek na webu

—

DOI - Digital Object Identifier

—

Jazyk výsledku

angličtina

Název v původním jazyce

Parallel Analysis of Genetic Regulatory Networks

Popis výsledku v původním jazyce

The use of model checking for the analysis of biological networks has attracted much attention recently. However, one of the practical limitations is the size of the model. The primary aim of this work is to demonstrate that such a limitation can be overcome by employing parallel LTL model checking.

Název v anglickém jazyce

Parallel Analysis of Genetic Regulatory Networks

Popis výsledku anglicky

The use of model checking for the analysis of biological networks has attracted much attention recently. However, one of the practical limitations is the size of the model. The primary aim of this work is to demonstrate that such a limitation can be overcome by employing parallel LTL model checking.

Druh

O - Ostatní výsledky

CEP obor

IN - Informatika

OECD FORD obor

—

Projekt

<a href="/cs/project/1ET408050503" target="_blank" >1ET408050503: Techniky automatické verifikace a validace softwarových a hardwarových systémů</a><br>

Návaznosti

Z - Vyzkumny zamer (s odkazem do CEZ)

Rok uplatnění

2007

Kód důvěrnosti údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů