Programming discrete distributions with chemical reaction networks

Programming discrete distributions with chemical reaction networks

Pokaži ostale verzije (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...

Bibliografski detalji
Glavni autori:	Cardelli, L, Kwiatkowska, M, Laurenti, L
Format:	Journal article
Izdano:	Springer Netherlands 2017

Slični predmeti

Programming discrete distributions with chemical reaction networks
od: Cardelli, L, i dr.
Izdano: (2016)

Stochastic analysis of chemical reaction networks using linear noise approximation
od: Cardelli, L, i dr.
Izdano: (2016)

Approximation of probabilistic reachability for chemical reaction networks using the linear noise approximation
od: Kwiatkowska, M, i dr.
Izdano: (2016)

Syntax-guided optimal synthesis for chemical reaction networks
od: Cardelli, L, i dr.
Izdano: (2017)

Chemical reaction network designs for asynchronous logic circuits
od: Cardelli, L, i dr.
Izdano: (2017)

Chemical reaction network designs for asynchronous logic circuits
od: Cardelli, L, i dr.
Izdano: (2016)

PID control of biochemical reaction networks
od: Whitby, M, i dr.
Izdano: (2020)

PID control of biochemical reaction networks
od: Whitby, M, i dr.
Izdano: (2021)

A Stochastic Hybrid Approximation for Chemical Kinetics Based on the Linear Noise Approximation
od: Cardelli, L, i dr.
Izdano: (2016)

A language for modeling and optimizing experimental biological protocols
od: Cardelli, L, i dr.
Izdano: (2021)

Syntactic markovian bisimulation for chemical reaction networks
od: Cardelli, L, i dr.
Izdano: (2017)

Comparing chemical reaction networks: A categorical and algorithmic perspective
od: Cardelli, L, i dr.
Izdano: (2017)

Comparing chemical reaction networks: a categorical and algorithmic perspective
od: Cardelli, L, i dr.
Izdano: (2016)

Statistical guarantees for the robustness of Bayesian neural networks
od: Cardelli, L, i dr.
Izdano: (2019)

Central limit model checking
od: Bortolussi, L, i dr.
Izdano: (2019)

Central limit model checking
od: Bortolussi, L, i dr.
Izdano: (2018)

Robustness guarantees for Bayesian inference with Gaussian processes
od: Cardelli, L, i dr.
Izdano: (2019)

A Language for Modeling and Optimizing Experimental Biological Protocols
od: Luca Cardelli, i dr.
Izdano: (2021-10-01)

Molecular filters for noise reduction
od: Laurenti, L, i dr.
Izdano: (2018)

Adaptive Aggregation of Markov Chains: Quantitative Analysis of Chemical Reaction Networks
od: Abate, A, i dr.
Izdano: (2015)

Formal and efficient synthesis for continuous-time linear stochastic hybrid processes
od: Laurenti, L, i dr.
Izdano: (2020)

Experimental biological protocols with formal semantics
od: Abate, A, i dr.
Izdano: (2018)

Adversarial robustness guarantees for classification with Gaussian Processes
od: Blaas, A, i dr.
Izdano: (2020)

Adversarial robustness guarantees for Gaussian processes
od: Patane, A, i dr.
Izdano: (2022)

Reachability computation for switching diffusions: finite abstractions with certifiable and tuneable precision
od: Laurenti, L, i dr.
Izdano: (2017)

Reachability computation for switching diffusions: Finite abstractions with certifiable and tuneable precision
od: Laurenti, L, i dr.
Izdano: (2017)

Uncertainty quantification with statistical guarantees in end-to-end autonomous driving control
od: Michelmore, R, i dr.
Izdano: (2020)

Efficiency through uncertainty: scalable formal synthesis for stochastic hybrid systems
od: Cauchi, N, i dr.
Izdano: (2019)

From electric circuits to chemical networks
od: Cardelli, L, i dr.
Izdano: (2019)

Chemical Reaction Networks’ Programming for Solving Equations
od: Ziwei Shang, i dr.
Izdano: (2022-04-01)

Safety guarantees for iterative predictions with Gaussian Processes
od: Polymenakos, K, i dr.
Izdano: (2021)

Probabilistic safety for bayesian neural networks
od: Wicker, M, i dr.
Izdano: (2020)

Adversarial robustness certification for Bayesian neural networks
od: Wicker, M, i dr.
Izdano: (2024)

Chemical Memory with Discrete Turing Patterns Appearing in the Glycolytic Reaction
od: Jerzy Gorecki, i dr.
Izdano: (2023-04-01)

Algebraic Stability Criteria of Reaction Diffusion Genetic Regulatory Networks With Discrete and Distributed Delays
od: Yinping Xie, i dr.
Izdano: (2021-01-01)

Discrete-time distributed consensus on multiplex networks
od: I Trpevski, i dr.
Izdano: (2014-01-01)

Kaemika app: integrating protocols and chemical simulation
od: Cardelli, L
Izdano: (2020)

Individual fairness guarantees for neural networks
od: Benussi, E, i dr.
Izdano: (2022)

Exact maximal reduction of stochastic reaction networks by species lumping
od: Cardelli, L, i dr.
Izdano: (2021)

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