Mathematics - Microsoft Research

Microsoft Research Blog

The Code That No One in the Cloud Can Live Without

July 2, 2014

Posted by Rob Knies A couple of years ago, a few Microsoft researchers published a couple of interesting papers on storage efficiencies. Now, with breathtaking speed, the concepts in those papers have been embraced across…

Publication

Analyzing and Synthesizing Genomic Logic Functions

Nicola Paoletti, Boyan Yordanov, Youssef Hamadi, Christoph M. Wintersteiger, Hillel Kugler

26th International Conference on Computer Aided Verification (CAV) | July 2014

Project Project

Publication

Mapping Change in Pressure Globally on Land and within Protected Areas

Jonas Geldman, Lucas Joppa, Neil Burgess

Conservaton Biology | July 2014

Publication

Remaining natural vegetation in the global biodiversity hotspots

Sean Sloan, Clinton N Jenkins, Lucas Joppa, David LA Gaveau, William F Laurance

Biological Conservation | July 2014, Vol 177: pp. 12–24

Publication

Network complexity and species traits mediate the effects of biological invasions on dynamic food webs

Miguel Lurgi, Nuria Galiana, Bernat C López, Lucas Joppa, Jose M Montoya

Frontiers in Ecology and Evolution | July 2014, Vol 2: pp. 36

Publication

Computational design of nucleic acid feedback control circuits

Boyan Yordanov, Jongmin Kim, Rasmus L. Petersen, Angelina Shudy, Vishwesh V. Kulkarni, Andrew Phillips

ACS Synthetic Biology | July 2014, Vol 3: pp. 600-616

Project Project

Video

CodaLab: Introduction to Worksheets

June 24, 2014 | Rich Caruana, Evelyne Viegas, Simon Mercer

In this brief video, Dr. Rich Caruana introduces us to the concept and usage of Worksheets in CodaLab.

04:51

Publication

SMT-based Strategies for Biodesign Automation

Boyan Yordanov, Andrew Phillips

June 2014, pp. 38-39

International Workshop on Biodesign Automation (IWBDA)

Publication

Defining an essential transcriptional factor program for naive pluripotency

Sara-Jane Dunn, Graziano Martello, Boyan Yordanov, Stephen Emmott, Austin Smith

Science | June 2014, Vol 344: pp. 1156

Project Project

Microsoft Research Blog

AI Takes to the Skies

June 3, 2014

As do other recreational pilots, Ashish Kapoor learned during flight training that he shouldn’t count on the accuracy of wind forecasts. The best available forecasts in the United States—from the federal government’s Winds Aloft program—have…