Algorithms - Microsoft Research

Publication

Study Navigator: An Algorithmically Generated Aid for Learning from Electronic Textbooks

Rakesh Agrawal, Sreenivas Gollapudi, Anitha Kannan, Krishnaram Kenthapadi

MSR-TR-2013-68 | July 2013

Video

Research in Focus: Prediction Engines

July 15, 2013 | David Pennock, Sanmay Das, and Robin Hanson

Robin Hanson of George Mason University, Sanmay Das of Virginia Tech, and David Pennock of Microsoft Research discuss the science behind prediction markets and how they can lead to better insight into the future. This…

David Pennock, Robin Hanson standing in front of a screen

15:35

Publication

A Fast Bandit Algorithm for Recommendations to Users with Heterogeneous Tastes

Pushmeet Kohli, Mahyar Salek, Greg Stoddard

AAAI’13 Proceedings of the Twenty-Seventh AAAI Conference on Artificial Intelligence | July 2013

Publication

Recursive Program Synthesis

Aws Albarghouthi, Sumit Gulwani, Zachary Kincaid

CAV’13 Proceedings of the 25th international conference on Computer Aided Verification | July 2013

Project

Publication

Efficient Decomposition of Single-Qubit Gates into V Basis Circuits

Alex Bocharov, Yuri Gurevich, Krysta M. Svore

Physical Review A | July 2013, Vol 88(1): pp. 13

Publication

Algorithms for Hub Label Optimization

Maxim Babenko, Andrew Goldberg, Anupam Gupta, Viswanath Nagarajan

40th International Colloquium on Automata, Languages and Programming (ICALP 2013) | July 2013

Publication

3D shape regression for real-time facial animation

Chen Cao, Yanlin Weng, Stephen Lin, Kun Zhou

ACM Transactions on Graphics (TOG) – SIGGRAPH 2013 Conference Proceedings | July 2013, Vol 32(4)

Publication

Characterization of noise contaminations in lung sound recordings

Dimitra Emmanouilidou

International Conference of the IEEE Engineering in Medicine and Biology Society | July 2013

Publication

Equivalence of Extended Symbolic Finite Transducers

Loris D'Antoni, Margus Veanes,

25th International Conference on Computer Aided Verification (CAV’13) | July 2013

The associated TR is an extended version of the conference paper.

Publication

Fighting Search Engine Amnesia: Reranking Repeated Results

Milad Shokouhi, Ryen W. White, Paul N. Bennett, Filip Radlinski

Proceedings of the 36th Annual ACM SIGIR Conference (SIGIR 2013) | July 2013