Videos

Start date cannot be after end date.
Polar Codes and Randomness Extraction for Structured Sources Thumbnail

Polar Codes and Randomness Extraction for Structured Sources

Presenter
  • Emmanuel Abbe
February 25, 2013
IAS
$pi_2(s^2)$ in HoTT Thumbnail

$pi_2(s^2)$ in HoTT

Presenter
  • Guillaume Brunerie
February 20, 2013
IAS
The Chasm at Depth 3 Thumbnail

The Chasm at Depth 3

Presenter
  • Shubhangi Saraf
February 19, 2013
IAS
Large Data Dynamics for Nonlinear Dispersive PDEs  Thumbnail

Large Data Dynamics for Nonlinear Dispersive PDEs

Presenter
  • Wilhelm Schlag
February 1, 2013
IAS
Sphere Packing Bounds Via Spherical Codes Thumbnail

Sphere Packing Bounds Via Spherical Codes

Presenter
  • Henry Cohn
January 22, 2013
IAS
Simplicial Types  Thumbnail

Simplicial Types

Presenter
  • Peter Lumsdaine
January 16, 2013
IAS