2016-06-22 | Time series inference with nonlinear dynamics and filtering for control. | 20:32 | 1,073 | |
|
2016-06-22 | Programmability at Cloud Scale | 1:28:54 | 144 | |
|
2016-06-22 | Computing for Global Development and Resource Constraint | 53:07 | 47 | |
|
2016-06-22 | A Software only Mechanism for Device Pass-Through and Sharing | 34:56 | 189 | |
|
2016-06-22 | Energy-efficient Scheduling in the Non-clairvoyant Model | 42:25 | 226 | |
|
2016-06-22 | F# Type Providers: DBpedia and the Combinator Framework | 41:41 | 496 | |
|
2016-06-22 | Arithmetic Circuit Complexity | 34:04 | 1,199 | |
|
2016-06-22 | Approximating ATSP by Relaxing Connectivity | 44:42 | 846 | |
|
2016-06-22 | Programming languages and biology | 13:54 | 450 | Vlog |
|
2016-06-22 | Deep clustering: discriminative embeddings for source separation | 1:04:47 | 5,174 | |
|
2016-06-22 | Social Computing Symposium 2015: Muse: The Brain Sensing Headband | 9:13 | 103 | |
|
2016-06-22 | Advances in Quantum Algorithms and Devices: Welcome and Distributed Denstity Matrices | 44:39 | 146 | |
|
2016-06-22 | Circle Packing and Its Applications | 1:03:45 | 4,349 | |
|
2016-06-22 | Advances in Quantum Algorithms & Devices: Quantum Monte Carlo versus Quantum Adiabatic Optimization | 38:10 | 225 | |
|
2016-06-22 | Fast Algorithms for Online Stochastic Convex Programming | 1:05:14 | 421 | |
|
2016-06-22 | Research on Concert Hall Acoustics at Aalto University | 50:41 | 2,117 | |
|
2016-06-22 | RDFox — A Modern Materialisation-Based RDF System | 1:01:53 | 771 | |
|
2016-06-22 | Fixed-Energy Harmonic Functions | 53:59 | 382 | |
|
2016-06-22 | Competitive erosion is conformally invariant | 1:00:53 | 157 | |
|
2016-06-22 | A Simple O(loglog(rank))-Competitive Algorithm for the Matroid Secretary Problem | 49:37 | 749 | Vlog |
|
2016-06-22 | Recent Advances in Deep Learning at Microsoft: A Selected Overview | 1:03:53 | 1,096 | |
|
2016-06-22 | The Interplay of Social Influence and Own Preference in Social Networks | 1:01:25 | 90 | |
|
2016-06-22 | A Fast Distributed Algorithm for α-Fair Packing Problems | 55:06 | 1,198 | |
|
2016-06-22 | Theory Day Session 3 | 32:29 | 141 | |
|
2016-06-22 | Provable Submodular Minimization via Wolfe’s Algorithm | 46:12 | 257 | |
|
2016-06-22 | A Faster Cutting Plane Method and its Implications for Combinatorial and Convex Optimization | 1:05:39 | 741 | |
|
2016-06-22 | Stochastic Methods for Complex Performance Measures: A Tale of Two Families | 20:24 | 119 | |
|
2016-06-22 | Parallel Bayesian Network Structure Learning for Genome-Scale Gene Networks | 44:32 | 408 | |
|
2016-06-22 | Empirical Inference for Intelligent Systems | 57:15 | 399 | |
|
2016-06-22 | Ordered Stick-breaking Prior for Sequential MCMC Inference of Bayesian Non-Parametric Models | 17:31 | 450 | |
|
2016-06-22 | Effective-Resistance-Reducing Flows, Spectrally Thin Trees and Asymmetric TSP | 1:00:24 | 225 | |
|
2016-06-22 | Non-Convex Robust PCA | 50:40 | 929 | |
|
2016-06-22 | Communication-Avoiding Algorithms and Fast Matrix Multiplication | 1:01:05 | 872 | |
|
2016-06-22 | The Forza Motorsport 5 Original Soundtrack, An Insider's View | 1:52:37 | 2,469 | | Forza Motorsport 5
|
2016-06-21 | Reasoning about GADT Pattern Matching in Haskell | 36:24 | 3,619 | |
|
2016-06-21 | Non-Convex Robust PCA - Part 2 | 47:46 | 182 | |
|
2016-06-21 | Modeling, Quantifying, and Limiting Adversary Knowledge | 57:28 | 9 | |
|
2016-06-21 | Sampling Techniques for Constraint Satisfaction and Beyond | 1:02:07 | 123 | |
|
2016-06-21 | Cell Classification of FT-IR Spectroscopic Data for Histopathology using Neural Networks | 26:33 | 727 | Vlog |
|
2016-06-21 | Sequential Equilibrium Distributions in Multi-Stage Games with Infinite Sets of Types and Actions | 1:06:03 | 209 | |
|
2016-06-21 | Randomized Interior Point Methods for Sampling and Optimization | 53:19 | 393 | |
|
2016-06-21 | Introduction to large-scale optimization - Part1 | 1:12:43 | 3,486 | |
|
2016-06-21 | Welcome and Microsoft Research Asia Update | 20:13 | 19 | Vlog |
|
2016-06-21 | An average-case depth hierarchy theorem for Boolean circuits | 50:24 | 175 | |
|
2016-06-21 | Enabling Connected Cars through Named Data. | 43:50 | 334 | |
|
2016-06-21 | Introduction to large-scale optimization - Part 2 | 1:40:48 | 637 | |
|
2016-06-21 | What happened after LUCA? | 13:21 | 49 | |
|
2016-06-21 | Human Computer Interaction Mini-Symposium: Four Provocations from the Frontiers of HCI | 1:57:52 | 392 | |
|
2016-06-21 | Lottery Auctions | 53:05 | 77 | |
|
2016-06-21 | ResearchNext: Data-driven discovery and the Cloud | 19:26 | 57 | |
|
2016-06-21 | A Spectral Algorithm for Ranking using Seriation. | 19:50 | 193 | |
|
2016-06-21 | Symmetric and Asymmetric k-center Clustering under Stability | 52:37 | 940 | |
|
2016-06-21 | Types and Logic, Concurrency and Non-Determinism | 15:49 | 222 | Vlog |
|
2016-06-21 | Introduction to Large-Scale Optimization - Part3 | 1:12:48 | 453 | |
|
2016-06-21 | Content Placement as a Key to Leveraging Geo-Distributed Infrastructures | 51:07 | 39 | |
|
2016-06-21 | Randomized Rounding for the Largest j-Simplex Problem | 1:01:47 | 258 | |
|
2016-06-21 | What Drives Curiosity? Robotics Technologies on the Mars Science Rover | 1:38:03 | 454 | |
|
2016-06-21 | Measuring Rhetoric: Statistical Language Models in Social Science | 1:03:06 | 109 | |
|
2016-06-21 | Microsoft Research Gender Diversity Lecture Series 2: Diversity in the Computing Field | 2:06:59 | 1,400 | |
|
2016-06-21 | WIPTTE: Reflections on Classroom Presenter | 58:56 | 33 | |
|
2016-06-21 | From formal verification to high-performance constraint solving | 1:10:21 | 1,305 | |
|
2016-06-21 | Solving QBF by Counterexample-Guided Abstraction Refinement | 58:02 | 647 | Guide |
|
2016-06-21 | Unbalanced Random Matching Markets: The Stark Effect of Competition | 52:53 | 301 | |
|
2016-06-21 | Mining Web Data for Public Health | 59:16 | 298 | |
|
2016-06-21 | Charles River Crypto Day - Building Anonymous Messaging Systems that Hide the Metadata | 1:02:41 | 133 | |
|
2016-06-21 | Belief propagation with strings. | 23:09 | 573 | |
|
2016-06-21 | Programming Languages for Life | 45:56 | 55 | |
|
2016-06-21 | Next Generation Zinc Rechargeable Batteries | 1:08:18 | 7,786 | |
|
2016-06-21 | The gene gate model: some afterthoughts | 15:38 | 14 | |
|
2016-06-21 | Revenue Efficient Mechanisms for Online Advertising | 59:38 | 124 | |
|
2016-06-21 | Making a difference. One app at a time: Disability, Distinction, and Domestic Access | 57:00 | 48 | |
|
2016-06-21 | Studio 99 Present: Collected Works of Artist Laurie Frick | 48:29 | 37 | |
|
2016-06-21 | MSR Theory Day - Part 2 | 50:02 | 71 | |
|
2016-06-21 | Theory Day Session 2 | 46:09 | 193 | |
|
2016-06-21 | Modular Total Correctness Verification of Fine-Grained Concurrent Programs with Exceptions and I/O | 58:25 | 167 | |
|
2016-06-21 | MSR NYC Data Science Seminar Series #2 | 1:05:38 | 117 | |
|
2016-06-21 | MSR Theory Day - Part 3 | 54:15 | 95 | |
|
2016-06-21 | Engineering Serendipity | 1:10:47 | 100 | |
|
2016-06-21 | Operationalizing Predictive Model | 21:07 | 77 | |
|
2016-06-21 | Theory Day Session 1 | 39:20 | 289 | |
|
2016-06-21 | On understanding types, data abstraction and effects | 15:53 | 135 | |
|
2016-06-21 | Interdisciplinarity: A View from Theoretical Computer Science | 40:19 | 32 | |
|
2016-06-21 | Automorphisms of Graphons | 1:09:20 | 462 | |
|
2016-06-21 | Finitely Dependent Coloring | 41:42 | 80 | |
|
2016-06-21 | Theory Day Session 5 | 41:08 | 175 | |
|
2016-06-21 | Squared Distance Matrix of a Tree | 53:26 | 333 | |
|
2016-06-21 | Near Future Laboratory | 21:30 | 142 | |
|
2016-06-21 | Luca Cardelli and the Early Evolution of ML | 13:50 | 511 | |
|
2016-06-21 | How abstract should abstract types be? | 12:54 | 36 | |
|
2016-06-21 | Deadlock analysis of unbounded process networks | 15:40 | 94 | |
|
2016-06-21 | Full reduction in the face of absurdity | 12:48 | 51 | |
|
2016-06-21 | A Brief Introduction to Microsoft Research | 14:30 | 205 | |
|
2016-06-21 | Networked Publics as Third Places | 1:32:06 | 166 | |
|
2016-06-21 | Using a Push-Button Verifying Compiler to Build Verified Software Components | 1:16:19 | 105 | |
|
2016-06-21 | Challenges in Geo-Distributed Data Center and Application Design | 1:31:59 | 918 | |
|
2016-06-21 | Cryptography Primer Session 2 – Symmetric Primitives | 1:10:52 | 424 | |
|
2016-06-21 | Cryptography Primer – What Can Go Wrong | 1:14:21 | 584 | |
|
2016-06-21 | Cryptography Primer Session 3 – Integral Asymmetric Functions | 1:04:22 | 168 | |
|
2016-06-21 | Familiarity Does Not Breed Contempt: Diversity, Discrimination and Generosity in Delhi Schools | 1:00:08 | 481 | |
|
2016-06-21 | LampsonFest - Ron Rivest, Martin Abadi, Cynthia Dwork | 1:25:21 | 662 | |
|