http://research.microsoft.com/apps/dp/dl/downloads.aspx Get the latest downloads from Microsoft Research. © 2013 Microsoft Corporation. All rights reserved. en-US Mon, 06 May 2013 17:48:25 GMT Mon, 06 May 2013 17:48:25 GMT 1440 Verifiable computation schemes enable a client to outsource the computation of a function F on various inputs to an untrusted worker, and then verify the correctness of the returned results. Critically, the outsourcing and verification procedures must be more efficient than performing the computation itself. The code included here implements the Pinocchio toolchain, as described in "Pinocchio: Nearly Practical Verifiable Computation" at the IEEE Symposium on Security and Privacy, 2013. http://research.microsoft.com/en-us/downloads/d66631b4-0fe2-46e8-a0ed-3e9b6f4dd14d/default.aspx Wed, 15 May 2013 19:27:58 GMT F* extends core-ML with a type system based on dependent refinements, higher kinds and affine types. It enables verification of higher-order stateful programs with automation via SMT solving. http://research.microsoft.com/en-us/downloads/e9089b8e-8871-46a8-987b-75effdcf70e6/default.aspx Mon, 29 Apr 2013 21:03:03 GMT Microsoft Research Mood Board is a Windows application that combines image search, image collection, and sketching to support creative activities. http://research.microsoft.com/en-us/downloads/1d38121c-ee72-488d-846d-8a396541eff6/default.aspx Wed, 24 Apr 2013 03:53:10 GMT Microsoft Invisible Computing consists of compact middleware for constructing embedded web services applications and a small component based Real-Time Operating System with TCP/IP networking to make middleware run straight on the metal on several embedded processors. The goal is to make it easy to build custom smart devices and consumer electronics, especially battery operated; and to support research in invisible computing, operating systems, networking, ubiquitous computing, sensor nets, distributed systems, object-oriented design, and wireless communication. http://research.microsoft.com/en-us/downloads/e0472620-0c17-4c17-897b-3fb7f91a5157/default.aspx Tue, 23 Apr 2013 13:47:51 GMT Microsoft Invisible Computing consists of compact middleware for constructing embedded web services applications and a small component based Real-Time Operating System with TCP/IP networking to make middleware run straight on the metal on several embedded processors. The goal is to make it easy to build custom smart devices and consumer electronics, especially battery operated; and to support research in invisible computing, operating systems, networking, ubiquitous computing, sensor nets, distributed systems, object-oriented design, and wireless communication. http://research.microsoft.com/en-us/downloads/a3a67a5e-b820-4755-9877-ca9c3fe21f77/default.aspx Mon, 22 Apr 2013 23:40:35 GMT Infer.NET is a framework for running Bayesian inference in graphical models. http://research.microsoft.com/en-us/downloads/710cd61f-3587-44f4-b12d-a2c75722c4f6/default.aspx Mon, 22 Apr 2013 22:41:25 GMT FaST-LMM (Factored Spectrally Transformed Linear Mixed Models) is a program for performing genome-wide association studies (GWAS) on large data sets. It runs on both Windows and Linux system, and has been tested on data sets with over 120,000 individuals. http://research.microsoft.com/en-us/downloads/aa90ccfb-b2a8-4872-ba00-32419913ca14/default.aspx Fri, 19 Apr 2013 19:16:21 GMT Download Windows Binary files Only - FaST-LMM (Factored Spectrally Transformed Linear Mixed Models) is a program for performing genome-wide association studies (GWAS) on large data sets. It runs on both Windows and Linux system, and has been tested on data sets with over 120,000 individuals. http://research.microsoft.com/en-us/downloads/e27c4f52-2050-4346-a96d-0bf88666ed68/default.aspx Fri, 19 Apr 2013 19:15:20 GMT Download Linux Binary files Only - FaST-LMM (Factored Spectrally Transformed Linear Mixed Models) is a program for performing genome-wide association studies (GWAS) on large data sets. It runs on both Windows and Linux system, and has been tested on data sets with over 120,000 individuals. http://research.microsoft.com/en-us/downloads/30260656-0f99-4ae0-b7ce-08157b50d4d9/default.aspx Fri, 19 Apr 2013 19:13:26 GMT Faster is not always better. With the Mañana Mail add-in for Outlook, you can send an e-mail at 9am with a single click, and you can edit or cancel it up until that point. It also gives you about ten seconds to undo sending any email. Research shows that important emails are often not urgent. Give yourself the chance to think it over, and let the recipients read it carefully at work instead of while they are distracted at dinner. http://research.microsoft.com/en-us/downloads/51921c43-790c-439c-bed4-b1823f937afd/default.aspx Wed, 17 Apr 2013 02:11:28 GMT GeoS is a tool for semi-automated segmentation of 3D CT Scan imagery and other modalities. http://research.microsoft.com/en-us/downloads/10698b08-42fe-46cb-b6fb-d4ef261906b1/default.aspx Wed, 17 Apr 2013 01:30:09 GMT A file-formats plug-in for the Mac version of Photoshop that enables the loading and saving of JPEGXR images. http://research.microsoft.com/en-us/downloads/2436bcaf-41b9-40b0-ac21-d8a3642ad399/default.aspx Tue, 09 Apr 2013 01:51:36 GMT A file-formats plug-in for Photoshop that enables the loading and saving of images in the JPEGXR format. http://research.microsoft.com/en-us/downloads/ce53bc9c-a1fa-4e1b-9c27-d1be5fb79e0a/default.aspx Tue, 09 Apr 2013 01:43:17 GMT This download contains a portion of the data for the "Dialog State Tracking Challenge" (DSTC). Specifically, it contains data and labels for the "test3" set. The source data is based on the "Spoken Dialog Challenge" corpus, published by Carnegie Mellon University, with labels and some transcriptions added by Microsoft. For more information about the DSTC, including pointers to the other datasets, see http://research.microsoft.com/en-us/events/dstc/ http://research.microsoft.com/en-us/downloads/65a3c762-df08-4acf-822d-14615694b2a5/default.aspx Fri, 05 Apr 2013 04:28:48 GMT These are Python scripts that facilitate the dialog state tracking challenge (DSTC), a research-community task for accurately understanding what a person wants when talking to a machine. For more information, see http://research.microsoft.com/en-us/events/dstc/ http://research.microsoft.com/en-us/downloads/b727b4f8-e500-44a9-97e3-4537cd579bd3/default.aspx Fri, 22 Mar 2013 02:58:01 GMT This download includes the first piece of the Training Dataset (z04) for the MSR-Bing Challenge on Image Retrieval. http://research.microsoft.com/en-us/downloads/a718cd11-a8c1-40ff-9163-f933ecac184c/default.aspx Thu, 21 Mar 2013 23:26:10 GMT This download includes the fifth piece of the Training Dataset (z05) for the MSR-Bing Challenge on Image Retrieval. http://research.microsoft.com/en-us/downloads/589ae586-d94f-4a3b-931e-38b2e4b3432d/default.aspx Thu, 21 Mar 2013 15:48:35 GMT This download includes the fourth piece of the Training Dataset (z04) for the MSR-Bing Challenge on Image Retrieval. http://research.microsoft.com/en-us/downloads/daf59535-cac9-442a-b0c0-d84dc82f21e3/default.aspx Thu, 21 Mar 2013 15:47:16 GMT This download includes the third piece of the Training Dataset (z03) for the MSR-Bing Challenge on Image Retrieval. http://research.microsoft.com/en-us/downloads/d8216afa-0131-4f2b-b5e7-6ca5a961a323/default.aspx Thu, 21 Mar 2013 15:46:12 GMT This download includes the second piece of the Training Dataset (z02) for the MSR-Bing Challenge on Image Retrieval. http://research.microsoft.com/en-us/downloads/7f929139-040c-47c3-87bc-328f0bf71dcb/default.aspx Thu, 21 Mar 2013 15:45:09 GMT