Programming discrete distributions with chemical reaction networks

Programming discrete distributions with chemical reaction networks

Čájet eará veršuvnnaid (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...

Bibliográfalaš dieđut
Váldodahkkit:	Cardelli, L, Kwiatkowska, M, Laurenti, L
Materiálatiipa:	Journal article
Almmustuhtton:	Springer Netherlands 2017

Geahča maid

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Central limit model checking
Dahkki: Bortolussi, L, et al.
Almmustuhtton: (2019)

Central limit model checking
Dahkki: Bortolussi, L, et al.
Almmustuhtton: (2018)

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

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

Molecular filters for noise reduction
Dahkki: Laurenti, L, et al.
Almmustuhtton: (2018)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Kaemika app: integrating protocols and chemical simulation
Dahkki: Cardelli, L
Almmustuhtton: (2020)

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

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

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