This HTML5 document contains 51 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
dctermshttp://purl.org/dc/terms/
n19http://localhost/temp/predkladatel/
n15http://linked.opendata.cz/resource/domain/vavai/projekt/
n6http://linked.opendata.cz/resource/domain/vavai/riv/tvurce/
n7http://linked.opendata.cz/ontology/domain/vavai/
n10http://linked.opendata.cz/resource/domain/vavai/zamer/
shttp://schema.org/
skoshttp://www.w3.org/2004/02/skos/core#
n3http://linked.opendata.cz/ontology/domain/vavai/riv/
n18http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F00216224%3A14330%2F09%3A00029225%21RIV11-GA0-14330___/
n2http://linked.opendata.cz/resource/domain/vavai/vysledek/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n4http://linked.opendata.cz/ontology/domain/vavai/riv/klicoveSlovo/
n9http://linked.opendata.cz/ontology/domain/vavai/riv/duvernostUdaju/
xsdhhttp://www.w3.org/2001/XMLSchema#
n17http://linked.opendata.cz/ontology/domain/vavai/riv/jazykVysledku/
n13http://linked.opendata.cz/ontology/domain/vavai/riv/aktivita/
n16http://linked.opendata.cz/ontology/domain/vavai/riv/druhVysledku/
n14http://linked.opendata.cz/ontology/domain/vavai/riv/obor/
n5http://reference.data.gov.uk/id/gregorian-year/

Statements

Subject Item
n2:RIV%2F00216224%3A14330%2F09%3A00029225%21RIV11-GA0-14330___
rdf:type
n7:Vysledek skos:Concept
dcterms:description
This paper is focused on the model checking approach for analysis of piecewise-linear deterministic models of genetic regulatory networks. Firstly, the qualitative simulation algorithm of de Jong et.al. that builds the heart of Genetic Network Analyzer (GNA) is revisited and its time complexity is studied in detail. Secondly, a novel algorithm that reduces the state space generation time is introduced. The new algorithm is developed as an abstraction of the original GNA algorithm. Finally, a fragment of linear time temporal logic for which the provided abstraction is conservative is identified. Efficiency of the new algorithm when implemented in the parallel model checking environment is demonstrated on a set of experiments performed on randomly modified biological models. In general, the achieved results bring a new insight into the field of qualitative simulation emerging in the context of systems biology. This paper is focused on the model checking approach for analysis of piecewise-linear deterministic models of genetic regulatory networks. Firstly, the qualitative simulation algorithm of de Jong et.al. that builds the heart of Genetic Network Analyzer (GNA) is revisited and its time complexity is studied in detail. Secondly, a novel algorithm that reduces the state space generation time is introduced. The new algorithm is developed as an abstraction of the original GNA algorithm. Finally, a fragment of linear time temporal logic for which the provided abstraction is conservative is identified. Efficiency of the new algorithm when implemented in the parallel model checking environment is demonstrated on a set of experiments performed on randomly modified biological models. In general, the achieved results bring a new insight into the field of qualitative simulation emerging in the context of systems biology.
dcterms:title
On Algorithmic Analysis of Transcriptional Regulation by LTL Model Checking On Algorithmic Analysis of Transcriptional Regulation by LTL Model Checking
skos:prefLabel
On Algorithmic Analysis of Transcriptional Regulation by LTL Model Checking On Algorithmic Analysis of Transcriptional Regulation by LTL Model Checking
skos:notation
RIV/00216224:14330/09:00029225!RIV11-GA0-14330___
n3:aktivita
n13:Z n13:S n13:P
n3:aktivity
P(GA201/09/1389), S, Z(MSM0021622419)
n3:cisloPeriodika
410
n3:dodaniDat
n5:2011
n3:domaciTvurceVysledku
n6:2361132 n6:8225400 n6:3111342 n6:5469031 n6:5692792 n6:6500773
n3:druhVysledku
n16:J
n3:duvernostUdaju
n9:S
n3:entitaPredkladatele
n18:predkladatel
n3:idSjednocenehoVysledku
331327
n3:idVysledku
RIV/00216224:14330/09:00029225
n3:jazykVysledku
n17:eng
n3:klicovaSlova
Genetic regulatory network; Piecewise-linear approximation; Model checking
n3:klicoveSlovo
n4:Genetic%20regulatory%20network n4:Piecewise-linear%20approximation n4:Model%20checking
n3:kodStatuVydavatele
CZ - Česká republika
n3:kontrolniKodProRIV
[0F5A865C1F5E]
n3:nazevZdroje
Theoretical Computer Science
n3:obor
n14:IN
n3:pocetDomacichTvurcuVysledku
6
n3:pocetTvurcuVysledku
6
n3:projekt
n15:GA201%2F09%2F1389
n3:rokUplatneniVysledku
n5:2009
n3:svazekPeriodika
2009
n3:tvurceVysledku
Černá, Ivana Šafránek, David Brim, Luboš Barnat, Jiří Fabriková, Jana Dražan, Sven
n3:wos
000268921500007
n3:zamer
n10:MSM0021622419
s:issn
0304-3975
s:numberOfPages
20
n19:organizacniJednotka
14330