Microsoft research formula modeling in Title/Summary

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

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 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 formula modeling 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
• Last updated: November 11th, 2011

Formula Builder for Microsoft Word - Basic Edition

Formula Builder for Microsoft Word - Basic Edition Enter Formulas Directly in Microsoft Word! Formula Builder is an Add-in for Microsoft Word that provides a simple, uncomplicated way to enter formulas directly in any new or existing Word document. Formula Builder was designed by a CPA who understands the time-saving benefits that can be achieved by entering formulas directly in Word documents.

• Publisher: Brad Smith, CPA, LLC
• Last updated: September 20th, 2011

Microsoft Threat Analysis and Modeling

The challenge has been the difficulty in adopting threat modeling practice for software application development. Over the past two years, the Microsoft Application Consulting; Engineering (ACE) team developed a process that allows non-security subject matter experts to produce feature-rich threat models.

• Publisher: Microsoft Corporation
• Last updated: March 21st, 2012

Microsoft Threat Modeling Tool 2014

The Microsoft Threat Modeling Tool helps engineers analyze the security of their systems to find and address design issues early in the software lifecycle. It is a core element of the SDL. The tool is used during the design phase of the SDL and helps architects and engineers analyze their designs and software architecture before they start implementation.

• Publisher: Microsoft Corporation
• Last updated: July 25th, 2014

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

Additional Microsoft research formula modeling 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 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 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 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

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

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

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
• 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
• Last updated: October 4th, 2011

HYDRUS-1D

Hydrus-1D is a public domain Windows-based modeling environment for analysis of water flow and solute transport in variably saturated porous media. The model is supported by an interactive graphics-based interface for data-preprocessing, discretization of the soil profile, and graphic presentation of the results.

• Publisher: PC-Progress s.r.o.
• Home page: www.pc-progress.com
• Last updated: June 12th, 2013

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