Další formáty:
BibTeX
LaTeX
RIS
@inproceedings{763157,
author = {Barnat, Jiří and Brim, Luboš and Černá, Ivana and Dražan, Sven and Šafránek, David},
address = {Budapest},
booktitle = {Proceedings of PDMC 2008 - Parallel and Distributed Methods ins VerifiCation},
keywords = {transcriptional networks; model checking; B. subtilis},
language = {eng},
location = {Budapest},
pages = {83-96},
publisher = {Ivana Cerna and Gerald Luettgen},
title = {From Simple Regulatory Motifs to Parallel Model Checking of Complex Transcriptional Networks},
year = {2008}
}
TY - JOUR
ID - 763157
AU - Barnat, Jiří - Brim, Luboš - Černá, Ivana - Dražan, Sven - Šafránek, David
PY - 2008
TI - From Simple Regulatory Motifs to Parallel Model Checking of Complex Transcriptional Networks
PB - Ivana Cerna and Gerald Luettgen
CY - Budapest
KW - transcriptional networks
KW - model checking
KW - B. subtilis
N2 - 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.
ER -
BARNAT, Jiří, Luboš BRIM, Ivana ČERNÁ, Sven DRAŽAN a David ŠAFRÁNEK. From Simple Regulatory Motifs to Parallel Model Checking of Complex Transcriptional Networks. In \textit{Proceedings of PDMC 2008 - Parallel and Distributed Methods ins VerifiCation}. Budapest: Ivana Cerna and Gerald Luettgen. s.~83-96, 15 s. ISSN~1571-0661. 2008.
|
