Videos

Start date cannot be after end date.
Solvation and the energetics of protein folding Thumbnail

Solvation and the energetics of protein folding

Presenter
  • Robert Baldwin
December 8, 2008
IMA

How to design tools for formalization

Presenter
  • Robert Lewis
May 13, 2026
ICERM

An online, adaptive finite element method for problems in nonsmooth PDE-constrained optimization

Presenter
  • Robert Baraldi
April 17, 2026
ICERM

Quantum Computing and Cellular Phones

Presenter
  • Robert Calderbank
April 11, 2026
ICERM

Fast Mixing MCMC without Gradients

Presenter
  • Robert Scheichl
March 5, 2026
ICERM

The Polar Express: Optimal Matrix Sign Methods and Their Application to the Muon Algorithm

Presenter
  • Robert Gower
February 6, 2026
ICERM

Everything is Vecchia: Unifying low-rank and sparse inverse approximations

Presenter
  • Robert Webber
February 5, 2026
ICERM
Affine Schubert Varieties Are Splinters Thumbnail

Affine Schubert Varieties Are Splinters

Presenter
  • Robert Cass
December 15, 2025
IAS
Localized Model Order Reduction via Multiscale Spectral Generalised Finite Elements Thumbnail

Localized Model Order Reduction via Multiscale Spectral Generalised Finite Elements

Presenter
  • Robert Scheichl
November 11, 2025
IMSI
Kinetic Theory: Novel Statistical, Stochastic and Analytical Methods: Global in time stability of equilibrium for general relativistic Boltzmann equation in the massless Robertson-Walker spacetime Thumbnail

Kinetic Theory: Novel Statistical, Stochastic and Analytical Methods: Global in time stability of equilibrium for general relativistic Boltzmann equation in the massless Robertson-Walker spacetime

Presenter
  • Robert Strand
October 22, 2025
SLMath

The Complex Roots of Random Sums

Presenter
  • Robert Vanderbei
August 6, 2025
ICERM

Verified Mathematical Reasoning with Lean and Language Models

Presenter
  • Robert Joseph George
April 26, 2025
ICERM