Our research

Publication: Animacy Detection with Voting Models (24 April 2014)
Animacy detection is a problem whose solution has been shown to be beneficial for a number of syntactic and semantic tasks.
Download: CVPR 2014 intersection over union optimization code (24 April 2014)
Source code and example to accompany the CVPR 2014 paper "Optimal Decisions from Probabilistic Models: the Intersection-over-Union Case".
Publication: Investigation of Maxout Networks For Speech Recognition (24 April 2014)
We explore the use of maxout neuron in various aspects of acoustic modelling for large vocabulary speech recognition systems; including low-resource scenario and multilingual knowledge transfers.
Publication: Information Aggregation in Exponential Family Markets (24 April 2014)
We consider the design of prediction market mechanisms known as automated market makers.
Publication: Whole Page Optimization: How Page Elements Interact with the Position Auction (24 April 2014)
We study the trade-off between layout elements of the search results page and revenue in the real-time sponsored search auction.
Publication: Efficient Synthesis of Universal Repeat-Until-Success Circuits (24 April 2014)
Recently, it was shown that Repeat-Until-Success (RUS) circuits can achieve a 2.5 times reduction in expected T-count over ancilla-free techniques for single-qubit unitary decomposition.
Publication: Finding Instability in Biological Models (23 April 2014)
Cook B, Fisher J, Hall B, Ishtiaq S, Juniwal G, and Piterman N, in Computer Aided Verification (CAV) [2014]
Download: Opinion Dynamics in Social Networks (23 April 2014)
Understanding how users form and update their opinions through interactions with their friends and neighbors in social networks is a fundamental problem with applications to online advertising, recommendations, and marketing.
Download: Decomposition-SAT (23 April 2014)
A decomposition-based parallel SAT solver that decomposes SAT formulas efficiently and reconciles solutions between partitions by means of propositional (Craig) interpolation.
Publication: FlashRelate: Extracting Relational Data from Semi-Structured Spreadsheets Using Examples (23 April 2014)
Spreadsheets store a tremendous amount of important data. One reason spreadsheets are so successful is that they are both easy to use and allow users great expressiveness in storing and manipulating their data.
Publication: RetroDepth: 3D Silhouette Sensing for HighPrecision Input On and Above Physical Surfaces (23 April 2014)
David Kim, Shahram Izadi, Jakub Dostal, Christoph Rhemann, Cem Keskin, Christopher Zach, Jamie Shotton, Tim Large, Steven Bathiche, Matthias Niessner, Alex Butler, Sean Fanello, and Vivek Pradeep, ACM CHI Conference on Human Factors in Computing Systems ...
Publication: Finding instability in biological models (23 April 2014)
The stability of biological models is an important test for establishing their soundness and accuracy. Stability in biological systems represents the ability of a robust system to always return to homeostasis.
Publication: Sequential Resource Allocation with Positional Costs (22 April 2014)
We consider the problem of minimizing the total cost to run a sequence of n tasks in the given order by k agents under the positional cost model.
Video: Talk Like TED: The 9 Public-Speaking Secrets of the World's Top Minds (22 April 2014)
[Speaker: Carmine Gallo] TED talks have redefined the elements of a successful presentation and become the gold standard for public speaking around the world.
Publication: An Assessment of MPI Environments for Windows NT (22 April 2014)
In this paper we evaluate the MPI environments currently available for Windows NT on the Intel IA32 and Compaq/DEC Alpha architectures.
Publication: Supporting NGS Pipelines in the cloud (22 April 2014)
The availability of workflow management systems and public cloud computing infrastructures have become a major breakthrough in the usage of computing resources for scientists.
Video: Discovering and Exploring Overlapping Community Structures in Large Networks (22 April 2014)
[Speaker: Junming Yin] Networks are ubiquitous in our life. Examples include social networks, computer networks, and biological networks, among others.
Project: Parser (22 April 2014)
A tool that analyze the Arabic text and generates the parse tree
Publication: Low-distance Surface Codes under Realistic Quantum Noise (22 April 2014)
We study the performance of distance-three surface code layouts under realistic multi-parameter noise models. We first calculate their thresholds under depolarizing noise.
Project: Colloquial to Arabic Converter (22 April 2014)
This tool converts the colloquial Arabic to modern standard Arabic.
Download: FetchClimate (21 April 2014)
FetchClimate provides ready access to complex geographical information including, but not limited to, climatological information. FetchClimate will choose the best data set for your query, and perform all the necessary regridding in space and time.
Download: FetchClimate Client (21 April 2014)
For a given geographic area and time interval, the FetchClimate client retrieves environmental parameters such as air temperature or precipitation.
Project: Deep Learning for Pronunciation Training and Evaluation (21 April 2014)
Computer Aided Language Learning (CALL)
Video: Cryptography Primer Session 3 – Integral Asymmetric Functions (18 April 2014)
[Speaker: Josh Benaloh] This will be the third of six cryptography primer sessions exploring the basics of modern cryptography.
Publication: Explicit Representation of Antonymy in Language Modeling (18 April 2014)
The word vectors learned by continuous space language models are known to have the property that the vectors of synonymous words have cosine similarities close to one. To date, however, the relation of antonymy has not been captured in these models.
Video: How Eye Tracking will Revolutionize Device Interaction (18 April 2014)
[Speaker: Dixon Cleveland] Perhaps the most important reason eye tracking will play an ever more crucial role in human computer interactions is that our eye activity is driven by subconscious processes in our brain.
Publication: The Thin Lines between Data Analysis and Surveillance: Reflections on a Research History (17 April 2014)
Where are the lines between ‘big data analytics’ and ‘surveillance’? As a researcher in the former—and an outspoken skeptic of the latter—I review my own research to examine how my own attempts to manage privacy in collecting and visualizing data have ...
News: Anticipating More from Cortana (17 April 2014)
The most efficient personal assistants anticipate your needs by learning about your habits, environment, and preferences. Microsoft Research thinks electronic personal assistants should do the same—naturally.
Video: Beyond voice recognition: Windows Phone's Cortana anticipates your needs (17 April 2014)
Cortana, the world’s first truly personal digital assistant, is available soon on Windows Phone 8.1.
Video: Floating Display: Visual Cues for Gestural Interactions (17 April 2014)
Many people are working on near-field user-interface devices that detect hover, gesture, and pose. But there is nothing in the space in front of a device to show the user what to do.
Video: Get to know Microsoft Research (17 April 2014)
A quick peek at what's new at Microsoft Research.
Video: HereHere NYC Provides Insight Into How Your Neighborhood Is Doing (17 April 2014)
HereHere NYC is a research project that enables neighborhoods to generate opinions based on public data.
Video: Holograph: 3-D spatiotemporal interactive data visualization (17 April 2014)
Holograph is an interactive, 3-D data-visualization research platform that can render static and dynamic data above or below the plane of the display using a variety of 3-D stereographic techniques.
Video: Immersive, Collaborative Data Visualization (17 April 2014)
This project uses head-mounted displays, Kinect skeletal tracking, a custom hardware controller, and a large display for the public to watch vicariously.
Video: MonoFusion: Scanning objects in real time with a single web camera (17 April 2014)
This project offers a method for creating 3-D scans of arbitrary environments in real time, utilizing only a single RGB camera as the input sensor. The camera could be one already available in a tablet or a phone, or it could be a cheap web camera.
Video: Planetary Predictions (17 April 2014)
Societies and governments around the world want to know how the biosphere is likely to change and what we can do to avoid or mitigate against it.
Video: Printing Interactivity: Customizable 3-D Printing (17 April 2014)
Presenting two new technologies that empower consumers to design and produce working physical devices customized to their particular needs: A highly interactive, touch-first 3-D printing app makes 3-D modeling accessible to a broad range of consumers.
Video: Quick Answers From Large Data (17 April 2014)
Tempe is an interactive system for exploring large data sets. It accelerates faster machine learning by facilitating quick, iterative feature engineering and data understanding.
Video: SurroundWeb: Spreading the Web to Multiple Screens (17 April 2014)
Projectors, tablets, and other devices, combined with depth cameras, enable applications to span multiple "screens." This work enables webpages to be experienced outside of your PC monitors to take advantage of all your devices in concert.
Video: ViiBoard: Vision-Enhanced Immersive Interaction (17 April 2014)
ViiBoard is a system for remote collaboration through a digital whiteboard (PPI) that gives participants an immersive, 3-D experience with enhanced touch capability.
Video: When Urban Air Quality Meets Big Data (17 April 2014)
Urban air quality -- the concentration of PM2.5 -- is of great importance in protecting human health.
Video: FetchClimate: a tutorial (17 April 2014)
[Speaker: sadia Ahmed] Sadia Ahmed explains how to use FetchClimate: a fast, free, intelligent climate information service that operates over the cloud to return exactly the information you need.
Video: Motion Estimation Revisited: An Estimation-Theoretic Approach (17 April 2014)
[Speaker: Rudolf Mester] The talk and the associated paper analyze some previously unexplored aspects of motion estimation that are fundamental both for discrete block matching as well as for differential ’optical flow’ approaches `a la Lucas-Kanade.
Video: Entity-Centric Search: Querying by Entities and for Entities (16 April 2014)
[Speaker: Mianwei Zhou] The immense scale of the Web has rendered itself as a huge repository storing information about various types of entities (e.g., persons, companies).
Publication: Saving Money While Polling with InterPoll using Power Analysis (15 April 2014)
Crowd-sourcing is increasingly being used for providing responses to polls and surveys on a large scale. Companies such as SurveyMonkey and Instant.
Publication: High Assurance Policy-Based Key Management at Low Cost (15 April 2014)
Past decade has witnessed the availability of Trusted Platform Modules (TPM) on commodity computers. While the most common use of TPM appears to be BitLocker on Windows OS, server class motherboards have not yet enjoyed a similar TPM deployment base.
Publication: Cryptographically Verified Design and Implementation of a Distributed Key Manager (15 April 2014)
We present DKM, a distributed key management system with a cryptographically verified code base. DKM implements a new data protection API. It manages keys and policies on behalf of groups of users that share data.
Publication: Science in the Cloud: Lessons from Three Years of Research Projects on Microsoft Azure (14 April 2014)
Microsoft Research is now in its fourth year of awarding Windows Azure cloud resources to the academic community. As of April 2014, over 200 research projects have started. In this paper we review the results of this effort to date.
Publication: On the power of controlled adiabatic evolutions (14 April 2014)
A major challenge facing adiabatic quantum computing is that algorithm design and error correction can be difficult for adiabatic quantum computing.
Project: NewsPad (13 April 2014)
NewsPad is a collaborative news editor designed to empower small communities to write articles collaboratively through: community sourcing, structured stories, and the ability to embed the story anywhere.