Videos

Start date cannot be after end date.

Topology-Driven Learning for Biomedical Images – Uncertainty, Synthesis, and Prediction

Presenter
  • Chao Chen
May 20, 2026
ICERM
Sparsifying and Derandomizing the Johnson-Lindenstrauss Transform Thumbnail

Sparsifying and Derandomizing the Johnson-Lindenstrauss Transform

Presenter
  • Jelani Nelson
January 31, 2011
IAS
The singularity of symbolic matrices Thumbnail

The singularity of symbolic matrices

Presenter
  • Avi Wigderson
February 16, 2016
IAS
The singularity of symbolic matrices Thumbnail

The singularity of symbolic matrices

Presenter
  • Avi Wigderson
February 9, 2016
IAS
Invariants of random knots Thumbnail

Invariants of random knots

Presenter
  • Chaim Even
October 6, 2015
IAS
The Permanents of Gaussian Matrices Thumbnail

The Permanents of Gaussian Matrices

Presenter
  • Scott Aaronson
November 29, 2010
IAS
A Completeness Theorem for Pseudo-Linear Functions with Applications to UC Security Thumbnail

A Completeness Theorem for Pseudo-Linear Functions with Applications to UC Security

Presenter
  • Charanjit Jutla
February 28, 2010
IAS
CSDM - Span Programs and Quantum Query Algorithms Thumbnail

CSDM - Span Programs and Quantum Query Algorithms

Presenter
  • Ben Reichardt
September 29, 2009
IAS
Reinhard Laubenbacher - Mathematical Technology for Agent-Based Digital Twins - IPAM at UCLA Thumbnail

Reinhard Laubenbacher - Mathematical Technology for Agent-Based Digital Twins - IPAM at UCLA

Presenter
  • Reinhard Laubenbacher
February 23, 2026
IPAM

Paul Christiano - Explaining computational phenomena

August 31, 2026
IPAM

Set-Based Computations for Global Dynamics

Presenter
  • William Kalies
November 1, 2016
MBI
Bohua Zhan - Verifying symbolic computation in the HolPy theorem prover - IPAM at UCLA Thumbnail

Bohua Zhan - Verifying symbolic computation in the HolPy theorem prover - IPAM at UCLA

Presenter
  • Bohua Zhan
February 16, 2023
IPAM