Mathematics - Microsoft Research

Publication

Abstractions for DNA circuit design

Matthew R Lakin, Simon Youssef, Luca Cardelli, Andrew Phillips

Journal of the Royal Society Interface | March 2012, Vol 9(68): pp. 470-486

Video

Data Visualization Reaches New Heights with Layerscape

February 15, 2012 | Rob Fatland

Visualize, explore, and discover new ways to look at data about the Earth—both above and below its surface. Layerscape enables scientists to gain environmental insights into our planet. Users can create and share 3-D virtual…

05:27

Publication

Using probabilistic estimation of expression residuals (PEER) to obtain increased power and interpretability of gene expression analyses

Oliver Stegle, Leopold Parts, Matias Piipari, John Winn, Richard Durbin

Nature Protocols | February 2012, Vol 7: pp. 500-507

Publication

Approximability of the Firefighter Problem: Computing Cuts over Time

Elliot Anshelevich, Deeparnab Chakrabarty, Ameya Hate, Chaitanya Swamy

Algorithmica | February 2012, Vol 61(2): pp. 520-536

Publication

Foundational Analyses of Computation

Yuri Gurevich

MSR-TR-2012-14 | February 2012

Publication

Transitive Primal Infon Logic: the Propositional Case

Carlos Cotrini, Yuri Gurevich

MSR-TR-2012-15 | February 2012

Publication

ShapePheno: Unsupervised extraction of shape phenotypes from biological image collections

Theofanis Karaletsos, Oliver Stegle, Christine Dreyer, John Winn, Karsten M. Borgwardt

Bioinformatics | February 2012, pp. 1001-1008

Publication

The Multiplicative Golden Mean Shift Has Infinite Hausdorff Measure

Yuval Peres, Boris Solomyak

January 2012

Video

Welcome to Microsoft Research New England

January 18, 2012

Microsoft Research New England focuses on interdisciplinary work, integrating the more mathematical and algorithmic sciences with both the social sciences and aspects of the biomedical sciences. Our work includes applied projects in areas such as…

03:03

Publication

Approximation Algorithms for Online Weighted Rank Function Maximization under Matroid Constraints

Niv Buchbinder, Joseph (Seffi) Naor, R. Ravi, Mohit Singh

Automata, Languages, and Programming – 39th International Colloquium, ICALP (1) | January 2012