Microsoft Research

NULL

Chairs: ΓÇóAndrew Herbert (Chairman, Microsoft Research, Europe, Middle East and Africa) ΓÇóFabrizio Gagliardi (Director, Microsoft External Research, Europe, Middle East and Africa; and Chairman

Permutations arise fundamentally in a plethora of real world applications from multi-person tracking to preference ranking and election analysis.

Multicore computers are now the norm. Taking advantage of multiple cores requires parallel and concurrent programming.

This tutorial will teach F# from several angles.

Formal Methods (FM), which are based on precise mathematical principles, have always held the promise to change the way that software systems are developed.

Over the last decade the evolution of parallel computer architectures has led to the dominance of commercial multi-core systems with up to 8 or so cores on single chip.

The Internet is now central to many aspects of modern society, yet it remains remarkably fragile. Partial outages are common, and performance problems are widespread.

Semantic Computing combines disciplines such as computational linguistics, artificial intelligence, multimedia, database and services computing together into an integrated theme while addressing

We show that it is possible to encode any communication protocol between two parties so that the protocol succeeds even if a (1/4 - epsilon) fraction of all symbols transmitted by the parties are

NULL

We study the average case complexity of the Unique Games problem. We propose a semi-random model, in which a unique game instance is generated in several steps.

Advances in programming languages are placing powerful, programmatic problem-solving tools in the hands of analytical programmers, But programming today exhibits a voracious appetite for

Botnets are responsible for many of the malicious activities on the Internet, such as spam, distributed denial-of-service attacks, and click fraud.

Advances in programming languages are placing powerful, programmatic problem-solving tools in the hands of analytical programmers, But programming today exhibits a voracious appetite for

Advances in programming languages are placing powerful, programmatic problem-solving tools in the hands of analytical programmers, But programming today exhibits a voracious appetite for

Making good sequential decisions under uncertainty is a core part of what it means to be intelligent.

In the first half of this talk we will explore the high level issues of disciplinary culture and interoperability.

Secure end-to-end communication is becoming increasingly important as more private and sensitive data is transferred on the Internet.

Debugging data-intensive distributed applications running in a datacenter (ΓÇ£datacenter applicationsΓÇ¥) is complex and time-consuming.

We study the optimal pricing strategies of a monopolist selling a divisible good (service) to consumers that are embedded in a social network.

Sixty years ago, at the Institute for Advanced Study in Princeton, New Jersey, a 32 x 32 x 40-bit matrix of 24-microsecond random access memory was undergoing initial tests.

In this talk I give an overview of my recent research activities in computer vision during my post-doctoral stays at UNC-Chapel Hill and ETH Zurich.

In this talk I shall sketch some results Oliver Riordan of Oxford and I have obtained on the critical probabilities in percolation.

The effective management of information is a fundamental task in artifact-rich domains such as e-Science and software engineering.

Measurement is the essence of science.

I will give an overview of an ongoing long-term project aimed at developing a formal yet pragmatic framework for representing and exploring the behavior of complex molecular systems of interaction

Passive UHF RFID technology can be used to create computing platforms that are small, cheap, and long-lived.

Functional languages such as Haskell provide powerful abstraction facilities, but directly applying these tools to resource-constrained devices is impractical because doing so imposes too much time

Almost all (important) decision problems are inevitably subject to some level of uncertainty either about data measurements, the parameters, or predictions describing future evolution.