Microsoft Research

Deception is a significant and pervasive social phenomenon. At the same time, technologies have suffused almost all aspects of human communication.

We live in a world of great and increasing complexity, where even the most expert professionals struggle to master the tasks they face.

A substantial amount of work today is accomplished through collaborative activities, which may be open-ended and opportunistic or structured and well defined, with participants with similar skills

Source code search can be seen as part of a larger process in which a programmer uses a range of development tools to help answer questions about a code base.

This paper investigates consumer switching costs in the context of health insurance markets, where adverse selection is a potential concern.

Scalability of todayΓÇÖs Web technologies is limited by their dependence on the client-server paradigm: content and services reside on servers in data centers, and the end usersΓÇÖ client computers

Recent research advances have demonstrated that WiFi-like wireless networks can be built in television-band white spaces (TVWS).

We introduce the splitting model as a nonabelian variant of the abelian sandpile growth model (ASGM).

If the character of public discourse, long chaperoned by the broadcast networks and major publishers, is now increasingly in the hands of online media platforms like YouTube, Facebook, and Flickr

The Unique Games Conjecture (Khot, 2002) is a central open question about hardness of approximation.

Graphical models such as Markov random fields have been successfully applied to a wide variety of fields, from computer vision and natural language processing, to computational biology.

Multiparty computation protocols have been known for more than twenty years now, but due to their lack of efficiency their use is still limited in real-world applications.

Modern managed languages, such as Java and C#, derive many software engineering benefits from the use of virtual machines.

The talk will present a Riemannian Manifold Hamiltonian Monte Carlo sampler that resolves the shortcomings of existing Monte Carlo algorithms when sampling from target densities that may be high

Visual spatial impairment is often an early symptom of neurodegenerative diseases including AlzheimerΓÇÖs and ParkinsonΓÇÖs diseases.

Linear and Semidefinite programs provide the best approximation algorithms for many NP-hard combinatorial optimization problems.

Emerging trends in computation such as cloud computing, virtualization, and trusted computing require that computation be carried out in remote and hostile environments, where attackers have

By a classical theorem of Marstrand, if X is a set in the plane then almost every linear projection of X onto a line has the largest possible dimension, i.e. min{1,dim(X)}.

In this talk I give an overview of the algorithms we have developed at UCSD to significantly lower the energy consumption in computing systems.

The knowledge-based rational decision model (KBR-model) is built on explicit epistemic reading of standard game-theoretical assumptions, e.g., HarsanyiΓÇÖs Maximin Postulate, in a non-probabilistic

At the heart of most software engineering and optimization applications is some model of runtime program behavior.

The specification of biological decisions by signaling pathways is encoded by the interplay between activation dynamics and network topologies.

Since Plato, the notion of justification has been an essential component of epistemic studies.

Abstract: A degree-d threshold function is a boolean function of the form f(x) = sign(p(x)), where p(x) is a degree-d polynomial over the reals.

With an increasing amount of social interaction taking place in the digital domain, and often in public on-line settings, we are accumulating enormous amounts of data about phenomena that were once

The spread of a cascading failure through a network is an issue that comes up in many domains: in the contagious failures that spread among financial institutions during a financial crisis, through

Yan Xu chairs this session at eScience Workshop 2011, which includes the following presentations: - Using the OData protocol in eScience-Chris Robinson, Microsoft - On the Processing of Sensing Data

Having passed through the empirical/observational, the theoretical/experimental, and the computational paradigms, science is now conducted predominantly following the data exploration paradigm.

Alex Wade chairs this session at eScience Workshop 2011, which includes the following presentations: - TextGrid - An Architecture to Store, Access and Manage Diverse Humanities Data-Andreas Witt

Kenji Takeda and Stewart Tansley chair this session at eScience Workshop 2011, which includes the following speakers: - Mark Abbott, Oregon State University; Hans-Christian Jetter, Univeristy of