Mathematics - Microsoft Research

Publication

A Theory of Stream Queries

Yuri Gurevich, Dirk Leinders, Jan Van den Bussche

11th International Symposium on Database Programming Languages (DBPL 2007). Springer Lecture Notes in Computer Science (2007). | January 2007

Publication

An Approach to Bounded Rationality

Eli Ben-Sasson, Adam Tauman Kalai, Ehud Kalai

Advances in Neural Information Processing Systems 19 (NIPS) | January 2007

Publication

Local Computation of PageRank Contributions

Reid Andersen, Christian Borgs, Jennifer Chayes, John Hopcraft, Vahab S. Mirrokni, Shang-Hua Teng

Proceedings of the 5th Workshop on Algorithms and Models for the Web Graph (WAW) | January 2007

Publication

Dynamic, Adaptive Workï¬‚ows for Mesoscale Meteorology

Dennis Gannon, Yogesh Simmhan

Workflows for eScience: Scientific Workflows for Grids | Published by Springer Verlag | 2007 | Workflows for eScience: Scientific Workflows for Grids edition

ISBN: 978-1846285196

Publication

Analysis of Empirical Bayesian Methods for Neuroelectromagnetic Source Localization

David Wipf

Advances in Neural Information Processing Systems 19 | January 2007

Outstanding Student Paper Award

Publication

Realization of Dynamically Adaptive Weather Analysis and Forecasting in LEAD: Four Years Down the Road

Lavanya Ramakrishnan, Yogesh Simmhan, Beth Plale

International Conference on Computational Science (ICCS) | January 2007

ISBN: 978-3540725831

Publication

Continuous Neural Networks

Nicolas Le Roux, Yoshua Bengio

AISTAT2007 | January 2007

Publication

An approximate truthful mechanism for combinatorial auctions with single parameter agents

Aaron Archer, Christos Papadimitriou, Kunal Talwar, Eva Tardos

SODA ’03: Proceedings of the fourteenth annual ACM-SIAM symposium on Discrete algorithms | December 2006

ISBN: 0-89871-538-5

Group

Our group’s mission is to conduct fundamental research in computer architecture and hardware/software interaction. We explore novel architectural techniques to improve the performance, efficiency, dependability, and scalability of processor architectures and the software running on…

Publication

Succinct Non-Interactive Zero-Knowledge Proofs with Preprocessing for LOGSNP

Yael Tauman Kalai, Ran Raz

MSR-TR-2006-203 | September 2006

Electronic Colloquium on Computational Complexity