Microsoft Research

Event-B is a method for the stepwise development of programs. The development is mostly top-down and gradually introduces details, rather than starting at the concrete level of writing code.

One appealing way to design an object recognition system is to define objects recursively in terms of their parts and the required spatial relationships between the parts and the whole.

In his seminal paper, Myerson [1981] provides a revenue-optimal auction for a seller who is looking to sell a single item to multiple bidders.

Event-B is a method for the stepwise development of programs. The development is mostly top-down and gradually introduces details, rather than starting at the concrete level of writing code.

In order to fulfill todayΓÇÖs object recognition requirements in mobile environment, the brain-inspired Unified Visual Attention Model (UVAM) is applied to SIFT-based recognition for high processing

In this talk I will present some of our recent efforts in exploring the recent emerging of low-cost and fast depth cameras to advance visual communication.

High Through-Put, Low Impedance e-Science on Microsoft Azure David Abramson, Monash University Abstractions for Life-Science Applications on Clouds Shantenu Jha, Andre Luckow, Rutgers University The

Flow analysis is a valuable tool for creating better programming languages; its applications span optimization, debugging, verification and program understanding.

Data-intensive computing consists of batch-processing workloads that scan massive data sets in parallel.

We are engaged in the design of a new object-oriented educational programming language called Grace. Our motivation is frustration with available languages, most of which are approaching 20 years old.

Neural networks (NN) and support vector machines (SVM) play key roles in machine learning and data analysis.

Multi-Cloud and Cloud-Desktop Coordination Made Simplified by GXP on Azure Kenjiro Taura and Ting Chen, University of Tokyo Running Large Workflows in the Cloud Paul Watson, Newcastle University

Risk Assessment and Cloud Strategy Development Barbara Endicott-Popovsky, University of Washington and Kirsten Ferguson-Boucher, Aberystwyth University, Wales Cloud Forensics: an Overview Keyun

Part of the Workshop on Social Networks and Economics. This Workshop is a cross-disciplinary event on Information, Networks, and Markets at the intersection of Computer Science and Economics.

Part of the Workshop on Social Networks and Economics. This Workshop is a cross-disciplinary event on Information, Networks, and Markets at the intersection of Computer Science and Economics.

NULL

The TPTP World is a well known and established infrastructure that supports research, development, and deployment of Automated Theorem Proving (ATP) systems for classical logics.

Part of the Workshop on Social Networks and Economics. This Workshop is a cross-disciplinary event on Information, Networks, and Markets at the intersection of Computer Science and Economics.

Event-B is a method for the stepwise development of programs. The development is mostly top-down and gradually introduces details, rather than starting at the concrete level of writing code.

Network Display and Sharing System for Large Cultural Heritage Objects via Cloud Computing Environments Yasuhide Okamoto, University of Tokyo Deep Natural Language Processing for Improving a Search

Model Checking was introduced in the 1980's, providing a fully automated way to verify that a finite-state system satisfies a logical specification, or to generate a behavioral counterexample

Event-B is a method for the stepwise development of programs. The development is mostly top-down and gradually introduces details, rather than starting at the concrete level of writing code.

Modern enterprise and datacenter networks must provide a variety of interrelated services including routing, traffic monitoring, load balancing, and access control.

Beekeeping Enters the Cloud James T.

Part of the Workshop on Social Networks and Economics. This Workshop is a cross-disciplinary event on Information, Networks, and Markets at the intersection of Computer Science and Economics.

A fundamental and very well studied region of the Erdos-Renyi process is the phase transition at m near n/2 edges in which a giant component suddenly appears.

Using the Cloud to Model and Manage Large Watershed Systems Jon Goodall, University of South Carolina Large Scale Prediction of Transcription Factor Binding Sites for Gene Regulation using Cloud

Participatory Sensing combines the ubiquity of mobile phones with the sensing capabilities of Wireless Sensor Networks.

NULL

Relational Data Markets in the Cloud: Challenges and Opportunities Magdalena Balazinska, University of Washington Into the Blue: Streaming Data Processing in the Cloud Stephen Wong, Rice University