Mathematics - Microsoft Research

Publication

Compiling DNA Strand Displacement Reactions Using a Functional Programming Language

Matthew R Lakin, Andrew Phillips

Practical Aspects of Declarative Languages – 16th International Symposium | January 2014

Project Project

Publication

Proving Termination and Memory Safety for Programs with Pointer Arithmetic

Thomas Ströder, Jürgen Giesl, Marc Brockschmidt, Florian Frohn, Carsten Fuhs, Jera Hensel, Peter Schneider-Kamp

IJCAR | January 2014

Publication

The biodiversity of species and their rates of extinction, distribution, and protection

SL Pimm, CN Jenkins, R Abell, TM Brooks, JL Gittleman, Lucas Joppa, PH Raven, CM Roberts, JO Sexton

Science | January 2014, Vol 344(6187): pp. 1246752

Publication

Online (Budgeted) Social Choice

Joel Oren, Brendan Lucier

Association for the Advancement of Artificial Intelligence 2014 | January 2014

Publication

Percolation and Disorder-Resistance in Cellular Automata

Janko Gravner, Alexander E. Holroyd

The Annals of Probability | January 2014, Vol 43: pp. 1731-1776

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.

Publication

Influence Maximization in Undirected Networks

Sanjeev Khanna, Brendan Lucier

Symposium on Discrete Algorithms 2014 | January 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