Microsoft Research Connections Blog
Next at Microsoft
Social Media Collective
Posted by George Thomas Jr.
Researchers at the Microsoft Asia research lab this week made the Microsoft Distributed Machine Learning Toolkit openly available to the developer community.
The toolkit, which is available from GitHub, makes machine learning tasks on big data much more scalable, efficient and flexible than existing publicly available tools.
Posted by Allison Linn
When most people use automated speech recognition technology today, it's because they have a task that needs to get done: A person to call, directions to get, a quick text to send.
In China, millions of people are using this type of natural language processing in a much more human way: To carry on a casual conversation with a Microsoft technology called XiaoIce.
Hsiao-Wuen Hon, corporate vice president in charge of Microsoft Research Asia, sees XiaoIce as an example of the vast possibility that artificial intelligence holds -- not to replace human tasks and experiences, but rather to augment them. This way in which advanced technology is increasingly being used to create very human experiences is just beginning, he noted.
"We've just barely scratched the surface," he said.
Posted by Jeannette M. Wing
The Internet, global positioning systems, the laser, multi-touch displays and search engines.
What do these have in common? These technologies, which we take for granted today, came out of basic scientific research. Basic research creates knowledge. It advances our fundamental understanding of the world.
Basic scientific research made today's technology possible, and it will lead to tomorrow's technological breakthroughs. That's why we believe it is important for our company and for our country.
Zuzana Kukelova, a post-doc researcher specializing in computer vision at Microsoft's lab in Cambridge, U.K., is the recipient of the 2015 Cor Baayen Award, given to a promising young researcher in computer science and applied mathematics from countries associated with the European Research Consortium for Informatics and Mathematics.
The Cor Baayen announcement specifically cited Kukelova's ability to bridge the gap "between highly abstract mathematical results, such as algebraic geometry, and engineering applications."
Microsoft researchers have figured out a way to build software systems spanning many computers that can be proven free of bugs, a significant feat in the decades-long quest to create perfect software.
"Program verification has been a holy grail for computer science for 40 or 50 years," said Bryan Parno, a Microsoft researcher who is one of the co-authors of a forthcoming paper on the project.
The researchers caution that we are still far from a world in which large computer programs, such as complex operating systems, could realistically be built in a way that is guaranteed to be free of bugs.