An Application of Computable Distributions to the Semantics of Probabilistic Programming Languages (Q2802487): 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 @@
+BUGS
@@ Property / describes a project that uses: BUGS / 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 @@
+Dimple
@@ Property / describes a project that uses: Dimple / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Infer.NET
@@ Property / describes a project that uses: Infer.NET / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-662-49498-1_14
+Normal rank
@@ Property / OpenAlex ID @@
+W2465272687
@@ Property / OpenAlex ID: W2465272687 / rank @@
+Normal rank
@@ Property / cites work @@
+On the rapid computation of various polylogarithmic constants
+Normal rank
@@ Property / cites work @@
+Measure Transformer Semantics for Bayesian Machine Learning
+Normal rank
@@ Property / cites work @@
+Computable de Finetti measures
@@ Property / cites work: Computable de Finetti measures / rank @@
+Normal rank
@@ Property / cites work @@
+Uniform test of algorithmic randomness over a general space
+Normal rank
@@ Property / cites work @@
+Effective symbolic dynamics, random points, statistical behavior, complexity and entropy
+Normal rank
@@ Property / cites work @@
+Q3946875
@@ Property / cites work: Q3946875 / rank @@
+Normal rank
@@ Property / cites work @@
+The No-U-Turn Sampler: Adaptively Setting Path Lengths in Hamiltonian   Monte Carlo
+Normal rank
@@ Property / cites work @@
+Computability of probability measures and Martin-Löf randomness over metric spaces
+Normal rank
@@ Property / cites work @@
+Q3203061
@@ Property / cites work: Q3203061 / rank @@
+Normal rank
@@ Property / cites work @@
+Semantics of probabilistic programs
@@ Property / cites work: Semantics of probabilistic programs / 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 @@
+Probability Theory with Applications
@@ Property / cites work: Probability Theory with Applications / rank @@
+Normal rank
@@ Property / cites work @@
+CPO's of measures for nondeterminism
@@ Property / cites work: CPO's of measures for nondeterminism / rank @@
+Normal rank
@@ Property / cites work @@
+Admissible representations for probability measures
+Normal rank
@@ Property / cites work @@
+Running Probabilistic Programs Backwards
@@ Property / cites work: Running Probabilistic Programs Backwards / rank @@
+Normal rank
@@ Property / cites work @@
+Computability on the probability measures on the Borel sets of the unit interval
+Normal rank
@@ Property / cites work @@
+Q4485693
@@ Property / cites work: Q4485693 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3141916
@@ Property / cites work: Q3141916 / rank @@
+Normal rank