Videos

Start date cannot be after end date.

Using Delay Differential Equations to Model Dendritic Cell Therapies

Presenter
  • Angela Gallegos
November 9, 2012
ICERM
Type Classes for Mathematical Formalizations in Coq Thumbnail

Type Classes for Mathematical Formalizations in Coq

Presenter
  • Matthieu Sozeau
October 3, 2012
IAS