Measure Transformer Semantics for Bayesian Machine Learning

DOI10.1007/978-3-642-19718-5_5zbMath1326.68217arXiv1308.0689OpenAlexW2135394066WikidataQ62035685 ScholiaQ62035685MaRDI QIDQ5892490

Jurgen van Gael, J. Margetson, Andrew D. Gordon, Johannes Borgström, Michael Greenberg

Publication date: 19 May 2011

Published in: Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1308.0689

Mathematics Subject Classification ID

Learning and adaptive systems in artificial intelligence (68T05)

Related Items (4)

Mixed nondeterministic-probabilistic automata: blending graphical probabilistic models with nondeterminism ⋮ A Type Theory for Probabilistic and Bayesian Reasoning ⋮ Probabilistic NetKAT ⋮ An Application of Computable Distributions to the Semantics of Probabilistic Programming Languages

Uses Software

• Haskell
• WinBUGS
• Infer.NET
• IBAL
• Church
• FACTORIE
• trueskill
• TrueSkill
• F#
• Blaise

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Semantics of probabilistic programs
• Reconciling two views of cryptography (The computational soundness of formal encryption)
• Bayesian Modeling Using WinBUGS
• Factor graphs and the sum-product algorithm
• Abstraction, Refinement and Proof for Probabilistic Systems
• Distance makes the types grow stronger
• Stochastic lambda calculus and monads of probability distributions
• Formal certification of code-based cryptographic proofs
• A probabilistic language based upon sampling functions
• FUNCTIONAL PEARLS: Probabilistic functional programming in Haskell
• Measure Transformer Semantics for Bayesian Machine Learning

This page was built for publication: Measure Transformer Semantics for Bayesian Machine Learning