MSR Talk Series
535 videos • 727 views • by Microsoft Research
1
Panel Discussion: The State of Audio Education in the Pacific Northwest
Microsoft Research
Download
2
Coalescence in Branching Trees and Branching Random Walks
Microsoft Research
Download
3
Improving Access to Clinical Data Locked in Narrative Reports: An Informatics Approach
Microsoft Research
Download
4
Interactive and Interpretable Machine Learning Models for Human Machine Collaboration
Microsoft Research
Download
5
Representation Power of Neural Networks
Microsoft Research
Download
6
The Linear Algebraic Structure of Word Meanings
Microsoft Research
Download
7
Towards Understandable Neural Networks for High Level AI Tasks - Part 6
Microsoft Research
Download
8
Green Security Games
Microsoft Research
Download
9
e-NABLE: A Global Network of Digital Humanitarians on an Infrastructure of Electronic Communications
Microsoft Research
Download
10
Making Small Spaces Feel Large: Practical Illusions in Virtual Reality
Microsoft Research
Download
11
Opportunities and Challenges in Global Network Cameras
Microsoft Research
Download
12
Robust Spectral Inference for Joint Stochastic Matrix Factorization and Topic Modeling
Microsoft Research
Download
13
Theory and Experiments on the Spontaneous Evolution of Culture
Microsoft Research
Download
14
Towards Understandable Neural Networks for High Level AI Tasks - Part 7
Microsoft Research
Download
15
Future Microprocessors Driven by Dataflow Principles
Microsoft Research
Download
16
Coloring the Universe: An Insider's Look at Making Spectacular Images of Space
Microsoft Research
Download
17
Machine Learning as Creative Tool for Designing Real-Time Expressive Interactions
Microsoft Research
Download
18
Unsupervised Latent Faults Detection in Data Centers
Microsoft Research
Download
19
System and Toolchain Support for Reliable Intermittent Computing
Microsoft Research
Download
20
Speaker Diarization: Optimal Clustering and Learning Speaker Embeddings
Microsoft Research
Download
21
Network Protocols: Myths, Missteps, and Mysteries
Microsoft Research
Download
22
Multi-rate neural networks for efficient acoustic modeling
Microsoft Research
Download
23
Gates Foundation Presents: Crucial Areas of Fintech Innovation for the Bottom of the Pyramid
Microsoft Research
Download
24
Approximating Integer Programming Problems by Partial Resampling
Microsoft Research
Download
25
A Lasserre-Based (1+epsilon)-Approximation for Makespan Scheduling with Precedence Constraints
Microsoft Research
Download
26
Towards Understandable Neural Networks for High Level AI Tasks - Part 4
Microsoft Research
Download
27
Towards Understandable Neural Networks for High Level AI Tasks - Part 3
Microsoft Research
Download
28
Making Objects Count: A Shape Analysis Framework for Proving Polynomial Time Termination
Microsoft Research
Download
29
Applications of 3-Dimensional Spherical Transforms to Acoustics and Personalization of Head-related
Microsoft Research
Download
30
Provable Algorithms for Learning Neural Networks
Microsoft Research
Download
31
Mathematica Tech Talk with Wolfram
Microsoft Research
Download
32
The Electric Sheep Software Artwork
Microsoft Research
Download
33
How To Beat Cancer
Microsoft Research
Download
34
Creating Research and Scientific Documents Using Microsoft Word
Microsoft Research
Download
35
On The Algorithmic and System Interface of BIG LEARNING
Microsoft Research
Download
36
Information-Rich Programming in F# with Semantic Data
Microsoft Research
Download
37
Candidate Indistinguishability Obfuscation and Functional Encryption for all circuits
Microsoft Research
Download
38
Osv - The OS designed for the Cloud
Microsoft Research
Download
39
Dynamic Searchable Encryption via Blind Storage
Microsoft Research
Download
40
Remote Patient Monitoring: Crafting the Future Landscape of Healthcare
Microsoft Research
Download
41
User Interfaces for Spatial Augmented Reality
Microsoft Research
Download
42
Correctness Checking Concepts and Tools for HPC: Call for Action
Microsoft Research
Download
43
Redesigning Learning: An International Research Story
Microsoft Research
Download
44
Dissipation of Information in Channels with Input Constraints
Microsoft Research
Download
45
Cryptography Primer Session 5 Attacks, Vulnerabilities, & Practical Considerations
Microsoft Research
Download
46
Guardian Angel Technologies: Providing Right Information to the Right People
Microsoft Research
Download
47
Roots of random polynomials
Microsoft Research
Download
48
Cryptography Primer Session 6: Tools and Applications
Microsoft Research
Download
49
Can Cascades be Predicted?
Microsoft Research
Download
50
Mixing Time for Glauber Dynamics on Lozenge Tilings
Microsoft Research
Download
51
Designing and Enabling a Symphony of Devices
Microsoft Research
Download
52
Probabilistic Topic Models and User Behavior
Microsoft Research
Download
53
Toward Robust Hidden Volumes Using Write-Only Oblivious RAM
Microsoft Research
Download
54
Towards Practical ORAMs
Microsoft Research
Download
55
A high accuracy Bioimpedance Measurement System (BMS) for time resolved measurements
Microsoft Research
Download
56
Fast Conservative Garbage Collection
Microsoft Research
Download
57
Automated Debugging as a Constraint Solving Problem
Microsoft Research
Download
58
Isomorphism and Program Equivalence
Microsoft Research
Download
59
Taming GPU threads with F# and Alea.GPU
Microsoft Research
Download
60
Understanding non-convex optimization for sparse coding
Microsoft Research
Download
61
Finding Information in Disfluencies
Microsoft Research
Download
62
Reverse Traceroute Network Diagnostic Utility
Microsoft Research
Download
63
Automating Program Transformations based on Examples of Systematic Edits
Microsoft Research
Download
64
Internet of Things: Support IP Smart Objects over Bluetooth Smart
Microsoft Research
Download
65
A Real-time Augmented Reality Processor and a Smart Glasses System
Microsoft Research
Download
66
Fast Interpolating Bounded Model Checking
Microsoft Research
Download
67
Towards a Learning Theory of Causation
Microsoft Research
Download
68
Social Media Predictive Analytics: Methods and Applications
Microsoft Research
Download
69
Inverting RANSAC: Global Model Detection via Inlier Rate Estimation
Microsoft Research
Download
70
A Scalable Cloud-Sensor Architecture for the Internet of Things
Microsoft Research
Download
71
Of Teams and Automation: Lessons in Social Coding from Github
Microsoft Research
Download
72
Computational Imaging and Illumination for 3D Acquisition: Research at the NU Comp Photo Lab
Microsoft Research
Download
73
Password Aging Policies and Quantifying Security Advantages
Microsoft Research
Download
74
Ultrasound Doppler Radar
Microsoft Research
Download
75
Feedforward Semantic Segmentation with Zoom-out Features
Microsoft Research
Download
76
Interpolating Between Truthful and Non-Truthful Mechanisms for Combinatorial Auctions
Microsoft Research
Download
77
To Do or Not To Do: Scheduling to Minimize Energy
Microsoft Research
Download
78
Taking Humor Seriously
Microsoft Research
Download
79
Spatial Probability for Sound Source Localization
Microsoft Research
Download
80
Descriptive Complexity: Survey and Recent Progress
Microsoft Research
Download
81
Random Walk on the Heisenberg group
Microsoft Research
Download
82
Learning to Soar: Exploration-Exploitation Algorithms for Autonomous Soaring Flight
Microsoft Research
Download
83
Finding What to Read: Visual Text Analytics Tools and Techniques to Guide Investigation
Microsoft Research
Download
84
Build It, Break It, Fix It: Contesting Secure Development
Microsoft Research
Download
85
Verifiable Functional Encryption
Microsoft Research
Download
86
Indistinguishability Obfuscation for Turing Machines with Unbounded Memory
Microsoft Research
Download
87
The Resurgence of Software Performance Engineering
Microsoft Research
Download
88
Canine Aging: Can Old Dogs Teach us New Tricks?
Microsoft Research
Download
89
Interactive Design Tools for the Maker Movement
Microsoft Research
Download
90
Intersection of two passions
Microsoft Research
Download
91
Entangling surfaces, tangibles, webs, clouds, and architectural spaces
Microsoft Research
Download
92
Clothing+ (Wearable Sensor Solutions)
Microsoft Research
Download
93
Advanced techniques for monetizing Windows Phone apps
Microsoft Research
Download
94
Achieving information-theoretic limits in high-dimensional regression.
Microsoft Research
Download
95
An introduction to probabilistic machine learning
Microsoft Research
Download
96
Abelard to Apple: The Fate of American Colleges and Universities
Microsoft Research
Download
97
C++ AMP: Bringing Massive Parallelism to C++ Developers
Microsoft Research
Download
98
GPU Ocelot Tutorial
Microsoft Research
Download
99
Numerical programs: from roundoff-error detection to accurate formula synthesis
Microsoft Research
Download
100
Process Algebras for Quantum Compilation
Microsoft Research
Download
101
A system for programming and verifying interacting state machines
Microsoft Research
Download
102
Analyzing Investments in Innovation: Private and Public Perspectives
Microsoft Research
Download
103
Accelerating Dynamic Software Analyses
Microsoft Research
Download
104
Inference and Learning in Structured-Output Models for Computer Vision
Microsoft Research
Download
105
SocialTFS: Augmenting Social Awareness in a Collaborative Development Environment
Microsoft Research
Download
106
Coding for a Network Coded Fountain
Microsoft Research
Download
107
Contagion, Affirmation and Lies: The Psychology of Social Media
Microsoft Research
Download
108
Managing data in your app
Microsoft Research
Download
109
Optimization Problems in Network Connectivity
Microsoft Research
Download
110
Gaussian Processes for Inference with Implicit Likelihoods
Microsoft Research
Download
111
Experiences and Progresses on Binary Translation system for Loongson Processor
Microsoft Research
Download
112
Robust Shallow Semantic Parsing of Text
Microsoft Research
Download
113
The �Moral Imperative� of Treating People with Chronic Pain
Microsoft Research
Download
114
Strongly polynomial algorithm for a class of minimum-cost flow problems
Microsoft Research
Download
115
WebAppBooster: Give Web Apps access to an Android Smartphone
Microsoft Research
Download
116
Securing RFID Systems Using Lightweight Stream Cipher
Microsoft Research
Download
117
The 2012 Nobel Prize in Economics
Microsoft Research
Download
118
Collaborative Computing and the Physical World
Microsoft Research
Download
119
The 29th UW/MS Symposium in Computational Linguistics
Microsoft Research
Download
120
Graph Multi-partitioning and Higher Order Cheeger Inequalities; Anand Louis - Georgia Tech
Microsoft Research
Download
121
Program Analysis and Symbol Elimination
Microsoft Research
Download
122
Crowdsourcing Change: The Role of Computing in Tackling Major
Microsoft Research
Download
123
Mining Software Repository Made Easy - Boa Language and its Data Store
Microsoft Research
Download
124
Belief Propagation Algorithms for Crowdsourcing
Microsoft Research
Download
125
Connecting Citizens and their Government
Microsoft Research
Download
126
Supporting Sensemaking in Science
Microsoft Research
Download
127
Modeling Complex Data with Deep Gaussian Processes
Microsoft Research
Download
128
The Social Network model
Microsoft Research
Download
129
Vroom, the interesting world of racing game sound design
Microsoft Research
Download
130
Mobile Gesture-Based User Interfaces for People with Disabilities
Microsoft Research
Download
131
Performance of Serializable Snapshot Isolation on Multicore Servers
Microsoft Research
Download
132
Development of Speech Perception and Vocalization of Robots
Microsoft Research
Download
133
MSR Talk Series: Sums of squares � characterization and distribution
Microsoft Research
Download
134
Optimizing Datacenter Operations with Practical Complexity
Microsoft Research
Download
135
Verifying Data Parallel Programs Using Sequential Program Verification Technology
Microsoft Research
Download
136
Modeling Brain Circuitry over a Wide Range of Scales
Microsoft Research
Download
137
When to ask for help: Optimizing projects for crowdsourcing
Microsoft Research
Download
138
Riemannian manifolds, kernels and learning
Microsoft Research
Download
139
Networking: A killer app for programming languages researchers
Microsoft Research
Download
140
Main-Memory Join Algorithms: Sort or Hash?
Microsoft Research
Download
141
Unflattening: a dissertation in comics form reimagines inquiry
Microsoft Research
Download
142
Dictionary Learning for 3D Scene Representation
Microsoft Research
Download
143
Addressing Intractable Optimization and Verification Problems in Access Control
Microsoft Research
Download
144
Automatically enhancing locality in irregular applications
Microsoft Research
Download
145
The Path to Mobile HD-Audio Communication
Microsoft Research
Download
146
Multimedia Communications: What, Where and How?
Microsoft Research
Download
147
The Incredible Shrinking Quantum Circuit
Microsoft Research
Download
148
Type Inference for Dynamically-Typed Languages
Microsoft Research
Download
149
The Emergence of Conventions in Twitter
Microsoft Research
Download
150
Zerocoin: Anonymous Distributed E-Cash from Bitcoin
Microsoft Research
Download
151
Improving Software Reliability through Decoupled Dynamic Analysis
Microsoft Research
Download
152
Sound JavaScript Analysis for Securing Browser Addons
Microsoft Research
Download
153
Building Social Life Networks
Microsoft Research
Download
154
How to write your next POPL paper in Dafny
Microsoft Research
Download
155
Integrating Algorithmic and Behavioral Approaches to Crowdsourcing
Microsoft Research
Download
156
The Structural Theory of Pure Type Systems
Microsoft Research
Download
157
Learning Mixtures of Arbitrary Distributions over Large Discrete Domains
Microsoft Research
Download
158
Small Image Sensors and Big Visual Data
Microsoft Research
Download
159
Patent Law's Perfect Storm
Microsoft Research
Download
160
Why the Doorway is a Data Portal into Multi-Person Homes
Microsoft Research
Download
161
Blur-Kernel Estimation from Spectral Irregularities
Microsoft Research
Download
162
Coordinating Software Development through Predictive Conflict Detection
Microsoft Research
Download
163
Decoupling Algorithms from the Organization of Computation for High-Performance Graphics & Imaging
Microsoft Research
Download
164
Evaluating Open Source Software
Microsoft Research
Download
165
Towards a General Automated Debugging Framework
Microsoft Research
Download
166
Revealing the Invisible
Microsoft Research
Download
167
VINTA: Combining Model Checking and Abstract Interpretation
Microsoft Research
Download
168
Tight Bound for Online Vector Packing
Microsoft Research
Download
169
Understanding and Reducing the User Burdens in Applications for Health and Wellbeing
Microsoft Research
Download
170
On the difficulty of training recurrent and deep neural networks
Microsoft Research
Download
171
Hands and pixels: from the "Minority Report" interface to a full-stack spatial computing platform
Microsoft Research
Download
172
The Wisdom of (Cyborg) Crowds
Microsoft Research
Download
173
Democratizing Mobile Computing with MIT App Inventor
Microsoft Research
Download
174
Quantum algorithms for Hamiltonian simulation
Microsoft Research
Download
175
Optimal Pairings on Abelian Varieties with Theta Functions
Microsoft Research
Download
176
Who is Afraid of Vectors�Optimizing Cryptography Using SSE, AVX, NEON, and Co.
Microsoft Research
Download
177
Creating Comics and Cartoons on Mobile Devices
Microsoft Research
Download
178
Using Crowd Agents to Create Deployable Intelligent Systems
Microsoft Research
Download
179
Touch-Enabled Programming for the Lab of Things
Microsoft Research
Download
180
A Logical Revolution
Microsoft Research
Download
181
Using FPGAs to Simulate Novel Datacenter Network Architecture at Scale
Microsoft Research
Download
182
Epidermal Electronics
Microsoft Research
Download
183
The Big Picture of Video: Opportunities and Challenges for Automatic Video Analysis at Scale
Microsoft Research
Download
184
Towards a Model-Based Video Coding
Microsoft Research
Download
185
Models, Decisions, and Better Cyber-Physical Systems
Microsoft Research
Download
186
Efficient Cryptography for the Next Generation Secure Cloud
Microsoft Research
Download
187
Daniel�s Adventures in Computer Vision Land
Microsoft Research
Download
188
Let's Talk Numbers: A Gallery of Gems from Number Theory
Microsoft Research
Download
189
Going Big on Big Data
Microsoft Research
Download
190
Online News Sharing and Annotation in the Age of Participatory Media
Microsoft Research
Download
191
Base-Delta-Immediate Compression: Practical Data Compression for On-Chip Caches
Microsoft Research
Download
192
Microblogging During Small Scale Incidents
Microsoft Research
Download
193
Narrating with Networks: Making Sense of Event Log Data with Socio-Technical Trajectories
Microsoft Research
Download
194
Art and Audience Participation: What Can We Expect from the Future?
Microsoft Research
Download
195
Parallel Coordinates: Visual Multidimensional Geometry and its Applications
Microsoft Research
Download
196
Multi-Party Computation: From Theory to Practice
Microsoft Research
Download
197
Algorithms and Perception for Interactive Free-Viewpoint Image-Based Navigation
Microsoft Research
Download
198
Learning to Construct and Reason with a Large Knowledge Base of Extracted Information
Microsoft Research
Download
199
Realtime Facial Animation
Microsoft Research
Download
200
Distributed Optimization via Alternating Direction Method of Multipliers
Microsoft Research
Download