English
Related papers

Related papers: Robust predicate and function computation in conti…

200 papers

Chemical reaction networks (CRNs) are foundational models for describing complex biochemical processes. We study noncompetitive CRNs, a class of networks whose static states are rate-independent, and that can implement ReLU neural networks.…

Molecular Networks · Quantitative Biology 2025-12-22 Louis Faul , Xavier Richard , Mary Betrisey , Christian Mazza

The Turing completeness of continuous chemical reaction networks (CRNs) states that any computable real function can be computed by a continuous CRN on a finite set of molecular species, possibly restricted to elementary reactions, i.e.…

Molecular Networks · Quantitative Biology 2022-06-22 Mathieu Hemery , François Fages

A chemical reaction network (CRN) is composed of reactions that can be seen as interactions among entities called species, which exist within the system. Endowed with kinetics, CRN has a corresponding set of ordinary differential equations…

Dynamical Systems · Mathematics 2021-04-20 Bryan S. Hernandez , Ralph John L. De la Cruz

Chemical reaction networks (CRNs) are directed graphs with reactant or product complexes as vertices, and reactions as arcs. A CRN is weakly reversible if each of its connected components is strongly connected. Weakly reversible networks…

We explore the range of probabilistic behaviours that can be engineered with Chemical Reaction Networks (CRNs). We show that at steady state CRNs are able to "program" any distribution with finite support in $\mathbb{N}^m$, with $m \geq 1$.…

Distributed, Parallel, and Cluster Computing · Computer Science 2018-04-25 Luca Cardelli , Marta Kwiatkowska , Luca Laurenti

Stochastic chemical reaction networks (CRNs) are complex systems which combine the features of concurrent transformation of multiple variables in each elementary reaction event, and nonlinear relations between states and their rates of…

Chemical Physics · Physics 2017-12-06 Eric Smith , Supriya Krishnamurthy

We show that some natural output conventions for error-free computation in chemical reaction networks (CRN) lead to a common level of computational expressivity. Our main results are that the standard consensus-based output convention have…

Emerging Technologies · Computer Science 2017-07-11 Robert Brijder , David Doty , David Soloveichik

Chemical reaction networks (CRNs) provide a convenient language for modelling a broad variety of biological systems. These models are commonly studied with respect to the time series they generate in deterministic or stochastic simulations.…

Molecular Networks · Quantitative Biology 2019-07-11 Ozan Kahramanoğulları

Recent research into analog computing has introduced new notions of computing real numbers. Huang, Klinge, Lathrop, Li, and Lutz defined a notion of computing real numbers in real-time with chemical reaction networks (CRNs), introducing the…

Emerging Technologies · Computer Science 2021-09-08 Willem Fletcher , Titus H. Klinge , James I. Lathrop , Dawn A. Nye , Matthew Rayman

Chemical reaction networks (CRNs) formally model chemistry in a well-mixed solution. CRNs are widely used to describe information processing occurring in natural cellular regulatory networks, and with upcoming advances in synthetic biology,…

Computational Complexity · Computer Science 2013-04-17 David Doty

We present a differentiable formulation of abstract chemical reaction networks (CRNs) that can be trained to solve a variety of computational tasks. Chemical reaction networks are one of the most fundamental computational substrates used by…

Molecular Networks · Quantitative Biology 2023-02-07 Alexander Mordvintsev , Ettore Randazzo , Eyvind Niklasson

We present a uniform method for translating an arbitrary nondeterministic finite automaton (NFA) into a deterministic mass action input/output chemical reaction network (I/O CRN) that simulates it. The I/O CRN receives its input as a…

Computational Complexity · Computer Science 2018-12-27 Titus H. Klinge , James I. Lathrop , Jack H. Lutz

We introduce a new model of \emph{step} Chemical Reaction Networks (step CRNs), motivated by the step-wise addition of materials in standard lab procedures. Step CRNs have ordered reactants that transform into products via reaction rules…

Chemical reaction networks (CRNs) model the behavior of molecules in a well-mixed system. The emerging field of molecular programming uses CRNs not only as a descriptive tool, but as a programming language for chemical computation.…

Computational Complexity · Computer Science 2015-09-04 Adam Case , Jack H. Lutz , D. M. Stull

Understanding the emergent behavior of chemical reaction networks (CRNs) is a fundamental aspect of biology and its origin from inanimate matter. A closed CRN monotonically tends to thermal equilibrium, but when it is opened to external…

Molecular Networks · Quantitative Biology 2024-05-16 Masanari Shimada , Pegah Behrad , Eric De Giuli

We present two quantitative behavioral equivalences over species of a chemical reaction network (CRN) with semantics based on ordinary differential equations. Forward CRN bisimulation identifies a partition where each equivalence class…

Logic in Computer Science · Computer Science 2015-07-16 Luca Cardelli , Mirco Tribastone , Max Tschaikowski , Andrea Vandin

We study the set of output stable configurations of chemical reaction deciders (CRDs). It turns out that CRDs with only bimolecular reactions (which are almost equivalent to population protocols) have a special structure that allows for an…

Computational Complexity · Computer Science 2015-06-16 Robert Brijder

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. The original problem…

Dynamical Systems · Mathematics 2011-07-05 Gabor Szederkenyi , Katalin M. Hangos , Zsolt Tuza

Robustness is an observable property for which a chemical reaction network (CRN) can maintain its functionalities despite the influence of different perturbations. In general, to verify whether a network is robust, it is necessary to…

Formal Languages and Automata Theory · Computer Science 2021-04-29 Lucia Nasti , Roberta Gori , Paolo Milazzo

Information processing relying on biochemical interactions in the cellular environment is essential for biological organisms. The implementation of molecular computational systems holds significant interest and potential in the fields of…

Dynamical Systems · Mathematics 2023-12-01 Yuzhen Fan , Xiaoyu Zhang , Chuanhou Gao , Denis Dochain