Mathematics - Microsoft Research

Publication

Influence Maximization in Undirected Networks

Sanjeev Khanna, Brendan Lucier

Symposium on Discrete Algorithms 2014 | January 2014

Publication

What is an Algorithm? (Revised)

Yuri Gurevich

January 2014

In Church's Thesis: Logic, Mind and Nature (eds. A. Olszewski et al.) Copernicus Center Press 2014.

Video

Environmental Science on the Cloud with Microsoft Azure – Webinar

December 17, 2013 | Cristián Bonacic, Hugo Andres Neyem, Kenji Takeda, and Tanya Berger-Wolf

Scientific instruments, environmental sensors, and large-scale simulations are creating more scientific data than ever before. By using advanced, large-scale information processing facilities, scientists are now able to analyze massive volumes of data in ways that…

59:25

Publication

Semantics-To-Syntax Analyses of Algorithms

Yuri Gurevich

Turing’s Revolution – The Impact of His Ideas about Computability, Semantics-To-Syntax Analyses of Algorithms | Published by BirkhÃ¤user/Springer 2015 | 2013 | A chapter in G. Sommaruga and T. Strahm (eds.), Turing’s Revolution – The Impact of His Ideas about Computability edition

Video

Inspiring and empowering junior PhD students: Microsoft Research Asia Fellowship

November 21, 2013 | Feng Zhao

Microsoft Research Asia supports and encourages excellent PhD students to pursue their research goals by offering a fellowship early in their research career. We recognize outstanding PhD students majoring in computer science, electrical engineering, information…

03:56

Video

Microsoft Research New England: An introduction

October 7, 2013

Microsoft Research New England focuses on interdisciplinary work, integrating the more mathematical and algorithmic sciences with both the social sciences and aspects of the biomedical sciences. Our work includes applied projects in areas such as…