Mathematics - Microsoft Research

Publication

The Price of Anarchy in Large Games

Michal Feldman, Nicole Immorlica, Brendan Lucier, Tim Roughgarden, Vasilis Syrgkanis

48th ACM Symposium on Theory of Computing (STOC) 2016 | June 2016

Video

Random Walks on Sandpile Groups

June 17, 2016 | Daniel Jerison

The sandpile group of a finite graph is an abelian group that is defined using the graph Laplacian. I will describe a natural random walk on this group. The main questions are: what is the…

Publication

A strand graph semantics for DNA-based computation

Rasmus Petersen, Matthew R Lakin, Andrew Phillips

Theoretical Computer Science | June 2016, Vol 632: pp. 43-73

Project Project

Publication

Modular verification of chemical reaction network encodings via serializability analysis

Matthew R Lakin, Darko Stefanovic, Andrew Phillips

Theoretical Computer Science | June 2016, Vol 632: pp. 21

Project Project

Publication

Drop-out Conditional Random Fields for Twitter with Huge Mined Gazetteer

Eunsuk Yang, Young-Bum Kim, Ruhi Sarikaya, Yu-Seop Kim

June 2016

Publication

Multicolour Poisson Matching

Gidi Amir, Omer Angel, Alexander E. Holroyd

May 2016

Publication

Time-Sensitive Bayesian Information Aggregation for Crowdsourcing Systems

Matteo Venanzi, John Guiver, Pushmeet Kohli, Nicholas R. Jennings

Journal of Artificial Intelligence Research | May 2016, Vol 56: pp. 517-545

Publication

Automated Synthesis and Analysis of Switching Gene Regulatory Networks

Yoli Shavit, Boyan Yordanov, Sara-Jane Dunn, Christoph M. Wintersteiger, Tomoki Otani, Frederick J. Livesey, Hillel Kugler

Biosystems | May 2016, Vol 146: pp. 26-34

Project

Publication

Friendly Frogs, Stable Marriage, and the Magic of Invariance

Maria Deijfen, Alexander E. Holroyd, James B. Martin

April 2016

Publication

Tight Bound on Randomness for Violating the Clauser–Horne–Shimony–Holt Inequality

Yifeng Teng, Shenghao Yang, Siwei Wang, Mingfei Zhao

IEEE Transactions on Information Theory | April 2016