Faculty Connection - Home - Brasil

K-12 | Higher Education

	News and Highlights
	Games for Learning Institute Launches 'Game-a-Week' Feature Published: 24/11/2009 0:00:00 The Games for Learning Institute, a joint research endeavor of Microsoft Research, New York University, and other universities, has launched a Game-of-the-Week feature on http://g4li... Nozzle: Counteracting Memory Exploits Published: 23/11/2009 11:00:00 Over the past decade, memory exploits have been a common form of computer attack, with heap spraying being the latest in a progression of methods... Microsoft Technology Reduces Network Redundancy Published: 23/11/2009 6:30:00 Researchers at Microsoft Research India have developed a compression and redundancy elimination technology that can operate as a host service in enterprise systems without the use of accelerator devices over a WAN... Games for Learning Institute Announces Design Contest for Microsoft’s XNA Game Studio Platform Published: 19/11/2009 0:00:00 The Games for Learning Institute, a joint research endeavor of Microsoft Research, New York University, and other universities, has announced the Game Design Challenge to build mini-games for learning on Microsoft’s XNA Game Studio 3... Microsoft Cuzz: Fuzz Testing Goes Parallel Published: 18/11/2009 4:12:00 Maden Musuvathi of Microsoft Research demoed a prototype product called Microsoft Cuzz, shorthand for Concurrent Fuzz testing, during PDC09... PDC 2009 Day 1: Data-Intensive Computing on Windows HPC Server with the DryadLINQ Framework Published: 18/11/2009 1:48:00 DryadLINQ, from Microsoft Research, enables LINQ queries and operations to be run on a distributed clisters of machines... Bendable Magnetic Interface Published: 18/11/2009 0:00:00 A sensing surface developed by Microsoft researchers offers new ways to use computers... NASA and Microsoft Ask Citizen Scientists to 'Be a Martian' Published: 17/11/2009 0:00:00 Built on Microsoft cloud services technologies, NASA’s interactive “citizen-science” Web service lets anyone explore the Red Planet up close, while also contributing to Mars missions... The Use Of Assertions Published: 16/11/2009 13:11:00 A new study from Microsoft Research shows the power of seeding your code with assertions... Microsoft Chief Research and Strategy Officer Craig Mundie Shared Vision for Future of Computing at CUHK on Nov. 16 Published: 16/11/2009 0:00:00 Craig Mundie, chief research and strategy officer of Microsoft delivered a lecture titled Rethinking Computing at The Chinese University of Hong Kong on Nov... Educators That Rock!: danah boyd Published: 13/11/2009 0:00:00 danah boyd of Microsoft Research New England discusses her work with the findingEducation blog... Controller-Free Gaming Published: 12/11/2009 0:00:00 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: 12/11/2009 0:00:00 Researchers are working on ways to make encrypted data easier to find... Academic Exchange, Mt. Fuji Style Published: 11/11/2009 15:00:00 After the Nov... Web Security Tool Copies Apps' Moves Published: 9/11/2009 0:00:00 Microsoft Research software clones the environment running on a user's machine... Editing Memory and Multi-Core Programming Published: 8/11/2009 0:00:00 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: 7/11/2009 0:00:00 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: 6/11/2009 14:00:00 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: 6/11/2009 12:40:00 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: 6/11/2009 0:00:00 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...

	Publications
	ConScript: Specifying and Enforcing Fine-Grained Security Policies for JavaScript in the Browser Published: 25/11/2009 0:00:00 Much of the power of modern Web comes from the ability of a Web page to combine contents and JavaScript code from disparate servers on the same page... Avatar Movement in World of Warcraft Battlegrounds Published: 22/11/2009 0:00:00 Evaluating DVE topology management and message propagation schemes requires avatar movement models... Action Prediction and Identification From Mining Temporal User Behavior Published: 20/11/2009 0:00:00 Predicting user's action provides many monetization opportunities to web service providers... Anonymity-Preserving Data Aggregation using Anonygator Published: 20/11/2009 0:00:00 Data aggregation is a key aspect of many distributed applications, such as distributed sensing, performance monitoring, and distributed diagnostics... Enforcing Stateful Authorization and Information Flow Policies in Fine Published: 20/11/2009 0:00:00 Proving software free of security bugs is hard... Grouped Pay-Per-Click: a Novel Mechanism Bridging Pay-Per-Click and Pay-Per-Action Published: 20/11/2009 0:00:00 There are three dominant business models in online advertising industry such as pay-per-impression (PPI), pay-per-click (PPC) and pay-per-action (PPA)... Roles, Stacks, Histories: A Triple for Hoare Published: 20/11/2009 0:00:00 Behavioural type and effect systems regulate properties such as adherence to object and communication protocols, dynamic security policies, avoidance of race conditions, and many others... Holmes Beta 1.0 Published: 19/11/2009 0:00:00 ConScript: Specifying and Enforcing Fine-Grained Security Policies for JavaScript in the Browser Published: 18/11/2009 0:00:00 Much of the power of modern Web comes from the ability of a Web page to combine contents and JavaScript code from disparate servers on the same page... Streams of Content, Limited Attention: The Flow of Information through Social Media Published: 17/11/2009 0:00:00 Networked social media provide infrastructure that allows information to flow far and wide... Lost in Translation: Forgetful Semantic Anchoring Published: 16/11/2009 0:00:00 Finding heap-bounds for hardware synthesis Published: 15/11/2009 0:00:00 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: 14/11/2009 0:00:00 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: 10/11/2009 0:00:00 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: 4/11/2009 0:00:00 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: 2/11/2009 0:00:00 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: 1/11/2009 0:00:00 Despite the widespread use of BM25, there have been few studies examining its effectiveness on a document description over single and multiple field combinations... Can Access Control be Extended to Deal with Data Handling in Privacy Scenarios? Published: 1/11/2009 0:00:00 Characterizing Podcast Services: Publishing, Usage, and Dissemination Published: 1/11/2009 0:00:00 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: 1/11/2009 0:00:00 Different queries require different ranking methods...

	Downloads
	ORTC Sample Code Published: 18/11/2009 12:47:12 We provide sample code implementing the algorithm described in our 1999 paper “Optimal Compression of IP Routing Tables... Dryad and DryadLINQ Academic Release Published: 17/11/2009 13:56:15 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: 12/11/2009 16:33:45 Z3 is an SMT solver that combines several theory solvers into a combined framework... Infer.NET 2.3 Published: 12/11/2009 10:13:20 Infer... Pex - Automated Whitebox Testing for .NET Published: 12/11/2009 1:14:13 Pex (Program EXploration) is a white-box test generation tool... Project Trident: A Scientific Workflow Workbench Published: 6/11/2009 0:05:26 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: 26/10/2009 17:45:02 The Microsoft Research Information Centre (RIC) Framework is a Web-based platform for research project management and scientific collaboration... CodeContract Tools Published: 24/10/2009 12:03:22 This download installs the runtime and static checking tools for managed contracts along with Visual Studio integration... Fast subroutines for Matlab programs Published: 15/10/2009 10:26:22 This library provides highly optimized versions of primitive functions such as repmat, set intersection, and gammaln... F7: Refinement Types for F# (2009) Published: 13/10/2009 9:58:10 F7 is an enhanced type checker for the F# programming language... SIGMA: Large-Scale Machine-Learning Tool Kit Published: 17/9/2009 1:34:07 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: 14/9/2009 9:43:04 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: 1/9/2009 14:27:48 D* is a program for efficiently computing symbolic derivatives... Privacy Integrated Queries (PINQ) Published: 18/8/2009 10:10:15 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: 14/8/2009 10:43:17 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: 13/8/2009 8:40:59 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: 4/8/2009 9:21:49 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: 28/7/2009 14:24:31 Lucene works on top of an abstract store object called Directory... Microsoft Site Analyzer Published: 27/7/2009 10:43:37 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: 24/7/2009 17:15:04 This is a data set used for human action-detection experiments...