Videos

Start date cannot be after end date.
Type Classes for Mathematical Formalizations in Coq Thumbnail

Type Classes for Mathematical Formalizations in Coq

Presenter
  • Matthieu Sozeau
October 3, 2012
IAS
Atomistic Modelling and Control of Defects Produced in Thin Film Growth Thumbnail

Atomistic Modelling and Control of Defects Produced in Thin Film Growth

Presenter
  • Roger Smith
October 2, 2012
IPAM

Challenges In Mathematical Ecology: Scaling And Collective Phenomena

Presenter
  • Simon Levin
September 21, 2012
MBI
An Informal Mathematical Tour of Feature Learning Thumbnail

An Informal Mathematical Tour of Feature Learning

Presenter
  • Nando de Freitas
July 27, 2012
IPAM

Critical Issues In Mathematics Education 2012: Teacher Education In View Of The Common Core, lecture 4 - Small group sessions: Exploring the use/role of mathematical practices in teaching

March 22, 2012
SLMath
Critical Issues In Mathematics Education 2012: Teacher Education In View Of The Common Core, lecture 2 - What are mathematical practices? Thumbnail

Critical Issues In Mathematics Education 2012: Teacher Education In View Of The Common Core, lecture 2 - What are mathematical practices?

Presenter
  • Deborah Schifter
March 22, 2012
SLMath

Using Sage for Mathematical Research

Presenter
  • William Stein
March 20, 2012
ICERM
Quasirandom Processes Thumbnail

Quasirandom Processes

Presenter
  • James Propp
March 12, 2012
SLMath
Tutorial: Statistical and mathematical physics of discrete lattice models Thumbnail

Tutorial: Statistical and mathematical physics of discrete lattice models

Presenter
  • Anthony Guttmann
January 12, 2012
SLMath
World Premiere of "Taking the Long View: The Life of Shiing-Shen Chern" Thumbnail

World Premiere of "Taking the Long View: The Life of Shiing-Shen Chern"

October 30, 2011
SLMath
Welcome Reception / Unveiling of Chern Statue Thumbnail

Welcome Reception / Unveiling of Chern Statue

Presenter
  • Shiing-Chen Chern
October 30, 2011
SLMath
Analytic Organization of High Himensional observational Databases as a tool for learning and inference Thumbnail

Analytic Organization of High Himensional observational Databases as a tool for learning and inference

Presenter
  • Ronald Coifman
September 27, 2011
IMA