Mathematics - Microsoft Research

Publication

Arnab Bhattacharyya, Sivakanth Gopi

ACM Transactions on Computation Theory (TOCT) | November 2015, Vol 9(2): pp. 1-17

Conference version appeared in CCC 2016.

Publication

Jim Pitman, Miklos Z. Racz

Electronic Communications in Probability | November 2015, Vol 20

Video

November 6, 2015 | Leslie Lamport

Mathematics provides what I believe to be the simplest and most powerful way to describe computer systems.

Publication

Andreas Blass, Alex Bocharov, Yuri Gurevich

Journal of Mathematical Physics | November 2015, Vol 56(12)

Publication

November 2015

Publication

Alexander E. Holroyd, Lionel Levine, Peter Winkler

November 2015

Publication

Alistair Bailey, Neil Dalchau, Rachel Carter, Stephen Emmott, Andrew Phillips, Jörn M. Werner, Tim Elliott

Scientific Reports | October 2015, Vol 5: pp. 14928

Publication

S. Caldararu, Drew Purves, Matthew Smith

Biogeosciences Discussions | October 2015

Publication

Alexander E. Holroyd, Irène Marcovici, James B. Martin

October 2015

Publication

Charles Bordenave, Marc Lelarge, Laurent Massoulie

Foundations of Computer Science | October 2015