Videos

Start date cannot be after end date.

Analysis of High Content and High Throughput Data for Neuroscience

Presenter
  • Raghu Machiraju
January 8, 2013
MBI

Analysis of High Content and High Throughput Data for Neuroscience

Presenter
  • Raghu Machiraju
January 7, 2013
MBI
The SOS (aka Lassere/Positivestellensatz/Sum-of-Squares) System Series Thumbnail

The SOS (aka Lassere/Positivestellensatz/Sum-of-Squares) System Series

Presenter
  • Raghu Meka
December 18, 2012
IAS

Consciousness as a decision to engage

Presenter
  • Michael Shadlen
December 14, 2012
MBI

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