Algorithms - Microsoft Research

The creation of intelligent computing systems that perceive, learn, and reason has been a long-standing and visionary goal in computer science. Over the last 20 years, technical and infrastructural developments have come together to create…

51:57

Publication

A Proximal-Gradient Homotopy Method for the Sparse Least-Squares Problem

Lin Xiao

MSR-TR-2012-36 | March 2012

Publication

Functional Re-encryption and Collusion-Resistant Obfuscation

Nishanth Chandran, Melissa Chase, Vinod Vaikuntanathan

Theory of Cryptography – 9th Theory of Cryptography Conference, TCC 2012, Taormina, Sicily, Italy, March 19-21, 2012. Proceedings | March 2012

Theory of Cryptography – 9th Theory of Cryptography Conference, TCC 2012, Taormina, Sicily, Italy, March 19-21, 2012. Proceedings

ISBN: 978-3-642-28913-2

Publication

Adding Equations to System F Types

Neelakantan Krishnaswami, Nick Benton

Proceedings of the 22nd European Symposium on Programming (ESOP 2012) | March 2012