Microsoft Research

Modern mobile and cloud technologies, which billions of users rely upon to access and host sensitive data, have become easy targets for theft, espionage, hacking, and legal attacks.

The success of machine learning algorithms generally depends on data representation, and we hypothesize that this is because different representations can entangle and hide more or less the

We present a general reduction of the derivability problem in a given analytic sequent calculus to SAT.

Give the edges of the complete graph K_n independent uniformly distributed edge weights, and let M_n be the resulting minimum spanning tree. What can be said about the structure of M_n?

Quantum computation has taught us that a quantum system is best visualized as a wild tiger rather than a tame Schrodinger's cat.

The usual notion of security for commitment schemes says that a commitment scheme is secure if it is both binding and hiding. In [DNRS99, DNRS03], Dwork et al.

Any system that integrates digital control in a physical environment is an instance of Cyber-Physical Systems (CPS).

Through nanotechnology research, ASSIST is building wearable sensor systems for the purpose of dramatically improving health and environment informatics.

“How can we know whether the course of a life would have been changed by some particular alteration in its early history,” asks Dawkins in his illuminating new memoir, AN APPETITE FOR WONDER: The

Discover the Buddhist caves of Dunhuang, a magnificent World Heritage site on the ancient Silk Road in northwest China.

In many computer vision tasks, we have to explore a large set of possible patterns to find at least one that conforms to a model.

Clothing+ is a Finnish company that has studied the combination of textiles and electronics for over 10 years.

Dynamic events such as family gatherings, concerts or sports events are often captured by a group of people.

Fairness is a fundamental concept that arises in many aspects of computing.

Given two graphs which are almost isomorphic, is it possible to find a bijection which preserves most of the edges between the two?

"Bridging Software Engineering Economics and Digital Business Strategy: A Design Capital and Design Moves Perspective on Managing Software Products As software becomes integral to the products and

Users are increasingly relying on smartphones for computational tasks, hence concerns such as app correctness, performance, and security become increasingly pressing.

In this talk, I will discuss how I, a pure mathematician, established the charity Hometown Education Foundation and how this program impacts on poor kids on their basic education and how it works to

3D shape analysis aims at developing computational tools for reasoning about the properties of the object`s shape. It has numerous applications in computer graphics and computer vision.

Get Microsoft Pix FREE today at aka.ms/MSPix. Microsoft Pix is a smart camera app that automatically helps you take better photos without extra effort.

In the real world data often arrives in streams and evolves over time. Concept drift in supervised learning means that the relation between the input data and the target variable changes.

The distinction between artists and scientists continues to blur. This talk reflects on my experiences as the inaugural artist in residence at Microsoft Research.

Problems in areas such as machine learning and dynamic optimization on a large network lead to extremely large convex optimization problems, with problem data stored in a decentralized way, and

Software testing/debugging is extremely time consuming, and hence techniques to automate debugging or program repair are of value.

Many people have legitimate needs to avoid their online activities being tracked and linked to their real-world identities - from citizens of authoritarian regimes, to everyday victims of domestic

In this talk, I will discuss how I, a pure mathematician, established the charity Hometown Education Foundation and how this program impacts on poor kids on their basic education and how it works to

Analysis of Boolean functions is a meeting point of combinatorics, probability theory, harmonic analysis, and the theory of computing.

I will present a new theoretical perspective on two basic problems arising in stochastic optimization.

With the increasing ubiquity and power of mobile devices as well as the prevalence of social networks, more and more decisions and activities in our daily life are being recorded, tracked, and shared.

The CUBE at Queensland University of Technology, is an high resolution display and interaction system covering over 160m2.