English
Related papers

Related papers: A Compositional Framework for Reaction Networks

200 papers

We consider discrete-space continuous-time Markov models of reaction networks and provide sufficient conditions for the following stability condition to hold: each state in a closed, irreducible component of the state space is positive…

Probability · Mathematics 2018-08-23 David F. Anderson , Jinsu Kim

It is common for people to access multiple social networks, for example, using phone, email, and social media. Together, the multi-layer social interactions form a "integrated social network." How can we extend well developed knowledge…

Social and Information Networks · Computer Science 2016-09-07 Kristina Lerman , Shang-Hua Teng , Xiaoran Yan

The goal of this paper is to gather and develop some necessary and sufficient criteria for injectivity and multistationarity in vector fields associated with a chemical reaction network under a variety of more or less general assumptions on…

Dynamical Systems · Mathematics 2016-10-28 Murad Banaji , Casian Pantea

While natural languages are compositional, how state-of-the-art neural models achieve compositionality is still unclear. We propose a deep network, which not only achieves competitive accuracy for text classification, but also exhibits…

Computation and Language · Computer Science 2017-07-07 Hongyu Guo

We introduce in this article a random model of reactivity in which a primitive rule, if accepted, generates an infinite number of rules by context derivation. The model may be thought of as a toy model of chemical reactivity, where…

Probability · Mathematics 2025-02-18 Jeremie Unterberger

We propose a technique to detect and generate patterns in a network of locally interacting dynamical systems. Central to our approach is a novel spatial superposition logic, whose semantics is defined over the quad-tree of a partitioned…

Artificial Intelligence · Computer Science 2014-09-22 Ebru Aydin Gol , Ezio Bartocci , Calin Belta

The task of constructing compositional semantics for network-style diagrammatic languages, such as electrical circuits or chemical reaction networks, has been dubbed the black boxing problem, as it gives semantics that describes the…

Category Theory · Mathematics 2020-08-24 Brendan Fong , Maru Sarazola

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

Step net bisimilarity \cite{Gor23} is a truly concurrent behavioral equivalence for finite Petri nets, which is defined as a smooth generalization of standard step bisimilarity \cite{NT84} on Petri nets, but with the property of relating…

Logic in Computer Science · Computer Science 2023-01-31 Roberto Gorrieri

Reaction networks are mathematical models of interacting chemical species that are primarily used in biochemistry. There are two modeling regimes that are typically used, one of which is deterministic and one that is stochastic. In…

Molecular Networks · Quantitative Biology 2018-09-14 David Anderson , Daniele Cappelletti

In living cells, chemical reactions are connected by sharing their products and substrates, and form complex networks, e.g. metabolic pathways. Here we developed a theory to predict the sensitivity, i.e. the responses of concentrations and…

Molecular Networks · Quantitative Biology 2016-08-24 Takashi Okada , Atsushi Mochizuki

For one-safe Petri nets or condition/event-systems, a process as defined by Carl Adam Petri provides a notion of a run of a system where causal dependencies are reflected in terms of a partial order. Goltz and Reisig have generalised this…

Logic in Computer Science · Computer Science 2021-03-03 Rob van Glabbeek , Ursula Goltz , Jens-Wolfhard Schicke-Uffmann

This article presents formalistic tool for description of structural and biochemical relations between cells in the course of development of the body of plants. This is flexible formalistic space, based on the Category theory and the Petri…

Tissues and Organs · Quantitative Biology 2017-02-16 I. V. Rudskiy

Chemical reaction networks (CRNs) model the behavior of chemical reactions in well-mixed solutions and they can be designed to perform computations. In this tutorial we give an overview of various computational models for CRNs. Moreover, we…

Emerging Technologies · Computer Science 2018-11-27 Robert Brijder

The concept of structured occurrence nets is an extension of that of occurrence nets which are directed acyclic graphs that represent causality and concurrency information concerning a single execution of a distributed system. The formalism…

Distributed, Parallel, and Cluster Computing · Computer Science 2024-01-17 Mohammed Alahmadi , Salma Alharbi , Talal Alharbi , Nadiyah Almutairi , Tuwailaa Alshammari , Anirban Bhattacharyya , Maciej Koutny , Bowen Li , Brian Randell

Typically, for analysing and modelling social phenomena, networks are a convenient framework that allows for the representation of the interconnectivity of individuals. These networks are often considered transmission structures for…

Social and Information Networks · Computer Science 2025-03-31 Damian Serwata , Mateusz Nurek , Radoslaw Michalski

The impact of random fluctuations on the dynamical behavior a complex biological systems is a longstanding issue, whose understanding would shed light on the evolutionary pressure that nature imposes on the intrinsic noise levels and would…

Molecular Networks · Quantitative Biology 2018-01-26 Fabrizio Pucci , Marianne Rooman

Open dynamical systems are mathematical models of machines that take input, change their internal state, and produce output. For example, one may model anything from neurons to robots in this way. Several open dynamical systems can be…

Dynamical Systems · Mathematics 2016-02-25 David I. Spivak

Stochastic reaction networks are dynamical models of biochemical reaction systems and form a particular class of continuous-time Markov chains on $\mathbb{N}^n$. Here we provide a fundamental characterisation that connects structural…

Probability · Mathematics 2018-05-22 Daniele Cappelletti , Carsten Wiuf

We present a unified field-theoretic framework for the dynamics of activity and connectivity in interacting neuronal systems. Building upon previous works, where a field approach to activity--connectivity dynamics, formation of collective…

Neurons and Cognition · Quantitative Biology 2025-10-30 Pierre Gosselin , Aïleen Lotz