Measure Transformer Semantics for Bayesian Machine Learning (Q5892490): Difference between revisions

@@ Property / describes a project that uses @@
+Church
@@ Property / describes a project that uses: Church / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+WinBUGS
@@ Property / describes a project that uses: WinBUGS / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+FACTORIE
@@ Property / describes a project that uses: FACTORIE / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Infer.NET
@@ Property / describes a project that uses: Infer.NET / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Blaise
@@ Property / describes a project that uses: Blaise / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2135394066
@@ Property / OpenAlex ID: W2135394066 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.0689
@@ Property / arXiv ID: 1308.0689 / rank @@
+Normal rank
@@ Property / cites work @@
+Reconciling two views of cryptography (The computational soundness of formal encryption)
+Normal rank
@@ Property / cites work @@
+Formal certification of code-based cryptographic proofs
+Normal rank
@@ Property / cites work @@
+Q4836494
@@ Property / cites work: Q4836494 / rank @@
+Normal rank
@@ Property / cites work @@
+Measure Transformer Semantics for Bayesian Machine Learning
+Normal rank
@@ Property / cites work @@
+FUNCTIONAL PEARLS: Probabilistic functional programming in Haskell
+Normal rank
@@ Property / cites work @@
+Q4884614
@@ Property / cites work: Q4884614 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3203061
@@ Property / cites work: Q3203061 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3655273
@@ Property / cites work: Q3655273 / rank @@
+Normal rank
@@ Property / cites work @@
+Semantics of probabilistic programs
@@ Property / cites work: Semantics of probabilistic programs / rank @@
+Normal rank
@@ Property / cites work @@
+Factor graphs and the sum-product algorithm
@@ Property / cites work: Factor graphs and the sum-product algorithm / rank @@
+Normal rank
@@ Property / cites work @@
+Q4457477
@@ Property / cites work: Q4457477 / rank @@
+Normal rank
@@ Property / cites work @@
+Abstraction, Refinement and Proof for Probabilistic Systems
+Normal rank
@@ Property / cites work @@
+Bayesian Modeling Using WinBUGS
@@ Property / cites work: Bayesian Modeling Using WinBUGS / rank @@
+Normal rank
@@ Property / cites work @@
+Q3619416
@@ Property / cites work: Q3619416 / rank @@
+Normal rank
@@ Property / cites work @@
+A probabilistic language based upon sampling functions
+Normal rank
@@ Property / cites work @@
+Stochastic lambda calculus and monads of probability distributions
+Normal rank
@@ Property / cites work @@
+Distance makes the types grow stronger
@@ Property / cites work: Distance makes the types grow stronger / rank @@
+Normal rank
@@ Property / cites work @@
+Q3093272
@@ Property / cites work: Q3093272 / rank @@
+Normal rank