Microsoft Research
2,825 old videos with fewer than 5,000 views from this channel.
-
23:09
Belief propagation with strings.
-
1:10:21
From formal verification to high-performance constraint solving
-
58:56
WIPTTE: Reflections on Classroom Presenter
-
2:06:59
Microsoft Research Gender Diversity Lecture Series 2: Diversity in the Computing Field
-
1:38:03
What Drives Curiosity? Robotics Technologies on the Mars Science Rover
-
15:49
Types and Logic, Concurrency and Non-Determinism
-
43:50
Enabling Connected Cars through Named Data.
-
1:06:03
Sequential Equilibrium Distributions in Multi-Stage Games with Infinite Sets of Types and Actions
-
26:33
Cell Classification of FT-IR Spectroscopic Data for Histopathology using Neural Networks
-
1:02:07
Sampling Techniques for Constraint Satisfaction and Beyond
-
57:28
Modeling, Quantifying, and Limiting Adversary Knowledge
-
36:24
Reasoning about GADT Pattern Matching in Haskell
-
50:40
Non-Convex Robust PCA
-
17:31
Ordered Stick-breaking Prior for Sequential MCMC Inference of Bayesian Non-Parametric Models
-
20:24
Stochastic Methods for Complex Performance Measures: A Tale of Two Families
-
1:05:39
A Faster Cutting Plane Method and its Implications for Combinatorial and Convex Optimization
-
32:29
Theory Day Session 3
-
49:37
A Simple O(loglog(rank))-Competitive Algorithm for the Matroid Secretary Problem
-
38:10
Advances in Quantum Algorithms & Devices: Quantum Monte Carlo versus Quantum Adiabatic Optimization
-
1:03:45
Circle Packing and Its Applications
-
44:42
Approximating ATSP by Relaxing Connectivity
-
34:04
Arithmetic Circuit Complexity
-
41:41
F# Type Providers: DBpedia and the Combinator Framework
-
34:56
A Software only Mechanism for Device Pass-Through and Sharing