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

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: From Simple Regulatory Motifs to Parallel Model Checking of Complex Transcriptional Networks Goto Sponge NotDistinct Permalink

An Entity of Type : http://linked.opendata.cz/ontology/domain/vavai/Vysledek, within Data Space : linked.opendata.cz associated with source document(s)

Attributes	Values
rdf:type	skos:Concept http://linked.opendata.cz/ontology/domain/vavai/Vysledek
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. 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. (en)
Title	From Simple Regulatory Motifs to Parallel Model Checking of Complex Transcriptional Networks From Simple Regulatory Motifs to Parallel Model Checking of Complex Transcriptional Networks (en)
skos:prefLabel	From Simple Regulatory Motifs to Parallel Model Checking of Complex Transcriptional Networks From Simple Regulatory Motifs to Parallel Model Checking of Complex Transcriptional Networks (en)
skos:notation	RIV/00216224:14330/08:00024175!RIV10-MSM-14330___
http://linked.open...avai/riv/aktivita	P Z
http://linked.open...avai/riv/aktivity	P(1ET408050503), P(1M0545), Z(MSM0021622419)
http://linked.open...vai/riv/dodaniDat	2010
http://linked.open...aciTvurceVysledku	Šafránek, David Černá, Ivana Barnat, Jiří Brim, Luboš Dražan, Sven
http://linked.open.../riv/druhVysledku	D - Článek ve sborníku
http://linked.open...iv/duvernostUdaju	S - Úplné a pravdivé údaje nepodléhající ochraně podle zvláštních právních předpisů
http://linked.open...titaPredkladatele	Masarykova univerzita / Fakulta informatiky
http://linked.open...dnocenehoVysledku	368628
http://linked.open...ai/riv/idVysledku	RIV/00216224:14330/08:00024175
http://linked.open...riv/jazykVysledku	eng - angličtina
http://linked.open.../riv/klicovaSlova	transcriptional networks; model checking; B. subtilis (en)
http://linked.open.../riv/klicoveSlovo	model checking B. subtilis transcriptional networks
http://linked.open...ontrolniKodProRIV	[8D84A7F92DA8]
http://linked.open...v/mistoKonaniAkce	Budapest
http://linked.open...i/riv/mistoVydani	Budapest
http://linked.open...i/riv/nazevZdroje	Proceedings of PDMC 2008 - Parallel and Distributed Methods ins VerifiCation
http://linked.open...in/vavai/riv/obor	IN
http://linked.open...ichTvurcuVysledku	5 (xsd:int)
http://linked.open...cetTvurcuVysledku	5 (xsd:int)
http://linked.open...vavai/riv/projekt	Institute for Theoretical Computer Science Techniques for automatic verification and validation of software and hardware systems
http://linked.open...UplatneniVysledku	2008
http://linked.open...iv/tvurceVysledku	Barnat, Jiří Brim, Luboš Černá, Ivana Šafránek, David Dražan, Sven
http://linked.open...vavai/riv/typAkce	WRD - Světová
http://linked.open.../riv/zahajeniAkce	2008-01-01 (xsd:date)
http://linked.open...n/vavai/riv/zamer	Highly Parallel and Distributed Computing Systems
issn	1571-0661
number of pages	15 (xsd:int)
http://purl.org/ne...btex#hasPublisher	Ivana Cerna and Gerald Luettgen
http://localhost/t...ganizacniJednotka	14330

Faceted Search & Find service v1.16.118 as of Jun 21 2024

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3240 as of Jun 21 2024, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (126 GB total memory, 58 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software