Programming discrete distributions with chemical reaction networks

Programming discrete distributions with chemical reaction networks

Показать другие версии (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...

Полное описание

Библиографические подробности
Главные авторы:	Cardelli, L, Kwiatkowska, M, Laurenti, L
Формат:	Journal article
Опубликовано:	Springer Netherlands 2017

Схожие документы

Programming discrete distributions with chemical reaction networks
по: Cardelli, L, и др.
Опубликовано: (2016)

Stochastic analysis of chemical reaction networks using linear noise approximation
по: Cardelli, L, и др.
Опубликовано: (2016)

Approximation of probabilistic reachability for chemical reaction networks using the linear noise approximation
по: Kwiatkowska, M, и др.
Опубликовано: (2016)

Syntax-guided optimal synthesis for chemical reaction networks
по: Cardelli, L, и др.
Опубликовано: (2017)

Chemical reaction network designs for asynchronous logic circuits
по: Cardelli, L, и др.
Опубликовано: (2017)

Chemical reaction network designs for asynchronous logic circuits
по: Cardelli, L, и др.
Опубликовано: (2016)

PID control of biochemical reaction networks
по: Whitby, M, и др.
Опубликовано: (2020)

PID control of biochemical reaction networks
по: Whitby, M, и др.
Опубликовано: (2021)

A Stochastic Hybrid Approximation for Chemical Kinetics Based on the Linear Noise Approximation
по: Cardelli, L, и др.
Опубликовано: (2016)

A language for modeling and optimizing experimental biological protocols
по: Cardelli, L, и др.
Опубликовано: (2021)

Syntactic markovian bisimulation for chemical reaction networks
по: Cardelli, L, и др.
Опубликовано: (2017)

Comparing chemical reaction networks: A categorical and algorithmic perspective
по: Cardelli, L, и др.
Опубликовано: (2017)

Comparing chemical reaction networks: a categorical and algorithmic perspective
по: Cardelli, L, и др.
Опубликовано: (2016)

Statistical guarantees for the robustness of Bayesian neural networks
по: Cardelli, L, и др.
Опубликовано: (2019)

Central limit model checking
по: Bortolussi, L, и др.
Опубликовано: (2019)

Central limit model checking
по: Bortolussi, L, и др.
Опубликовано: (2018)

Robustness guarantees for Bayesian inference with Gaussian processes
по: Cardelli, L, и др.
Опубликовано: (2019)

A Language for Modeling and Optimizing Experimental Biological Protocols
по: Luca Cardelli, и др.
Опубликовано: (2021-10-01)

Molecular filters for noise reduction
по: Laurenti, L, и др.
Опубликовано: (2018)

Adaptive Aggregation of Markov Chains: Quantitative Analysis of Chemical Reaction Networks
по: Abate, A, и др.
Опубликовано: (2015)

Formal and efficient synthesis for continuous-time linear stochastic hybrid processes
по: Laurenti, L, и др.
Опубликовано: (2020)

Experimental biological protocols with formal semantics
по: Abate, A, и др.
Опубликовано: (2018)

Adversarial robustness guarantees for classification with Gaussian Processes
по: Blaas, A, и др.
Опубликовано: (2020)

Adversarial robustness guarantees for Gaussian processes
по: Patane, A, и др.
Опубликовано: (2022)

Reachability computation for switching diffusions: finite abstractions with certifiable and tuneable precision
по: Laurenti, L, и др.
Опубликовано: (2017)

Reachability computation for switching diffusions: Finite abstractions with certifiable and tuneable precision
по: Laurenti, L, и др.
Опубликовано: (2017)

Uncertainty quantification with statistical guarantees in end-to-end autonomous driving control
по: Michelmore, R, и др.
Опубликовано: (2020)

Efficiency through uncertainty: scalable formal synthesis for stochastic hybrid systems
по: Cauchi, N, и др.
Опубликовано: (2019)

From electric circuits to chemical networks
по: Cardelli, L, и др.
Опубликовано: (2019)

Chemical Reaction Networks’ Programming for Solving Equations
по: Ziwei Shang, и др.
Опубликовано: (2022-04-01)

Safety guarantees for iterative predictions with Gaussian Processes
по: Polymenakos, K, и др.
Опубликовано: (2021)

Probabilistic safety for bayesian neural networks
по: Wicker, M, и др.
Опубликовано: (2020)

Adversarial robustness certification for Bayesian neural networks
по: Wicker, M, и др.
Опубликовано: (2024)

Chemical Memory with Discrete Turing Patterns Appearing in the Glycolytic Reaction
по: Jerzy Gorecki, и др.
Опубликовано: (2023-04-01)

Algebraic Stability Criteria of Reaction Diffusion Genetic Regulatory Networks With Discrete and Distributed Delays
по: Yinping Xie, и др.
Опубликовано: (2021-01-01)

Discrete-time distributed consensus on multiplex networks
по: I Trpevski, и др.
Опубликовано: (2014-01-01)

Kaemika app: integrating protocols and chemical simulation
по: Cardelli, L
Опубликовано: (2020)

Individual fairness guarantees for neural networks
по: Benussi, E, и др.
Опубликовано: (2022)

Exact maximal reduction of stochastic reaction networks by species lumping
по: Cardelli, L, и др.
Опубликовано: (2021)

Polysoliton solutions for plane discrete velocity models of a gas with chemical reactions
по: A. Rossani
Опубликовано: (1991-05-01)