Following fast on the heels of its original BLINK app for Windows Phone 8—which captures a burst of images when you take a photo so you can select the best shot—Microsoft Research Redmond is releasing ...

Classical newforms are cusp forms on congruence subgroups of SL(2,Z) that are eigenvectors for the Hecke operators. These modular forms give rise to two-dimensional representations of the absolute ...

This is a short paper describing TLAPS, the TLA+ proof system being developed at the Microsoft Research-INRIA Joint Centre. Opens in a new tab ...

New science and technology will be described for buildings as a resource within an adaptive (“smart”) grid. We consider a holistic definition of a smart grid that begins at the point of generation and ...

Welcome to Elsewhere, USA where the American individual has become extinct. Our culture is populated by “intraviduals”, fractured people who struggle to juggle professional, familial and personal ...

Most modern cryptography, and “public-key” crypto in particular, is based on mathematical problems that are conjectured to be infeasible (e.g., factoring large integers). Unfortunately, standard ...

Roger Barga is currently senior architect of the Cloud Computing Futures (CCF) group in Microsoft Research, where he leads a technical engagements team that works with external researchers interested ...

We present an interactive system for synthesizing high quality, physically based audio on current video game consoles. From a recorded impact sound, we compute a modal model, which we use to ...

Microsoft Invisible Computing is a toolkit for building systems for invisible computing and embedded web services. Overview Microsoft Invisible Computing is a research prototype for making small ...

Older adults form one of the fastest growing demographics of computer users. Pen-based interfaces are an appealing platform for this group, but despite a multitude of advantages, many older adults ...

In peer-to-peer file sharing systems, file replication and consistency maintenance are widely used techniques for high system performance. Despite significant interdependencies between them, these two ...

Optimally designing the location of training input points (active learning) and choosing the best model (model selection) are two important components of supervised learning and have been studied ...