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)