Microsoft Research

This session at IEEE e-Science Workshop 2011 reviews the origins of the eScience initiative and discusses challenges related to data-intensive science and 'big data,' as well as challenges

Evelyne Viegas chairs this session at eScience Workshop 2011, which includes the following presentations: - Supporting the Virtual Physiological Human with Semantics and Services-John Domingue, Open

Yan Xu chairs this session at eScience Workshop 2011, which includes the following presentations: - Open Data for Open Science -Environmental Informatics at Microsoft-Yan Xu, Microsoft Research

2011 Physics Nobel Laureate Brian P. Schmidt delivers a keynote address at IEEE e-Science Workshop 2011 in Stockholm.

eScience and activities that build on e-infrastructure continue to grow rapidly and increasingly affect science and society.

Yan Xu chairs this session at eScience Workshop 2011, which includes the following presentations: - Citizen Science Using Windows Phone 7-Yong Liu, University of Illinois, Urbana-Champaign

Yan Xu chairs this session at eScience Workshop 2011, which includes the following presentations: - Big Archaeology: Creation, Integration, Analysis, and Dissemination of Archaeological Data-Graeme

This session at eScience Workshop 2011 includes the following presentations: - An Open Source Library for Bioinformatics-Simon Mercer, Microsoft Research - Programming with Massive Data Sources Made

Yan Xu chairs this session at eScience Workshop 2011, which includes the following presentations: - Predicting Where on Earth Life Is and Will Be - SDM 2.0-Greg Mclnerny, Microsoft Research

This session at eScience Workshop 2011 includes the following presentations: - Cloud Computing for Research-a European Perspective-Fabrizio Gagliardi, Microsoft Research - VENUS-C and the Generic

Lee Dirks chairs this session at eScience Workshop 2011, which includes the following presentations: - Community Capability Model Deep Dive Interactive Discussion Session-Alex Wade, Microsoft

Much scientific research and innovation requires a wide range of data-intensive computations to be run as part of a complex workflow-for example: implementing steps for data access, data

Environmental scientific research must adapt to a variety of changes, such as the growth of complex and massive datasets, and challenges in keeping the public and policy makers accurately informed.

A probabilistically checkable proof (PCP) is a special format for writing proofs that is very robust.

ABSTRACT: We study learning and optimization scenarios where the samples we receive do not obey the frequently made i.i.d. assumption, but are coupled over time.

Web tracking is pervasive: the average popular website incorporates over fifty third-party tracking mechanisms. And web tracking is unpopular: a majority of Americans oppose the practice.

The TV white spaces offer an exciting opportunity for increasing spectrum availability by reusing spectrum not in active use by TVs and wireless mics.

Learning visual classes is traditionally done in a fully supervised setting, where the location of training instances are manually annotated by bounding-boxes or pixelwise segmentations.

This session at eScience Workshop 2011 includes the following presentations: - Drug Design Experiments in the CloudΓÇöSimon Woodman, Newcastle University - Supporting ΓÇ£Manufattura DomaniΓÇ¥

New communication technologies disrupt conventional understandings of social behavior and relationships.

Moderators: Tony Hey, Corporate VP, Microsoft Research Connections and Lee Dirks, Director, Microsoft Research Connections with Marguey Avery, Editor, MIT Press Raconteurs from each group will

Drawing on examples from my past and current research, I will use this talk to both respond to recent provocations (boyd and Crawford, 2011) about the role of ΓÇ£big dataΓÇ¥ in human communication

What kind of theorems are easy to state yet hard to prove? This question motivates the study of propositional proof complexity.

This session at eScience Workshop 2011 discusses rapid developments in computation, storage, and networking that have enabled an array of new services and systems, ranging from improvements in

One of the main challenges that the SemanticWeb faces is the integration of a growing number of independently designed ontologies.

We consider black-box optimization with little assumptions on the underlying objective function. Further, we consider sampling from a distribution to obtain new candidate solutions.

I will describe a new approach to the old problem of automatic temporal property verification.

Managed languages use memory safety to defend against inadvertent and malicious misuse of memory. Unmanaged native languages are increasingly integrating memory safety for the same reasons.

Our programming languages have been developed for the single machine programming model, while our current computing environment is distributed and parallel.

This talk consists of two parts. In the software design part we introduce a software metric that quantifies the essence of a software system.