Videos

Start date cannot be after end date.
Neural network verification as piecewise linear optimization Thumbnail

Neural network verification as piecewise linear optimization

Presenter
  • Joseph Huchette
February 23, 2021
IPAM
Large-scale electronic structure calculations Thumbnail

Large-scale electronic structure calculations

Presenter
  • Vikram Gavini
February 16, 2021
IMSI
Non-displaceable Lagrangian links in four-manifolds Thumbnail

Non-displaceable Lagrangian links in four-manifolds

Presenter
  • Cheuk Mak
February 12, 2021
IAS
Introduction to Smith theory Thumbnail

Introduction to Smith theory

Presenter
  • Tony Feng
January 13, 2021
IAS
The Attachments of 'Autonomous' Vehicles Thumbnail

The Attachments of 'Autonomous' Vehicles

Presenter
  • Jack Stilgoe
December 1, 2020
IPAM
Indistinguishability Obfuscation from Well-Founded Assumptions Thumbnail

Indistinguishability Obfuscation from Well-Founded Assumptions

Presenter
  • Huijia Lin
November 16, 2020
IAS
Arithmetic progressions and spectral structure Thumbnail

Arithmetic progressions and spectral structure

Presenter
  • Thomas Bloom
October 13, 2020
IAS
Statistical Learning Theory for Modern Machine Learning Thumbnail

Statistical Learning Theory for Modern Machine Learning

Presenter
  • John Shawe-Taylor
August 11, 2020
IAS
Nonlinear Independent Component Analysis Thumbnail

Nonlinear Independent Component Analysis

Presenter
  • Aapo Hyvärinen
August 4, 2020
IAS
Duality for Rabinowitz-Floer homology Thumbnail

Duality for Rabinowitz-Floer homology

Presenter
  • Alex Oancea
May 29, 2020
IAS
Properties of Effective Hamiltonians Thumbnail

Properties of Effective Hamiltonians

Presenter
  • Yifeng Yu
May 18, 2020
IPAM
The joint power of deterministic and Bayesian approaches for seismic inverse problems Thumbnail

The joint power of deterministic and Bayesian approaches for seismic inverse problems

Presenter
  • Yunan Yang
April 22, 2020
IPAM