About: On Approximative Reachability Analysis of Biochemical Dynamical Systems     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)

AttributesValues
rdf:type
rdfs:seeAlso
Description
  • This is an extended version of the workshop paper, in which a new computational technique called quantitative discrete approximation has been introduced. The technique provides finite discrete approximation of continuous dynamical systems which is suitable especially for a significant class of biochemical dynamical systems. With decreasing granularity the approximation of behaviour between a discrete state and its successor converges to the behaviour of the original continuous system in the respective part of the phase space. This paper provides a detailed description of the method and algorithms solving the reachability problem in biochemical dynamical systems. The method is supplemented with heuristics for reducing the cardinality of the reachable state space. The algorithms are evaluated on six models (with numbers of variables ranging from 2 to 12).
  • This is an extended version of the workshop paper, in which a new computational technique called quantitative discrete approximation has been introduced. The technique provides finite discrete approximation of continuous dynamical systems which is suitable especially for a significant class of biochemical dynamical systems. With decreasing granularity the approximation of behaviour between a discrete state and its successor converges to the behaviour of the original continuous system in the respective part of the phase space. This paper provides a detailed description of the method and algorithms solving the reachability problem in biochemical dynamical systems. The method is supplemented with heuristics for reducing the cardinality of the reachable state space. The algorithms are evaluated on six models (with numbers of variables ranging from 2 to 12). (en)
Title
  • On Approximative Reachability Analysis of Biochemical Dynamical Systems
  • On Approximative Reachability Analysis of Biochemical Dynamical Systems (en)
skos:prefLabel
  • On Approximative Reachability Analysis of Biochemical Dynamical Systems
  • On Approximative Reachability Analysis of Biochemical Dynamical Systems (en)
skos:notation
  • RIV/00216224:14330/12:00057894!RIV13-GA0-14330___
http://linked.open...avai/riv/aktivita
http://linked.open...avai/riv/aktivity
  • P(GAP202/11/0312), S
http://linked.open...vai/riv/dodaniDat
http://linked.open...aciTvurceVysledku
http://linked.open.../riv/druhVysledku
http://linked.open...iv/duvernostUdaju
http://linked.open...titaPredkladatele
http://linked.open...dnocenehoVysledku
  • 156180
http://linked.open...ai/riv/idVysledku
  • RIV/00216224:14330/12:00057894
http://linked.open...riv/jazykVysledku
http://linked.open.../riv/klicovaSlova
  • biochemical dynamical systems; reachability analysis; discrete approximation (en)
http://linked.open.../riv/klicoveSlovo
http://linked.open...ontrolniKodProRIV
  • [77A815A310CD]
http://linked.open...v/mistoKonaniAkce
  • Aachen
http://linked.open...i/riv/mistoVydani
  • Heidelberg
http://linked.open...i/riv/nazevZdroje
  • Transactions on Computational Systems Biology XIV
http://linked.open...in/vavai/riv/obor
http://linked.open...ichTvurcuVysledku
http://linked.open...cetTvurcuVysledku
http://linked.open...vavai/riv/projekt
http://linked.open...UplatneniVysledku
http://linked.open...iv/tvurceVysledku
  • Brim, Luboš
  • Fabriková, Jana
  • Šafránek, David
  • Dražan, Sven
http://linked.open...vavai/riv/typAkce
http://linked.open.../riv/zahajeniAkce
issn
  • 0302-9743
number of pages
http://bibframe.org/vocab/doi
  • 10.1007/978-3-642-35524-0_4
http://purl.org/ne...btex#hasPublisher
  • Springer-Verlag
https://schema.org/isbn
  • 9783642355233
http://localhost/t...ganizacniJednotka
  • 14330
Faceted Search & Find service v1.16.118 as of Jun 21 2024


Alternative Linked Data Documents: ODE     Content Formats:   [cxml] [csv]     RDF   [text] [turtle] [ld+json] [rdf+json] [rdf+xml]     ODATA   [atom+xml] [odata+json]     Microdata   [microdata+json] [html]    About   
This material is Open Knowledge   W3C Semantic Web Technology [RDF Data] Valid XHTML + RDFa
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