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 Get to know Microsoft Research April 17, 2014 A quick peek at what’s new at Microsoft Research. 01:26
Publication User Satisfaction in Competitive Sponsored Search David Kempe, Brendan Lucier International World Wide Web Conference 2014 | April 2014
Publication The transparency, reliability and utility of tropical rainforest land-use and land-cover change models Sadia Ahmed Global change biology | April 2014
Publication The Universal Relation of Galactic Chemical Evolution: The Origin of the Mass-Metallicity Relation H. Jabran Zahid April 2014
Publication A Computational Method for Automated Characterization of Genetic Components Neil Dalchau, Boyan Yordanov, Paul Grant, Michael Pedersen, Stephen Emmott, Jim Haseloff, Andrew Phillips ACS Synthetic Biology | March 2014, Vol 3(8): pp. 578-588 Project Project