An Application of Computable Distributions to the Semantics of Probabilistic Programming Languages (Q2802487): Difference between revisions

@@ 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