Videos

Start date cannot be after end date.
Xin Xing - Finite-size error and its correction in energy calculations for periodic systems Thumbnail

Xin Xing - Finite-size error and its correction in energy calculations for periodic systems

Presenter
  • Xin Xing
May 2, 2022
IPAM
The motivic filtration on topological cyclic homology Thumbnail

The motivic filtration on topological cyclic homology

Presenter
  • Akhil Mathew
March 25, 2020
SLMath
A Computer-Checked Proof that the Fundamental Group of the Circle is the Integers Thumbnail

A Computer-Checked Proof that the Fundamental Group of the Circle is the Integers

Presenter
  • Daniel Licata
November 26, 2012
IAS
Applying Subgradient Methods -- and Accelerated Gradient Methods -- to Efficiently Solve General Convex, Conic Optimization Problems Thumbnail

Applying Subgradient Methods -- and Accelerated Gradient Methods -- to Efficiently Solve General Convex, Conic Optimization Problems

Presenter
  • James Renegar
January 26, 2016
IMA
Compressive Sampling Thumbnail

Compressive Sampling

Presenter
  • Emmanuel Candès
December 5, 2005
IMA
Hamiltonian Systems, From Topology To Applications Through Analysis II - Rigorous High-Order Methods in the Description of Large Particle Accelerators Thumbnail

Hamiltonian Systems, From Topology To Applications Through Analysis II - Rigorous High-Order Methods in the Description of Large Particle Accelerators

Presenter
  • Martin Berz
November 26, 2018
SLMath
Inference for Synthetic Controls via Leave-Two-Out Placebo Tests Thumbnail

Inference for Synthetic Controls via Leave-Two-Out Placebo Tests

Presenter
  • Lihua Lei
August 22, 2023
IMSI

State of the sciene: Multiparty computation

Presenter
  • Peihan Miao
January 19, 2023
ICERM
Efficient Verification of Computation on Untrusted Platforms Thumbnail

Efficient Verification of Computation on Untrusted Platforms

Presenter
  • Yael Kalai
February 13, 2023
IAS
What Is Forensic…? Evaluating Phases of Forensic Practice: Comparative Bullet Lead Analysis - Bill Tobin, Forensic Engineering International Thumbnail

What Is Forensic…? Evaluating Phases of Forensic Practice: Comparative Bullet Lead Analysis - Bill Tobin, Forensic Engineering International

August 31, 2015
SAMSI

Deuring for the people: supersingular elliptic curves with prescribed endomorphism ring in general characteristic

Presenter
  • Jana Sotáková
July 13, 2023
ICERM
Smoothed Complexity of Local Max-Cut with Two Flips Thumbnail

Smoothed Complexity of Local Max-Cut with Two Flips

Presenter
  • Xi Chen
November 7, 2022
IAS