Videos

Start date cannot be after end date.
Cross-Validation and Mean-Square Stability Thumbnail

Cross-Validation and Mean-Square Stability

Presenter
  • Sergei Vassilvitskii
January 17, 2011
IAS
Algorithms and Tools for Bioinformatics on GPUs Thumbnail

Algorithms and Tools for Bioinformatics on GPUs

Presenter
  • Bertil Schmidt
January 13, 2011
IMA
Ultraparallel solvers for multi-scale brain blood flow simulations on exascale computers Thumbnail

Ultraparallel solvers for multi-scale brain blood flow simulations on exascale computers

Presenter
  • Leopold Grinberg
January 13, 2011
IMA
Large Scale Frictional Contact Dynamics on the GPU Thumbnail

Large Scale Frictional Contact Dynamics on the GPU

Presenter
  • Dan Negrut
January 11, 2011
IMA
GPU programming from higher level representations Thumbnail

GPU programming from higher level representations

Presenter
  • Matthew Knepley
January 10, 2011
IMA
Lecture 1: Implications of the exascale roadmap for algorithms Thumbnail

Lecture 1: Implications of the exascale roadmap for algorithms

Presenter
  • David Keyes
January 9, 2011
IMA
Erdos Distinct Distance Problem in the Plane Thumbnail

Erdos Distinct Distance Problem in the Plane

Presenter
  • Larry Guth
December 14, 2010
IAS
Colouring Tournaments Thumbnail

Colouring Tournaments

Presenter
  • Paul Seymour
December 13, 2010
IAS
Nonlinear Dvoretzky Theory Thumbnail

Nonlinear Dvoretzky Theory

Presenter
  • Assaf Naor
December 6, 2010
IAS
INTRODUCTION TO THE UNIVALENT FOUNDATIONS OF MATHEMATICS Thumbnail

INTRODUCTION TO THE UNIVALENT FOUNDATIONS OF MATHEMATICS

Presenter
  • IAS SchoolOfMath
December 3, 2010
IAS
Workshop on Topology: Identifying Order in Complex Systems Thumbnail

Workshop on Topology: Identifying Order in Complex Systems

Presenter
  • IAS SchoolOfMath
December 1, 2010
IAS
Hardness Escalation and the Rank of Polynomial Threshold Proofs Thumbnail

Hardness Escalation and the Rank of Polynomial Threshold Proofs

Presenter
  • Paul Beame
November 30, 2010
IAS