Microsoft Research

Cloud, HPC, or Hybrid: A Case Study Involving Satellite Image Processing Marty Humphrey, University of Virginia Classical and Iterative MapReduce on Azure Geoffrey Fox , Indiana University Data

Blur in photos due to camera shake, blur in astronomical image sequences due to atmospheric turbulence, and blur in magnetic resonance imaging sequences due to object motion are examples of blur

Bringing the Cloud to the Classroom Using the Microsoft Imagine Cup James L.

Expanding the Horizons of Cloud Computing Beyond the Data Center Jon Weissman and Abhishek Chandra, University of Minnesota URSA: Scalable Load Balancing and Power Management in Cluster Storage

This talk is part of a lecture series associated with the Hawaii Intern XAPFest app building contest.

NULL

What you can do with a domed theater, how is it done and why you would ever do it!

There is wide acceptance that models which seek to represent biological or environmental processes should be evaluated before they are applied.

NULL

Abstract: In this paper, we study succinct computationally sound proofs (arguments) for NP, whose communication complexity is poly-logarithmic the instance and witness sizes.

Evidence from social psychology suggests that agents process information about their own ability in a biased manner.

NULL

In this paper, we study a conjecture of Andries E.

Suppose that a receiver R wishes to publish an encryption of her secret input x so that every sender S, holding an input y, can reveal f(x,y) to R by sending her a single message.

Almost anyone who has deployed machine learning systems in the real world has encountered the task of domain adaptation: We build our models from some fixed source domain, but we wish to deploy them

The state of the art of the design and analysis of approximation algorithms for NP-hard discrete optimization has advanced significantly over the past two decades; furthermore, the most prevalent

Virtual environments have been used for more than two decades in research laboratories and university clinics to facilitate cognitive behavioral therapy and other therapeutic approaches in

Traditional signal processing approaches are often built on well-known assumptions such as linearity, time-invariance, and incoherence among the signals involved.

Mathematical sketching lets users create dynamic illustrations through the association of hand written mathematics and free-form drawings.

How do you play with data? Even the most serious data analyst needs to take the time to playfully imagine new creative ways to manipulate and explore their data.

NULL

Machine learning (ML) has already made significant impacts on our daily life.

We present a class of relaxed memory models, defined in Coq, parameterised by the chosen permitted local reorderings of reads and writes, and the visibility of inter- and intra-processor

We look at the problem of computing the average (arithmetic mean) of a long vector of n numbers. Mathematically, this problem is simple; requires n - 1 additions and 1 division.

Keynote Presentation ΓÇ£Open Science, Open Data, and Open SourceΓÇ¥ Tony Hey, Corporate Vice President, Microsoft Research Connections, United States

The format of the workshop is designed to inform, provoke and encourage discussion.

NULL

NULL

NULL

In this talk I present a framework for the design and study of an online community of amateur creators.