Loading...

Microsoft ‘DreamWalker’ VR lets users traverse real world while immersed in virtual reality 

October 21, 2019

In the news | Microsoft Azure Blog

Azure API for FHIR® moves to general availability 

October 21, 2019

Today, Microsoft becomes the first cloud with a fully managed, first-party service to ingest, persist, and manage healthcare data in the native FHIR format. The Azure API for FHIR® is releasing today in generally availability to all Azure customers.

In the news | The Cornell Daily Sun

Cornell Professor Creates AI-Interfaced Photoluminescent Fiber Installation to Facilitate Dialogue Through Technology 

October 21, 2019

In Building 99 on Microsoft’s Redmond, Washington campus, Prof. Jenny Sabin, architecture, unveiled her latest project: an AI interface called Ada that translates people’s facial reactions into color by using a network of a dozen cameras designed to collect people’s…

In the news | Microsoft News Center

Humana and Microsoft announce multiyear strategic partnership to reimagine health for aging populations and their care teams 

October 21, 2019

LOUISVILLE, Ky., and REDMOND, Wash. — Oct. 21, 2019 — On Monday, Humana and Microsoft Corp. announced a strategic partnership focused on building modern health care solutions for Humana members aimed at improving their health outcomes and making their health…

In the news | Microsoft News Center UK

UK government backs Microsoft and University of Cambridge mission to build better AI 

October 18, 2019

The UK government is backing a multi-million-pound initiative to help researchers improve artificial intelligence so it can be used more effectively in key areas such as healthcare. The research program, entitled Machine Learning for Tomorrow: Efficient, Flexible, Robust and Automated,…

In the news | NOAA Fisheries

Developing Artificial Intelligence To Find Ice Seals And Polar Bears From The Sky 

October 17, 2019

Scientists partnering with tech industry experts to create an innovative Artificial Intelligence application for Arctic marine mammal research. This series of events led NOAA Fisheries scientists at the Alaska Fisheries Science Center to team up with tech industry talent to…

In the news | Nuance

Nuance and Microsoft partner to transform the doctor-patient experience 

October 17, 2019

BURLINGTON, Mass., and REDMOND, Wash. — Oct. 17, 2019 — Nuance Communications Inc. and Microsoft Corp. on Thursday announced they have joined forces to help transform healthcare delivery for a more sustainable future. Together, the companies will accelerate the delivery…

Image of Dr. Craig Costello for the Microsoft Research Podcast
Microsoft Research Podcast

News from the front in the post-quantum crypto wars with Dr. Craig Costello 

October 16, 2019

Dr. Craig Costello is in the business of safeguarding your secrets. And he uses math to do it. A researcher in the Security and Cryptography group at Microsoft Research, Dr. Costello is among a formidable group of code makers (aka…

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.
Microsoft Research Blog

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…

  • Previous
  • 1
  • …
  • 292
  • 293
  • 294
  • 295
  • 296
  • …
  • 570
  • Next