Compositional imprecise probability: a solution from graded monads and Markov categories

Compositional imprecise probability: a solution from graded monads and Markov categories

Imprecise probability is concerned with uncertainty about which probability distributions to use. It has applications in robust statistics and machine learning. We look at programming language models for imprecise probability. Our desiderata are that we would like our model to support all kinds of c...

Detaylı Bibliyografya
Asıl Yazarlar:	Liell-Cock, J, Staton, S
Materyal Türü:	Journal article
Dil:	English
Baskı/Yayın Bilgisi:	Association for Computing Machinery 2025

Benzer Materyaller

Probability measure monad on the category of ultrametric spaces
Yazar:: O.B. Hubal, ve diğerleri
Baskı/Yayın Bilgisi: (2008-10-01)

Reasoning with Imprecise Probabilities
Yazar:: Cano, A, ve diğerleri
Baskı/Yayın Bilgisi: (2007)

Introduction to imprecise probabilities /
Yazar:: Augustin, Thomas
Baskı/Yayın Bilgisi: (2014)

Logical Approaches to Imprecise Probabilities
Yazar:: Lukasiewicz, T
Baskı/Yayın Bilgisi: (2008)

Monads for measurable queries in probabilistic databases
Yazar:: Dash, S, ve diğerleri
Baskı/Yayın Bilgisi: (2021)

On $\ast$-measure monads on the category of ultrametric spaces
Yazar:: Kh.O. Sukhorukova, ve diğerleri
Baskı/Yayın Bilgisi: (2022-12-01)

Natech Risk Assessment with Imprecise Probabilities
Yazar:: Alireza Dehghanisanij, ve diğerleri
Baskı/Yayın Bilgisi: (2024-10-01)

Imprecise probability for non-commuting observables
Yazar:: Armen E Allahverdyan
Baskı/Yayın Bilgisi: (2015-01-01)

Equalizer in the Kleisli category of the $n$-fuzzy powerset monad
Yazar:: Seyed Naser Hosseini, ve diğerleri
Baskı/Yayın Bilgisi: (2024-12-01)

Lax orthogonal factorisations in monad-quantale-enriched categories
Yazar:: Maria Manuel Clementino, ve diğerleri
Baskı/Yayın Bilgisi: (2017-09-01)

Monadic Second Order Logic with Measure and Category Quantifiers
Yazar:: Matteo Mio, ve diğerleri
Baskı/Yayın Bilgisi: (2018-04-01)

A monad for full ground reference cells
Yazar:: Kammar, O, ve diğerleri
Baskı/Yayın Bilgisi: (2017)

Affine monads and lazy structures for Bayesian programming
Yazar:: Dash, S, ve diğerleri
Baskı/Yayın Bilgisi: (2023)

Imprecise probability assessment of tipping points in the climate system
Yazar:: Hall, J
Baskı/Yayın Bilgisi: (2009)

Reaching Consensus with Imprecise Probabilities Over a Network
Yazar:: How, Jonathan P., ve diğerleri
Baskı/Yayın Bilgisi: (2010)

Reaching Consensus with Imprecise Probabilities over a Network
Yazar:: Bertuccelli, Luca F., ve diğerleri
Baskı/Yayın Bilgisi: (2008)

Using inferred probabilities to measure the accuracy of imprecise forecasts
Yazar:: Paul Lehner, ve diğerleri
Baskı/Yayın Bilgisi: (2012-11-01)

Using inferred probabilities to measure the accuracy of imprecise forecasts
Yazar:: Paul Lehner, ve diğerleri
Baskı/Yayın Bilgisi: (2012-11-01)

Engineering Design under Imprecise Probabilities: Computational Complexity
Yazar:: Vladik Kreinovich
Baskı/Yayın Bilgisi: (2011-01-01)

Abstract Hidden Markov Models: a monadic account of quantitative information flow
Yazar:: Annabelle McIver, ve diğerleri
Baskı/Yayın Bilgisi: (2019-03-01)

Probability, valuations, hyperspace: three monads on top and the support as a morphism
Yazar:: Fritz, T, ve diğerleri
Baskı/Yayın Bilgisi: (2022)

Corecursive Algebras, Corecursive Monads and Bloom Monads
Yazar:: Jiří Adámek, ve diğerleri
Baskı/Yayın Bilgisi: (2014-09-01)

A convenient category for higher-order probability theory
Yazar:: Heunen, C, ve diğerleri
Baskı/Yayın Bilgisi: (2017)

Monads for behaviour
Yazar:: Piróg, M, ve diğerleri
Baskı/Yayın Bilgisi: (2013)

Monads for behaviour
Yazar:: Piróg, M, ve diğerleri
Baskı/Yayın Bilgisi: (2013)

Of Tactics and Monads
Yazar:: Martin, A
Baskı/Yayın Bilgisi: (1996)

On the non-compositionality of monads via distributive laws
Yazar:: Zwart, M
Baskı/Yayın Bilgisi: (2020)

Natural Transformations as Rewrite Rules and Monad Composition
Yazar:: Dexter Kozen
Baskı/Yayın Bilgisi: (2019-01-01)

Entangled State Monads
Yazar:: Cheney, J, ve diğerleri
Baskı/Yayın Bilgisi: (2014)

Reflections on monadic lenses
Yazar:: Abou-Saleh, F, ve diğerleri
Baskı/Yayın Bilgisi: (2016)

The coinductive resumption monad
Yazar:: Piróg, M, ve diğerleri
Baskı/Yayın Bilgisi: (2014)

The coinductive resumption monad
Yazar:: Piróg, M, ve diğerleri
Baskı/Yayın Bilgisi: (2014)

The monad induced by the hom-functor in the category of topological spaces and its associated Eilenberg-Moore algebras
Yazar:: Koena R. Nailana
Baskı/Yayın Bilgisi: (2002-01-01)

Algorithms for the extension of precise and imprecise conditional probability assessments: an implementation with maple V
Yazar:: Veronica Biazzo
Baskı/Yayın Bilgisi: (2000-05-01)

On Robust Maintenance Scheduling of Fatigue-prone Structural Systems Considering Imprecise Probability
Yazar:: E. Patelli, ve diğerleri
Baskı/Yayın Bilgisi: (2013-07-01)

The Failure-tree Analysis Based on Imprecise Probability and its Application on Tunnel Project
Yazar:: Lei Huang
Baskı/Yayın Bilgisi: (2017-07-01)

Markov categories and entropy
Yazar:: Perrone, P
Baskı/Yayın Bilgisi: (2023)

A Monadic Interpretation of Tactics
Yazar:: Martin, A, ve diğerleri
Baskı/Yayın Bilgisi: (2015)

Deriving monad transformers
Yazar:: Hinze, R
Baskı/Yayın Bilgisi: (1999)

Monadic Datalog Containment
Yazar:: Benedikt, M, ve diğerleri
Baskı/Yayın Bilgisi: (2012)