Videos

Start date cannot be after end date.

Coordination of visual processing in cortex by network activity during natural viewing

Presenter
  • Daniel Butts
May 10, 2013
MBI
Clifford actions on DG categories Thumbnail

Clifford actions on DG categories

Presenter
  • Daniel Murfet
April 9, 2013
SLMath
Classifying Orders in the Sklyanin Algebra Thumbnail

Classifying Orders in the Sklyanin Algebra

Presenter
  • Daniel Rogalski
April 9, 2013
SLMath
Eilenberg-Mac Lane Spaces in HoTT Thumbnail

Eilenberg-Mac Lane Spaces in HoTT

Presenter
  • Daniel Licata
March 13, 2013
IAS

Lie group methods and related combinatorics in Sage.

Presenter
  • Daniel Bump
February 12, 2013
ICERM
The bicategory of Landau-Ginzburg models Thumbnail

The bicategory of Landau-Ginzburg models

Presenter
  • Daniel Murfet
February 12, 2013
SLMath
Working Group on Univalent Foundations Thumbnail

Working Group on Univalent Foundations

Presenter
  • Daniel Grayson
December 7, 2012
IAS
Duality in Boij-Soederberg Theory Thumbnail

Duality in Boij-Soederberg Theory

Presenter
  • Daniel Erman
December 5, 2012
SLMath
A Computer-Checked Proof that the Fundamental Group of the Circle is the Integers Thumbnail

A Computer-Checked Proof that the Fundamental Group of the Circle is the Integers

Presenter
  • Daniel Licata
November 26, 2012
IAS
Algebraic K-Theory Via Binary Complexes Thumbnail

Algebraic K-Theory Via Binary Complexes

Presenter
  • Daniel Grayson
October 22, 2012
IAS
Toward a Computational Interpretation of Univalence Thumbnail

Toward a Computational Interpretation of Univalence

Presenter
  • Daniel Licata
October 18, 2012
IAS

CDF Solutions of Stochastic Hyperbolic Equations

Presenter
  • Daniel Tartakovsky
October 11, 2012
ICERM