Research Tools: code, datasets, & models

LIQUi|〉 is a simulation platform developed by the Quantum Architectures and Computation team at Microsoft Research to aid in the exploration of quantum computation. LIQUi|〉 stands for “Language Integrated Quantum Operations”. A quantum operation is…

ReVerC (pronounced “reverse”) is a reversible circuit compiler which compiles a high-level, ml-like language to combinational reversible circuits. It is fully verified in the sense that the program and compiled circuit, when generated by ReVerC,…

Cluster Map displays clusters of related documents in an expressive image mosaic. Clusters can be arranged in a symmetric “spiral” layout or a more freeform “relational” layout, with cluster proximity in the latter case determined…

Attribute Slicer lets you filter a dataset on a given column by selecting attribute values of interest. The initial display is a helpful overview that lists the most common values first and shows the overall…

Time Brush lets you filter a time-based dataset by directly dragging or brushing over a time period of interest. The initial display is a helpful overview that shows the frequency of items in each pre-defined…

This data set consists of the tweet IDs collected for the propensity-score analysis of longitudinal social media messages posted by people who mention specific health, social and business domains. This data set accompanies the paper,…

Each file contains data from one of 21 volunteers who carried a GPS logger with them in the region of Seattle, Washington USA for approximately eight weeks in the fall of 2009. This set of…

The RoomAlive Toolkit enables creation of dynamic projection mapping experiences. This toolkit has been in internal use at Microsoft Research for several years and has been used in a variety of interactive projection mapping projects…

Timeline Storyteller is an expressive browser-based visual storytelling environment for presenting timelines. You can use Timeline Storyteller to present different aspects of your data using a palette of timeline representations, scales, and layouts, as well…

Source code for the CodeContracts tools for .NET Code Contracts provide a language-agnostic way to express coding assumptions in .NET programs.