Videos

Start date cannot be after end date.
Modeling the cardiovascular system: from imaging clinical applications Thumbnail

Modeling the cardiovascular system: from imaging clinical applications

Presenter
  • Alfio Quarteroni
March 8, 2011
IMA
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
Uniqueness and nonuniqueness of turbulent solutions from singular initial data Thumbnail

Uniqueness and nonuniqueness of turbulent solutions from singular initial data

Presenter
  • Alexei Mailybaev
January 12, 2017
IPAM
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
When words get in your eyes: On challenges of investigating mathematics-in-teaching and on the importance of paying attention to words Thumbnail

When words get in your eyes: On challenges of investigating mathematics-in-teaching and on the importance of paying attention to words

Presenter
  • Anna Sfard
February 10, 2016
SLMath

Noise and Intelligence in intracellular gene-regulatory networks

Presenter
  • Alexey Zaikin
January 25, 2016
MBI
Applied Harmonic Analysis meets Compressed Sensing Thumbnail

Applied Harmonic Analysis meets Compressed Sensing

Presenter
  • Gitta Kutyniok
February 26, 2015
IPAM
Potentially singular solutions of the 3D axisymmetric Euler equations Thumbnail

Potentially singular solutions of the 3D axisymmetric Euler equations

Presenter
  • Tom Hou
September 30, 2014
IPAM

MPE2013 Simons Public Lecture "On Growth and Form: Mathematics, Physics and Biology"

Presenter
  • L. Mahadevan
September 24, 2013
ICERM