Mathematics - Microsoft Research

Publication

A Visual Process Calculus for Biology

Andrew Phillips

Symbolic Systems Biology: Theory and Methods | Published by Jones and Bartlett Publishers | 2009 | Symbolic Systems Biology: Theory and Methods edition

Project Project

Publication

How range shifts induced by climate change affect neutral evolution

Greg McInerny, J.R.G Turner, H.Y Wong, J.M.J Travis, T.G Benton

Proceedings of the Royal Society B. | January 2009

http://rspb.royalsocietypublishing.org/content/early/2009/02/25/rspb.2008.1567.abstract

Publication

Non-Degeneracy of Pollard Rho Collisions

Stephen D. Miller, Ramarathnam Venkatesan

Int Math Res Notices | January 2009, Vol 2009: pp. 1-10

Publication

High & Far: How the World’s Protected Areas Have Avoided Threat

Lucas Joppa, Alexander Pfaff

PLoS ONE | January 2009, Vol 4: pp. e8273

Publication

The complexity of the annihilating polynomial

Neeraj Kayal

Conference on Computational Complexity (CCC) | January 2009

Publication

Considering protected area categories in conservation analyses

C. Jenkins, L.N. Joppa, Lucas Joppa

Biological Conservation | January 2009, Vol 143: pp. 7-8

Publication

Survivable Network Design with Degree or Order Constraints

Lap Chi Lau, Joseph (Seffi) Naor, Mohammad R. Salavatipour, Mohit Singh

In Proceedings of 39th ACM Symposium on Theory of Computing, STOC 2007 | January 2009

Publication

Trees and Markov convexity

James R. Lee, Assaf Naor, Yuval Peres

Geometric and Functional Analysis | December 2008, Vol 18: pp. 1609-1659

Microsoft Research Blog

Microsoft Research Asia’s Guo Discusses the Future of Graphics

December 11, 2008

By Rob Knies, Managing Editor, Microsoft Research Microsoft Research Asia, celebrating its 10th anniversary, recently presented its annual Computing in the 21st Century academic symposium, held over two days, Nov. 4 in Beijing and Nov.…

Publication

The Trident Scientific Workflow Workbench

, Yogesh Simmhan

IEEE eScience Conference | December 2008