English
Related papers

Related papers: Compiling Elementary Mathematical Functions into F…

200 papers

This paper studies the expressive and computational power of discrete Ordinary Differential Equations (ODEs), a.k.a. (Ordinary) Difference Equations. It presents a new framework using these equations as a central tool for computation and…

Logic in Computer Science · Computer Science 2022-09-27 Olivier Bournez , Arnaud Durand

While the field of first-principles explorations into chemical reaction space has been continuously growing, the development of strategies for analyzing resulting chemical reaction networks (CRNs) is lagging behind. A CRN consists of…

Chemical Physics · Physics 2022-12-19 Paul L. Türtscher , Markus Reiher

The online estimation of the derivative of an input signal is widespread in control theory and engineering. In the realm of chemical reaction networks (CRN), this raises however a number of specific issues on the different ways to achieve…

Quantitative Methods · Quantitative Biology 2023-07-11 Mathieu Hemery , François Fages

The nonlinearities found in molecular networks usually prevent mathematical analysis of network behaviour, which has largely been studied by numerical simulation. This can lead to difficult problems of parameter determination. However,…

Molecular Networks · Quantitative Biology 2012-07-17 R. L. Karp , M. Pérez Millán , T. Dasgupta , A. Dickenstein , J. Gunawardena

Dynamical systems arising from chemical reaction networks with mass action kinetics are the subject of chemical reaction network theory (CRNT). In particular, this theory provides statements about uniqueness, existence, and stability of…

Dynamical Systems · Mathematics 2014-06-26 Stefan Müller , Georg Regensburger

We derive the nonequilibrium conductance matrix for open stationary Chemical Reaction Networks (CRNs) described by a deterministic mass action kinetic equation. As an illustration, we determine the nonequilibrium conductance matrix of a CRN…

Statistical Mechanics · Physics 2025-06-27 Paul Raux , Christophe Goupil , Gatien Verley

We present a data-driven verification approach that determines whether or not a given chemical reaction network (CRN) satisfies a given property, expressed as a formula in a modal logic. Our approach consists of three phases, integrating…

Computational Engineering, Finance, and Science · Computer Science 2020-04-24 Gareth W. Molyneux , Viraj B. Wijesuriya , Alessandro Abate

In this paper, it is presented a methodology for implementing arbitrarily constructed time-homogenous Markov chains with biochemical systems. Not only discrete but also continuous-time Markov chains are allowed to be computed. By employing…

Molecular Networks · Quantitative Biology 2018-02-16 Chuan Zhang , Ziyuan Shen , Wei Wei , Jing Zhao , Zaichen Zhang , Xiaohu You

We classify the functions $f:\mathbb{N}^2 \rightarrow \mathbb{N}$ which are stably computable by output-oblivious Stochastic Chemical Reaction Networks (CRNs), i.e., systems of reactions in which output species are never reactants. While it…

Computational Complexity · Computer Science 2022-08-31 Ben Chugg , Anne Condon , Hooman Hashemi

An algorithm is given in this paper for the computation of dynamically equivalent weakly reversible realizations with the maximal number of reactions, for chemical reaction networks (CRNs) with mass action kinetics.

Dynamical Systems · Mathematics 2015-03-19 Gabor Szederkenyi , Katalin M. Hangos , Zsolt Tuza

The stochastic kinetics of BRN are described by a chemical master equation (CME) and the underlying laws of mass action. The CME must be usually solved numerically by generating enough traces of random reaction events. The resulting…

Molecular Networks · Quantitative Biology 2023-06-21 Pavel Loskot

Quadratization problem is, given a system of ODEs with polynomial right-hand side, transform the system to a system with quadratic right-hand side by introducing new variables. Such transformations have been used, for example, as a…

Symbolic Computation · Computer Science 2021-05-14 Andrey Bychkov , Gleb Pogudin

We investigate a broad family of chemical reaction networks (CRNs) assigned with mass action kinetics, called complex-balanced-produced-CRNs (CBP-CRNs), which are generated by any given complex balanced mass action system (MAS) and whose…

Dynamical Systems · Mathematics 2019-11-12 Shan Wu , Yafei Lu , Chuanhou Gao

In a recent article, the class of functions from the integers to the integers computable in polynomial time has been characterized using discrete ordinary differential equations (ODE), also known as finite differences. Doing so, we pointed…

Computational Complexity · Computer Science 2022-10-04 Manon Blanc , Olivier Bournez

Finite element methods usually construct basis functions and quadrature rules for multidimensional domains via tensor products of one-dimensional counterparts. While straightforward, this approach results in integration spaces larger than…

Numerical Analysis · Mathematics 2026-01-09 Tomas Teijeiro , Pouria Behnoudfar , Jamie M. Taylor , David Pardo , Victor M. Calo

The stochastic description of chemical reaction networks with the kinetic chemical master equation (CME) is important for studying biological cells, but it suffers from the curse of dimensionality: The amount of data to be stored grows…

Numerical Analysis · Mathematics 2024-08-02 Lukas Einkemmer , Julian Mangott , Martina Prugger

Solving for detailed chemical kinetics remains one of the major bottlenecks for computational fluid dynamics simulations of reacting flows using a finite-rate-chemistry approach. This has motivated the use of fully connected artificial…

Computational Engineering, Finance, and Science · Computer Science 2021-10-11 Opeoluwa Owoyele , Pinaki Pal

In many astrophysical applications, the cost of solving a chemical network represented by a system of ordinary differential equations (ODEs) grows significantly with the size of the network, and can often represent a significant…

Instrumentation and Methods for Astrophysics · Physics 2022-12-21 T. Grassi , F. Nauman , J. P. Ramsey , S. Bovino , G. Picogna , B. Ercolano

We continue recent attempts to put together concepts and results of Chemical Reaction Networks theory (CRNT) and Mathematical Epidemiology (ME), for solving problems of stability of positive ODEs. We provide first an elegant CRN-flavored…

Molecular Networks · Quantitative Biology 2026-04-21 Florin Avram , Rim Adenane , Andrei-Dan Halanay

Step Chemical Reaction Networks (step CRNs) are an augmentation of the Chemical Reaction Network (CRN) model where additional species may be introduced to the system in a sequence of ``steps.'' We study step CRN systems using a weak subset…

Distributed, Parallel, and Cluster Computing · Computer Science 2024-05-03 Rachel Anderson , Bin Fu , Aiden Massie , Gourab Mukhopadhyay , Adrian Salinas , Robert Schweller , Evan Tomai , Tim Wylie