Videos

Start date cannot be after end date.
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
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
Noise Sensitivity of Polynomial Threshold Functions Thumbnail

Noise Sensitivity of Polynomial Threshold Functions

Presenter
  • Daniel Kane
August 22, 2011
SLMath
Tensor complexes Thumbnail

Tensor complexes

Presenter
  • Daniel Erman
July 27, 2011
IMA
Intro to SVN and pacakages Thumbnail

Intro to SVN and pacakages

Presenter
  • Daniel Grayson
July 25, 2011
IMA
Computational Commutative Algebra, 22 Thumbnail

Computational Commutative Algebra, 22

Presenter
  • Daniel Erman
June 15, 2011
SLMath
Computational Commutative Algebra, 19 Thumbnail

Computational Commutative Algebra, 19

Presenter
  • Daniel Erman
June 14, 2011
SLMath