2016-06-21 | New Techniques and Models | 59:05 | 122 | |
|
2016-06-21 | The Excitement of a Career in Research | 35:25 | 178 | |
|
2016-06-21 | Big Dream, Campaign to Unite & Grow More Women in Computing | 1:23:04 | 54 | |
|
2016-06-21 | Solving Max-SAT by Decoupling Optimization and Satisfaction | 54:51 | 3,573 | |
|
2016-06-21 | The Milky Way's Entourage: Dwarf Galaxies, Dark Matter and Machine Learning | 46:33 | 555 | |
|
2016-06-21 | On Data & Computation: An Artist's View | 58:02 | 19 | |
|
2016-06-21 | A Modular Integration of SAT/SMT Solvers to Coq through Proof Witnesses | 58:33 | 1,002 | |
|
2016-06-21 | A Story in the Land of Programming Languages | 1:18:52 | 182 | |
|
2016-06-21 | Data Science Summer School - An Empirical Analysis of Stop-and-Frisk in New York City | 19:43 | 211 | |
|
2016-06-21 | Civic Media | 1:35:42 | 67 | |
|
2016-06-21 | Data-Oblivious Computation | 1:24:17 | 654 | |
|
2016-06-21 | Learning to make multiple predictions | 20:47 | 10 | |
|
2016-06-21 | LampsonFest - Thank You Butler | 19:26 | 884 | |
|
2016-06-21 | Invited Talk: Secure Computation in 2029: Boom, Bust, or Bonanza | 55:56 | 165 | |
|
2016-06-21 | Social Computing | 1:27:55 | 1,677 | |
|
2016-06-21 | Big Data and Machine Learning | 1:21:32 | 1,366 | |
|
2016-06-21 | Clay Shirky talk | 49:37 | 773 | |
|
2016-06-21 | Challenges of Computational Hydrology and the Potential Community Empowerment | 1:32:17 | 106 | |
|
2016-06-21 | Transforming Education via Research | 1:20:11 | 45 | |
|
2016-06-21 | Correctness Kernel of Abstract Interpretations | 42:50 | 347 | |
|
2016-06-21 | Astronomy and Visualizations | 1:34:42 | 37 | |
|
2016-06-21 | TouchDevelop: Create Rich Mobile Cloud Apps on Your Device | 1:22:42 | 360 | |
|
2016-06-21 | Device-Oriented Research | 58:41 | 101 | |
|
2016-06-21 | Decision Jungles | 21:43 | 1,124 | |
|
2016-06-21 | Design Expo: University of Washington | 16:29 | 108 | |
|
2016-06-21 | Keynote: An Overview of the Microsoft Research Advanced Technology Labs | 58:50 | 264 | |
|
2016-06-21 | Design Expo: Royal Danish Academy of Fine Arts | 17:37 | 893 | |
|
2016-06-21 | Design Expo: Media Innovation Lab, Interdisciplinary Center, Israel | 14:51 | 81 | |
|
2016-06-21 | Design Expo: Carnegie Mellon School of Design | 17:25 | 573 | |
|
2016-06-21 | Design Expo: Goldsmiths, University of London | 14:00 | 333 | |
|
2016-06-21 | Design Expo: Escola Superior de Desenho Industrial | 12:54 | 185 | |
|
2016-06-21 | Design Expo: ArtCenter College of Design | 13:27 | 81 | |
|
2016-06-21 | Keynote: Transforming Education Through Technology | 41:53 | 95 | |
|
2016-06-21 | Lab of Things: An Internet of Things Research Platform | 1:09:13 | 2,863 | |
|
2016-06-21 | Keynote: Fast History and Innovation | 1:02:33 | 175 | |
|
2016-06-20 | Symposium: Deep Learning - Panel | 32:26 | 423 | |
|
2016-06-20 | Time-Travel Debugging with HTML | 19:50 | 448 | |
|
2016-06-20 | Symposium: Deep Learning - Trevor Darrell | 20:25 | 431 | |
|
2016-06-20 | Symposium: Deep Learning - Alex Graves | 21:16 | 10,411 | |
|
2016-06-20 | Symposium: Deep Learning - David Sontag | 21:01 | 469 | |
|
2016-06-20 | Symposium: Deep Learning - Pieter Abbeel | 21:24 | 669 | |
|
2016-06-20 | Symposium: Deep Learning - Leon Gatys | 14:18 | 228 | |
|
2016-06-20 | Symposium: Deep Learning; Emily Denton | 14:14 | 257 | |
|
2016-06-20 | Making Sense of Temporal Queries with Interactive Visualization | 2:27 | 285 | |
|
2016-06-20 | Task Completion Platform Pizza Delivery Scenario | 2:50 | 196 | |
|
2016-06-20 | uLink: User-defined deep links in mobile apps (short) | 1:01 | 12,736 | |
|
2016-06-20 | uLink: User-defined deep links in mobile apps | 4:16 | 5,912 | |
|
2016-06-16 | Information from Data | 1:39:51 | 196 | Guide |
|
2016-06-16 | Lazy Transaction Execution Models | 1:12:44 | 59 | |
|
2016-06-16 | Mathematica Tech Talk with Wolfram | 1:23:09 | 715 | |
|
2016-06-16 | The Interplay of Social Influence and Own Preference in Social Networks | 1:01:25 | 35 | |
|
2016-06-16 | Bayesian Time-of-Flight for Realtime Shape, Illumination, and Albedo | 1:21 | 809 | |
|
2016-06-15 | Approaching the end of Moore's Law: time to reinvent the system stack? | 1:44:25 | 1,858 | |
|
2016-06-15 | Overcoming the fear of public speaking using cloud-based technology | 3:36 | 3,189 | |
|
2016-06-14 | Minecraft Education Summit: Education | 1:34:10 | 111 | |
|
2016-06-14 | Symposium: Deep Learning - Max Jaderberg | 20:09 | 5,498 | |
|
2016-06-14 | Welcome and Keynote - Geoff Bilder, Director of Strategic Initiatives at CrossRef | 50:51 | 155 | |
|
2016-06-14 | Symposium: Deep Learning; Emily Denton | 14:14 | 540 | |
|
2016-06-13 | Keynote - A Better Way to Deliver Innovation? | 1:02:55 | 287 | |
|
2016-06-13 | NIPS Poster Spotlight Session 6 | 24:02 | 264 | |
|
2016-06-13 | Panel 1 - Capturing the Research Lifecycle | 1:14:22 | 43 | |
|
2016-06-13 | NIPS Poster Spotlight Session 2 | 22:25 | 401 | |
|
2016-06-13 | Invited Talks: Computational Principles for Deep Neuronal Architectures | 58:54 | 316 | |
|
2016-06-13 | Approximate Majority algorithm | 1:21 | 890 | |
|
2016-06-13 | Symposium: Brains, Minds and Machines - Joshua Tenenbaum | 34:50 | 2,033 | |
|
2016-06-13 | DNA Strand Displacement | 1:21 | 21,919 | |
|
2016-06-13 | Outatime: Using Speculation to Enable Low-Latency Continuous Interaction for Mobile Cloud Gaming | 5:01 | 1,349 | |
|
2016-06-13 | Provable Algorithms for Learning Neural Networks | 1:20:04 | 413 | |
|
2016-06-13 | Modern Deep Learning through Bayesian Eyes | 1:00:53 | 5,745 | |
|
2016-06-13 | Towards Understandable Neural Networks for High Level AI Tasks; Part 2 | 1:28:52 | 203 | |
|
2016-06-13 | Towards Understandable Neural Networks for High Level AI Tasks - Part 4 | 1:25:57 | 181 | |
|
2016-06-13 | What are the prospects for automatic theorem proving? | 1:02:49 | 8,957 | |
|
2016-06-13 | Towards Understandable Neural Networks for High Level AI Tasks - Part 3 | 1:28:01 | 194 | |
|
2016-06-13 | Artist in Residence (formerly Studio99) Presents: Michael Gough and "Drawing as Literacy." | 1:08:11 | 258 | |
|
2016-06-13 | Towards Cross-fertilization Between Propositional Satisfiability and Data Mining | 59:23 | 66 | |
|
2016-06-13 | Making Objects Count: A Shape Analysis Framework for Proving Polynomial Time Termination | 1:08:13 | 86 | |
|
2016-06-13 | Human factors of software updates | 59:27 | 301 | Vlog |
|
2016-06-13 | Machine-Checked Correctness and Complexity of a Union-Find Implementation | 53:40 | 314 | |
|
2016-06-13 | Applications of 3-Dimensional Spherical Transforms to Acoustics and Personalization of Head-related | 55:59 | 1,668 | |
|
2016-06-13 | Network Protocols: Myths, Missteps, and Mysteries | 1:14:35 | 234 | |
|
2016-06-13 | Optimal and Adaptive Online Learning | 1:03:02 | 1,249 | |
|
2016-06-13 | Speaker Diarization: Optimal Clustering and Learning Speaker Embeddings | 1:06:53 | 4,240 | |
|
2016-06-13 | Multi-rate neural networks for efficient acoustic modeling | 1:27:42 | 466 | |
|
2016-06-13 | Unsupervised Latent Faults Detection in Data Centers | 56:45 | 337 | |
|
2016-06-13 | System and Toolchain Support for Reliable Intermittent Computing | 52:44 | 110 | |
|
2016-06-13 | Gates Foundation Presents: Crucial Areas of Fintech Innovation for the Bottom of the Pyramid | 1:21:13 | 162 | |
|
2016-06-13 | Social Computing Symposium 2016: Harassment, Threats, Trolling Online, Diversity in Gaming is Vital | 8:45 | 59 | |
|
2016-06-13 | Bringing Harmony Through AI and Economics | 58:51 | 395 | |
|
2016-06-13 | Approximating Integer Programming Problems by Partial Resampling | 52:42 | 120 | |
|
2016-06-13 | A Lasserre-Based (1+epsilon)-Approximation for Makespan Scheduling with Precedence Constraints | 47:47 | 1,052 | |
|
2016-06-13 | Towards Understandable Neural Networks for High Level AI Tasks - Part 7 | 1:36:22 | 217 | |
|
2016-06-13 | Verasco, a formally verified C static analyzer | 1:03:25 | 488 | |
|
2016-06-13 | Future Microprocessors Driven by Dataflow Principles | 1:26:42 | 1,375 | |
|
2016-06-13 | Theory and Experiments on the Spontaneous Evolution of Culture | 1:01:51 | 126 | |
|
2016-06-13 | Single-shot error correction with the gauge color code | 1:23:46 | 273 | |
|
2016-06-13 | Robust Spectral Inference for Joint Stochastic Matrix Factorization and Topic Modeling | 50:32 | 175 | |
|
2016-06-13 | How Much Information Does a Human Translator Add to the Original and Multi-Source Neural Translation | 1:21:05 | 57 | Guide |
|
2016-06-13 | Opportunities and Challenges in Global Network Cameras | 59:26 | 102 | |
|
2016-06-13 | Nature in the City: Changes in Bangalore over Time and Space | 52:14 | 742 | |
|
2016-06-13 | Making Small Spaces Feel Large: Practical Illusions in Virtual Reality | 1:02:13 | 1,616 | |
|