Pages that link to "Item:Q1744386"
From MaRDI portal
The following pages link to A predicate/state transformer semantics for Bayesian learning (Q1744386):
Displayed 13 items.
- From probability monads to commutative effectuses (Q1683710) (← links)
- Learning along a channel: the expectation part of expectation-maximisation (Q2133170) (← links)
- A synthetic approach to Markov kernels, conditional independence and theorems on sufficient statistics (Q2189508) (← links)
- Bayesian network semantics for Petri nets (Q2286739) (← links)
- Program algebra for quantitative information flow (Q2423771) (← links)
- Commutative Semantics for Probabilistic Programming (Q2988671) (← links)
- (Q3385638) (← links)
- A Type Theory for Probabilistic and Bayesian Reasoning (Q4580222) (← links)
- Updating Probabilistic Knowledge on Condition/Event Nets using Bayesian Networks (Q5009443) (← links)
- Causal inference via string diagram surgery (Q5076389) (← links)
- A Formal Semantics of Influence in Bayesian Reasoning (Q5111235) (← links)
- Disintegration and Bayesian inversion via string diagrams (Q5243152) (← links)
- Affine Monads and Side-Effect-Freeness (Q5739449) (← links)