Mathematics - Microsoft Research

Publication

Price of Anarchy for Greedy Auctions

Symposium on Discrete Algorithms (SODA) 2010 | January 2010

Project

The Verification Corner

The Verification Corner is a video series on YouTube that explains different concepts of software verification. Stepwise refinement – 10/8/2010: In this episode, Kuat Yessenov and Rustan Leino, Principal Researcher in the Research in…

Publication

Beyond Equilibria: Mechanisms for Repeated Combinatorial Auctions

Brendan Lucier

Innovations in Theoretical Computer Science (ITCS) 2010 | January 2010

Publication

The (1+beta)-Choice Process and Weighted Balls into Bins

Yuval Peres, Kunal Talwar, Udi Wieder

SODA | January 2010

Publication

Constraints to elevational range shifts as climate changes

G. Forero-Medina, L.N. Joppa, S.L. Pimm, Lucas Joppa

Conservation Biology | January 2010, pp. doi/10.1111/j.1523–1739.2010.01572.x

Publication

Learning probabilistic models of connectivity from multiple spike train data

Debprakash Patnaik, Srivatsan Laxman, Naren Ramakrishnan

Posters of Nineteenth Annual Computational Neuroscience Meeting (CNS*2010), San Antonio, Texas, Jul 24 | January 2010

Posters of Nineteenth Annual Computational Neuroscience Meeting (CNS*2010), San Antonio, Texas, Jul 24

Publication

Termination Graphs for Java Bytecode

Marc Brockschmidt, Carsten Otto, Christian von Essen, Juergen Giesl

Verification, Induction, Termination Analysis | January 2010

Publication

Emergence of Cooperation in Anonymous Social Networks Through Social Capital

Nicole Immorlica, Brendan Lucier, Brian Rogers

ACM Conference on Electronic Commerce 2010 and Workshop on Information in Networks (WIN) 2010 | January 2010

Video

WorldWide Telescope: Eye Candy

January 1, 2010 | Dan Fay, Jonathan Fay, Lori Stone

View amazing images of the universe through the technology of WorldWide Telescope. WorldWideTelescope enables your computer to function as a virtual telescope, bringing together imagery from the best ground and space-based telescopes in the world.…

01:39

Publication

Incentives in Online Auctions via Linear Programming

Niv Buchbinder, Kamal Jain, Mohit Singh

In Proceedings of Sixth Workshop on Internet and Network Economics (WINE) | January 2010