English
Related papers

Related papers: Verifying Chemical Reaction Network Implementation…

200 papers

The exploration of pathways and alternative pathways that have a specific function is of interest in numerous chemical contexts. A framework for specifying and searching for pathways has previously been developed, but a focus on which of…

Molecular Networks · Quantitative Biology 2024-12-23 Jakob L. Andersen , Sissel Banke , Rolf Fagerberg , Christoph Flamm , Daniel Merkle , Peter F. Stadler

This paper develops the concept of decomposition for chemical reaction networks, based on which a network decomposition technique is proposed to capture the stability of large-scale networks characterized by a high number of species, high…

Dynamical Systems · Mathematics 2021-02-23 Yafei Lu , Chuanhou Gao , Denis Dochain

Modular verification is a technique used to face the state explosion problem often encountered in the verification of properties of complex systems such as concurrent interactive systems. The modular approach is based on the observation…

Logic in Computer Science · Computer Science 2012-11-20 Peter Drábik , Andrea Maggiolo-Schettini , Paolo Milazzo

The design and synthesis of complex and large mimicked biochemical networks de novo is an unsolved problem in synthetic biology. To address this limitation without resorting to ad hoc computations and experiments, a predictive mathematical…

Biological Physics · Physics 2015-01-21 Eisuke Chikayama , R. Craig Everroad

For the investigation of chemical reaction networks, the identification of all relevant intermediates and elementary reactions is mandatory. Many algorithmic approaches exist that perform explorations efficiently and automatedly. These…

Chemical Physics · Physics 2019-05-24 Gregor N. Simm , Alain C. Vaucher , Markus Reiher

The search for pathways that optimize the formation of a particular target molecule in a reaction network is a key problem in many settings, including reactor systems. Chemical reaction networks are mathematically well represented as…

Molecular Networks · Quantitative Biology 2025-06-17 Adittya Pal , Rolf Fagerberg , Jakob Lykke Andersen , Christoph Flamm , Peter Dittrich , Daniel Merkle

The analysis of complex reaction networks is of great importance in several chemical and biochemical fields (interstellar chemistry, prebiotic chemistry, reaction mechanism, etc). In this article, we propose to simultaneously refine and…

Molecular Networks · Quantitative Biology 2008-03-11 Raphaël Plasson , Hugues Bersini , Axel Brandenburg

For the investigation of chemical reaction networks, the efficient and accurate determination of all relevant intermediates and elementary reactions is mandatory. The complexity of such a network may grow rapidly, in particular if reactive…

Chemical Physics · Physics 2016-01-08 Maike Bergeler , Gregor N. Simm , Jonny Proppe , Markus Reiher

We report the first study of a network of connected enzyme-catalyzed reactions, with added chemical and enzymatic processes that incorporate the recently developed biochemical filtering steps into the functioning of this biocatalytic…

Molecular Networks · Quantitative Biology 2013-12-17 Vladimir Privman , Oleksandr Zavalov , Lenka Halamkova , Fiona Moseley , Jan Halamek , Evgeny Katz

The construction of a reaction network containing all relevant intermediates and elementary reactions is necessary for the accurate description of chemical processes. In the case of a complex chemical reaction (involving, for instance, many…

Chemical Physics · Physics 2017-12-19 Gregor N. Simm , Markus Reiher

Informally, a chemical reaction network is "atomic" if each reaction may be interpreted as the rearrangement of indivisible units of matter. There are several reasonable definitions formalizing this idea. We investigate the computational…

Computational Complexity · Computer Science 2017-10-03 David Doty , Shaopeng Zhu

Molecular circuits capable of autonomous learning could unlock novel applications in fields such as bioengineering and synthetic biology. To this end, existing chemical implementations of neural computing have mainly relied on emulating…

Machine Learning · Computer Science 2025-09-23 Rajiv Teja Nagipogu , John H. Reif

Modern computational chemistry has reached a stage at which massive exploration into chemical reaction space with unprecedented resolution with respect to the number of potentially relevant molecular structures has become possible. Various…

Chemical Physics · Physics 2020-04-27 Jan P. Unsleber , Markus Reiher

Graph transformation systems have the potential to be realistic models of chemistry, provided a comprehensive collection of reaction rules can be extracted from the body of chemical knowledge. A first key step for rule learning is the…

Discrete Mathematics · Computer Science 2016-04-22 Christoph Flamm , Daniel Merkle , Peter F. Stadler , Uffe Thorsen

In living cells, chemical reactions form a complex network. Complicated dynamics arising from such networks are the origins of biological functions. We propose a novel mathematical method to analyze bifurcation behaviors of a reaction…

Molecular Networks · Quantitative Biology 2018-08-08 Takashi Okada , Je-Chiang Tsai , Atsushi Mochizuki

Reactions forming a pathway can be rewritten by making explicit the different molecular components involved in them. A molecular component represents a biological entity (e.g. a protein) in all its states (free, bound, degraded, etc.). In…

Computational Engineering, Finance, and Science · Computer Science 2013-10-01 Andrea Maggiolo-Schettini , Paolo Milazzo , Giovanni Pardini

In this short note we review deterministic simulation of biochemical pathways, i.e. networks of biochemical reactions obeying the law of mass action. It is meant as a basis for the MATLAB code, written by the author, which permits easy…

Numerical Analysis · Mathematics 2012-08-22 Andrea Cangiani

Sampled structure sequences obtained, for instance, from real-time reactivity explorations or first-principles molecular dynamics simulations contain valuable information about chemical reactivity. Eventually, such sequences allow for the…

Chemical Physics · Physics 2018-04-25 Michael A. Heuer , Alain C. Vaucher , Moritz P. Haag , Markus Reiher

In the first part of this paper, we propose new optimization-based methods for the computation of preferred (dense, sparse, reversible, detailed and complex balanced) linearly conjugate reaction network structures with mass action dynamics.…

Dynamical Systems · Mathematics 2014-07-15 Matthew D. Johnston , David Siegel , Gábor Szederkényi

Analyzing synthesis pathways for target molecules in a chemical reaction network annotated with information on the kinetics of individual reactions is an area of active study. This work presents a computational methodology for searching for…

Computational Engineering, Finance, and Science · Computer Science 2026-03-31 Adittya Pal , Rolf Fagerberg , Jakob Lykke Andersen , Peter Dittrich , Daniel Merkle
‹ Prev 1 2 3 10 Next ›