Programming discrete distributions with chemical reaction networks

Programming discrete distributions with chemical reaction networks

Taispeáin leaganacha eile (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...

Cur síos iomlán

Sonraí bibleagrafaíochta
Príomhchruthaitheoirí:	Cardelli, L, Kwiatkowska, M, Laurenti, L
Formáid:	Journal article
Foilsithe / Cruthaithe:	Springer Netherlands 2017

Míreanna comhchosúla

Programming discrete distributions with chemical reaction networks
de réir: Cardelli, L, et al.
Foilsithe / Cruthaithe: (2016)

Stochastic analysis of chemical reaction networks using linear noise approximation
de réir: Cardelli, L, et al.
Foilsithe / Cruthaithe: (2016)

Approximation of probabilistic reachability for chemical reaction networks using the linear noise approximation
de réir: Kwiatkowska, M, et al.
Foilsithe / Cruthaithe: (2016)

Syntax-guided optimal synthesis for chemical reaction networks
de réir: Cardelli, L, et al.
Foilsithe / Cruthaithe: (2017)

Chemical reaction network designs for asynchronous logic circuits
de réir: Cardelli, L, et al.
Foilsithe / Cruthaithe: (2017)

Chemical reaction network designs for asynchronous logic circuits
de réir: Cardelli, L, et al.
Foilsithe / Cruthaithe: (2016)

PID control of biochemical reaction networks
de réir: Whitby, M, et al.
Foilsithe / Cruthaithe: (2020)

PID control of biochemical reaction networks
de réir: Whitby, M, et al.
Foilsithe / Cruthaithe: (2021)

A Stochastic Hybrid Approximation for Chemical Kinetics Based on the Linear Noise Approximation
de réir: Cardelli, L, et al.
Foilsithe / Cruthaithe: (2016)

A language for modeling and optimizing experimental biological protocols
de réir: Cardelli, L, et al.
Foilsithe / Cruthaithe: (2021)

Syntactic markovian bisimulation for chemical reaction networks
de réir: Cardelli, L, et al.
Foilsithe / Cruthaithe: (2017)

Comparing chemical reaction networks: A categorical and algorithmic perspective
de réir: Cardelli, L, et al.
Foilsithe / Cruthaithe: (2017)

Comparing chemical reaction networks: a categorical and algorithmic perspective
de réir: Cardelli, L, et al.
Foilsithe / Cruthaithe: (2016)

Statistical guarantees for the robustness of Bayesian neural networks
de réir: Cardelli, L, et al.
Foilsithe / Cruthaithe: (2019)

Central limit model checking
de réir: Bortolussi, L, et al.
Foilsithe / Cruthaithe: (2019)

Central limit model checking
de réir: Bortolussi, L, et al.
Foilsithe / Cruthaithe: (2018)

Robustness guarantees for Bayesian inference with Gaussian processes
de réir: Cardelli, L, et al.
Foilsithe / Cruthaithe: (2019)

A Language for Modeling and Optimizing Experimental Biological Protocols
de réir: Luca Cardelli, et al.
Foilsithe / Cruthaithe: (2021-10-01)

Molecular filters for noise reduction
de réir: Laurenti, L, et al.
Foilsithe / Cruthaithe: (2018)

Adaptive Aggregation of Markov Chains: Quantitative Analysis of Chemical Reaction Networks
de réir: Abate, A, et al.
Foilsithe / Cruthaithe: (2015)

Formal and efficient synthesis for continuous-time linear stochastic hybrid processes
de réir: Laurenti, L, et al.
Foilsithe / Cruthaithe: (2020)

Experimental biological protocols with formal semantics
de réir: Abate, A, et al.
Foilsithe / Cruthaithe: (2018)

Adversarial robustness guarantees for classification with Gaussian Processes
de réir: Blaas, A, et al.
Foilsithe / Cruthaithe: (2020)

Adversarial robustness guarantees for Gaussian processes
de réir: Patane, A, et al.
Foilsithe / Cruthaithe: (2022)

Reachability computation for switching diffusions: finite abstractions with certifiable and tuneable precision
de réir: Laurenti, L, et al.
Foilsithe / Cruthaithe: (2017)

Reachability computation for switching diffusions: Finite abstractions with certifiable and tuneable precision
de réir: Laurenti, L, et al.
Foilsithe / Cruthaithe: (2017)

Uncertainty quantification with statistical guarantees in end-to-end autonomous driving control
de réir: Michelmore, R, et al.
Foilsithe / Cruthaithe: (2020)

Efficiency through uncertainty: scalable formal synthesis for stochastic hybrid systems
de réir: Cauchi, N, et al.
Foilsithe / Cruthaithe: (2019)

From electric circuits to chemical networks
de réir: Cardelli, L, et al.
Foilsithe / Cruthaithe: (2019)

Chemical Reaction Networks’ Programming for Solving Equations
de réir: Ziwei Shang, et al.
Foilsithe / Cruthaithe: (2022-04-01)

Safety guarantees for iterative predictions with Gaussian Processes
de réir: Polymenakos, K, et al.
Foilsithe / Cruthaithe: (2021)

Probabilistic safety for bayesian neural networks
de réir: Wicker, M, et al.
Foilsithe / Cruthaithe: (2020)

Adversarial robustness certification for Bayesian neural networks
de réir: Wicker, M, et al.
Foilsithe / Cruthaithe: (2024)

Chemical Memory with Discrete Turing Patterns Appearing in the Glycolytic Reaction
de réir: Jerzy Gorecki, et al.
Foilsithe / Cruthaithe: (2023-04-01)

Algebraic Stability Criteria of Reaction Diffusion Genetic Regulatory Networks With Discrete and Distributed Delays
de réir: Yinping Xie, et al.
Foilsithe / Cruthaithe: (2021-01-01)

Discrete-time distributed consensus on multiplex networks
de réir: I Trpevski, et al.
Foilsithe / Cruthaithe: (2014-01-01)

Kaemika app: integrating protocols and chemical simulation
de réir: Cardelli, L
Foilsithe / Cruthaithe: (2020)

Individual fairness guarantees for neural networks
de réir: Benussi, E, et al.
Foilsithe / Cruthaithe: (2022)

Exact maximal reduction of stochastic reaction networks by species lumping
de réir: Cardelli, L, et al.
Foilsithe / Cruthaithe: (2021)

Polysoliton solutions for plane discrete velocity models of a gas with chemical reactions
de réir: A. Rossani
Foilsithe / Cruthaithe: (1991-05-01)