Our research
Content type
+
Downloads (424)
+
Events (356)
 
Groups (147)
+
News (2469)
 
People (826)
 
Projects (1017)
+
Publications (11443)
+
Videos (4866)
Labs
Research areas
Algorithms and theory47205 (2)
Communication and collaboration47188 (6)
Computational linguistics47189 (13)
Computational sciences47190 (23)
Computer systems and networking47191 (25)
Computer vision208594 (0)
Data mining and data management208595 (0)
Economics and computation47192 (0)
Education47193 (2)
Gaming47194 (1)
Graphics and multimedia47195 (17)
Hardware and devices47196 (8)
Health and well-being47197 (13)
Human-computer interaction47198 (21)
Machine learning and intelligence47200 (14)
Mobile computing208596 (0)
Quantum computing208597 (0)
Search, information retrieval, and knowledge management47199 (22)
Security and privacy47202 (9)
Social media208598 (0)
Social sciences47203 (2)
Software development, programming principles, tools, and languages47204 (26)
Speech recognition, synthesis, and dialog systems208599 (0)
Technology for emerging markets208600 (0)
1–25 of 424
Sort
Show 25 | 50 | 100
1234567Next 
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. In our research, we carried out extensive user studies using Amazon Mechanical Turk as part of which we measured the adoption and changes in opinions of the participants on a variety of topics such as car and soda brands, green energy, organic food etc. The experiments comprised of...
Details
Date: 23 April 2014
Version: 1.0
Size: 0.06 MB
Type: Download
A decomposition-based parallel SAT solver that decomposes SAT formulas efficiently and reconciles solutions between partitions by means of propositional (Craig) interpolation.
Details
Date: 23 April 2014
Version: 1.0
Size: 0.15 MB
Type: Download
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. It will return a best guess, uncertainty, and provenance for your query and display the results on the map for visual exploration.
Details
Date: 21 April 2014
Version: 2.0
Size: 89.56 MB
Type: Download
For a given geographic area and time interval, the FetchClimate client retrieves environmental parameters such as air temperature or precipitation. It can be used as a standalone command-line tool or can be linked to your program in C, C#, or another Microsoft .NET language.
Details
Date: 21 April 2014
Version: 2.0
Size: 3.40 MB
Type: Download
Smart selection is the task of predicting the span of text that a user intended to select after they touched on a single word on a touch-enabled device. The MSR Smart Selection Dataset consists of crowd-sourced smart selection annotations on publicly available data. Specifically, we start from book from Wikibooks.org, which consists of publicly available textbooks. We randomly sampled 100 textbooks from Wikibooks.org and further randomly sampled one paragraph from each textbook. For each paragraph, we...
Details
Date: 10 April 2014
Version: 1.0
Size: 10.02 MB
Type: Download
With Blink for Windows Phone 8, you'll never miss the best shot or the action. Blink captures a burst of images before you even press the shutter, and continues to capture pictures after you've taken your shot. Save and share the shot you like best. And better yet, save a short animated Blink and share it to Facebook, Twitter, OneDrive or Blink.so.cl.
Details
Date: 20 March 2014
Version: 2.4.0.0
Type: Windows Phone app
Sho is a playground for data: a set of libraries and an interactive environment for rapid prototyping, data analysis, and visualization. It consists of libraries for math and visualization that can be accessed from any .NET language, as well as an interactive console and other modules built in IronPython for data manipulation, visualization, and analysis of arbitrary .NET objects and data structures. This version targets IronPython 2.6, which is required to use Sho with the Python Tools for Visual Studio.
Details
Date: 13 March 2014
Version: 2.1
Size: 79.32 MB
Type: Download
This download contains Magma files that compute scalar multiplications on Jacobians of genus 2 curves or on the associated Kummer surface. This accompanies the EuroCrypt 2013 paper by Bos, Costello, Hisil and Lauter, the full version of which can be found here: http://eprint.iacr.org/2012/670.
Details
Date: 12 March 2014
Version: 1.0
Size: 0.01 MB
Type: Download
This data includes a sequence of 100 images captured from 8 cameras showing the breakdancing and ballet scenes from the paper “High-quality video view interpolation using a layered representation”, Zitnick et al., SIGGRAPH 2004. Depth maps, computed from stereo, are also included for each camera along with the calibration parameters.
Details
Date: 11 March 2014
Version: 1.0
Size: 721.23 MB
Type: Download
FaST-LMM-Py extends the capabilities of FaST-LMM using Python. These features include capabilities such as FaST-LMM-SELECT which selects SNPs for FaST-LMM, FaST-LMM-SET which is a new approach for set tests that can handle confounding, and FaST-LMM-EWASher which performs epigenome-wide association analysis in the presence of confounders such as cell-type heterogeneity.
Details
Date: 27 February 2014
Version: 1.02
Size: 95.06 MB
Type: Download
ZooTracer is a desktop tool that can be used to trace animal movement in video.
Details
Date: 24 February 2014
Version: 1.0
Size: 0.37 MB
Type: Download
This open-source tool helps researchers document, manage, and archive their data. It assists with data management and preservation, supports archiving and publishing of tabular data, allows repository administrators to upload or create required and optional metadata fields using preferred standards, and ensures that data is valid for downstream data processing.
Details
Date: 24 February 2014
Version: 2
Type: Web application or service
This is an R version of FaST-LMM-EWASher, which performs epigenome-wide association analysis in the presence of confounders such as cell-type heterogeneity. A python version of this software is also available as part of Fast-LMM-Py. This software is associated with the paper: Epigenome-wide association studies without the need for cell-type composition. Nature Methods 2014, doi:10.1038/NMETH.2815.
Details
Date: 19 February 2014
Version: 1.0
Size: 62.11 MB
Type: Download
Bing Dictionary Windows 8 app is an English-Chinese bilingual dictionary published by Microsoft. It supports both local / online English-Chinese bidirectional lookup. Particularly nice features include Smart Index, Search Suggestions and more.
Details
Date: 17 February 2014
Version: 3.0.0
Type: Windows 8 app
DNA Strand Displacement (DSD) is a programming language for designing and simulating computational circuits made of DNA, in which strand displacement is the main computational mechanism.
Details
Date: 14 February 2014
Version: 0.41
Type: Web application or service
The MSR Continuous-Space Text Representations (MSRCSTR) site demonstrates several vector space models developed at Microsoft Research. You can test these models by entering word pairs or text chunks. Programmatically accessing these models can be done through a WCF Web service. Some models are available for download as well.
Details
Date: 6 February 2014
Version: 1
Type: Azure data or application
The Scalable Hyperlink Store is a specialized "database" for the web graph. SHS maintains the web graph in main memory, distributed over many machines.
Details
Date: 5 February 2014
Version: 1.0.1
Size: 1.19 MB
Type: Download
This dataset contains clip art related to the academic paper Bringing Semantics Into Focus Using Visual Abstraction.
Details
Date: 5 February 2014
Version: 1.1
Size: 783.05 MB
Type: Download
This download contains Magma files that demonstrate how to compute scalar multiplications on the x-line of an elliptic curve using endomorphisms. This accompanies the EuroCrypt 2014 paper by Costello, Hisil and Smith, the full version of which can be found here: http://eprint.iacr.org/2013/692.
Details
Date: 24 January 2014
Version: 1.0
Size: 0.01 MB
Type: Download
In addition to physical TPM devices, TSS.Net can also be connected to a TPM simulator to enable application development and debugging on platforms that do not have a TPM 2.0 device. The connection to the simulator is over a TCP/IP socket so the simulator may be running on a remote machine or in another process on the same machine. Below you will find a link to download the TPM2 Simulator binary for use with the TSS.Net TPM2 library.
Details
Date: 16 January 2014
Version: 1.0
Size: 0.19 MB
Type: Download
Dafny is a programming language with built-in specification constructs. The Dafny static program verifier can be used to verify the functional correctness of programs
Details
Date: 15 January 2014
Version: 1.8.0
Type: CodePlex project
NodeXL is an interactive network visualization and analysis tool. With NodeXL, you can easily manipulate graph data, perform advanced network analysis, and explore networks visually—all within the familiar environment of Microsoft Excel.
Details
Date: 14 January 2014
Version: 1.0.1.251
Type: CodePlex project
This rich visualization environment functions as a virtual telescope, bringing together imagery from the best ground- and space-based telescopes to enable seamless, guided explorations of the universe.
Details
Date: 6 January 2014
Version: 5
Type: Web application or service
An application to extract a 5-second looping video from a non-looping input video. Also a viewer application to enable both interactive control over the level of dynamism of the output video, as well as manual editing of which regions animate or are static.
Details
Date: 10 December 2013
Version: 2.0
Size: 61.26 MB
Type: Download
There has been an explosion in the size of modern day training sets with the advent of big data, cheap crowdsourcing and other techniques for gathering labelled information efficiently. This presents a significant challenge for non-linear SVMs since their cost of prediction can grow linearly with the size of the training set. Thus, even though non-linear SVMs have defined the state-of-the-art on multiple benchmark tasks, their use in real world applications remains limited. We develop a Local Deep...
Details
Date: 26 November 2013
Version: 1.0
Size: 1.86 MB
Type: Download
1–25 of 424
Sort
Show 25 | 50 | 100
1234567Next 
> Our research