The Microsoft Infer.NET machine learning framework goes open source
| Yordan Zaykov
It isn’t every day that one gets to announce that one of the top-tier cross-platform frameworks for model-based machine learning is open to one and all worldwide. We’re extremely excited today to open source Infer.NET on GitHub under the permissive…
In the news | Microsoft Accessibility Blog
Water Music: Navigating toward increased independence through Soundscape
Imagine you’re paddling on the lake, you feel the warm sun on your face, listen quietly to the calm ripples of the water. You can hear a sound beacon, in 3D, on the water, just in front of you and…
The future is fusion with Asta Roseway
Episode 44, October 3, 2018 - Asta Roseway gives an inside look at one of the most unconventional labs at Microsoft Research. Located at the intersection of science, technology and art, it’s a lab that insists that technology, like art,…
In the news | Forbes
Microsoft Expands AI Offerings At Ignite 2018
Microsoft expanded its AI application footprint at the recent Microsoft Ignite conference in Orlando, regaining the market pole position for usable AI tools—from Outlook 365 to Machine Learning Services on the Microsoft Azure Cloud.
In the news | Sage Ocean
39 women doing amazing research in computational social science
Three months ago, I embarked on a new product manager role within SAGE Ocean (opens in new tab), an initiative that supports social scientists to do better and more computational research. I had an idea of what that entailed, but like…
SPACER and Z3: Accessible, reliable model checking as theorem proving
| Nikolaj Bjørner
“How can one check a routine in the sense of making sure that it is right?” asked Alan Turing in 1949, foreshadowing the science of program proving decades before it became a formally accepted field of computer science. Program proving,…
In the news | ZDNet
Google Brain, Microsoft plumb the mysteries of networks with AI
Some heavy hitters in AI report breakthroughs in getting neural networks to decipher hidden structure of social networks such as Reddit.
Awards | jStar: towards practical verification for Java
jStar paper wins “Most Influential OOSPLA Paper 2008”