Videos

Start date cannot be after end date.
Magnetic Vortices, Nielsen-Olesen-Nambu Strings and Theta Functions Thumbnail

Magnetic Vortices, Nielsen-Olesen-Nambu Strings and Theta Functions

Presenter
  • Israel M.
November 30, 2012
IAS
Tests, Games, and Martin-Lof's Meaning Explanations for Intuitionistic Type Theory Thumbnail

Tests, Games, and Martin-Lof's Meaning Explanations for Intuitionistic Type Theory

Presenter
  • Peter Dybjer
November 30, 2012
IAS

On the empirical efficiency of local MCMC algorithms with auxiliary variables

Presenter
  • Mylene Bedard
November 30, 2012
ICERM
On Graphs, Progressions and Communication Thumbnail

On Graphs, Progressions and Communication

Presenter
  • Noga Alon
November 30, 2012
IMA

Adaptive and Interacting MCMC algorithms

Presenter
  • Eric Moulines
November 30, 2012
ICERM
Szemeredi Regularity Lemma and Limit of Graphs <br> <em>Introduced by: Miklós Simonovits</em> Thumbnail

Szemeredi Regularity Lemma and Limit of Graphs <br> <em>Introduced by: Miklós Simonovits</em>

Presenter
  • Vera Sos
November 30, 2012
IMA
Szemerédi's Regularity Lemma, Variants, and Applications <br><em> Introduced by: Van Vu</em> Thumbnail

Szemerédi's Regularity Lemma, Variants, and Applications <br><em> Introduced by: Van Vu</em>

Presenter
  • Jacob Fox
November 30, 2012
IMA
Sato-Tate Distributions in Genus 2 Thumbnail

Sato-Tate Distributions in Genus 2

Presenter
  • Andrew Sutherland
November 29, 2012
IAS

Comparison Inequalities and Fastest-Mixing Markov Chains

Presenter
  • Jim Fill
November 29, 2012
ICERM
The Simplicial Model of Univalence Thumbnail

The Simplicial Model of Univalence

Presenter
  • Chris Kapulkin
November 29, 2012
IAS
Regularity, Factors and Limit Structures<br> <em>Introduced by: Gyula Katona</em> Thumbnail

Regularity, Factors and Limit Structures<br> <em>Introduced by: Gyula Katona</em>

Presenter
  • Balazs Szegedy
November 29, 2012
IMA
Points, Lines and Ranks of Design Matrices<br><em>Introduced by: Bill Steiger</em> Thumbnail

Points, Lines and Ranks of Design Matrices<br><em>Introduced by: Bill Steiger</em>

Presenter
  • Avi Wigderson
November 29, 2012
IMA