Mathematics - Microsoft Research

Publication

Modular Arithmetic Decision Procedure

MSR-TR-2005-114 | August 2005

Video

Future of Scientific Computing Panel

July 19, 2005 | David Lifka, Fran Berman, Jay Boisseau, and Marvin Theimer

In this session of the 2005 Microsoft Research Faculty Summit, leaders of three supercomputer centers discuss their vision of where scientific computing is going in the next 5 to 10 years and how computer science…

01:10:07

Publication

Membership Problem for the Modular Group

Yuri Gurevich, Paul Schupp

MSR-TR-2005-92 | July 2005

Publication

Contractors and connectors of graph algebras

Laszlo Lovasz, Balazs Szegedy

MSR-TR-2005-91 | July 2005

Publication

Szemeredi’s Lemma for the Analyst

Laszlo Lovasz, Balazs Szegedy

MSR-TR-2005-90 | July 2005

Publication

Deciding Validity in a Spatial Logic for Trees

Cristiano Calcagno, Luca Cardelli, Andy Gordon

Journal of Functional Programming | July 2005, Vol 15(4): pp. 543-572

Access

Publication

On Two-Stage Stochastic Minimum Spanning Trees

Kedar Dhamdhere, R. Ravi, Mohit Singh

Integer Programming and Combinatorial Optimization, 11th International IPCO Conference, Berlin, Germany, June 8-10, 2005, Proceedings | June 2005

ISBN: 3-540-26199-0

Publication

How Large A Disc Is Covered By A Random Walk In N Steps?

Amir Dembo, Yuval Peres, Jay Rosen

The Annals of Probability | May 2005, Vol 35: pp. 577-601

Publication

Multi-unit Auctions with Budget-constrained Bidders

Christian Borgs, Jennifer Chayes, Nicole Immorlica, Mohammad Mahdian, Amin Saberi

Proceedings of the 6th ACM Conference on Electronic Commerce (EC) | January 2005

Publication

On the Spread of Viruses on the Internet

Noam Berger, Christian Borgs, Jennifer Chayes, Amin Saberi

Proceedings of the 16th ACM-SIAM Symposium on Discrete Algorithm (SODA) | January 2005