Videos

Start date cannot be after end date.
Transactive Control & Coordination: A Double-auction Based Approach to Distributed Control and Decision-making Thumbnail

Transactive Control & Coordination: A Double-auction Based Approach to Distributed Control and Decision-making

Presenter
  • Jakob Stoustrup
September 28, 2015
IMA
An integral lift of contact homology Thumbnail

An integral lift of contact homology

Presenter
  • Joanna Nelson
September 28, 2015
IAS
Type theory and formalization of mathematics Thumbnail

Type theory and formalization of mathematics

Presenter
  • Anders Mörtberg
September 28, 2015
IAS
On cuspidality of global Arthur packets of quasi-split classical groups Thumbnail

On cuspidality of global Arthur packets of quasi-split classical groups

Presenter
  • Baiying Liu
September 28, 2015
IAS
Ramsey numbers of degenerate graphs Thumbnail

Ramsey numbers of degenerate graphs

Presenter
  • Choongbum Lee
September 28, 2015
IAS

Effective Strategies for Your Job and Internship Search

Presenter
  • Whitney Moore
September 25, 2015
IMA
Physical Network System Dynamics Thumbnail

Physical Network System Dynamics

Presenter
  • Abraham Jan (Arjan) van der Schaft
September 24, 2015
IMA
Dynamics on moduli spaces and exceptional families of algebraic curves Thumbnail

Dynamics on moduli spaces and exceptional families of algebraic curves

Presenter
  • Alexander Wright
September 24, 2015
IAS
Invariants of 4-manifolds Thumbnail

Invariants of 4-manifolds

Presenter
  • Tye Lidman
September 24, 2015
IAS
Toward a new formalization of real numbers Thumbnail

Toward a new formalization of real numbers

Presenter
  • Catherine Lelay
September 24, 2015
IAS
Exponential separation of communication and external information Thumbnail

Exponential separation of communication and external information

Presenter
  • Gillat Kol
September 24, 2015
IAS
Lower bounds for De-Morgan formulae Thumbnail

Lower bounds for De-Morgan formulae

Presenter
  • Avishay Tal
September 24, 2015
IAS