Share on Facebook Tweet on Twitter Share on LinkedIn Share by email
Our research
Content type
+
Downloads (449)
+
Events (440)
 
Groups (151)
+
News (2705)
 
People (746)
 
Projects (1093)
+
Publications (12458)
+
Videos (5599)
Labs
Research areas
Algorithms and theory47205 (65)
Communication and collaboration47188 (63)
Computational linguistics47189 (10)
Computational sciences47190 (69)
Computer systems and networking47191 (122)
Computer vision208594 (21)
Data mining and data management208595 (7)
Economics and computation47192 (25)
Education47193 (82)
Gaming47194 (22)
Graphics and multimedia47195 (64)
Hardware and devices47196 (66)
Health and well-being47197 (30)
Human-computer interaction47198 (155)
Machine learning and intelligence47200 (84)
Mobile computing208596 (16)
Quantum computing208597 (17)
Search, information retrieval, and knowledge management47199 (61)
Security and privacy47202 (29)
Social media208598 (10)
Social sciences47203 (41)
Software development, programming principles, tools, and languages47204 (38)
Speech recognition, synthesis, and dialog systems208599 (9)
Technology for emerging markets208600 (6)
1–25 of 5599
Sort
Show 25 | 50 | 100
1234567Next 
Type a summary that describes the content of your video.
Video details
Date: 5 November 2015
Duration: 00:03:15
Publisher: Microsoft
Bart Jacobs
Modular Total Correctness Verification of Fine-Grained Concurrent Programs with Exceptions and I/OMany powerful higher-order logics have been proposed for the modular specification and verification of fine-grained concurrent imperative programs. In this talk, I present a logic that is fairly close to what my VeriFast modular verification tool for C and Java implements. To achieve higher-order-ishness (higher-order assertions, nested Hoare triples, storing assertions in the heap, etc.), a relatively simple approach is followed: assertion lambda applications and nested triples may occur only in positive...
Video details
Date: 26 May 2015
Duration: 00:58:04
Collection: MSR Talk Series
99DOTS: low-cost monitoring and improving medication adherence99DOTS is a new model of delivering tuberculosis medications that utilizesbasic mobile phones and augmented blister packaging to provide real-timeadherence monitoring without the burden of direct observation. By far three pilots have been conducted, spanning over 40 patients inIndia. Results from the pilots are very encouraging. Over 90% of all doses werereported correctly using 99DOTS. All patients were able to use the system, evenif they had not received any formal education. We believe that 99DOTS...
Video details
Date: 26 May 2015
Duration: 00:01:37
Publisher: Microsoft
Shirshendu Ganguly
Competitive erosion is conformally invariantWe study a graph-theoretic model of interface dynamics called competitive erosion. Each vertex of the graph is occupied by a particle, which can be either red or blue. New red and blue particles are emitted alternately from their respective sources and perform random walk. On encountering a particle of the opposite color they remove it and occupy its position. This is a finite competitive version of the celebrated Internal DLA growth model. We establish conformal invariance of competitive erosion on...
Video details
Date: 22 May 2015
Duration: 01:00:32
Collection: MSR Talk Series
Lili Cheng and Londa Schiebinger
Microsoft Research Gender Diversity Lecture Series 4:  Diversity Driving Innovation Moving from Research to ActionThis interactive session will explain how researchers can take gender into account when designing systems and products. People have focused on increasing women's participation in engineering and technology for several decades. But what if we go a step further and look at the benefits of diversity for research and product development? Research blind to gender can fail. When a well-known company developed Translate, no one noticed that the program defaults inappropriately to the masculine pronoun. Articles...
Video details
Date: 22 May 2015
Duration: 00:33:52
Collection: MSR Diversity
Roy Schwartz
Fast and Simple Algorithms for Constrained Submodular MaximizationSubmodular maximization captures both classical problems in combinatorial optimization and recent more practical applications that arise in other disciplines, e.g., machine learning and data mining. The size of the inputs in these applications is usually very large. Hence, it is interesting to devise approximation algorithms that in addition to providing a provable guarantee are also very fast and simple to use. In this talk I will present one such example and consider the problem of submodular...
Video details
Date: 21 May 2015
Duration: 01:00:11
Collection: MSR Talk Series
Nancy Kress, Greg Bear, Jason Pontin, Paul Yager, and Rick Rashid
Science Fiction:  Catalyst for RealityRemember the first time science and technology captivated you?Maybe it was the sight of an airplane or a helicopter in flight. Or perhaps it was an episode of Star Trek or writings of Jules Verne.Science fiction has always been a source of inspiration for breakthrough innovations in technology. Star Trek inspired Martin Cooper to invent the first cell phone. Jules Verne's writings led to the invention of the submarine and the helicopter.On May 20th, join MIT Enterprise Forum Northwest for a deep...
Video details
Date: 20 May 2015
Duration: 02:02:39
Collection: Other
Jelena Marasevic
A Fast Distributed Algorithm for α-Fair Packing ProblemsOver the past two decades, fair resource allocation problems received considerable attention in a variety of application areas. While polynomial time distributed algorithms have been designed for max-min fair resource allocation, the design of distributed algorithms with convergence guarantees for the more general α-fair allocations received little attention. In this talk, I will present a fast distributed algorithm for weighted α -fair packing problems, that is, the problems of maximizing the objective...
Video details
Date: 20 May 2015
Duration: 00:54:45
Collection: MSR Talk Series
Kathleen Eisenhardt
Simple Rules: How to Thrive in a Complex WorldLife gets more complicated every day. Whether you're struggling with information overload, attempting to act effectively with limited resources or trying to change bad habits – Kathleen can help. She and her co-author Don Sulls (MIT) have spent the last decade working with businesses around the world, and have developed a set of highly effective, tried-and-tested rules to help tackle complex problems, whatever they are. So, how do we make the best decisions when deluged with data? How do we solve problems...
Video details
Date: 20 May 2015
Duration: 00:46:37
Collection: Visiting Speaker Series
Greg Lindsay
Engineering SerendipityInnovation is fundamentally social. Study after study has shown that the best ideas are more likely to arise from a casual chat around the water cooler or coffee shop than any scheduled meeting. They're the result of serendipity - a chance encounter at the right time by the right people, regardless of rank and affiliation. Serendipity is also what makes cities great (and so productive). Should we be managing for serendipity instead? And if so, what comes after the office? How can we create smarter cities...
Video details
Date: 19 May 2015
Duration: 01:10:26
Collection: MSR Talk Series
Bernhard Schölkopf
In machine learning, we use data to automatically find dependences in the world, with the goal of predicting future observations. Most machine learning methods build on statistics, but one can also try to go beyond this, assaying causal structures underlying statistical dependences. Can such causal knowledge help prediction in machine learning tasks? We argue that this is indeed the case, due to the fact that causal models are more robust to changes that occur in real world datasets. We touch upon the...
Video details
Date: 15 May 2015
Duration: 00:57:12
Collection: Microsoft Distinguished Research Lecture | UK Cambridge - Lecture/Seminar
Patrick Olivier and Vasilis Vlachokyriakos
Devices and Networking Summit - Demo 3, PosterVotePatrick Olivier and Vasilis Vlachokyriakos, Newcastle UniversityPosterVote is an artifact that allows sustainable electronic voting by dropping the development and maintenance costs, while increasing the potential for social movements to engage in action and for communities to support and respond to such action. PosterVote can be used by citizens to collect data, in the form of opinions, to support local communities. It consists of two parts; the printed poster with the question and answers and the...
Video details
Date: 13 May 2015
Duration: 00:04:28
Collection: Devices and Networking Summit 2015
Publisher: Microsoft Research
Jordan Greenblatt
Maximal Bounds on Cartesian Powers of Finite GraphsIn the course of their work on the Unique Games Conjecture, Harrow, Kolla, and Schulman proved that the spherical maximal averaging operator on the hypercube satisfies an L2 bound independent of dimension, published in 2013. Later, Krause extended the bound to all Lp with p > 1 and, together with Kolla, we extended the dimension-free bounds to arbitrary finite cliques. We will discuss the classical and immediate contexts for these results and then outline the central ideas of their proofs. Finally, we...
Video details
Date: 13 May 2015
Duration: 00:57:10
Collection: MSR Talk Series
Andrei Ermilov, Brad Cotier, and Jarnail Chudge
Devices and Networking Summit - Demo 4, Cities UnlockedJarnail Chudge, Andrei Ermilov, and Brad Cotier, MicrosoftCities Unlocked is a project that assists people with visual impairment to navigate through urban areas. It uses a bone conducting headset and a mobile phone app to generate audio signals based on the user’s head position, to guide them towards a target. This is a highly collaborative effort between Microsoft and external partners, including UCL. Microsoft Research contributed to the algorithms for the soundscape technology, made the hardware...
Video details
Date: 13 May 2015
Duration: 00:10:31
Collection: Devices and Networking Summit 2015
Publisher: Microsoft Research
Stefan Saroiu
Devices and Networking Summit - Research in Focus 4, Keeping Control of Security and Privacy......in a World of DevicesStefan Saroiu, Microsoft Research and Peter Druschel, MPI-SWSAs more and more devices are connecting to the Internet, the security and privacy of their users are becoming more important than ever. The mobile nature of many of these devices raises new attack vectors and new challenges in providing adequate security and privacy.
Video details
Date: 13 May 2015
Duration: 00:12:17
Collection: Devices and Networking Summit 2015
Publisher: Microsoft Research
Stefan Saroiu
Devices and Networking Summit - Research in Focus 4, Keeping Control of Security and Privacy......in a World of DevicesStefan Saroiu, Microsoft Research and Peter Druschel, MPI-SWSAs more and more devices are connecting to the Internet, the security and privacy of their users are becoming more important than ever. The mobile nature of many of these devices raises new attack vectors and new challenges in providing adequate security and privacy.
Video details
Date: 13 May 2015
Duration: 00:11:54
Publisher: Microsoft Research
Scarlet Schwiderski-Grosche, Steve Hodges, and Yoshihiro Kawahara
Devices and Networking Summit - Demo 2, Circuit Stickers and Conductive Nanoparticle InkSteve Hodges, Microsoft Research and Yoshihiro Kawahara, University of TokyoCircuit stickers let you build electronic prototypes by sticking components like LEDs, sensors and logic onto a substrate which wires them together. We use paper and conductive silver nanoparticle ink to make this wiring layer—it’s cheap and easy to create by using a felt pen or a domestic inkjet printer. The technology has potential for design exploration, research prototyping, education, and hobbyist projects.
Video details
Date: 13 May 2015
Duration: 00:07:38
Collection: Devices and Networking Summit 2015
Publisher: Microsoft Research
Desney Tan
Devices and Networking Summit - Research in Focus 3, Wearable Health MonitoringDesney Tan, Microsoft Research and Shwetak Patel, University of Washington There is an emerging trend to instrument the world with sensors that provide insight and allow us to improve the health and function of various systems. For example, cars now use many sensors for on-board diagnostics, shifting us from reactive crisis-driven repairs to proactive preventive maintenance. Similar trends pervade our homes, workplaces, and outdoor environments. We must apply this approach to the system we arguably care...
Video details
Date: 13 May 2015
Duration: 00:11:38
Collection: Devices and Networking Summit 2015
Publisher: Microsoft Research
Arun Venkataramani and Bozidar Radunovic
Devices and Networking Summit - Research in Focus 2, Smart Wireless and Smart DevicesBozidar Radunovic, Microsoft Research, and Arun Venkataramani, University of MassachusettsProliferation of mobile devices and more advanced applications have pushed the demand for wireless spectrum to the limits. Managing today’s networks and catering for the traffic demand becomes ever more difficult and requires new concepts in wireless network design. At the same time, the new insights in wireless radio designs enable a string of entirely new applications, such as accurate device positioning and new...
Video details
Date: 13 May 2015
Duration: 00:16:26
Collection: Devices and Networking Summit 2015
Publisher: Microsoft Research
Victor Bahl
Devices and Networking Summit - Plenary Keynote 3, Victor BahlThe Emergence of Micro Datacenters (Cloudlets) for Mobile ComputingVictor BahlDespite major advances in technology, resource poverty continues to limit the type of applications we are able to run on our mobile devices. The challenging issue is, this constraint is fundamental and not simply a temporary limitation of current technology. This talk will put forth a vision that breaks free of this constraint. In this vision, mobile users seamlessly use nearby micro datacenters to obtain the resource benefits of...
Video details
Date: 13 May 2015
Duration: 01:01:48
Collection: Devices and Networking Summit 2015
Publisher: Microsoft Research
Peli de Halleux and Dean Mohamedally
Devices and Networking Summit - Research in Focus 1, Rapid Device Prototyping​Presenters: Peli de Halleux, Microsoft Research and Dean Mohamedally, University College LondonHardware 2.0 is upon us: cheap micro-controller boards like Arduino have gained massive adoption in recent years. Paired with 3D printers, cheap sensors and actuators, these allow anyone to prototype the next hot gadget. And yet, the maker will have to learn a soup of software language and framework to build a connected input/output controller solution: C++ for the micro-controller code, HTML + javascript for...
Video details
Date: 13 May 2015
Duration: 00:12:34
Collection: Devices and Networking Summit 2015
Publisher: Microsoft Research
Ant Rowstron and Steve Hodges
Devices and Networking Summit - Welcome and IntroductionSteve Hodges and Ant Rowstron, Summit Co-Chairs welcome us to the Devices and Networking Summit
Video details
Date: 13 May 2015
Duration: 00:14:10
Publisher: Microsoft Research
Richard Friend
Devices and Networking Summit - Plenary Keynote 2, Professor Sir Richard FriendOrganic Semiconductor Science – Lessons from NatureProfessor Sir Richard Friend, University of Cambridge​Pi-conjugated organic molecules and polymers now provide a set of well-performing semiconductors that support devices, particularly light-emitting diodes (LEDs) now widely commercialised in smart-phone displays and lighting, but extending also to field-effect transistors (FETs) and solar cells.These are attractive materials to manufacture, particularly for large-area applications where they can be...
Video details
Date: 12 May 2015
Duration: 01:00:03
Collection: Devices and Networking Summit 2015
Publisher: Microsoft Research
Patrick Baudisch, Scarlet Schwiderski-Grosche, and Stefanie Mueller
Devices and Networking Summit - Demo 1, Fast Personal FabricationPatrick Baudisch and Stefanie Mueller, Hasso-Plattner Institute Computer science and mechanical engineering are about to unite. Through the use of 3D scanners and 3D printers, we will solve mechanical problems with the tools and with the effectiveness of computer science. The role of our group is to drive this unification process, in particular by creating and re-purposing fabrication machines and haptic machinery. In this demo, we present one facet, namely how to make 3D printing fast, so as to allow for...
Video details
Date: 12 May 2015
Duration: 00:05:11
Collection: Devices and Networking Summit 2015
Publisher: Microsoft Research
Leonard Mlodinow
The Upright Thinkers: The Human Journey from Living in Trees to Understanding the CosmosA few million years ago, our ancestors came down from the trees and began to stand upright, freeing our hands to create tools and our minds to grapple with the world around us. The Upright Thinkers takes us on a passionate and inspiring tour through the exciting history of human progress and the key events in the development of science. In the process, the book provides a fascinating new look at the unique characteristics of our species and our society that helped propel us from stone tools to written...
Video details
Date: 12 May 2015
Duration: 00:58:21
Collection: Visiting Speaker Series
1–25 of 5599
Sort
Show 25 | 50 | 100
1234567Next 
> Our research