The following pages link to (Q5275390):
Displaying 4 items.
- Densities of almost surely terminating probabilistic programs are differentiable almost everywhere (Q2233472) (← links)
- Bayesian strategies: probabilistic programs as generalised graphical models (Q2233478) (← links)
- Probabilistic Programming Language and its Incremental Evaluation (Q3179303) (← links)
- Mixed nondeterministic-probabilistic automata: blending graphical probabilistic models with nondeterminism (Q6201390) (← links)
