Playlist: 25 videos

Uncertainty in Computation

The true logic of the World is the calculus of probabilities — James Clerk Maxwell
The theory of probability is at bottom nothing but common sense reduced to calculus — Pierre Simon Laplace

Uncertainty pervades our every interaction with the...

1:0:46

Unifying Logic and Probability: The BLOG Language

Stuart Russell, UC Berkeley
https://simons.berkeley.edu/talks/stuart-russell-10-04-2016
Uncertainty in Computation
Visit talk page
0:42:40

Model Checking and Strategy Synthesis for Stochastic Games: From Theory to Practice

Marta Kwiatkowska, University of Oxford
https://simons.berkeley.edu/talks/marta-kwiatkowska-10-04-2016
Uncertainty in Computation
Visit talk page
0:37:28

Computing Probabilistic Bisimilarity Distances via Policy Iteration

Franck van Breugel, York University
https://simons.berkeley.edu/talks/franck-van-breugel-10-04-2016
Uncertainty in Computation
Visit talk page
0:43:18

Quantitative Algebraic Reasoning

Radu Mardare, Aalborg University
https://simons.berkeley.edu/talks/radu-mardare-10-04-2016
Uncertainty in Computation
Visit talk page
0:42:46

Controlling Probabilistic Systems Under Partial Observation

Nathalie Bertrand, INRIA
https://simons.berkeley.edu/talks/nathalie-bertrand-10-04-2016
Uncertainty in Computation
Visit talk page
0:54:53

Three Problems in Computable Probability Theory

Cameron Freer, Gamalon Labs
https://simons.berkeley.edu/talks/cameron-freer-10-04-2016
Uncertainty in Computation
Visit talk page
1:1:11

Brief Tutorial on Probabilistic Databases

Dan Suciu, University of Washington
https://simons.berkeley.edu/talks/dan-suciu-10-05-2016
Uncertainty in Computation
Visit talk page
0:42:30

A Dichotomy for Queries with Negation in Probabilistic Databases

Dan Olteanu, University of Oxford
https://simons.berkeley.edu/talks/dan-olteanu-10-05-2016
Uncertainty in Computation
Visit talk page
0:30:53

Fourier Representations in Probabilistic Inference

Bart Selman, Cornell University
https://simons.berkeley.edu/talks/bart-selman-10-05-2016
Uncertainty in Computation
Visit talk page
0:46:48

Approximate Lifted Inference with Probabilistic Databases

Wolfgang Gatterbauer, Carnegie Mellon University
https://simons.berkeley.edu/talks/wolfgang-gatterbauer-2016-10-05-2016
Uncertainty in Computation
Visit talk page