Programming discrete distributions with chemical reaction networks

Programming discrete distributions with chemical reaction networks

Hiển thị phiên bản (1) khác

<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...

Mô tả đầy đủ

Chi tiết về thư mục
Những tác giả chính:	Cardelli, L, Kwiatkowska, M, Laurenti, L
Định dạng:	Journal article
Được phát hành:	Springer Netherlands 2017

Những quyển sách tương tự

Programming discrete distributions with chemical reaction networks
Bằng: Cardelli, L, et al.
Được phát hành: (2016)

Stochastic analysis of chemical reaction networks using linear noise approximation
Bằng: Cardelli, L, et al.
Được phát hành: (2016)

Approximation of probabilistic reachability for chemical reaction networks using the linear noise approximation
Bằng: Kwiatkowska, M, et al.
Được phát hành: (2016)

Syntax-guided optimal synthesis for chemical reaction networks
Bằng: Cardelli, L, et al.
Được phát hành: (2017)

Chemical reaction network designs for asynchronous logic circuits
Bằng: Cardelli, L, et al.
Được phát hành: (2017)

Chemical reaction network designs for asynchronous logic circuits
Bằng: Cardelli, L, et al.
Được phát hành: (2016)

PID control of biochemical reaction networks
Bằng: Whitby, M, et al.
Được phát hành: (2020)

PID control of biochemical reaction networks
Bằng: Whitby, M, et al.
Được phát hành: (2021)

A Stochastic Hybrid Approximation for Chemical Kinetics Based on the Linear Noise Approximation
Bằng: Cardelli, L, et al.
Được phát hành: (2016)

A language for modeling and optimizing experimental biological protocols
Bằng: Cardelli, L, et al.
Được phát hành: (2021)

Syntactic markovian bisimulation for chemical reaction networks
Bằng: Cardelli, L, et al.
Được phát hành: (2017)

Comparing chemical reaction networks: A categorical and algorithmic perspective
Bằng: Cardelli, L, et al.
Được phát hành: (2017)

Comparing chemical reaction networks: a categorical and algorithmic perspective
Bằng: Cardelli, L, et al.
Được phát hành: (2016)

Statistical guarantees for the robustness of Bayesian neural networks
Bằng: Cardelli, L, et al.
Được phát hành: (2019)

Central limit model checking
Bằng: Bortolussi, L, et al.
Được phát hành: (2019)

Central limit model checking
Bằng: Bortolussi, L, et al.
Được phát hành: (2018)

Robustness guarantees for Bayesian inference with Gaussian processes
Bằng: Cardelli, L, et al.
Được phát hành: (2019)

A Language for Modeling and Optimizing Experimental Biological Protocols
Bằng: Luca Cardelli, et al.
Được phát hành: (2021-10-01)

Molecular filters for noise reduction
Bằng: Laurenti, L, et al.
Được phát hành: (2018)

Adaptive Aggregation of Markov Chains: Quantitative Analysis of Chemical Reaction Networks
Bằng: Abate, A, et al.
Được phát hành: (2015)

Formal and efficient synthesis for continuous-time linear stochastic hybrid processes
Bằng: Laurenti, L, et al.
Được phát hành: (2020)

Experimental biological protocols with formal semantics
Bằng: Abate, A, et al.
Được phát hành: (2018)

Adversarial robustness guarantees for classification with Gaussian Processes
Bằng: Blaas, A, et al.
Được phát hành: (2020)

Adversarial robustness guarantees for Gaussian processes
Bằng: Patane, A, et al.
Được phát hành: (2022)

Reachability computation for switching diffusions: finite abstractions with certifiable and tuneable precision
Bằng: Laurenti, L, et al.
Được phát hành: (2017)

Reachability computation for switching diffusions: Finite abstractions with certifiable and tuneable precision
Bằng: Laurenti, L, et al.
Được phát hành: (2017)

Uncertainty quantification with statistical guarantees in end-to-end autonomous driving control
Bằng: Michelmore, R, et al.
Được phát hành: (2020)

Efficiency through uncertainty: scalable formal synthesis for stochastic hybrid systems
Bằng: Cauchi, N, et al.
Được phát hành: (2019)

From electric circuits to chemical networks
Bằng: Cardelli, L, et al.
Được phát hành: (2019)

Chemical Reaction Networks’ Programming for Solving Equations
Bằng: Ziwei Shang, et al.
Được phát hành: (2022-04-01)

Safety guarantees for iterative predictions with Gaussian Processes
Bằng: Polymenakos, K, et al.
Được phát hành: (2021)

Probabilistic safety for bayesian neural networks
Bằng: Wicker, M, et al.
Được phát hành: (2020)

Adversarial robustness certification for Bayesian neural networks
Bằng: Wicker, M, et al.
Được phát hành: (2024)

Chemical Memory with Discrete Turing Patterns Appearing in the Glycolytic Reaction
Bằng: Jerzy Gorecki, et al.
Được phát hành: (2023-04-01)

Algebraic Stability Criteria of Reaction Diffusion Genetic Regulatory Networks With Discrete and Distributed Delays
Bằng: Yinping Xie, et al.
Được phát hành: (2021-01-01)

Discrete-time distributed consensus on multiplex networks
Bằng: I Trpevski, et al.
Được phát hành: (2014-01-01)

Kaemika app: integrating protocols and chemical simulation
Bằng: Cardelli, L
Được phát hành: (2020)

Individual fairness guarantees for neural networks
Bằng: Benussi, E, et al.
Được phát hành: (2022)

Exact maximal reduction of stochastic reaction networks by species lumping
Bằng: Cardelli, L, et al.
Được phát hành: (2021)

Polysoliton solutions for plane discrete velocity models of a gas with chemical reactions
Bằng: A. Rossani
Được phát hành: (1991-05-01)