Videos

Start date cannot be after end date.

clearScience: tools for communicating in the computational sciences

Presenter
  • Brian M. Bot
December 14, 2012
ICERM

Interactive theorem proving, automated reasoning, and mathematical computation

Presenter
  • Jeremy Avigad
December 14, 2012
ICERM
Local Global Principles for Galois Cohomology Thumbnail

Local Global Principles for Galois Cohomology

Presenter
  • Julia Hartmann
December 13, 2012
IAS

Neural integrators -- what do we need and what can we get away with?

Presenter
  • Eric Shea-Brown
December 13, 2012
MBI

The neural dynamics of decision making: multiple scales and a range models

Presenter
  • Phil Holmes
December 13, 2012
MBI
Invariance Under Isomorphism and Definability Thumbnail

Invariance Under Isomorphism and Definability

Presenter
  • Per Martin-Löf
December 13, 2012
IAS

Making Computations and Publications Reproducible with VisTrails

Presenter
  • Juliana Freire
December 13, 2012
ICERM
Universality in Mean Curvature Flow Neckpinches Thumbnail

Universality in Mean Curvature Flow Neckpinches

Presenter
  • Gang Zhou
December 12, 2012
IAS
Working Group on Univalent Foundations Thumbnail

Working Group on Univalent Foundations

Presenter
  • Michael Shulman
December 12, 2012
IAS

IPython- tools for the lifecycle of research computing

Presenter
  • Fernando Perez
December 12, 2012
ICERM

Sage notebooks

Presenter
  • William Stein
December 12, 2012
ICERM

Publishing Results from MATLAB

Presenter
  • Loren Shure
December 12, 2012
ICERM