English (United Kingdom)

https://curated-unify.zendy.io/wp-json/zendy-region/v1/featured_content/oa?rat=en

https://curated-unify.zendy.io/wp-json/zendy-region/v1/highlighted_journal/

Global: Zendy Plus annual

Presents the access of premium content as premium feature

Premium Content

Presents the keyphrase highlighting as premium feature

Keyphrase Highlighting

Presents the summarisation as premium feature

Summarisation

Insights

Presents the pdf analysis as premium feature

PDF Analysis

Presents the zaia usage as premium feature

ZAIA

Global: Zendy Plus monthly

Global: Zendy Tools annual

Global: Zendy Tools monthly

Global: Zendy Free Plan

In this paper a novel computational technique for finite discreteapproximation of continuous dynamical systems suitable for a significant classof biochemical dynamical systems is introduced. The method is parameterized inorder to affect the imposed level of approximation provided that withincreasing parameter value the approximation converges to the originalcontinuous system. By employing this approximation technique, we presentalgorithms solving the reachability problem for biochemical dynamical systems.The presented method and algorithms are evaluated on several exemplarybiological models and on a real case study. This is a full version of the paperpublished in the proceedings of CompMod 2011.

Reachability in Biochemical Dynamical Systems by Quantitative Discrete Approximation