Microsoft Research

Analytics-Analysis-Simulation Moderator: Wenming Ye, Microsoft Research Comparing Big Data and Simulation Applications and implications for software environments Geoffrey Fox, Indiana University

Communities in the Cloud Moderator: Kenji Takeda, Microsoft Research Collaborative Genomic Data Analyses in the Cloud Steven Roberts, University of Washington CodaLab—Learn, Share and Collaborate

Today's high performance computing story is one where problems of ever-increasing scale in science and engineering are required to be solved under strict power budgets.

Quantifying post-stroke impairment with Kinect Current methods for assessing post-stroke motor impairment rely on subjective measurements by physical therapists.

Keynote Talk: Chris Burges (MSR). Do we really need machines to comprehend?

Americans’ normative understanding of work is imploding. Throughout most of the twentieth century Americans equated landing a job to a lifetime of smooth sailing.

This talk explores the current research in Spatial Augmented Reality (SAR).

In any learning task, it is natural to incorporate latent or hidden variables which are not directly observed.

Energy consumption is a major challenge for datacenters as it represents one of the larger components of ownership costs.

The Internet gives us access to many agents that can help us complete tasks. These agents can come either in the form of machines (cloud computing) or people (crowdsourcing).

Duncan Watts - Opening Remarks Yann LeCun - Demo Mor Naaman - Data and People in Connective Media In five minutes or less, I will talk about how we use methods from social science, people-centered

US healthcare is at a cross road, with ever rising costs and mediocre delivery of care. The aging population and the increase in chronic health conditions will further add to this problem.

FleXOR: Flexible garbling for XOR gates that beats free-XOR Mike Rosulek, Oregon State University Zero-Knowledge Using Garbled Circuits: How To Prove Non-Algebraic Statements Efficiently Claudio

The amount of data in the world is increasing at incredible rates.

A lot of the cloud discussion centers around which are the best hypervisors, and which management tools will simplify one's life the most. But is it the whole story?

Dynamic Searchable Symmetric Encryption allows a client to store a dynamic collection of encrypted documents with a server, and later quickly carry out keyword searches on these encrypted documents

This talk will review work at Imperial College on the development of Meta-Interpretive Learning (MIL), a technique which supports efficient predicate invention and learning of recursive logic

Entities and the relations among them are central for representing our knowledge about the world.

LampsonFest - Welcome; The Alto Architecture; Snobol through Bravo

Invited Talk: Efficient Two-Party Secure Computation for Semi-Honest and Malicious Adversaries

In this work, we study indistinguishability obfuscation and functional encryption for general circuits: Indistinguishability obfuscation requires that given any two equivalent circuits C 0 and C 1

Random Functions for Dependence and Component Analysis

While significant progress has been made in automatic speech recognition (ASR) during the last few decades, recognizing and understanding unconstrained conversational speech remains a challenging

In many modern applications built on massive data and using high-dimensional models, such as web-scale content extraction via topic models, genome-wide association mapping via sparse regression, and

Standard democratic institutions fail to account for the intensity of preference, leading to classic flaws like the tyranny of the majority and Arrow’s Impossibility Theorem.

The talk presents the new book “Creating Research and Scientific Documents Using Microsoft Word” by Alexander Mamishev and Murray Sargent.

Programming with rich data frequently implies that one needs to search for, understand, integrate and program with new data - with each of these steps constituting a major obstacle to successful

Every year 1.6 million Americans are diagnosed with cancer and nearly half of those cases are considered incurable.

In traditional algorithm design, no incentives come into play: the input is given, and your algorithm must produce a correct output.

What does fashion lack? “Microcontrollers” according to Dutch based fashion-tech designer and innovator Anouk Wipprecht.