Mathematics - Microsoft Research

Publication

Supporting NGS Pipelines in the cloud

Ignacio Blanquer Blanquer, Goetz Brasche, Jacek Cala, Fabrizio Gagliardi, Dennis Gannon, Hugo Hiden, Hakan Soncu, Kenji Takeda, Andrés Tomás, Simon Woodman

EMBnet.journal | May 2013

Publication

Pricing Public Goods for Private Sale

Michal Feldman, David Kempe, Brendan Lucier, Renato Paes Leme

ACM Conference on Electronic Commerce 2013 | May 2013

Publication

Stability of Linear Threshold Functions

Sivakanth Gopi

May 2013

Undergraduate Thesis, IIT Bombay

Publication

Entropy, Optimization and Counting

Mohit Singh, Nisheeth K. Vishnoi

Proceedings of 46th ACM Symposium on Theory of Computing (STOC 2014) | April 2013

Publication

A visualization-enhanced graphical user interface for geospatial resource discovery

Zhipeng Gui, Chaowei Yang, Jizhe Xia, Jing Li, Abdelmounaam Rezgui, Min Sun, Yan Xu, Dan Fay

Annals of GIS | April 2013, pp. 1-13

Publication

Interlacing Families I: Bipartite Ramanujan Graphs of All Degrees

A. Marcus, D. Spielman, Nikhil Srivastava

2013 IEEE 54th Annual Symposium on Foundations of Computer Science | April 2013, pp. 529-537

Publication

Combinatorial Walrasian Equilibrium

Michal Feldman, Nick Gravin, Brendan Lucier

Symposium on Theory of Computing 2013 | April 2013

Publication

How do disturbances and environmental heterogeneity affect the pace of forest distribution shifts under climate change?

Drew Purves

Ecography | April 2013

Publication

Climate-related variation in mortality and recruitment determine regional forest-type distributions

Drew Purves

Global Ecology and Biogeography | April 2013

Project

Publication

Better termination proving through cooperation

Marc Brockschmidt, Byron Cook, Carsten Fuhs

CAV proceedings | April 2013