Loading...

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…

Awards | CapstanCrunch: A Haptic VR Controller with User-supplied Force Feedback.

Best Paper: Honorable Mention, UIST 2019 

October 15, 2019

User Interface Software and Technology (UIST) 2019  (opens in new tab)| October 2019 Mike Sinclair, Eyal Ofek, Mar Gonzalez Franco & Christian Holz Organized by ACM

In the news | SciTechDaily

Sabin Installation Turns AI Into Art at Microsoft Research Atrium 

October 12, 2019

For Project Ada, Sabin and her team at Jenny Sabin Studio collaborated with a group of engineers, data scientists, and designers at Microsoft Research to create a responsive, immersive space that uses AI to process facial patterns and the emotions…

In the news | SciTechDaily

Sabin Installation Turns AI Into Art at Microsoft Research Atrium 

October 12, 2019

For more than a decade, architect and educator Jenny Sabin has created a series of large sculptural installations at the intersection of architecture, art, and science. Integrating new technologies, inventive material and a combination of biological phenomena… For more than…

In the news | Microsoft Industry Blogs

Powering genomics tools and analysis with cloud computing 

October 11, 2019

Microsoft continues to work alongside researchers and industry partners to bring cloud-based genomics analytics tools and solutions to the market. These solutions are critical in deciphering the code embedded in our individual and collective genetic blueprint. A better understanding of…

  • Previous
  • 1
  • …
  • 297
  • 298
  • 299
  • 300
  • 301
  • …
  • 575
  • Next