This HTML5 document contains 49 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/
n4http://localhost/temp/predkladatel/
n17http://linked.opendata.cz/resource/domain/vavai/projekt/
n18http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F00216224%3A14330%2F11%3A00049903%21RIV12-GA0-14330___/
n11http://linked.opendata.cz/resource/domain/vavai/riv/tvurce/
n21http://linked.opendata.cz/resource/domain/vavai/subjekt/
n14http://linked.opendata.cz/ontology/domain/vavai/
n16http://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/
n6http://bibframe.org/vocab/
n2http://linked.opendata.cz/resource/domain/vavai/vysledek/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n8http://linked.opendata.cz/ontology/domain/vavai/riv/klicoveSlovo/
n9http://linked.opendata.cz/ontology/domain/vavai/riv/duvernostUdaju/
xsdhhttp://www.w3.org/2001/XMLSchema#
n20http://linked.opendata.cz/ontology/domain/vavai/riv/jazykVysledku/
n10http://linked.opendata.cz/ontology/domain/vavai/riv/aktivita/
n15http://linked.opendata.cz/ontology/domain/vavai/riv/druhVysledku/
n5http://linked.opendata.cz/ontology/domain/vavai/riv/obor/
n12http://reference.data.gov.uk/id/gregorian-year/

Statements

Subject Item
n2:RIV%2F00216224%3A14330%2F11%3A00049903%21RIV12-GA0-14330___
rdf:type
skos:Concept n14:Vysledek
dcterms:description
In this paper a novel computational technique for finite discrete approximation of continuous dynamical systems suitable for a significant class of biochemical dynamical systems is introduced. The method is parameterized in order to affect the imposed level of approximation provided that with increasing parameter value the approximation converges to the original continuous system. By employing this approximation technique, we present algorithms solving the reachability problem for biochemical dynamical systems. The presented method and algorithms are evaluated on several exemplary biological models and on a real case study. In this paper a novel computational technique for finite discrete approximation of continuous dynamical systems suitable for a significant class of biochemical dynamical systems is introduced. The method is parameterized in order to affect the imposed level of approximation provided that with increasing parameter value the approximation converges to the original continuous system. By employing this approximation technique, we present algorithms solving the reachability problem for biochemical dynamical systems. The presented method and algorithms are evaluated on several exemplary biological models and on a real case study.
dcterms:title
Reachability in Biochemical Dynamical Systems by Quantitative Discrete Approximation Reachability in Biochemical Dynamical Systems by Quantitative Discrete Approximation
skos:prefLabel
Reachability in Biochemical Dynamical Systems by Quantitative Discrete Approximation Reachability in Biochemical Dynamical Systems by Quantitative Discrete Approximation
skos:notation
RIV/00216224:14330/11:00049903!RIV12-GA0-14330___
n14:predkladatel
n21:orjk%3A14330
n3:aktivita
n10:Z n10:S n10:P
n3:aktivity
P(GA201/09/1389), S, Z(MSM0021622419)
n3:cisloPeriodika
67
n3:dodaniDat
n12:2012
n3:domaciTvurceVysledku
n11:5469031 n11:3111342 n11:6500773 n11:8225400
n3:druhVysledku
n15:J
n3:duvernostUdaju
n9:S
n3:entitaPredkladatele
n18:predkladatel
n3:idSjednocenehoVysledku
225764
n3:idVysledku
RIV/00216224:14330/11:00049903
n3:jazykVysledku
n20:eng
n3:klicovaSlova
abstraction; differential equations; reachability; systems biology
n3:klicoveSlovo
n8:reachability n8:systems%20biology n8:differential%20equations n8:abstraction
n3:kodStatuVydavatele
CZ - Česká republika
n3:kontrolniKodProRIV
[A150088F6C9A]
n3:nazevZdroje
Electronic Proceedings in Theoretical Computer Science
n3:obor
n5:IN
n3:pocetDomacichTvurcuVysledku
4
n3:pocetTvurcuVysledku
4
n3:projekt
n17:GA201%2F09%2F1389
n3:rokUplatneniVysledku
n12:2011
n3:svazekPeriodika
Neuveden
n3:tvurceVysledku
Fabriková, Jana Brim, Luboš Šafránek, David Dražan, Sven
n3:zamer
n16:MSM0021622419
s:issn
2075-2180
s:numberOfPages
15
n6:doi
10.4204/EPTCS.67.9
n4:organizacniJednotka
14330