Mathematics - Microsoft Research

论文与出版物

Jim Pitman, Miklos Z. Racz

Electronic Communications in Probability | November 2015, 第 20 卷

视频

2015年11月6日 | Leslie Lamport

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

论文与出版物

Alexander E. Holroyd, Lionel Levine, Peter Winkler

November 2015

论文与出版物

November 2015

论文与出版物

Andreas Blass, Alex Bocharov, Yuri Gurevich

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

论文与出版物

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

Scientific Reports | October 2015, 第 5 卷: pp. 14928

论文与出版物

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

October 2015

论文与出版物

S. Caldararu, Drew Purves, Matthew Smith

Biogeosciences Discussions | October 2015

论文与出版物

Charles Bordenave, Marc Lelarge, Laurent Massoulie

Foundations of Computer Science | October 2015

论文与出版物

Andreas Blass, Yuri Gurevich

October 2015