Microsoft Research Blog

Game of Drones at NeurIPS 2019: Simulation-based drone-racing competition built on AirSim 

December 5, 2019 | Ratnesh Madaan and Ashish Kapoor
Drone racing has transformed from a niche activity sparked by enthusiastic hobbyists to an internationally televised sport. In parallel, computer vision and machine learning are making rapid progress, along with advances in agile trajectory planning, control, and state estimation for quadcopters. These advances enable increased…

Recent Posts

  1. Metalearned Neural Memory: Teaching neural networks how to remember 

    December 4, 2019 | Tsendsuren Munkhdalai, Alessandro Sordoni, Tong Wang, and Adam Trischler

    Memory is an important part of human intelligence and the human experience. It grounds us in the current moment, helping us understand where we are and, consequently, what we should do next. Consider the simple example of reading a book. The ultimate goal is to…

  2. Graphic showing the components of the Icebreaker model

    Icebreaker: New model with novel element-wise information acquisition method reduces cost and data needed to train machine learning models 

    November 25, 2019 | Cheng Zhang and Sebastian Tschiatschek

    In many real-life scenarios, obtaining information is costly, and getting fully observed data is almost impossible. For example, in the recruiting world, obtaining relevant information (in other words, a feature value) for a company could mean performing time-consuming interviews. The same applies to many other…

  3. An overview of PipeDream's workflow

    PipeDream: A more effective way to train deep neural networks using pipeline parallelism 

    October 28, 2019 | Amar Phanishayee

    Deep Neural Networks (DNNs) have facilitated tremendous progress across a range of applications, including image classification, translation, language modeling, and video captioning. DNN training is extremely time-consuming, needing efficient multi-accelerator parallelization. In “PipeDream: Generalized Pipeline Parallelism for DNN Training,” published at the 27th ACM Symposium…

  4. Mixed reality scene

    A new era of spatial computing brings fresh challenges—and solutions—to VR 

    October 21, 2019

    Virtual reality (VR) has continually pushed the boundaries of how we perceive, from its early days of Ivan Sutherland’s Sword of Damocles to today. With the technology emerging from its early stages of bulky equipment tethered to one place out of necessity, researchers now are working with increased possibilities derived from hardware and new input sensors. The result is a unique set of challenges requiring innovative approaches to answering some of…

  5. Microsoft researchers Nikolaj Bjørner (left) and Leonardo de Moura (center) received the 2019 Herbrand Award for Distinguished Contributions to Automated Reasoning in recognition of their work in advancing theorem proving. They’re pictured with Jürgen Giesl (right) of the award committee.

    The inner magic behind the Z3 theorem prover 

    October 16, 2019 | Nikolaj Bjørner and Leonardo de Moura

    It’s not uncommon for us to hear that the Z3 theorem prover is magical, but the frequency of such complimentary feedback doesn’t make it any less unexpected—or humbling. When we began work on Z3 in 2006, the design was motivated by two emerging use cases:…

Explore More

  • Events & conferences

    Events & conferences 

    Meet our community of researchers, learn about exciting research topics, and grow your network

  • Podcasts

    Podcasts 

    Ongoing conversations at the cutting edge of research

  • Microsoft Research Forum

    Microsoft Research Forum 

    Join us for a continuous exchange of ideas about research in the era of general AI