Videos

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

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
Computing with Univalence Thumbnail

Computing with Univalence

Presenter
  • Daniel Licata
September 28, 2012
IAS

Further structure underlying the beta (and Indian buffet) process

Presenter
  • Daniel Roy
September 19, 2012
ICERM

Computational Biology and the Evolution of Diseases

Presenter
  • Daniel Janies
June 1, 2012
MBI