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)