Videos

Start date cannot be after end date.
Crossing the logarithmic barrier for dynamic boolean data structure lower bounds Thumbnail

Crossing the logarithmic barrier for dynamic boolean data structure lower bounds

Presenters
  • Omri Weinstein
  • Omri Weinstein
October 2, 2017
IAS

Connecting models to data for animal movement models in ecology

Presenter
  • Mark Lewis
November 18, 2016
MBI

Solving Symmetric Integer Programs

Presenter
  • Jeff Linderoth
August 11, 2016
IMA
Predicting Travel Time Reliability using Mobile Phone GPS Data Thumbnail

Predicting Travel Time Reliability using Mobile Phone GPS Data

Presenter
  • Dawn Woodard
October 12, 2015
IPAM
Dynamic Utilities and Long Term Interest Rates Thumbnail

Dynamic Utilities and Long Term Interest Rates

Presenter
  • Nicole El Karoui
May 19, 2012
IMA
Big-Data-Driven Medicine Thumbnail

Big-Data-Driven Medicine

Presenter
  • David Madigan
May 7, 2012
IMA
Introduction to the Coq Proof Assistant Thumbnail

Introduction to the Coq Proof Assistant

Presenter
  • Andrew Appel
December 7, 2010
IAS
Response Tuning Through Specific Feedback Architectures Thumbnail

Response Tuning Through Specific Feedback Architectures

Presenter
  • Hana El-Samad
April 21, 2008
IMA
Seeing through Climate Models Thumbnail

Seeing through Climate Models

Presenter
  • Lenny Smith
April 19, 2007
SLMath

Building faster and more expressive BART models

Presenter
  • Sameer Deshpande
January 14, 2026
ICERM