Videos

Start date cannot be after end date.
Risk-averse stochastic equilibrium problems arising in the energy industry Thumbnail

Risk-averse stochastic equilibrium problems arising in the energy industry

Presenter
  • Claudia Sagastizabal
January 12, 2016
IPAM
Electronic Structure Theory for Periodic Systems: The Concepts Thumbnail

Electronic Structure Theory for Periodic Systems: The Concepts

Presenter
  • Christian Ratsch
July 22, 2014
IPAM
Derandomizing BPL? Thumbnail

Derandomizing BPL?

Presenter
  • Avi Wigderson
February 26, 2013
IAS
Introduction to the Coq Proof Assistant Thumbnail

Introduction to the Coq Proof Assistant

Presenter
  • Andrew Appel
December 7, 2010
IAS
The Stepanov Method Thumbnail

The Stepanov Method

Presenter
  • Avi Wigderson
May 25, 2010
IAS
An Algorithmic Proof of Forster's Lower Bound Thumbnail

An Algorithmic Proof of Forster's Lower Bound

Presenter
  • Moritz Hardt
December 15, 2009
IAS
Citizen Cyber-Science Thumbnail

Citizen Cyber-Science

Presenter
  • David Anderson
October 12, 2007
SLMath
Building a Science Data Server Thumbnail

Building a Science Data Server

Presenter
  • Deb Agarwal
October 12, 2007
SLMath