Programming discrete distributions with chemical reaction networks

Programming discrete distributions with chemical reaction networks

Veure altres 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...

Descripció completa

Dades bibliogràfiques
Autors principals:	Cardelli, L, Kwiatkowska, M, Laurenti, L
Format:	Journal article
Publicat:	Springer Netherlands 2017

Ítems similars

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Central limit model checking
per: Bortolussi, L, et al.
Publicat: (2019)

Central limit model checking
per: Bortolussi, L, et al.
Publicat: (2018)

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

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

Molecular filters for noise reduction
per: Laurenti, L, et al.
Publicat: (2018)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Kaemika app: integrating protocols and chemical simulation
per: Cardelli, L
Publicat: (2020)

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

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

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