http://research.microsoft.com/apps/dp/dl/downloads.aspx Get the latest downloads from Microsoft Research. © 2009 Microsoft Corporation. All rights reserved. en-US Sun, 08 Nov 2009 08:00:00 GMT 1440 Project Trident: A Scientific Workflow Workbench is a set of tools—based on the Windows Workflow Foundation—that addresses scientists’ need for a flexible, powerful way to analyze large, diverse datasets. It provides graphical tools for creating, running, managing, and sharing workflows and can run workflows on a Windows HPC Server 2008 cluster. Project Trident also offers integration with myExperiment, an external workflow collaboration portal. Trident Workflow Application—available in Windows Presentation Foundation and Silverlight versions—provides a simple way to run Trident workflows. The Silverlight version enables users to run workflows remotely using a Silverlight-enabled browser, available for a variety of operating systems. Project Trident also provides a framework to add runtime services and comes with services such as provenance, workflow monitoring, and workflow-versioning support. Developers can extend Trident by implementing custom components to handle specialized processing requirements. Components include a Word 2007 add-in that runs workflows, stores them in a Word document, and reviews or changes parameters to rerun the workflows. Workflow inputs and outputs easily can be inserted into a Word document for reproducible research. A Trident Registry maintains libraries of workflows and activities, workflow inputs and outputs, workflow instances, and associated data products, and a security model supports users and roles; each user can have a personal workflow library and can share workflows with other users. And a Management Studio manages the Trident Registry and workflow execution, schedules workflows, and monitors workflow executions locally or remotely. Project Trident requires Microsoft .NET Framework 3.5 SP1 and either SQL Server Express, SQL Server 2005, or SQL Server 2008. The tool set also will support SQL Server Data Services when they become publically available. http://research.microsoft.com/en-us/downloads/f8d37ecb-dfed-4a3d-840a-7d1ccc6b60d4/default.aspx Fri, 06 Nov 2009 08:05:26 GMT Z3 is an SMT solver that combines several theory solvers into a combined framework. It can be used to prove theorems and find counter-examples for non-theorems. http://research.microsoft.com/en-us/downloads/0a7db466-c2d7-4c51-8246-07e25900c7e7/default.aspx Sat, 31 Oct 2009 02:44:26 GMT The Microsoft Research Information Centre (RIC) Framework is a Web-based platform for research project management and scientific collaboration. It extends the Microsoft SharePoint 2007 platform to provide a customized project space that supports the needs of scientific researchers. RIC Framework provides a standard set of features that will be useful to most projects, including a basic framework and tools for managing a project through its life cycle. To support the detailed requirement of different types of research, or even of specific research projects, you can extend RIC Framework to provide a customized solution. http://research.microsoft.com/en-us/downloads/cc23fe44-a709-439a-86ff-fe4ec272ac3e/default.aspx Tue, 27 Oct 2009 00:45:02 GMT This download installs the runtime and static checking tools for managed contracts along with Visual Studio integration. The tools enable runtime and static checking of managed contracts. http://research.microsoft.com/en-us/downloads/4ed7dd5f-490b-489e-8ca8-109324279968/default.aspx Sat, 24 Oct 2009 19:03:22 GMT This library provides highly optimized versions of primitive functions such as repmat, set intersection, and gammaln. It provides efficient random number generators and evaluation of common probability densities. It provides routines for counting floating-point operations (FLOPS), useful for benchmarking algorithms. There are also some useful utilities such as filename globbing and parsing of variable-length argument lists. http://research.microsoft.com/en-us/downloads/db1653f0-1308-4b45-b358-d8e1011385a0/default.aspx Thu, 15 Oct 2009 17:26:22 GMT Pex (Program EXploration) is a white-box test generation tool. Given a hand-written parameterized unit test, Pex analyzes the code to determine relevant test inputs fully automatically. The result is a traditional unit test suite with high code coverage. http://research.microsoft.com/en-us/downloads/d2279651-851f-4d7a-bf05-16fd7eb26559/default.aspx Wed, 14 Oct 2009 18:33:11 GMT F7 is an enhanced type checker for the F# programming language. F7 supports static checking of properties expressed with refinement types. Our motivation is to check various security properties of F# implementation code by typing. http://research.microsoft.com/en-us/downloads/c0c4ed53-cfd8-4b9c-b780-74946bd1337e/default.aspx Tue, 13 Oct 2009 16:58:10 GMT The goal of SIGMA is to provide a group of parallel, machine-learning functionalities that can meet the requirements of research work and applications typically with large-scale data or features. The tool kit includes, but is not limited to, classification, clustering, ranking, and statistical analysis, and it makes them run on single multicore machine or on hundreds of machines with thousands of CPU cores running in parallel. We also provide an SDK for researchers and developers to devise their own algorithms and accumulate them into the tool kit. http://research.microsoft.com/en-us/downloads/19f63ff3-06c7-4fa9-8ee0-35abffe0e5be/default.aspx Thu, 17 Sep 2009 08:34:07 GMT Infer.NET is a .NET framework for machine learning. It provides state-of-the-art message-passing algorithms and statistical routines for performing Bayesian inference. It has applications in a wide variety of domains, including information retrieval, bioinformatics, epidemiology, vision, and many others. http://research.microsoft.com/en-us/downloads/0382e633-8702-4130-a2c5-14004be93896/default.aspx Fri, 04 Sep 2009 13:03:05 GMT D* is a program for efficiently computing symbolic derivatives. This release includes source code tutorials showing basic D* usage, source code for Lagrangian dynamics, and source code for a simple geometric modeler. This version has a new linear time dynamics algorithm which is much faster than the algorithm used in previous releases, especially for systems with many degrees of freedom. The FAQ has been expanded with more details on techniques for optimizing performance. http://research.microsoft.com/en-us/downloads/4714703d-782c-4e37-830d-0e3b7662f743/default.aspx Tue, 01 Sep 2009 21:27:48 GMT Privacy Integrated Queries (PINQ) is a LINQ-like API for writing programs against sensitive data sets, while providing differential privacy guarantees for the underlying records. This first release provides the PINQ infrastructure, several example data analysis applications, and should be suitable for prototyping many differentially-private data analyses. http://research.microsoft.com/en-us/downloads/73099525-fd8d-4966-9b93-574e6023147f/default.aspx Tue, 18 Aug 2009 17:10:15 GMT The Fine compiler implements a type system that enables the enforcement of rich, stateful authorization and information-flow policies to be verified. Our compilation technique produces verifiable target code in a language called DCIL, an extension of CIL, the language of the .NET runtime. Code consumers can check DCIL target programs using a syntactic byte-code verifier to establish the security of the code. http://research.microsoft.com/en-us/downloads/2ff9af1d-43ec-422a-aa22-c9f8d07f0af8/default.aspx Fri, 14 Aug 2009 17:43:17 GMT This code extracts the separating triangulated surface from binary volumes, such as those obtained by 3-D image-segmentation algorithms. The algorithm is described in “Surface Extraction from Binary Volumes with Higher-Order Smoothness” (MSR-TR-2009-31), by Victor Lempitsky. http://research.microsoft.com/en-us/downloads/2425175d-b35c-44ac-abfd-c9829c9cc212/default.aspx Thu, 13 Aug 2009 15:40:59 GMT Use this learning infrastructure to interface with the “Civilization IV” SDK and game to run and evaluate different reinforcement-learning algorithms and learn AI strategies. The infrastructure supports simple reinforcement-learning algorithms, such as Q-learning, as well as the required instructions on implementing new algorithms and evaluating their performance. http://research.microsoft.com/en-us/downloads/2aae21f8-3d2a-4926-9208-167df090b0cf/default.aspx Tue, 04 Aug 2009 16:21:49 GMT Lucene works on top of an abstract store object called Directory. There are several Directory objects, including FSDirectory, for file systems, and RAMDirectory, for in-memory store. Azure Library for Lucene.Net implements a smart blob-storage Directory object called AzureDirectory which enables the use of Lucene.NET on top of Azure Blob Storage. AzureDirectory automatically creates a local cache of blobs and intelligently auto-uploads them on the fly. http://research.microsoft.com/en-us/downloads/523a69e3-cabe-43db-a711-3f310884762f/default.aspx Tue, 28 Jul 2009 21:24:31 GMT Our library can support basic features for site analysis, such as site-map building, forum-page structuralization, URL-pattern generation, and page random sampling. http://research.microsoft.com/en-us/downloads/58e8953e-3626-4994-bf95-19039e978223/default.aspx Mon, 27 Jul 2009 17:43:37 GMT This is a data set used for human action-detection experiments. It consists of a number of video sequences we have recorded. http://research.microsoft.com/en-us/downloads/fbf24c35-a93e-4d22-a5fe-bc08f1c3315e/default.aspx Sat, 25 Jul 2009 00:15:04 GMT This research code is implementation of the scheme proposed in our CVPR paper “Active Learning for Large Multi-Class Problems.” This is a MATLAB prototype that researchers will find useful for comparison and benchmarking. http://research.microsoft.com/en-us/downloads/16764958-77f9-4d36-8fdb-5131fb150f69/default.aspx Tue, 21 Jul 2009 15:47:42 GMT PhyloDet is a scalable tree visualization that enables biologists to visualize multiple traits or attributes mapped to large evolutionary trees with thousands of leaf nodes representing the species. It also preserves branch lengths that indicate the genetic similarity between two species. PhyloDet is interactive, enabling users to set any node of the tree as the root and to show or hide any branches without re-layout of the tree. PhyloDet enables biologists to visualize complex interactions and how they relate to the evolutionary history of the species. http://research.microsoft.com/en-us/downloads/f84bdfe4-5d1e-428f-93b4-d5fdcaf915e7/default.aspx Thu, 16 Jul 2009 16:19:08 GMT With HD View, you can view and interact with very large images on the Web. HD View supports smooth panning and zooming, as well as appropriate viewing perspectives as you zoom in and out. HD View also makes creating and hosting your own HD View images easy. HD View is available as a plug-in for Windows-based browsers, including Internet Explorer and Firefox. http://research.microsoft.com/en-us/downloads/63888522-375b-49b5-a8a0-5cb308deb5c5/default.aspx Tue, 14 Jul 2009 19:22:57 GMT