Programming discrete distributions with chemical reaction networks

Programming discrete distributions with chemical reaction networks

Show other versions (1)

<p>We explore the range of probabilistic behaviours that can be engineered with Chemical Reaction Networks (CRNs). We give methods to “program” CRNs so that their steady state is chosen from some desired target distribution that has finite support in N<sup>m</sup>, with m ≥ 1. More...

Disgrifiad llawn

Manylion Llyfryddiaeth
Prif Awduron:	Cardelli, L, Kwiatkowska, M, Laurenti, L
Fformat:	Journal article
Cyhoeddwyd:	Springer Netherlands 2017

Eitemau Tebyg

Programming discrete distributions with chemical reaction networks
gan: Cardelli, L, et al.
Cyhoeddwyd: (2016)

Stochastic analysis of chemical reaction networks using linear noise approximation
gan: Cardelli, L, et al.
Cyhoeddwyd: (2016)

Approximation of probabilistic reachability for chemical reaction networks using the linear noise approximation
gan: Kwiatkowska, M, et al.
Cyhoeddwyd: (2016)

Syntax-guided optimal synthesis for chemical reaction networks
gan: Cardelli, L, et al.
Cyhoeddwyd: (2017)

Chemical reaction network designs for asynchronous logic circuits
gan: Cardelli, L, et al.
Cyhoeddwyd: (2017)

Chemical reaction network designs for asynchronous logic circuits
gan: Cardelli, L, et al.
Cyhoeddwyd: (2016)

PID control of biochemical reaction networks
gan: Whitby, M, et al.
Cyhoeddwyd: (2020)

PID control of biochemical reaction networks
gan: Whitby, M, et al.
Cyhoeddwyd: (2021)

A Stochastic Hybrid Approximation for Chemical Kinetics Based on the Linear Noise Approximation
gan: Cardelli, L, et al.
Cyhoeddwyd: (2016)

A language for modeling and optimizing experimental biological protocols
gan: Cardelli, L, et al.
Cyhoeddwyd: (2021)

Syntactic markovian bisimulation for chemical reaction networks
gan: Cardelli, L, et al.
Cyhoeddwyd: (2017)

Comparing chemical reaction networks: A categorical and algorithmic perspective
gan: Cardelli, L, et al.
Cyhoeddwyd: (2017)

Comparing chemical reaction networks: a categorical and algorithmic perspective
gan: Cardelli, L, et al.
Cyhoeddwyd: (2016)

Statistical guarantees for the robustness of Bayesian neural networks
gan: Cardelli, L, et al.
Cyhoeddwyd: (2019)

Central limit model checking
gan: Bortolussi, L, et al.
Cyhoeddwyd: (2019)

Central limit model checking
gan: Bortolussi, L, et al.
Cyhoeddwyd: (2018)

Robustness guarantees for Bayesian inference with Gaussian processes
gan: Cardelli, L, et al.
Cyhoeddwyd: (2019)

A Language for Modeling and Optimizing Experimental Biological Protocols
gan: Luca Cardelli, et al.
Cyhoeddwyd: (2021-10-01)

Molecular filters for noise reduction
gan: Laurenti, L, et al.
Cyhoeddwyd: (2018)

Adaptive Aggregation of Markov Chains: Quantitative Analysis of Chemical Reaction Networks
gan: Abate, A, et al.
Cyhoeddwyd: (2015)

Formal and efficient synthesis for continuous-time linear stochastic hybrid processes
gan: Laurenti, L, et al.
Cyhoeddwyd: (2020)

Experimental biological protocols with formal semantics
gan: Abate, A, et al.
Cyhoeddwyd: (2018)

Adversarial robustness guarantees for classification with Gaussian Processes
gan: Blaas, A, et al.
Cyhoeddwyd: (2020)

Adversarial robustness guarantees for Gaussian processes
gan: Patane, A, et al.
Cyhoeddwyd: (2022)

Reachability computation for switching diffusions: finite abstractions with certifiable and tuneable precision
gan: Laurenti, L, et al.
Cyhoeddwyd: (2017)

Reachability computation for switching diffusions: Finite abstractions with certifiable and tuneable precision
gan: Laurenti, L, et al.
Cyhoeddwyd: (2017)

Uncertainty quantification with statistical guarantees in end-to-end autonomous driving control
gan: Michelmore, R, et al.
Cyhoeddwyd: (2020)

Efficiency through uncertainty: scalable formal synthesis for stochastic hybrid systems
gan: Cauchi, N, et al.
Cyhoeddwyd: (2019)

From electric circuits to chemical networks
gan: Cardelli, L, et al.
Cyhoeddwyd: (2019)

Chemical Reaction Networks’ Programming for Solving Equations
gan: Ziwei Shang, et al.
Cyhoeddwyd: (2022-04-01)

Safety guarantees for iterative predictions with Gaussian Processes
gan: Polymenakos, K, et al.
Cyhoeddwyd: (2021)

Probabilistic safety for bayesian neural networks
gan: Wicker, M, et al.
Cyhoeddwyd: (2020)

Adversarial robustness certification for Bayesian neural networks
gan: Wicker, M, et al.
Cyhoeddwyd: (2024)

Chemical Memory with Discrete Turing Patterns Appearing in the Glycolytic Reaction
gan: Jerzy Gorecki, et al.
Cyhoeddwyd: (2023-04-01)

Algebraic Stability Criteria of Reaction Diffusion Genetic Regulatory Networks With Discrete and Distributed Delays
gan: Yinping Xie, et al.
Cyhoeddwyd: (2021-01-01)

Discrete-time distributed consensus on multiplex networks
gan: I Trpevski, et al.
Cyhoeddwyd: (2014-01-01)

Kaemika app: integrating protocols and chemical simulation
gan: Cardelli, L
Cyhoeddwyd: (2020)

Individual fairness guarantees for neural networks
gan: Benussi, E, et al.
Cyhoeddwyd: (2022)

Exact maximal reduction of stochastic reaction networks by species lumping
gan: Cardelli, L, et al.
Cyhoeddwyd: (2021)

Polysoliton solutions for plane discrete velocity models of a gas with chemical reactions
gan: A. Rossani
Cyhoeddwyd: (1991-05-01)