http://research.microsoft.com/apps/dp/dl/downloads.aspx Get the latest downloads from Microsoft Research. © 2012 Microsoft Corporation. All rights reserved. en-US Wed, 01 Feb 2012 06:49:16 GMT 1440 Time Series Foundation (TSF) is an open, .NET platform for exploring and prototyping new algorithms in time series analysis and forecasting. TSF is based on state space model methodology that includes all types of exponential smoothing, some autoregressive algorithms, and innovative algorithms for event detection and calendar event impact prediction. TSF relies on Excel charting and presentation APIs by implementing an Excel interop layer. Numerical and graphical results of time series analysis and forecasting can be put in programmatically generated workbooks with the help of this layer. TSF also offers an Excel add-in that exposes a large subset of the platform's functionality through the Excel ribbon UI. http://research.microsoft.com/en-us/downloads/d599b5d2-5a99-4ee5-8c04-c180eb9044d9/default.aspx Thu, 26 Jan 2012 18:59:27 GMT 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 and an interactive console and other modules built in IronPython for data manipulation, visualization, and analysis of arbitrary .NET objects and data structures. http://research.microsoft.com/en-us/downloads/bc38771b-dc48-475b-8d18-7fe87e1bc2a1/default.aspx Thu, 26 Jan 2012 01:04:32 GMT This module computes edge-foci interest points and Binary Coherent Edge (BiCE) descriptors on input images. http://research.microsoft.com/en-us/downloads/ae6ab93a-4e17-46b9-a1e4-907aeb64d1e5/default.aspx Tue, 24 Jan 2012 21:23:05 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, 23 Jan 2012 23:49:30 GMT An integrated development environment for writing and checking TLA+ specifications. http://research.microsoft.com/en-us/downloads/1ad1d204-3a9e-4d8e-ad52-5809ef1b0b76/default.aspx Fri, 20 Jan 2012 19:06:57 GMT An integrated development environment for writing and checking TLA+ specifications. http://research.microsoft.com/en-us/downloads/28ff4ee7-3667-46fe-85f7-0a22af7c9dca/default.aspx Fri, 20 Jan 2012 19:05:35 GMT An integrated development environment for writing and checking TLA+ specifications. http://research.microsoft.com/en-us/downloads/0a425fe1-5386-4df7-8f24-55fe59de3bda/default.aspx Fri, 20 Jan 2012 19:02:47 GMT An integrated development environment for writing and checking TLA+ specifications. http://research.microsoft.com/en-us/downloads/a22201dc-2717-423c-b328-13a8feedfdbb/default.aspx Fri, 20 Jan 2012 19:00:37 GMT An integrated development environment for writing and checking TLA+ specifications. http://research.microsoft.com/en-us/downloads/c9347c9a-41b1-46b4-895e-00ff1987ceb7/default.aspx Fri, 20 Jan 2012 18:59:02 GMT An integrated development environment for writing and checking TLA+ specifications. http://research.microsoft.com/en-us/downloads/717fda8b-8396-42f5-bf45-e3ec42932d36/default.aspx Fri, 20 Jan 2012 18:57:16 GMT The TLA+ tool kit contains a) a parser and syntax checker for TLA+ specifications; b) a model checker and simulator for a subclass of "executable" TLA+ specifications; c) a program for typesetting TLA+ specifications; and d) a +Cal to TLA+ translator. http://research.microsoft.com/en-us/downloads/41b4a0aa-5fad-4118-916a-45ed9fd48bf0/default.aspx Fri, 20 Jan 2012 18:49:20 GMT The primary function of this add-in is to add a few buttons to the Outlook ribbon to prevent people from replying to all the recipients of your message or forwarding it. The add-in uses a facility built into Outlook and Exchange that is more lightweight than information-rights management but is not exposed in the existing UI. The add-in also includes a check for common email errors, such as omitting attachments or subject lines. http://research.microsoft.com/en-us/downloads/60860f41-88ab-4bb4-8104-765feca9cfed/default.aspx Tue, 17 Jan 2012 17:45:35 GMT The Scientific Data-Set library makes it easy for .NET developers to read, write, and share scalars, vectors, matrices, and multidimensional grids common in scientific modeling. It supports CSV, NetCDF, and other file formats. http://research.microsoft.com/en-us/downloads/ccf905f6-34c6-4845-892e-a5715a508fa3/default.aspx Wed, 28 Dec 2011 16:14:57 GMT 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.7, which is required to use Sho with the Python Tools for Visual Studio. http://research.microsoft.com/en-us/downloads/19418d96-6e47-440f-b70d-9ad5c93a79b9/default.aspx Thu, 15 Dec 2011 21:06:24 GMT Filzbach is a flexible, fast, robust, parameter-estimation engine that enables you to parameterize arbitrary, non-linear, parameter-rich models—of the kind that are necessary in biological sciences, for example--against multiple, heterogeneous data sets. Filzbach supports Bayesian parameter estimation, maximum-likelihood analysis, priors, latents, hierarchies, error propagation, and model selection. The Filzbach package can be used with Visual Studio 2010 or Visual Studio 2010 Express. http://research.microsoft.com/en-us/downloads/08e27c01-55eb-45ce-aa26-6882412efee3/default.aspx Tue, 13 Dec 2011 15:42:48 GMT This tool has been developed to assist readers of the paper “Explaining spatiotemporal dynamics in lambda-omega reaction-diffusion equations using absolute stability spectra of wavetrains”—written by Matthew J. Smith, Jens D. M. Rademacher, and Jonathan A. Sherratt and submitted to “Physica D: Nonlinear Phenomena”—in understanding the numerical dynamics illustrated and to encourage readers to experiment with changes to boundary conditions and parameter values. http://research.microsoft.com/en-us/downloads/e54a18f6-a14e-4745-aa3f-269824733494/default.aspx Tue, 13 Dec 2011 12:31:34 GMT Zentity 2.1 includes a new Resource Manager web user interface that enables users to query the database, review and update records, and create and edit relationships between items that are stored in Zentity. The Resource Manager will work with custom data models and gives users the ability to save searches for later use. Zentity 2.1 also offers an option to install a localized Spanish-language version of the software. http://research.microsoft.com/en-us/downloads/301a9647-1559-42dc-b8e5-96c9b3c6442e/default.aspx Tue, 13 Dec 2011 01:37:23 GMT Holmes is an automated debugging and failure-analysis tool that uses statistical analysis of code-coverage data to identify the most likely cause of test failures. Holmes uses a custom data-collection tool to amass detailed path coverage during testing. The tool analyzes this coverage data to find paths that strongly correlate with failure. Holmes can be used to select and analyze a set of test runs, to navigate to the most likely causes of test failures in source code, to set break points, and to re-run specific failing tests. This release of Holmes integrates with Visual Studio 2008 and NUnit. http://research.microsoft.com/en-us/downloads/4a058264-7d64-4988-aa40-a5b03f4e5254/default.aspx Thu, 01 Dec 2011 09:25:44 GMT Excel Cloud Data Analytics is a Microsoft Excel add-in that enables users to execute a variety of data-centric tasks on Windows Azure through a custom Ribbon in Excel. This add-in can be used to connect to data stored in the Windows Azure cloud and can be extended to connect to a variety of other data sources. It also provides a general framework in which the user can create data-analytics methods and run them in Windows Azure. The current code base supports the execution in Windows Azure via built-in access to Daytona, an iterative MapReduce runtime for Windows Azure. Using Excel Cloud Data Analytics, users can upload data to Windows Azure, select and run registered data-analysis algorithms in the cloud through Windows Azure, monitor the execution of the data analysis, and retrieve results for display or further processing. http://research.microsoft.com/en-us/downloads/202a1f84-6c54-478c-9b6e-ac03a8e7f072/default.aspx Tue, 29 Nov 2011 19:16:53 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, 29 Nov 2011 15:32:46 GMT