Quantitative Algebraic Reasoning

Channel:
United States Simons Institute for the Theory of Computing
Subscribers:
68,700
Published on ● Video Link: https://www.youtube.com/watch?v=VlSq_cuNbEw


Duration: 43:18
515 views
4

Radu Mardare, Aalborg University
https://simons.berkeley.edu/talks/radu-mardare-10-04-2016
Uncertainty in Computation



Other Videos By Simons Institute for the Theory of Computing


2016-10-06Probabilistic Programming for Augmented Intelligence
2016-10-05Probabilistic Reasoning by First-Order Model Counting
2016-10-05Stochastic Control via Entropy Compression
2016-10-05Scalable Collective Inference from Richly Structured Data using Probabilistic Soft Logic (PSL)
2016-10-05Approximate Lifted Inference with Probabilistic Databases
2016-10-05Fourier Representations in Probabilistic Inference
2016-10-05A Dichotomy for Queries with Negation in Probabilistic Databases
2016-10-05Brief Tutorial on Probabilistic Databases
2016-10-04Three Problems in Computable Probability Theory
2016-10-04Controlling Probabilistic Systems Under Partial Observation
2016-10-04Quantitative Algebraic Reasoning
2016-10-04Computing Probabilistic Bisimilarity Distances via Policy Iteration
2016-10-04Model Checking and Strategy Synthesis for Stochastic Games: From Theory to Practice
2016-10-04Unifying Logic and Probability: The BLOG Language
2016-09-27Number-Theoretic Methods in Quantum Computing
2016-09-27Algorithm Design in the Modern Era: Dealing with Uncertainty and Incentives
2016-09-23Optimal Online Algorithms via Linear Scaling
2016-09-23Secretary Problems and Online Selection with A Priori Information
2016-09-23Scheduling with Uncertain Processing Times
2016-09-23Online Algorithms with Recourse
2016-09-23Online Flow-Time Optimization


Tags:
Simons Institute
Theory of Computing
Theory of Computation
Theoretical Computer Science
Computer Science
UC Berkeley
Uncertainty in Computation
Radu Mardare