About: On Robustness Analysis of Stochastic Biochemical Systems by Probabilistic Model Checking

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

About: On Robustness Analysis of Stochastic Biochemical Systems by Probabilistic 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
rdfs:seeAlso	http://arxiv.org/abs/1310.4734
Description	This report proposes a novel framework for a rigorous robustness analysis of stochastic biochemical systems. The technique is based on probabilistic model checking. We adapt the general definition of robustness introduced by Kitano to the class of stochastic systems modelled as continuous time Markov Chains in order to extensively analyse and compare robustness of biological models with uncertain parameters. The framework utilises novel computational methods that enable to effectively evaluate the robustness of models with respect to quantitative temporal properties and parameters such as reaction rate constants and initial conditions. The framework is applied to gene regulation as an example of a central biological mechanism where intrinsic and extrinsic stochasticity plays crucial role due to low numbers of DNA and RNA molecules. Using our methods we have obtained a comprehensive and precise analysis of stochastic dynamics under parameter uncertainty. This report proposes a novel framework for a rigorous robustness analysis of stochastic biochemical systems. The technique is based on probabilistic model checking. We adapt the general definition of robustness introduced by Kitano to the class of stochastic systems modelled as continuous time Markov Chains in order to extensively analyse and compare robustness of biological models with uncertain parameters. The framework utilises novel computational methods that enable to effectively evaluate the robustness of models with respect to quantitative temporal properties and parameters such as reaction rate constants and initial conditions. The framework is applied to gene regulation as an example of a central biological mechanism where intrinsic and extrinsic stochasticity plays crucial role due to low numbers of DNA and RNA molecules. Using our methods we have obtained a comprehensive and precise analysis of stochastic dynamics under parameter uncertainty. (en)
Title	On Robustness Analysis of Stochastic Biochemical Systems by Probabilistic Model Checking On Robustness Analysis of Stochastic Biochemical Systems by Probabilistic Model Checking (en)
skos:prefLabel	On Robustness Analysis of Stochastic Biochemical Systems by Probabilistic Model Checking On Robustness Analysis of Stochastic Biochemical Systems by Probabilistic Model Checking (en)
skos:notation	RIV/00216224:14330/13:00066578!RIV14-MSM-14330___
http://linked.open...avai/predkladatel	Fakulta informatiky
http://linked.open...avai/riv/aktivita	P
http://linked.open...avai/riv/aktivity	P(EE2.3.20.0256), P(EE2.3.30.0009), P(GAP202/11/0312)
http://linked.open...vai/riv/dodaniDat	2014
http://linked.open...aciTvurceVysledku	Šafránek, David Češka, Milan Brim, Luboš Dražan, Sven
http://linked.open.../riv/druhVysledku	A(V) - Audiovizuální tvorba se vzdáleným přístupem
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	93792
http://linked.open...ai/riv/idVysledku	RIV/00216224:14330/13:00066578
http://linked.open...riv/jazykVysledku	eng - angličtina
http://linked.open.../riv/klicovaSlova	probabilistic model checking; systems biology; robustness analysis (en)
http://linked.open.../riv/klicoveSlovo	systems biology probabilistic model checking robustness analysis
http://linked.open...i/riv/kodPristupu	V
http://linked.open...ontrolniKodProRIV	[E584EB2A48D8]
http://linked.open...telVyzkumneZpravy	Cornell University Library
http://linked.open...in/vavai/riv/obor	IN
http://linked.open...ichTvurcuVysledku	4 (xsd:int)
http://linked.open...cetTvurcuVysledku	4 (xsd:int)
http://linked.open...vavai/riv/projekt	Local team and international consortium for computational modelling of a cyanobacterial cell Software Components in Embedded Systems: Development and Verification Employment of Newly Graduated Doctors of Science for Scientific Excellence
http://linked.open...UplatneniVysledku	2013
http://linked.open...iv/tvurceVysledku	Brim, Luboš Češka, Milan Šafránek, David Dražan, Sven
http://linked.open...rzeVyzkumneZpravy	arXiv:1310.4734
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