Microsoft Research

The vast majority of American college students attend two thousand or so private and public institutions that might be described as the Middle--reputable educational institutions, but not considered

Problems in high-dimensional regression have been of immense interest lately. Examples include graphical model selection, multi-label prediction, computer vision, and in genomics.

In this talk I give an introduction to the use of process algebras in quantum computing, focusing particularly on their use as compiler tools for surface code topological quantum computing.

Exact computations being in general not track able for computers, they are approximated by floating-point computations. This is the source of many errors in numerical programs.

Views of how social media can affect people are often over-generalized ("its ruining our conversational skills!" versus "its going to spark revolutions to rid the world of dictators!"), as is often

Software-based companies put extraordinary emphasis on being first to market, and all efforts are made to ensure that new products are launched as quickly as possible.

Current Event: Managing data in your app How do you manage the data in your app? In this talk, Jason will present strategies for managing the data on the phone.

We present a new development environment for programs composed of interacting state machines.

A large number of problems in computer vision involve predictions over exponentially (or infinitely) large structured-output spaces, e.g.

Dynamic software analyses are powerful mechanisms for finding software errors. Unfortunately, their high performance overheads stymie their adoption.

Global software teams usually rely on a Collaborative Development Environment (CDE) to cope with distance.

Network coding can significantly improve the transmission rate of communication networks with packet loss compared with routing.

Chenggang Wu�s group started to research on Binary Translation (BT) technology since 2003. They try to provide a BT system for the China-made processor------Loongson.

Besides being one of the principal driving forces behind research in algorithmic theory for more than five decades, combinatorial optimization in graphs has assumed increased significance in recent

Complex deterministic and stochastic models are often used to describe dynamic systems in climate science, ecology and biology.

Augmented Reality (AR) is implemented by superimposing virtual entities on the real scene so that they appear registered with the related real entities.

In this talk, I will focus on data-driven models for semantic structure prediction following frame semantics (Fillmore, 1982), a linguistic theory that describes predicate-argument relationships and

It is often said that the user is the weakest link in any secure system. Such arguments overstate the level of communication provided to users.

In this talk, we introduce a novel approach for creating and overlaying annotations on real world objects.

In recent years, manifold learning has become increasingly popular as a tool for performing non-linear dimensionality reduction.

Agenda: 6:00 PM � Arrive, mingle, get food 6:30 PM � Presentation 7:30 PM � Mingle, Q&A, etc. 8:00 PM � Event ends We will have presentations on the second Thursday of every month.

This talk highlights results from an empirical study of the heap structures and sharing relations that appear in large real-world programs.

In this talk, we present results on applying a personality assessment paradigm to speech input, and compare human and automatic performance on this task.

Windows Phone applications that compel download and repetitive use, are those with great user experiences. User experiences that connect with consumers.

Linear predictors are scale-insensitive --- the prediction does not change when the weight vector defining the predictor is scaled up or down.

In the first half of the talk, I will describe a new dual decomposition method for structured classification which is suitable for logically constrained problems, with applications in NLP.

Maintaining availability in the face of hardware failures is an important goal for any database system.

Most large-scale applications integrate remote services and/or transactional databases.

Multithreaded programs are difficult to write, analyze, test, and debug; a key reason is that different runs of a multithreaded program may show different behaviors, depending on how the threads

In this paper, we introduce a primitive known as Verifiable Oblivious Transfer. It is similar to oblivious transfer except that the sender is committed to its input.