Click Here to Install Silverlight
United States
Change
|
All Microsoft Sites
|
Sign In
Home
Faculty Resources
Search
Links
Regional Sites
Feedback
Resource Center
News
Software
Resource Kits
Videos
Share Content
Events
Microsoft Research Collaboration
Search for Software, Articles or Events
Search for Faculty Resources
Newsgroup
Global
Brazil
China
Czech Republic
Germany
India
Italy
Japan
Latinoamérica en Español
Philippines
Portugal
Saudi Arabia
Spain
Switzerland - English
Switzerland - French
Switzerland - German
Switzerland - Italian
Taiwan
Thailand
The Netherlands
Turkey
United Kingdom
United States
News and Highlights
Educators That Rock!: danah boyd
Published:
11/13/2009 12:00:00 AM
danah boyd of Microsoft Research New England discusses her work with the findingEducation blog...
Controller-Free Gaming
Published:
11/12/2009 12:00:00 AM
Project Natal, technology developed in part by Microsoft Research, has been named one of the 50 best inventions of the year by TIME...
Searching an Encrypted Cloud
Published:
11/12/2009 12:00:00 AM
Researchers are working on ways to make encrypted data easier to find...
Academic Exchange, Mt. Fuji Style
Published:
11/11/2009 3:00:00 PM
After the Nov...
Web Security Tool Copies Apps' Moves
Published:
11/9/2009 12:00:00 AM
Microsoft Research software clones the environment running on a user's machine...
Editing Memory and Multi-Core Programming
Published:
11/8/2009 12:00:00 AM
Microsoft Research Cambridge's work in Transactional Memory explores hot to make the most of many cores and threads while programming...
Clippings from Craig Mundie's Stop at UW
Published:
11/7/2009 12:00:00 AM
Craig Mundie, Microsoft's chief research and strategy officer, finished his 2009 Microsoft College Tour at the University of Washington on Thursday, demonstrating a few prototype technologies from Microsoft Research...
Video: Mindblowing Natural User Interface Concept Demos from Microsoft Research
Published:
11/6/2009 2:00:00 PM
Microsoft Research has developed a next-generation computer that docks and undocks from a transparent glass display and enables not only pen and voice input but also incorporates touchless gestures and eye tracking to interact with information...
Microsoft's New Ecosystem: Earth
Published:
11/6/2009 12:40:00 PM
People at Microsoft, including several from Microsoft Research, have been turning their attention to the natural world and to ways that technology could help scientists and others improve the environment...
Fast and Flexible: Microsoft and Trinity College
Published:
11/6/2009 12:00:00 AM
Irish universities are getting in on the idea of digitised, interactive libraries, with a new partnership between Trinity College Dublin and Microsoft Research, egineered by Tony Hey, corporate vice president of External Research, setting the tone...
Life-Logging Camera Brings New Hope for Memory-Loss Patients
Published:
11/5/2009 11:08:00 AM
A small, wearable camera, produced by Microsoft Research, that captures images automatically could change the way memory loss patients, in particular those with Alzheimer's, are treated, experts say...
Microsoft Doubles Down on Links with Japanese Academia
Published:
11/5/2009 12:10:00 AM
Microsoft is looking to expand ties with Japanese universities and has unveiled a multi-million dollar long-term plan to deepen its research roots in the country...
Making Car Infotainment Simple, Natural
Published:
11/4/2009 7:00:00 PM
Commute UX, a project from the Speech Technology group at Microsoft Research Redmond, is designed to make driving more pleasurable—and less distracting...
Microsoft Research Launches Mt. Fuji Plan
Published:
11/3/2009 6:00:00 PM
Research institute extends collaboration with Japanese academia...
Usable Security: How to Get It
Published:
11/3/2009 1:00:00 AM
Why does your computer bother you so much about security, but still isn't secure? Butler Lampson of Microsoft Research New England says it's because users don't have a model for security, or a simple way to keep important things safe...
Futurists' Report Reviews Dangers of Smart Robots
Published:
11/2/2009 12:00:00 AM
Scientists including Eric Horvitz of Microsoft Research are preparing to publish a report this month that examines, in part, whether robots could eventually become so smart they pose a threat to society...
RFID-Based Enterprise Intelligence
Published:
11/2/2009 12:00:00 AM
SixthSense is a platform for RFID-based enterprise intelligence that combines RFID events with information from other enterprise systems and sensors to automatically make inferences about people, objects, workspaces, and their interactions...
Using Mobile Technology to Extend Health Care’s Reach
Published:
10/28/2009 12:58:00 PM
Microsoft Research believes there are abundant opportunities for mobile technologies to improve public health, particularly in underserved communities...
Muscle-Bound Computer Interface
Published:
10/28/2009 12:01:00 AM
Collaborators including Microsoft Research have determined that forearm electrodes could enable new forms of hands-free computer interaction...
Total Recall: How to Have It All
Published:
10/26/2009 9:00:00 AM
Gordon Bell and Jim Gemmell, authors of the new book Total Recall: How the E-Memory Revolution Will Change Everything, discuss their attempt to capture an entire life digitally—and its ultimate ramifications...
Publications
Lost in Translation: Forgetful Semantic Anchoring
Published:
11/16/2009 12:00:00 AM
Finding heap-bounds for hardware synthesis
Published:
11/15/2009 12:00:00 AM
Dynamically allocated and manipulated data structures cannot be translated into hardware unless there is an upper bound on the amount of memory the program uses during all executions...
Notifications and Awareness: A Field Study of Alert Usage and Preferences
Published:
11/14/2009 12:00:00 AM
Desktop notifications are designed to provide awareness of information while a user is attending to a primary task...
Ripley: Automatically Securing Web 2.0 Applications Through Replicated Execution
Published:
11/10/2009 12:00:00 AM
Rich Internet applications are becoming increasingly distributed, as demonstrated by the popularity of AJAX or Web 2...
Map-Matching for Low-Sampling-Rate GPS Trajectories
Published:
11/4/2009 12:00:00 AM
Map-matching is the process of aligning a sequence of observed user positions with the road network on a digital map...
Model-Based Testing of Web Applications using NModel
Published:
11/2/2009 12:00:00 AM
We show how model-based on-the-fly testing can be applied in the context of web applications using the NModel toolkit...
A Machine Learning Approach for Improved BM25 Retrieval
Published:
11/1/2009 12:00:00 AM
Despite the widespread use of BM25, there have been few studies examining its effectiveness on a document description over single and multiple field combinations...
Avatar Movement in World of Warcraft Battlegrounds
Published:
11/1/2009 12:00:00 AM
Evaluating DVE topology management and message propagation schemes requires avatar movement models...
Can Access Control be Extended to Deal with Data Handling in Privacy Scenarios?
Published:
11/1/2009 12:00:00 AM
Characterizing Podcast Services: Publishing, Usage, and Dissemination
Published:
11/1/2009 12:00:00 AM
In this paper, we aim at characterizing podcast services both from publishers' and users' perspectives, and at analyzing the implications of these characteristics on the design of efficient dissemination systems...
Clustering Queries for Better Document Ranking
Published:
11/1/2009 12:00:00 AM
Different queries require different ranking methods...
Context-Aware Online Commercial Intention Detection
Published:
11/1/2009 12:00:00 AM
Exploiting Term Relationship To Boost Text Classification
Published:
11/1/2009 12:00:00 AM
Implications of User Choice: The Cultural Logic of “MySpace or Facebook?"
Published:
11/1/2009 12:00:00 AM
Improving Privacy and Security in Multi-Authority Attribute-Based Encryption
Published:
11/1/2009 12:00:00 AM
Mapping Kernel Objects to Enable Systematic Integrity Checking
Published:
11/1/2009 12:00:00 AM
Dynamic kernel data have become an attractive target for kernel-mode malware...
Mobicast - A system for collaborative event casting using mobile phones
Published:
11/1/2009 12:00:00 AM
Lately, the usage of mobile live video streaming for video sharing has been growing steadily...
On Meeting Lifetime Goals and Providing Constant Application Quality
Published:
11/1/2009 12:00:00 AM
Most work in sensor networks tries to maximize network lifetime...
On the Effectiveness of Unit Test Automation at Microsoft
Published:
11/1/2009 12:00:00 AM
Patient Controlled Encryption: patient privacy in electronic medical records
Published:
11/1/2009 12:00:00 AM
Downloads
Dryad and DryadLINQ Academic Release
Published:
11/15/2009 6:18:17 PM
Dryad is a high-performance, general-purpose, distributed-computing engine that simplifies the task of implementing distributed applications on clusters of computers running a Windows® operating system...
Z3
Published:
11/12/2009 4:33:45 PM
Z3 is an SMT solver that combines several theory solvers into a combined framework...
Infer.NET 2.3
Published:
11/12/2009 10:13:20 AM
Infer...
Pex - Automated Whitebox Testing for .NET
Published:
11/12/2009 1:14:13 AM
Pex (Program EXploration) is a white-box test generation tool...
Project Trident: A Scientific Workflow Workbench
Published:
11/6/2009 12:05:26 AM
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...
Research Information Centre Framework
Published:
10/26/2009 5:45:02 PM
The Microsoft Research Information Centre (RIC) Framework is a Web-based platform for research project management and scientific collaboration...
CodeContract Tools
Published:
10/24/2009 12:03:22 PM
This download installs the runtime and static checking tools for managed contracts along with Visual Studio integration...
Fast subroutines for Matlab programs
Published:
10/15/2009 10:26:22 AM
This library provides highly optimized versions of primitive functions such as repmat, set intersection, and gammaln...
F7: Refinement Types for F# (2009)
Published:
10/13/2009 9:58:10 AM
F7 is an enhanced type checker for the F# programming language...
SIGMA: Large-Scale Machine-Learning Tool Kit
Published:
9/17/2009 1:34:07 AM
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...
Social Web Experience
Published:
9/14/2009 9:43:04 AM
The Social Web Experience browser plug-in analyzes Web pages to identify key topics on the current page and match them with relevant conversations and other content from the user's social network...
Dynamics Simulation and Geometric Modeling Using D* Symbolic Differentiation
Published:
9/1/2009 2:27:48 PM
D* is a program for efficiently computing symbolic derivatives...
Privacy Integrated Queries (PINQ)
Published:
8/18/2009 10:10:15 AM
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...
Fine: A Type-Preserving Compiler for End-to-End Security Verification
Published:
8/14/2009 10:43:17 AM
The Fine compiler implements a type system that enables the enforcement of rich, stateful authorization and information-flow policies to be verified...
Surface Extraction from Binary Volumes with Higher-Order Smoothness
Published:
8/13/2009 8:40:59 AM
This code extracts the separating triangulated surface from binary volumes, such as those obtained by 3-D image-segmentation algorithms...
Reinforcement-Learning Infrastructure for ‘Civilization IV’
Published:
8/4/2009 9:21:49 AM
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...
Azure Library for Lucene.Net
Published:
7/28/2009 2:24:31 PM
Lucene works on top of an abstract store object called Directory...
Microsoft Site Analyzer
Published:
7/27/2009 10:43:37 AM
Our library can support basic features for site analysis, such as site-map building, forum-page structuralization, URL-pattern generation, and page random sampling...
MSR Action Data Set
Published:
7/24/2009 5:15:04 PM
This is a data set used for human action-detection experiments...
Active Learning for Large Multi-Class Problems
Published:
7/21/2009 8:47:42 AM
This research code is implementation of the scheme proposed in our CVPR paper “Active Learning for Large Multi-Class Problems...