Videos

Start date cannot be after end date.

ABC and empirical likelihood

Presenter
  • Christian Robert
November 28, 2012
ICERM

Continuous Sequential Importance Sampling for Irreducible Diffusions

Presenter
  • Krzysztof Latuszynski
November 28, 2012
ICERM
Type Systems Thumbnail

Type Systems

Presenter
  • Vladimir Voevodsky
November 28, 2012
IAS

Importance sampling in the neighborhood of a stable equilibrium point

Presenter
  • Paul Dupuis
November 28, 2012
ICERM
Joint IMA/Mathematics and Climate Research Network Seminar Thumbnail

Joint IMA/Mathematics and Climate Research Network Seminar

Presenter
  • Richard McGehee
November 27, 2012
IMA
Computational Complexity in Mechanism Design Thumbnail

Computational Complexity in Mechanism Design

Presenter
  • Jing Chen
November 27, 2012
IAS
A Computer-Checked Proof that the Fundamental Group of the Circle is the Integers Thumbnail

A Computer-Checked Proof that the Fundamental Group of the Circle is the Integers

Presenter
  • Daniel Licata
November 26, 2012
IAS
Polynomial Identity Testing of Read-Once Oblivious Algebraic Branching Progress Thumbnail

Polynomial Identity Testing of Read-Once Oblivious Algebraic Branching Progress

Presenter
  • Michael Forbes
November 26, 2012
IAS
Type Systems Thumbnail

Type Systems

Presenter
  • Vladimir Voevodsky
November 21, 2012
IAS
On the Complexity of Matrix Multiplication and Other Tensors Thumbnail

On the Complexity of Matrix Multiplication and Other Tensors

Presenter
  • Joseph Landsberg
November 20, 2012
IAS
A Complete Dichotomy Rises from the Capture of Vanishing Signatures Thumbnail

A Complete Dichotomy Rises from the Capture of Vanishing Signatures

Presenter
  • Jin-Yi Cai
November 19, 2012
IAS
Abstract Analogues of Flux as Symplectic Invariants Thumbnail

Abstract Analogues of Flux as Symplectic Invariants

Presenter
  • Paul Seidel
November 16, 2012
IAS