Microsoft Research

Before the mid-seventeenth century, scholars generally agreed that it was impossible to predict something by calculating mathematical outcomes.

You use cryptography every time you make a credit card-based Internet purchase or use an ATM machine. But what is it? How does it work and how do we know when it is secure?

Joint work with Tamara Rezk and Gurvan le Guernic (MSR-INRIA Joint Centre msr-inria.inria.fr/projects/sec) We relate two notions of security: one simple and abstract, based on information

This talk will describe the STAIR home assistant robot project, and several satellite projects that led to key STAIR components such as (i) robotic grasping of previously unknown objects, (ii) depth

We revisit the question of deniable cryptographic primitives, where, intuitively, a malicious party observing the interaction, cannot later prove to a third party that the interaction took place.

Recent years have seen a significant surge in the interest and use of virtualization, driven by better hardware support, increasing power costs and low resource utilizations.

We discuss several fascinating concepts and algorithms in graph theory that arose in the design of a nearly-linear time algorithm for solving diagonally-dominant linear systems.

The subprime mortgage crisis has already wreaked havoc on the lives of millions of people and now it threatens to derail the U.S. economy and economies around the world.

In my work over the past five years I have generalised the Simultaneous Localisation and Mapping (SLAM) methodology of sequential probabilistic mapping, developed to enable mobile robots to navigate

Meet George Jetson… Remember the orange-haired techno-savvy character we grew up watching at the breakfast table?

information visualization is an emerging and powerful technique for understanding language. Online text visualization tools are immensely popular online for collaboration, analysis, and entertainment.

With the growing demand for speech processing systems in many different languages, there is still a significant bottleneck in building recognition and synthesis support for new languages.

Modern Virtual Machines (VMs) generate rich runtime information that can often be used to perform self-optimization such as adaptive compilation.

One of the biggest challenges facing us today is how to design parallel architectures that efficiently support a highly-programmable environment.

This is a two-part talk. In the first part, we prove a theorem that reduces bounding the mixing time of a card shuffle to verifying a condition that involves only pairs of cards.

Grand unification theories have long been a holy grail in science, and in our search for an elegant theory of the universe we must consider everything from quarks to black holes.

Let $q=p^r$ be a prime power and $\F_q$ be the finite field with $q$ elements.

This is a two-part talk. In the first part, we prove a theorem that reduces bounding the mixing time of a card shuffle to verifying a condition that involves only pairs of cards.

This talk summarizes Powerset's endeavor to set up a flexible and data driven approach to handling word senses.

Indoor and outdoor urban environments possess many regularities which can be efficiently exploited and used for general image parsing tasks, matching, or 3D dense reconstruction from multiple widely

I will speak about my past and current research in automatic 3D reconstruction from images.

In todayΓÇÖs world, transparency-acting with candor, disclosure, integrity and honesty-is increasingly linked to both survival and success.

The game-theoretic framework, introduced by Vovk and myself in 2001 ( probabilityandfinance.com), uses game theory instead of measure theory as a mathematical framework for probability.

The most enduring change wrought by the digital revolution is neither the new business models nor the new search algorithms, but rather the massive generation gap between those who were born digital

It is well known that noise can be introduced into video during capturing, storage and transmission. It is especially bad in dark regions in the video where the signal-to-noise ratio is low.

How do you know whether a hot technology will succeed or fail? Or where the next big idea will come from?

Microsoft Research – 6 сентября 2016, 17:45

This is a two-part talk.

In this talk, I present a new programming language designed for structured concurrency. The language is based on components which are organized in hierarchical and ΓÇ£pointer-freeΓÇ¥ structures.

Many Artificial Intelligence (AI) tasks, such as natural language processing, commonsense reasoning and vision, could be naturally modeled by a language and associated inference engine using both