From Simple Regulatory Motifs to Parallel Model Checking of Complex Transcriptional Networks

Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216224%3A14330%2F08%3A00024175" target="_blank" >RIV/00216224:14330/08:00024175 - isvavai.cz</a>
Result on the web
—
DOI - Digital Object Identifier
—

Result language
angličtina
Original language name
From Simple Regulatory Motifs to Parallel Model Checking of Complex Transcriptional Networks
Original language description
The central mechanism which drives every living cell is protein synthesis, the so-called transcription, which is realized according to the genetic code. There are complex regulatory interactions that control transcription of genes to proteins. Owing to their inherent complexity, analysis of dynamical models of such interactions requires a scalable computational approach. In this paper we employ parallel LTL model checking for a case study of selected dynamic properties of an in silico model of transcription in Bacillus subtilis, a bacterium living in soil. Moreover, we show the general fact that crucial LTL properties characterising transcriptional dynamics can be inferred from network motifs commonly studied in systems biology.
Czech name
—
Czech description
—

Project
Result was created during the realization of more than one project. More information in the Projects tab.
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)<br>Z - Vyzkumny zamer (s odkazem do CEZ)

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

Article name in the collection
Proceedings of PDMC 2008 - Parallel and Distributed Methods ins VerifiCation
ISBN
—
ISSN
1571-0661
e-ISSN
—
Number of pages
15
Pages from-to
—
Publisher name
Ivana Cerna and Gerald Luettgen
Place of publication
Budapest
Event location
Budapest
Event date
Jan 1, 2008
Type of event by nationality
WRD - Celosvětová akce
UT code for WoS article
—

Similar results(10)