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)