Start date cannot be after end date.
A Multi-Prover Interactive proof for NEXP Sound Against Entangled Provers
Presenter
- Tsuyoshi Ito
October 15, 2012
IAS
On Omitting and Hitting Properties for Means on Circles and Shape Spaces
Presenter
- Stephan Huckemann
May 24, 2012
MBI
General Hardness Amplification of Predicates and Puzzles
Presenter
- Grant Schoenbeck
March 29, 2011
IAS
Subsampling Mathematical Relaxations and Average-case Complexity
Presenter
- Boaz Barak
May 24, 2010
IAS
Grothendieck Inequalities, XOR Games, and Communication Complexity
Presenter
- Troy Lee
November 2, 2009
IAS
Team 6: Visual words: Text analysis concepts for computer vision
Presenter
- Brendt Wohlberg
August 5, 2009
IMA
Tomas Berggren - Geometry of the doubly periodic Aztec dimer model - IPAM at UCLA
Presenter
- Tomas Berggren
March 25, 2024
IPAM
Tomas Berggren - Dimer models and random tilings (Part 2) - IPAM at UCLA
Presenter
- Tomas Berggren
March 13, 2024
IPAM
Algorithms, Approximation, and Learning in Market and Mechanism Design: "New directions in how computer science can inform the design of economic mechanisms and systems: Automated mechanism design, necessarily exponentially long theories, AI mediators, and fast convergence to high welfare"
Presenter
- Tuomas Sandholm
November 9, 2023
SLMath
Combinatorial structure of continuous dynamics in gene regulatory networks
Presenter
- Tomas Gedeon
September 21, 2023
ICERM
How to describe, analyze and interrogate dynamics of gene regulatory networks
Presenter
- Tomas Gedeon
October 23, 2020
IAS
Computing Rolling Shutter Camera Pose via Optimized Algebraic Geometry
Presenter
- Tomas Pajdla
April 29, 2019
ICERM