Videos

Start date cannot be after end date.
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
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

Maximum Likelihood Registration of ICA Curvature Trajectories

Presenter
  • Daniel Gervini
November 15, 2012
MBI

Maximum Likelihood Registration of ICA Curvature Trajectories

Presenter
  • Daniel Gervini
November 14, 2012
MBI
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

Detecting the many roles of inhibition in shaping sensory processing

Presenter
  • Daniel Butts
October 3, 2012
MBI