Microsoft Research

Modern computing platforms pose unprecedented challenges to productively building reliable, scalable, and energy-efficient software.

The need for special-purpose indoor positioning systems arises from the failure of established technologies, such as GPS, in indoor scenarios.

We introduce and formalize the notion of Verifiable Computation, which enables a computationally weak client to 'outsource' the computation of a function F on various dynamically-chosen inputs to

This talk will summarize two recent results on JavaScript.

Algorithmic Mechanism Design is concerned with solving computational problems in situations where essential problem data is being held privately by selfish agents.

Throughout the past decade there has been extensive research on algorithmic and data mining techniques for solving the problem of influence maximization in social networks: if one can convince a

1:30 - 3:00 SESSION #2 Microsoft Overview: Library & Bing, Pivot Viewer & Silverlight, Office Labs, Xbox Kinect ΓÇó Kendra Smith ΓÇô Program Manager, MS Library & Aya Zook ΓÇô Product Manager

Turing Award lecture

Predicate abstraction is a key enabling technology for applying finite-state model checkers to programs written in mainstream languages.

Using Technology the Cherokee Way is an eye opening examination of how culture meets technology.

Statistical physics, provided powerful insights into the theory of combinatorial structures and algorithms.

We give an elementary proof of a generalization of Bourgain and Tzafriri's Restricted Invertibility Theorem, which says roughly that any matrix with columns of unit length and bounded operator norm

Even networks of very simple sensors, when the data is subjected to sufficient analysis, can reveal deep and subtle information about the behaviors of people moving around them.

NULL

NULL

It is well-known that any Boolean function f:{-1,+1}^n \to {-1,+1} can be written uniquely as a polynomial f(x) = \sum_{S subset [n]} f_s \prod_{i in S} x_i.

We consider the so-called push algorithm, where initially there is only one informed node and, at each time step, each informed node chooses a neighbor independently and uniformly at random and

The reconstruction problem on the tree concerns the propagation of information in Markov processes on trees and has been studied in probability, statistical physics, computational biology

Notions of entropy and information, pioneered by Shannon, have been very powerful tools in coding theory.

Session 3: Accelerating discovery through multimedia and visualization 2:00-2:30 The Impact of Visualization on Search and Discovery, Rafael Sidi, Elsevier 2:30-3:00 ScienceCinema: Multimedia Search

9:00-9:10 Opening Remarks/Welcome - Roberta Shaffer (Library of Congress), President, ICSTI - Tony Hey, Corporate Vice President, Microsoft Morning Sessions ΓÇô Chaired by Brian Hitson (U.S.

Session 4: Combining and refining data to reach new discovery 3:50-4:20 Semantics for Innovation in Visualization and Multimedia: Smarter Information Science, Peter Fox, Tetherless World

Session 2: Tools and technologies for communication and problem solving 11:00-11:30 Telling Stories in the Cloud, Curtis Wong, Microsoft Research 11:30-12:00 Communications from the Particle

A mental model is 'an abstraction of systemΓÇÖs architecture and software structures that is simple enough for non-technical users to grasp. . .

An abundance of tools have been created to help software developers do their jobs, from testing frameworks, to refactoring tools, to entire integrated development environments.

We will look at a collection of mathematical problems suggested by side-channel attacks against public key cryptosystems, and how the techniques inspired by this work relate to a variety of

Dynamic languages are growing more popular, however, the restrictions of many of their implementations prevent them from realizing their full potential.

Two players announce bargaining postures to which they may become committed and then bargain over the division of a surplus.

Accurate, fine-grained online energy estimation and accounting of mobile devices such as smartphones is of critical importance to understanding and debugging the energy consumption of mobile

Delay announcements informing customers about anticipated service delays are prevalent in service-oriented systems.