About: On Algorithmic Analysis of Transcriptional Regulation by LTL Model Checking

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

About: On Algorithmic Analysis of Transcriptional Regulation by LTL Model Checking 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	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. (en)
Title	On Algorithmic Analysis of Transcriptional Regulation by LTL Model Checking On Algorithmic Analysis of Transcriptional Regulation by LTL Model Checking (en)
skos:prefLabel	On Algorithmic Analysis of Transcriptional Regulation by LTL Model Checking On Algorithmic Analysis of Transcriptional Regulation by LTL Model Checking (en)
skos:notation	RIV/00216224:14330/09:00029225!RIV11-GA0-14330___
http://linked.open...avai/riv/aktivita	P S Z
http://linked.open...avai/riv/aktivity	P(GA201/09/1389), S, Z(MSM0021622419)
http://linked.open...iv/cisloPeriodika	410
http://linked.open...vai/riv/dodaniDat	2011
http://linked.open...aciTvurceVysledku	Fabriková, Jana Šafránek, David Černá, Ivana Barnat, Jiří Brim, Luboš Dražan, Sven
http://linked.open.../riv/druhVysledku	J - Článek v odborném periodiku
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	331327
http://linked.open...ai/riv/idVysledku	RIV/00216224:14330/09:00029225
http://linked.open...riv/jazykVysledku	eng - angličtina
http://linked.open.../riv/klicovaSlova	Genetic regulatory network; Piecewise-linear approximation; Model checking (en)
http://linked.open.../riv/klicoveSlovo	Genetic regulatory network Model checking Piecewise-linear approximation
http://linked.open...odStatuVydavatele	CZ - Česká republika
http://linked.open...ontrolniKodProRIV	[0F5A865C1F5E]
http://linked.open...i/riv/nazevZdroje	Theoretical Computer Science
http://linked.open...in/vavai/riv/obor	IN
http://linked.open...ichTvurcuVysledku	6 (xsd:int)
http://linked.open...cetTvurcuVysledku	6 (xsd:int)
http://linked.open...vavai/riv/projekt	Verification and Analysis of Large-Scale Computer Systems
http://linked.open...UplatneniVysledku	2009
http://linked.open...v/svazekPeriodika	2009
http://linked.open...iv/tvurceVysledku	Barnat, Jiří Brim, Luboš Fabriková, Jana Černá, Ivana Šafránek, David Dražan, Sven
http://linked.open...ain/vavai/riv/wos	000268921500007
http://linked.open...n/vavai/riv/zamer	Highly Parallel and Distributed Computing Systems
issn	0304-3975
number of pages	20 (xsd:int)
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, 47 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software