The following pages link to Unifying Probability (Q5307481):
Displaying 6 items.
- Linking operational semantics and algebraic semantics for a probabilistic timed shared-variable language (Q652158) (← links)
- Integrating stochastic reasoning into Event-B development (Q903513) (← links)
- Uniform probability (Q919693) (← links)
- Unification of probability theory on time scales (Q1690900) (← links)
- A unification of probabilistic choice within a design-based model of reversible computation (Q1941891) (← links)
- Unanimous subjective probabilities (Q2464014) (← links)