Comprehensive review of models and methods for inferences in bio-chemical reaction networks

P Loskot, K Atitey, L Mihaylova - Frontiers in genetics, 2019 - frontiersin.org
The key processes in biological and chemical systems are described by networks of
chemical reactions. From molecular biology to biotechnology applications, computational …

Robust and efficient parameter estimation in dynamic models of biological systems

A Gábor, JR Banga - BMC systems biology, 2015 - Springer
Background Dynamic modelling provides a systematic framework to understand function in
biological systems. Parameter estimation in nonlinear dynamic models remains a very …

Differential equations in data analysis

I Dattner - Wiley Interdisciplinary Reviews: Computational …, 2021 - Wiley Online Library
Differential equations have proven to be a powerful mathematical tool in science and
engineering, leading to better understanding, prediction, and control of dynamic processes …

Parameter synthesis by parallel coloured CTL model checking

L Brim, M Češka, M Demko, S Pastva… - … Computational Methods in …, 2015 - Springer
We propose a new distributed-memory parallel algorithm for parameter synthesis from CTL
hypotheses. The algorithm colours the state space transitions by different parameterisations …

On extreme concentrations in chemical reaction networks with incomplete measurements

R Blanquero, E Carrizosa, O Chis… - Industrial & …, 2016 - ACS Publications
A fundamental problem in the analysis of chemical reactions networks consists of identifying
concentration values along time or in steady state which are coherent with the experimental …

Determining robust reaction kinetics from limited data

G Ozbuyukkaya, RS Parker, G Veser - AIChE Journal, 2022 - Wiley Online Library
Accurate chemical kinetics are essential for reactor design and operation. However, despite
recent advances in “big data” approaches, availability of kinetic data is often limited in …

Model checking approach to the analysis of biological systems

N Beneš, L Brim, S Pastva, D Šafránek - Automated Reasoning for …, 2019 - Springer
Formal verification techniques together with other computer science formal methods have
been recently tailored for applications to biological and biomedical systems. In contrast to …

Model analysis and parameter estimation in biochemical reaction networks

A Gábor - 2017 - digital.csic.es
Kinetic models are central in systems biology to describe and analyse metabolic, generic
and signalling networks. Kinetic models provide a way to summarize and precisely formulate …

[PDF][PDF] Model analysis and parameter estimation in biochemical reaction networks= Biokémiai reakcióhálózatok analízise és paramétereinek becslése

A Gábor - 2017 - real-phd.mtak.hu
Kinetic models are central in systems biology to describe and analyse metabolic, generic
and signalling networks. Kinetic models provide a way to summarize and precisely formulate …

On Extreme Concentrations in Chemical Reaction Networks with Incomplete Measurements

R Blanquero Bravo, EJ Carrizosa Priego… - … Research, 55 (44) …, 2016 - idus.us.es
A fundamental problem in the analysis of chemical reactions networks consists of identifying
concentration values along time or in steady state which are coherent with the experimental …