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

书目详细资料
Main Authors:	Cardelli, L, Kwiatkowska, M, Laurenti, L
格式:	Journal article
出版:	Springer Netherlands 2017

相似书籍

Programming discrete distributions with chemical reaction networks
由: Cardelli, L, et al.
出版: (2016)

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

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

Syntax-guided optimal synthesis for chemical reaction networks
由: Cardelli, L, et al.
出版: (2017)

Chemical reaction network designs for asynchronous logic circuits
由: Cardelli, L, et al.
出版: (2017)

Chemical reaction network designs for asynchronous logic circuits
由: Cardelli, L, et al.
出版: (2016)

PID control of biochemical reaction networks
由: Whitby, M, et al.
出版: (2020)

PID control of biochemical reaction networks
由: Whitby, M, et al.
出版: (2021)

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

A language for modeling and optimizing experimental biological protocols
由: Cardelli, L, et al.
出版: (2021)

Syntactic markovian bisimulation for chemical reaction networks
由: Cardelli, L, et al.
出版: (2017)

Comparing chemical reaction networks: A categorical and algorithmic perspective
由: Cardelli, L, et al.
出版: (2017)

Comparing chemical reaction networks: a categorical and algorithmic perspective
由: Cardelli, L, et al.
出版: (2016)

Statistical guarantees for the robustness of Bayesian neural networks
由: Cardelli, L, et al.
出版: (2019)

Central limit model checking
由: Bortolussi, L, et al.
出版: (2019)

Central limit model checking
由: Bortolussi, L, et al.
出版: (2018)

Robustness guarantees for Bayesian inference with Gaussian processes
由: Cardelli, L, et al.
出版: (2019)

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

Molecular filters for noise reduction
由: Laurenti, L, et al.
出版: (2018)

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

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

Experimental biological protocols with formal semantics
由: Abate, A, et al.
出版: (2018)

Adversarial robustness guarantees for classification with Gaussian Processes
由: Blaas, A, et al.
出版: (2020)

Adversarial robustness guarantees for Gaussian processes
由: Patane, A, et al.
出版: (2022)

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

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

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

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

From electric circuits to chemical networks
由: Cardelli, L, et al.
出版: (2019)

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

Safety guarantees for iterative predictions with Gaussian Processes
由: Polymenakos, K, et al.
出版: (2021)

Probabilistic safety for bayesian neural networks
由: Wicker, M, et al.
出版: (2020)

Adversarial robustness certification for Bayesian neural networks
由: Wicker, M, et al.
出版: (2024)

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

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

Discrete-time distributed consensus on multiplex networks
由: I Trpevski, et al.
出版: (2014-01-01)

Kaemika app: integrating protocols and chemical simulation
由: Cardelli, L
出版: (2020)

Individual fairness guarantees for neural networks
由: Benussi, E, et al.
出版: (2022)

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

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