Microsoft research mesh in Title/Summary
Microsoft Research Mesh Virtual WIFI
VirtualWiFi is a virtualization architecture for wireless LAN (WLAN) cards. It abstracts a single WLAN card to appear as multiple virtual WLAN cards to the user. The user can then configure each virtual card to connect to a different wireless network. Therefore, VirtualWiFi allows a user to simultaneously connect his machine to multiple wireless networks using just one WLAN card.
- Publisher: Microsoft Research
- Home page: research.microsoft.com
- Last updated: March 9th, 2008
Microsoft Research AutoCollage 2008
Microsoft Research AutoCollage is a great tool for creating photo collages. It is part of Microsoft Research, which has produced very good multimedia applications for automatic processing of pictures, like Photosynth. We see a window, where we can insert pictures by browsing a folder, and all you have to do is click the "Create" button.
- Publisher: Microsoft Research
- Home page: research.microsoft.com
- Last updated: January 16th, 2009
Microsoft Research Vcc
VCC is a mechanical verifier for concurrent C programs. VCC takes a C program, annotated with function specifications, data invariants, loop invariants, and ghost code, and tries to prove these annotations correct.VCC is a tool that proves correctness of annotated concurrent C programs or finds problems in them
- Publisher: Microsoft Research
- Home page: research.microsoft.com
- Last updated: May 22nd, 2012
Microsoft research mesh in Description
Z3-2.6
Z3 is a high-performance theorem prover being developed at Microsoft Research. Z3 supports linear real and integer arithmetic, fixed-size bit-vectors, extensional arrays, uninterpreted functions, and quantifiers. Z3 is integrated with a number of program analysis, testing, and verification tools from Microsoft Research.
- Publisher: Microsoft Research
- Home page: research.microsoft.com
- Last updated: November 11th, 2011
InkSeine
InkSeine is a prototype ink application from Microsoft Research that it is designed from the ground up to have a user interface uniquely tailored to pen input. The goal of the InkSeine project is to completely rethink the user interface for tablet computers.
- Publisher: Microsoft Research
- Home page: research.microsoft.com
- Last updated: June 2nd, 2009
Visualization Components
The Community Technologies group at Microsoft Research has developed a set of components for displaying data in .NET applications. Included in this package are: a treemap. A treemap is a rendering of hierarchical data as a set of nested boxes, where each box corresponds to one data element.
- Publisher: Microsoft Research
- Last updated: October 25th, 2011
MSBNX MSR Belief Network Tools
MSBNx is a component-based Windows application for creating, assessing, and evaluating Bayesian Networks, created at Microsoft Research. The application's installation module includes complete help files and sample networks. Bayesian Networks are encoded in an XML file format. The application and its components run on Windows 98, Windows 2000, and Windows XP.
- Publisher: ASI Group, Microsoft Research
- Home page: msbnx.azurewebsites.net
- Last updated: April 20th, 2008
Microsoft Research Project Colletta
Project Colletta is an extension of the Windows UI that supports lightweight management of the user's activities through tagging. By installing, copying, or otherwise using this software, you agree to be bound by the terms of its license. Free of charge.
- Publisher: Microsoft Research Ltd
- Home page: research.microsoft.com
- Last updated: November 18th, 2024
Additional Microsoft research mesh selection
Microsoft Research Cliplets
Microsoft Research Cliplets is an interactive app that gives users the power to create "Cliplets" -- a type of imagery that sits between stills and video, including imagery such as video textures and "cinemagraphs". The app provides a simple, yet expressive way to mix static and dynamic elements from a video clip.
- Publisher: Microsoft Corporation
- Home page: research.microsoft.com
- Last updated: July 3rd, 2012
Microsoft WorldWide Telescope
Microsoft WorldWide Telescope is a virtual telescope that lets you browse though the known universe. It can be used at your home, school, or even planetariums. The program provides a comprehensive set of features to help you create seamless displays on single-projector domes or complex, multi-projector domes.
- Publisher: Microsoft Research
- Home page: www.worldwidetelescope.org
- Last updated: August 12th, 2015
Microsoft Research Formula
FORMULA (Formal Modeling Using Logic Programming and Analysis) is a modern formal specification language targeting model-based development (MBD). It is based on algebraic data types (ADTs) and strongly-typed constraint logic programming (CLP), which support concise specifications of abstractions and model transformations
- Publisher: Microsoft Research
- Home page: research.microsoft.com
- Last updated: May 22nd, 2012
Kodu Game Lab
Create your own game based on the programming language specifically dedicated to generating levels, mechanics, and graphics. Multiple types of visual tools are available for creating and customizing applications for personal computers and the Xbox console line. Debugging features are present.
- Publisher: Microsoft Research
- Home page: www.kodugamelab.com
- Last updated: May 22nd, 2023
Chemistry Add-in for Word
The Chemistry Add-in for Word allows you to insert and modify chemical information (labels, formulas, 2-D depictions, etc.) from within Microsoft Office Word. Also, it allows you to store the chemical information and manipulate it in a semantically-rich manner.
- Publisher: Microsoft
- Last updated: August 10th, 2023
HD View
HD View is a simple and handy plug-in for Internet Explorer and Mozilla Firefox. It allows you to view and manipulate high-definition images. It supports even huge images of billions of pixels, including panoramic ones that cover very wide fields of view.
- Publisher: Microsoft Research
- Home page: research.microsoft.com
- Last updated: July 19th, 2009
Joulemeter
Joulemeter is a software tool that estimates the power consumption of your computer. It tracks computer resources, such as CPU utilization and screen brightness, and estimates power usage. Joulemeter can be used for gaining visibility into energy use and for making several power management and provisioning decisions in data centers, client computing, and software design.
- Publisher: Microsoft Research
- Home page: research.microsoft.com
- Last updated: October 4th, 2011
Microsoft Portrait
Microsoft Portrait is very low bit rate video conferencing software supporting MSN Messenger and Internet Locator Service (ILS) on PCs, Pocket PCs and Handheld PCs. It runs on local area networks, dialup networks and even wireless networks with bandwidths as low as 9.6 kilobits/second.
- Publisher: Microsoft Research China
- Last updated: March 30th, 2012
Microsoft NodeXL Excel Template
NodeXL is a template for Excel 2007 and 2010 that lets you enter a network edge list, click a button, and see the network graph, all in the Excel window. It allows you to customize the graph’s appearance, zoom, scale and pan the graph, filter vertices and edges, alter the graph’s layout, find clusters of related vertices, calculate a set of graph metrics.
- Publisher: Microsoft Research
- Last updated: October 20th, 2011
NoReplyAll Outlook Add-In
NoReplyAll Outlook Add-In is a program that adds a few buttons to the Outlook ribbon to prevent people from replying to all the recipients of your message or forwarding it. It includes a check for common email errors, such as omitting attachments or subject lines.
- Publisher: Microsoft Research Ltd
- Last updated: July 9th, 2013