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

Fuld beskrivelse

Bibliografiske detaljer
Main Authors:	Cardelli, L, Kwiatkowska, M, Laurenti, L
Format:	Journal article
Udgivet:	Springer Netherlands 2017

Lignende værker

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Central limit model checking
af: Bortolussi, L, et al.
Udgivet: (2019)

Central limit model checking
af: Bortolussi, L, et al.
Udgivet: (2018)

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

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

Molecular filters for noise reduction
af: Laurenti, L, et al.
Udgivet: (2018)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Kaemika app: integrating protocols and chemical simulation
af: Cardelli, L
Udgivet: (2020)

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

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

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