Videos

Start date cannot be after end date.
Introduction to the Coq Proof Assistant Thumbnail

Introduction to the Coq Proof Assistant

Presenter
  • Andrew Appel
December 7, 2010
IAS
Computational Complexity of MCMC in High Dimensions Thumbnail

Computational Complexity of MCMC in High Dimensions

Presenter
  • Andrew Stuart
May 23, 2007
SLMath
Validity of SDE Approximations Thumbnail

Validity of SDE Approximations

Presenter
  • Andrew Stuart
April 5, 2007
SLMath
Homogenization for SDEs Thumbnail

Homogenization for SDEs

Presenter
  • Andrew Stuart
April 4, 2007
SLMath
Averaging for SDEs Thumbnail

Averaging for SDEs

Presenter
  • Andrew Stuart
April 3, 2007
SLMath
Averaging and Homogenization for Linear Systems Thumbnail

Averaging and Homogenization for Linear Systems

Presenter
  • Andrew Stuart
April 2, 2007
SLMath
Introduction to SDEs Thumbnail

Introduction to SDEs

Presenter
  • Andrew Stuart
April 2, 2007
SLMath