Mathematics - Microsoft Research

Publication

Optimal testing of Reed-Muller codes

Arnab Bhattacharyya, Swastik Kopparty, Grant Schoenebeck, Madhu Sudan, David Zuckerman

MSR-TR-2009-145 | October 2009

ECCC Technical Report

Microsoft Research Blog

Cryptography Receives Indian Scrutiny

September 24, 2009

By Rob Knies, Managing Editor, Microsoft Research You employ cryptographic techniques on a daily basis … don’t you? Sure you do. Every time you type a password into a computer, you are practicing cryptography, using…

Publication

A Geometric Zero-One Law

Robert H. Gilman, Yuri Gurevich, Alexei Miasnikov

MSR-TR-2007-63 | September 2009

Publication

Geometric Properties of Poisson Matchings

Alexander E. Holroyd

Probability Theory and Related Fields | September 2009, Vol 150: pp. 511-527

Publication

Poisson Splitting by Factors

Alexander E. Holroyd, Russell Lyons, Terry Soo

The Annals of Probability | August 2009, pp. 1938-1982

Publication

A Process Model of Rho GTP-binding Proteins

Luca Cardelli, Emmanuelle Caron, Philippa Gardner, Ozan Kahramanogullari, Andrew Phillips

Theoretical Computer Science | August 2009, Vol 410: pp. 3166-3185

Project Project

Publication

Type Inference for Correspondence Types

Andy Gordon, Hans Hüttel, René Rydhof Hansen

Proceedings of the 6th Workshop on Security Issues in Concurrency (SecCo 2008) | August 2009

Publication

Systems analyses of circadian networks

Katharine E. Hubbard, Fiona C. Robertson, Neil Dalchau, Alex A. R. Webb

Molecular Biosystems | August 2009, Vol 5: pp. 1502-1511

Project

Publication

Some Domain Theory and Denotational Semantics in Coq

Nick Benton, Andrew Kennedy, Carsten Varming

Proceedings of the 22nd International Conference on Theorem Proving in Higher Order Logics (TPHOLs) | August 2009

Publication

Superfluous S-polynomials in Strategy-Independent Grobner Bases

Grant Olney Passmore, Leonardo de Moura

MSR-TR-2009-913 | July 2009