Microsoft Research

As the surge of communication affordances over social media continues unabated, it has greatly expanded our horizons of putting the generated interactional information to good use.

The principal problem in algorithmic mechanism design is to merge the incentive constraints imposed by selfish behavior with the algorithmic constraints imposed by computational intractability.

Neural networks (NN) and support vector machines (SVM) play key roles in machine learning and data analysis.

As social networks such as Facebook and Twitter become larger and more complex, it becomes more and more difficult to extract useful information from them efficiently.

In recent years, the emergence of massive computing tasks that arise in context of web applications and networks has made the need for efficient graph algorithms more pressing than ever.

An important theme in theoretical computer science over the last decade has been the usefulness of translating a combinatorial problem over a discrete domain to a problem in continuous space.

The rapid pace of software development innovation challenges empirical software research to keep up, if it is to deliver actionable and useful results to practitioners.

Planar maps are embeddings of connected planar graphs in the plane considered up to continuous deformation.

Public-key Cryptography was born in the 1970s with the work of Diffie and Hellman where they defined and realized a foundational primitive called key exchange.

My talk will mainly be on new developments in generalized identity-based cryptography.

Traditionally, to achieve cryptographic security, we require that users generate long perfectly random keys, store them on a perfectly reliable and secure device, and perfectly shield this device to

In recent years, the emergence of massive computing tasks that arise in context of web applications and networks has made the need for efficient graph algorithms more pressing than ever.

Peer review is seen as an important quality assurance mechanism in both industrial development and the open source software (OSS) community.

When faced with the challenge of making decisions in presence of multiple uncertainties, a common simplifying heuristic is to assume independence among various sources.

When agents have conflicting preferences over a set of alternatives and they want to make a joint decision, a natural way to do so is by voting.

The rapid information growth on the Web calls for knowledge-oriented and context-aware search techniques that aim at retrieving knowledge fragments instead of Web pages.

We discuss a recent technique for dealing with k-independent families of random variables.

What passes for negotiation in most of the world ΓÇô threats, power plays, walking out, invoking alternatives, win-wins, good cop/bad cop techniques, actually invoke resentment and retaliation, from

Astrophysics is a science where controlled experiments are intrinsically challenging. Numerical laboratories on a computer are often the next best alternative.

We close the problem of understanding the space complexity of pth moment estimation in data streams for 0 p = 2 by giving the first optimal upper and lower bounds.

Patients want information but hospital staff are often too busy to answer questions. Microsoft researchers are developing new ways to deliver real-time, patient-friendly information.

"Conditional Action Programmer is your intelligent digital task manager, automatically processing if/then style tasks on your behalf.

Microsoft Research – 16 августа 2016, 16:37

Code Hunt is an educational coding game which runs in a browser. The game consists of a series of worlds and levels, which get more challenging.

End for Internship talks given by: Perry Wang Title: "Low* and subset of F* that will compile down to C" Time : 10-10:45 Laure Thompson Title: "Spartan and proving implementations of cryptographic

In this talk we use data on every NYC taxi pickup and drop-off in 2013 to understand how people move throughout the city, how much skill is involved in driving a taxi, and how much carpooling can

The advent of the sharing economy has redefined the way firms do business. Airbnb has led this revolution.

Graphics Processing Units (GPUs) are an attractive target for graph algorithms because they support massively parallel execution and possess much higher memory bandwidths than CPUs and FPGAs.

ChronoZoom is an award-winning, open source, cross-platform, openly-authored timeline of the history -- of Everything.

The scale and pace of research is rapidly increasing across disciplines from bioinformatics and engineering, to the environmental and social sciences.