Videos

Start date cannot be after end date.
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
Anne Baanen - Computing with or despite the computer - IPAM at UCLA Thumbnail

Anne Baanen - Computing with or despite the computer - IPAM at UCLA

Presenter
  • Anne Baanen
February 14, 2023
IPAM
Patrick Riley - Symbolic Regression for Discovery of a DFT Functional - IPAM at UCLA Thumbnail

Patrick Riley - Symbolic Regression for Discovery of a DFT Functional - IPAM at UCLA

Presenter
  • Patrick Riley
January 23, 2023
IPAM

Maps & Tents

Presenter
  • Jay Gopalakrishnan
June 30, 2017
IMA

Modeling Intra-Host Adaptation of Hepatitis C Virus

Presenter
  • Leonid Bunimovich
February 26, 2016
MBI
Pathway-based mean-field models for E. coli chemotaxis Thumbnail

Pathway-based mean-field models for E. coli chemotaxis

Presenter
  • Xu Yang
January 29, 2016
IPAM
A mathematical analysis of GNoME and other materials databases Thumbnail

A mathematical analysis of GNoME and other materials databases

Presenter
  • Vitaliy Kurlin
March 14, 2024
IMSI
Sphere Packings, Spectral Gaps and the Conformal Bootstrap Thumbnail

Sphere Packings, Spectral Gaps and the Conformal Bootstrap

Presenter
  • Dalimil Mazac
November 8, 2023
IAS
Rigidity and recurrence in symplectic dynamics Thumbnail

Rigidity and recurrence in symplectic dynamics

Presenter
  • Matthias Schwarz
December 11, 2017
IAS
Universal prediction of cell cycle position using transfer learning Thumbnail

Universal prediction of cell cycle position using transfer learning

Presenter
  • Kasper Hansen
September 2, 2021
IMSI
Interactive Segmentation of 3D Imagery Thumbnail

Interactive Segmentation of 3D Imagery

Presenter
  • Allen Tannenbaum
November 15, 2011
IMA
Tracking Planes in Images: Applications in Post-Production Thumbnail

Tracking Planes in Images: Applications in Post-Production

Presenter
  • Philip McLauchlan
February 9, 2006
IMA