Programming discrete distributions with chemical reaction networks

Programming discrete distributions with chemical reaction networks

Diğer sürümleri göster (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...

Detaylı Bibliyografya
Asıl Yazarlar:	Cardelli, L, Kwiatkowska, M, Laurenti, L
Materyal Türü:	Journal article
Baskı/Yayın Bilgisi:	Springer Netherlands 2017

Benzer Materyaller

Programming discrete distributions with chemical reaction networks
Yazar:: Cardelli, L, ve diğerleri
Baskı/Yayın Bilgisi: (2016)

Stochastic analysis of chemical reaction networks using linear noise approximation
Yazar:: Cardelli, L, ve diğerleri
Baskı/Yayın Bilgisi: (2016)

Approximation of probabilistic reachability for chemical reaction networks using the linear noise approximation
Yazar:: Kwiatkowska, M, ve diğerleri
Baskı/Yayın Bilgisi: (2016)

Syntax-guided optimal synthesis for chemical reaction networks
Yazar:: Cardelli, L, ve diğerleri
Baskı/Yayın Bilgisi: (2017)

Chemical reaction network designs for asynchronous logic circuits
Yazar:: Cardelli, L, ve diğerleri
Baskı/Yayın Bilgisi: (2017)

Chemical reaction network designs for asynchronous logic circuits
Yazar:: Cardelli, L, ve diğerleri
Baskı/Yayın Bilgisi: (2016)

PID control of biochemical reaction networks
Yazar:: Whitby, M, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

PID control of biochemical reaction networks
Yazar:: Whitby, M, ve diğerleri
Baskı/Yayın Bilgisi: (2021)

A Stochastic Hybrid Approximation for Chemical Kinetics Based on the Linear Noise Approximation
Yazar:: Cardelli, L, ve diğerleri
Baskı/Yayın Bilgisi: (2016)

A language for modeling and optimizing experimental biological protocols
Yazar:: Cardelli, L, ve diğerleri
Baskı/Yayın Bilgisi: (2021)

Syntactic markovian bisimulation for chemical reaction networks
Yazar:: Cardelli, L, ve diğerleri
Baskı/Yayın Bilgisi: (2017)

Comparing chemical reaction networks: A categorical and algorithmic perspective
Yazar:: Cardelli, L, ve diğerleri
Baskı/Yayın Bilgisi: (2017)

Comparing chemical reaction networks: a categorical and algorithmic perspective
Yazar:: Cardelli, L, ve diğerleri
Baskı/Yayın Bilgisi: (2016)

Statistical guarantees for the robustness of Bayesian neural networks
Yazar:: Cardelli, L, ve diğerleri
Baskı/Yayın Bilgisi: (2019)

Central limit model checking
Yazar:: Bortolussi, L, ve diğerleri
Baskı/Yayın Bilgisi: (2019)

Central limit model checking
Yazar:: Bortolussi, L, ve diğerleri
Baskı/Yayın Bilgisi: (2018)

Robustness guarantees for Bayesian inference with Gaussian processes
Yazar:: Cardelli, L, ve diğerleri
Baskı/Yayın Bilgisi: (2019)

A Language for Modeling and Optimizing Experimental Biological Protocols
Yazar:: Luca Cardelli, ve diğerleri
Baskı/Yayın Bilgisi: (2021-10-01)

Molecular filters for noise reduction
Yazar:: Laurenti, L, ve diğerleri
Baskı/Yayın Bilgisi: (2018)

Adaptive Aggregation of Markov Chains: Quantitative Analysis of Chemical Reaction Networks
Yazar:: Abate, A, ve diğerleri
Baskı/Yayın Bilgisi: (2015)

Formal and efficient synthesis for continuous-time linear stochastic hybrid processes
Yazar:: Laurenti, L, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Experimental biological protocols with formal semantics
Yazar:: Abate, A, ve diğerleri
Baskı/Yayın Bilgisi: (2018)

Adversarial robustness guarantees for classification with Gaussian Processes
Yazar:: Blaas, A, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Adversarial robustness guarantees for Gaussian processes
Yazar:: Patane, A, ve diğerleri
Baskı/Yayın Bilgisi: (2022)

Reachability computation for switching diffusions: finite abstractions with certifiable and tuneable precision
Yazar:: Laurenti, L, ve diğerleri
Baskı/Yayın Bilgisi: (2017)

Reachability computation for switching diffusions: Finite abstractions with certifiable and tuneable precision
Yazar:: Laurenti, L, ve diğerleri
Baskı/Yayın Bilgisi: (2017)

Uncertainty quantification with statistical guarantees in end-to-end autonomous driving control
Yazar:: Michelmore, R, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Efficiency through uncertainty: scalable formal synthesis for stochastic hybrid systems
Yazar:: Cauchi, N, ve diğerleri
Baskı/Yayın Bilgisi: (2019)

From electric circuits to chemical networks
Yazar:: Cardelli, L, ve diğerleri
Baskı/Yayın Bilgisi: (2019)

Chemical Reaction Networks’ Programming for Solving Equations
Yazar:: Ziwei Shang, ve diğerleri
Baskı/Yayın Bilgisi: (2022-04-01)

Safety guarantees for iterative predictions with Gaussian Processes
Yazar:: Polymenakos, K, ve diğerleri
Baskı/Yayın Bilgisi: (2021)

Probabilistic safety for bayesian neural networks
Yazar:: Wicker, M, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Adversarial robustness certification for Bayesian neural networks
Yazar:: Wicker, M, ve diğerleri
Baskı/Yayın Bilgisi: (2024)

Chemical Memory with Discrete Turing Patterns Appearing in the Glycolytic Reaction
Yazar:: Jerzy Gorecki, ve diğerleri
Baskı/Yayın Bilgisi: (2023-04-01)

Algebraic Stability Criteria of Reaction Diffusion Genetic Regulatory Networks With Discrete and Distributed Delays
Yazar:: Yinping Xie, ve diğerleri
Baskı/Yayın Bilgisi: (2021-01-01)

Discrete-time distributed consensus on multiplex networks
Yazar:: I Trpevski, ve diğerleri
Baskı/Yayın Bilgisi: (2014-01-01)

Kaemika app: integrating protocols and chemical simulation
Yazar:: Cardelli, L
Baskı/Yayın Bilgisi: (2020)

Individual fairness guarantees for neural networks
Yazar:: Benussi, E, ve diğerleri
Baskı/Yayın Bilgisi: (2022)

Exact maximal reduction of stochastic reaction networks by species lumping
Yazar:: Cardelli, L, ve diğerleri
Baskı/Yayın Bilgisi: (2021)

Polysoliton solutions for plane discrete velocity models of a gas with chemical reactions
Yazar:: A. Rossani
Baskı/Yayın Bilgisi: (1991-05-01)