Videos

Start date cannot be after end date.

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

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