公開日 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
公開日 A Comparison of the Homomorphic Encryption Schemes FV and YASHE Tancrède Lepoint, Michael Naehrig 2014 International Conference on Cryptology in Africa | May 2014
公開日 Protecting Obfuscation Against Algebraic Attacks Boaz Barak, Sanjam Garg, Yael Tauman Kalai, Omer Paneth, Amit Sahai May 2014
公開日 LIMIX: genetic analysis of multiple traits Christoph Lippert, Francesco Paolo Casale, Barbara Rakitsch, Oliver Stegle Cold Spring Harbor Labs Journals | May 2014
公開日 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
動画 Get to know Microsoft Research April 17, 2014 A quick peek at what’s new at Microsoft Research. 01:26
公開日 User Satisfaction in Competitive Sponsored Search David Kempe, Brendan Lucier International World Wide Web Conference 2014 | April 2014
公開日 The Universal Relation of Galactic Chemical Evolution: The Origin of the Mass-Metallicity Relation H. Jabran Zahid April 2014
公開日 The transparency, reliability and utility of tropical rainforest land-use and land-cover change models Sadia Ahmed Global change biology | April 2014
公開日 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, 巻3(8): pp. 578-588 プロジェクト プロジェクト