Videos

Start date cannot be after end date.
Semantics of Higher Inductive Types Thumbnail

Semantics of Higher Inductive Types

Presenter
  • Michael Shulman
February 27, 2013
IAS

Imaging Technologies

Presenter
  • Michael Knopp
February 18, 2013
MBI

Serotonin and the mysteries of depression and SSRI action

Presenter
  • Michael Reed
February 6, 2013
MBI
An Analytic Approach to Infinite Dimensional Continuity and Fokker–Planck–Kolmogorov Equations Thumbnail

An Analytic Approach to Infinite Dimensional Continuity and Fokker–Planck–Kolmogorov Equations

Presenter
  • Michael Röckner
January 17, 2013
IMA
On the association and Central Limit Theorem for solutions of the Parabolic Anderson Model Thumbnail

On the association and Central Limit Theorem for solutions of the Parabolic Anderson Model

Presenter
  • Michael Cranston
January 14, 2013
IMA

Consciousness as a decision to engage

Presenter
  • Michael Shadlen
December 14, 2012
MBI
Working Group on Univalent Foundations Thumbnail

Working Group on Univalent Foundations

Presenter
  • Michael Shulman
December 12, 2012
IAS

Linking levels of analysis in computational models of corticostriatal function

Presenter
  • Michael Frank
December 11, 2012
MBI
On-site and off-site solitary waves of the discrete nonlinear Schroedinger equation Thumbnail

On-site and off-site solitary waves of the discrete nonlinear Schroedinger equation

Presenter
  • Michael Weinstein
December 6, 2012
IMA
Effective Dynamics of Nonlocal Many-Particle Systems with Dynamical Constraint Thumbnail

Effective Dynamics of Nonlocal Many-Particle Systems with Dynamical Constraint

Presenter
  • Michael Herrmann
December 3, 2012
IMA
Polynomial Identity Testing of Read-Once Oblivious Algebraic Branching Progress Thumbnail

Polynomial Identity Testing of Read-Once Oblivious Algebraic Branching Progress

Presenter
  • Michael Forbes
November 26, 2012
IAS
Toward Higher Inductive Types Thumbnail

Toward Higher Inductive Types

Presenter
  • Michael Shulman
November 14, 2012
IAS