2013
May 13
Stochastic Lambda-Calculus
Dana Scott, Hillman University Professor Emeritus, Carnegie Mellon University
VIDEO: .FLV | .MP4 AUDIO: MP3
______________________________________________
Apr. 18
What you Need to Unlearn from School and Other Startup Lessons
Steve Kaufer, President and CEO of TripAdvisor
VIDEO: .FLV | .MP4 AUDIO: MP3
______________________________________________
Apr. 11
Introducing IBM Research Global Labs
Ramesh Gopinath, Director of IBM Research - India
VIDEO: .FLV | .MP4 AUDIO: MP3
______________________________________________
2012
Nov. 29
Analyzing and Managing Service Networks with Self-routing Users
Ozlem Ergun, Associate Professor, Georgia Institute of Technology
VIDEO: .FLV| .MP4 AUDIO: MP3
______________________________________________
Oct. 25
Efficient Coding Without Information Theory: a Bayesian Theory of Efficient Neural Coding
Jonathan Pillow, Assistant Professor, University of Texas at Austin
VIDEO: .FLV | .MP4 AUDIO: MP3
______________________________________________
Oct. 18
Probabilistically Checkable Proofs (PCPs) and Gap Amplification by Direct Products
Irit Dinur, Weizmann Institute of Science in Israel, currently a Visiting Fellow at the Radcliffe Institute
VIDEO: .FLV| .MP4 AUDIO: MP3
______________________________________________
Oct. 11
Repairing Software Bugs and Security Vulnerabilities Automatically with Evolutionary Computation
Stephanie Forrest, Professor of Computer Science, University of New Mexico at Albuquerque
VIDEO: .FLV| .MP4 AUDIO: MP3
______________________________________________
Sept. 27
Planning Algorithms: When Optimal is Just Not Good Enough
Wheeler Ruml, Associate Professor of Computer Science, University of New Hampshire
VIDEO: .FLV | .MP4 AUDIO: MP3
______________________________________________
Sept. 20
Duolingo: Learn a Language for Free While Helping to Translate the Web
Luis von Ahn, Associate Professor of Computer Science, Carnegie Mellon University
VIDEO: .FLV | .MP4 AUDIO: MP3
______________________________________________
Sept. 13
Combinatorial Walrasian Equilibrium
Michal Feldman, Associate Professor, the Hebrew University of Jerusalem
VIDEO: .FLV | .MP4 AUDIO: MP3
______________________________________________
Sept. 6
Networks, Clusters and Communities
Jure Leskovec, Assistant Professor of Computer Science, Stanford University
VIDEO: .FLV | .MP4 AUDIO: MP3
______________________________________________
Feb. 9
Building User Interfaces that Entice People to Manage Better Information
David Karger, Professor of Computer Science, Massachusetts Institute of Technology
____________________________________________________________
Feb. 2
Cells, Termites, and Robot Collectives
Radhika Nagpal, Associate Professor of Computer Science, Harvard SEAS
VIDEO: .FLV | .MP4 AUDIO: .MP3
____________________________________________________________
Jan. 26
The Hub Labeling Algorithm
Andrew V. Goldberg, Principal Researcher, Microsoft Research Silicon Valley
VIDEO: .FLV | .MP4 AUDIO: .MP3