Mathematics - Microsoft Research

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

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…

Publication

Primal Infon Logic with Conjunctions as Sets

Carlos Cotrini, Yuri Gurevich, Ori Lahav, Artem Melentyev

Springer Lecture Notes in Computer Science (2014), TCS 2014, 8th IFIP International Conference on Theoretical Computer Science | June 2014

Publication

A Comparison of the Homomorphic Encryption Schemes FV and YASHE

Tancrède Lepoint, Michael Naehrig

2014 International Conference on Cryptology in Africa | May 2014

Publication

Protecting Obfuscation Against Algebraic Attacks

Boaz Barak, Sanjam Garg, Yael Tauman Kalai, Omer Paneth, Amit Sahai

May 2014

Publication

LIMIX: genetic analysis of multiple traits

Christoph Lippert, Francesco Paolo Casale, Barbara Rakitsch, Oliver Stegle

Cold Spring Harbor Labs Journals | May 2014

Publication

On Semantics-to-Syntax Analyses of Algorithms

Yuri Gurevich

In PhML-2014, Philosophy, Mathematics, Linguistics: Aspects of Interaction 2014. International interdisciplinary conference, April 21-25, 2014, St. Petersburg, Russia. | April 2014

Video