2016-06-22 | Privacy in Context | 28:13 | 214 | |
|
2016-06-22 | MSR Talk Series: Visualization Analysis and Design | 1:29:19 | 114 | |
|
2016-06-22 | Predictable Data Centers | 57:12 | 30 | |
|
2016-06-22 | Creating a branded platform for expert crowdsourced proofreading and copy-editing | 49:30 | 89 | |
|
2016-06-22 | Crowd-Agents: Creating Crowd-Powered Interactive Systems | 1:02:43 | 92 | |
|
2016-06-22 | Predictable and Dependable Low-power Wireless Networks | 55:34 | 96 | |
|
2016-06-22 | Interacting with Infrastructure: Home Networking and Beyond | 54:57 | 17 | |
|
2016-06-22 | Approximations for stochastic graph rewriting | 18:06 | 261 | |
|
2016-06-22 | Plug into the Supercloud | 53:04 | 90 | |
|
2016-06-22 | Probabilistic Programs as Spreadsheet Queries | 18:14 | 86 | |
|
2016-06-22 | Variational Gaussian Process State-Space Models. | 21:46 | 2,343 | |
|
2016-06-22 | An Azure-Based Framework for Modeling and Monitoring Changes in Arctic Snow and Ice | 47:11 | 14 | |
|
2016-06-22 | Social Computing Symposium 2015: Consequences of Humanizing Systems | 30:30 | 42 | |
|
2016-06-22 | Hints and Principles for Computer System Design | 43:26 | 5,515 | |
|
2016-06-22 | Cooperation on Social Networks | 1:00:24 | 102 | |
|
2016-06-22 | Project Catapult: Derek Chiou and Bill Barth | 25:44 | 929 | |
|
2016-06-22 | Automatic Device Driver Synthesis | 54:32 | 184 | |
|
2016-06-22 | Computational Thinking | 40:09 | 37,497 | |
|
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 | Fixed-Energy Harmonic Functions | 53:59 | 382 | |
|
2016-06-22 | RDFox — A Modern Materialisation-Based RDF System | 1:01:53 | 771 | |
|
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 | |
|