illustration of mathematical symbols, a plus sign, and a calculator on a green gradient background

Mathematics

Current selections

Sort by: Most recent

Clear selections

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

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

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

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

Microsoft Research Blog

Cultivating collaboration: a people first approach

March 25, 2016

By Miran Lee, Principal Research Program Manager, Microsoft Research Asia When we focus on people first, great projects and new technologies can’t be far behind. This perspective guides Microsoft Research’s activities in every region, and Korea…

Microsoft Research Blog

Computational thinking, 10 years later

March 23, 2016

By Jeannette M. Wing, corporate vice president, Microsoft Research “Not in my lifetime.” That’s what I said when I was asked whether we would ever see computer science taught in K-12. It was 2009, and…