Videos

Start date cannot be after end date.
On the Setoid Model of Type Theory Thumbnail

On the Setoid Model of Type Theory

Presenter
  • Erik Palmgren
October 18, 2012
IAS
Toward a Computational Interpretation of Univalence Thumbnail

Toward a Computational Interpretation of Univalence

Presenter
  • Daniel Licata
October 18, 2012
IAS

Helical bodies swim slower... and faster... through a viscoelastic fluid

Presenter
  • Saverio Spagnolie
October 18, 2012
MBI

Modeling Hyperactivated Sperm Motility

Presenter
  • Sarah Olson
October 18, 2012
MBI

Sensitivity of cilia-induced transport to fluid rheology, axoneme structure, and dynein forcing

Presenter
  • Sorin Mitran
October 17, 2012
MBI

Hydrodynamic Synchronization, Coordination, and Signalling

Presenter
  • Ramin Golestanian
October 17, 2012
MBI
Joint IMA/Mathematics and Climate Research Network Seminar Thumbnail

Joint IMA/Mathematics and Climate Research Network Seminar

Presenter
  • Richard McGehee
October 16, 2012
IMA
On the AND- and OR-Conjectures: Limits to Efficient Preprocessing Thumbnail

On the AND- and OR-Conjectures: Limits to Efficient Preprocessing

Presenter
  • Andrew Drucker
October 16, 2012
IAS

Computational models of ciliary dynamics: successes and challenges

Presenter
  • Lisa Fauci
October 16, 2012
MBI
Private Data, Public Computation Thumbnail

Private Data, Public Computation

Presenter
  • Kristin Lauter
October 16, 2012
IMA

Afternoon Blitz Session Talk (10-15-2012) (Arezoo Ardekani)

Presenter
  • Arezoo Ardekani
October 15, 2012
MBI

Afternoon Blitz Session Talk (10-15-2012) (Rich Superfine)

Presenter
  • Rich Superfine
October 15, 2012
MBI