Microsoft Research

Current Event: Prototyping Windows Phone Applications Prototypes are invaluable tools in the application development life cycle.

"A Directionally Tunable but Frequency-Invariant Beamformer for an “Acoustic Velocity-Sensor Triad” to Enhance Speech Perception Herein presented is a simple microphone-array beamformer that is

Using computers instead of conventional wet chemical synthesis and biological assay of molecular drug candidate saves both time and money in the long (~10 years) and expensive (~$1 billion) process

"Capturing cortical dynamics to build a time-varying model of the brain – implications in neuroscience and brain-computer interface Understanding brain dynamics involved in many perceptual and

We show a principled way of deriving online learning algorithms from a minimax analysis.

In this work we show that for any mechanism design problem with the objective of maximizing social welfare, the exponential mechanism can be implemented as a truthful mechanism while still

C++11 and C11 added threads to the respective languages. In the process they gave much more precise semantics to shared variables.

Have you ever wondered what you will be doing on the bus today? How about reading a book? How about soaking in the sun?

Current approaches to software model checking can be divided into over-approximation-driven (OD) and under-approximation-driven (UD).

Machine learning algorithms rely heavily on the representation of the data they are presented with.

High performance propositional satisfiability solvers based on the Conflict Driven Clause Learning framework (CDCL) have been a major driver of research in areas such as verification and decision

Once upon a time in mathematics, there was a quest to understand truth, proof, and calculation.

Cyberspace technology often grants us (or others) control over our self-representations. At the click of a button, one can alter our avatars' appearance and behavior.

Conditional and other feature-based models have become an increasingly popular methodology for combining evidence in speech and language processing.

The forces that shape the dynamics of a city are multifarious and complex.

Recent research demonstrates that malware can infect peripherals’ firmware in a typical computer system, e.g., by exploiting vulnerabilities in the firmware itself or in the firmware update tools.

Nuclear Energy will have to be a major component of any carbon-Free energy mix that must be created in order to effectively fight global warming.

We investigate a well-known heuristic for optimization of nonconvex functions.

The need to process massive modern data sets necessitates rethinking of some classical algorithmic solutions from the point of view of modern data processing architectures.

Time is a continuous quantity. This talk begins with theoretical and experimental problems that arise when time is treated as a discrete quantity in stochastic systems.

We live in a data-heavy world. However telling a story that brings the data to life is a challenge.

The question this presentation addresses is how can we get the same benefits of active participation and personal feedback that a computer provides at the cost of just a dollar per child per year?

The MIMD (Multiple Instruction, Multiple Data) execution model is more flexible than SIMD (Single Instruction, Multiple Data), but SIMD hardware is more scalable.

Key tips about the Mango development platform & tools that will help you make your app more robust, avoid common mistakes and optimize your app’s performance.

Privacy has become a significant concern in modern society as personal information about individuals is increasingly collected, used, and shared, often using digital technologies, by a wide range of

Bag-of-visual-words model is widely used in the state-of-the-art large-scale image retrieval system.

The popularity of collaborative tagging sites has created new challenges and opportunities for designers of web items, such as electronics products, travel itineraries, popular blogs, etc.

1.) Testing Atomicity of Composed Concurrent Operations (OOPSLA'11) We address the problem of testing atomicity of composed concurrent operations.

Internet-scale quantum repeater networks will be heterogeneous in physical technology, node functionality, and management.

In this talk, we introduce our research on a major problem of journalism, i.e., the media bias problem.