Programming discrete distributions with chemical reaction networks

Programming discrete distributions with chemical reaction networks

Toon andere (1) versies

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

Volledige beschrijving

Bibliografische gegevens
Hoofdauteurs:	Cardelli, L, Kwiatkowska, M, Laurenti, L
Formaat:	Journal article
Gepubliceerd in:	Springer Netherlands 2017

Gelijkaardige items

Programming discrete distributions with chemical reaction networks
door: Cardelli, L, et al.
Gepubliceerd in: (2016)

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

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

Syntax-guided optimal synthesis for chemical reaction networks
door: Cardelli, L, et al.
Gepubliceerd in: (2017)

Chemical reaction network designs for asynchronous logic circuits
door: Cardelli, L, et al.
Gepubliceerd in: (2017)

Chemical reaction network designs for asynchronous logic circuits
door: Cardelli, L, et al.
Gepubliceerd in: (2016)

PID control of biochemical reaction networks
door: Whitby, M, et al.
Gepubliceerd in: (2020)

PID control of biochemical reaction networks
door: Whitby, M, et al.
Gepubliceerd in: (2021)

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

A language for modeling and optimizing experimental biological protocols
door: Cardelli, L, et al.
Gepubliceerd in: (2021)

Syntactic markovian bisimulation for chemical reaction networks
door: Cardelli, L, et al.
Gepubliceerd in: (2017)

Comparing chemical reaction networks: A categorical and algorithmic perspective
door: Cardelli, L, et al.
Gepubliceerd in: (2017)

Comparing chemical reaction networks: a categorical and algorithmic perspective
door: Cardelli, L, et al.
Gepubliceerd in: (2016)

Statistical guarantees for the robustness of Bayesian neural networks
door: Cardelli, L, et al.
Gepubliceerd in: (2019)

Central limit model checking
door: Bortolussi, L, et al.
Gepubliceerd in: (2019)

Central limit model checking
door: Bortolussi, L, et al.
Gepubliceerd in: (2018)

Robustness guarantees for Bayesian inference with Gaussian processes
door: Cardelli, L, et al.
Gepubliceerd in: (2019)

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

Molecular filters for noise reduction
door: Laurenti, L, et al.
Gepubliceerd in: (2018)

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

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

Experimental biological protocols with formal semantics
door: Abate, A, et al.
Gepubliceerd in: (2018)

Adversarial robustness guarantees for classification with Gaussian Processes
door: Blaas, A, et al.
Gepubliceerd in: (2020)

Adversarial robustness guarantees for Gaussian processes
door: Patane, A, et al.
Gepubliceerd in: (2022)

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

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

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

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

From electric circuits to chemical networks
door: Cardelli, L, et al.
Gepubliceerd in: (2019)

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

Safety guarantees for iterative predictions with Gaussian Processes
door: Polymenakos, K, et al.
Gepubliceerd in: (2021)

Probabilistic safety for bayesian neural networks
door: Wicker, M, et al.
Gepubliceerd in: (2020)

Adversarial robustness certification for Bayesian neural networks
door: Wicker, M, et al.
Gepubliceerd in: (2024)

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

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

Discrete-time distributed consensus on multiplex networks
door: I Trpevski, et al.
Gepubliceerd in: (2014-01-01)

Kaemika app: integrating protocols and chemical simulation
door: Cardelli, L
Gepubliceerd in: (2020)

Individual fairness guarantees for neural networks
door: Benussi, E, et al.
Gepubliceerd in: (2022)

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

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