Videos

Start date cannot be after end date.
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
Andrej Bauer - Formalizing invisible mathematics - IPAM at UCLA Thumbnail

Andrej Bauer - Formalizing invisible mathematics - IPAM at UCLA

Presenter
  • Andrej Bauer
February 13, 2023
IPAM
Computational Complexity in Mechanism Design Thumbnail

Computational Complexity in Mechanism Design

Presenter
  • Jing Chen
November 27, 2012
IAS
The Complexity of the Non-commutative Determinant Thumbnail

The Complexity of the Non-commutative Determinant

Presenter
  • Srikanth Srinivasan
October 11, 2010
IAS
Is optimization computationally equivalent to online learning? Thumbnail

Is optimization computationally equivalent to online learning?

Presenter
  • Elad Hazan
October 5, 2015
IAS
Hardness Escalation and the Rank of Polynomial Threshold Proofs Thumbnail

Hardness Escalation and the Rank of Polynomial Threshold Proofs

Presenter
  • Paul Beame
November 30, 2010
IAS
Sparsifying and Derandomizing the Johnson-Lindenstrauss Transform Thumbnail

Sparsifying and Derandomizing the Johnson-Lindenstrauss Transform

Presenter
  • Jelani Nelson
January 31, 2011
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