Numiscan is a project to scan, process and sort coins using machine learning.
Embedding information networks into low-dimensional spaces is potentially useful in many applications such as visualization, node classification, link prediction and recommendation. In this project, we proposed a large-scale information network embedding model called the "LINE", which is suitable for arbitrary types of information networks: undirected, directed, and/or weighted.
Stress is considered to be a modern day “global epidemic"; so given the widespread nature of this problem, it would be beneficial if solutions that help people to learn how to cope better with stress were scalable beyond what individual or group therapies can provide today. Therefore, in this work, we study the potential of the internet as a pervasive medium to provide "crowd therapy".
Building a computer system to automatically solve math word problems written in natural language.
DCQCN is a congestion control protocol for large scale RDMA networks, developed jointly by Microsoft and Mellanox.
Platform for Situated Interaction
Instructions for Mechanical Turk tasks on classifying images
We present a new interactive approach to 3D scene understanding. Our system, SemanticPaint, allows users to simultaneously scan their environment, whilst interactively segmenting the scene simply by reaching out and touching any desired object or surface. Our system continuously learns from these segmentations, and labels new unseen parts of the environment. Unlike offline systems, where capture, labeling and batch learning often takes hours or even days to perform, our approach is fully online.
Open source is a powerful way to advance software development and share data for experimentation. Microsoft has research projects as well as key software—such as .NET—in open-source repositories. These tools provide opportunities for engaging with Microsoft researchers and advancing the state of the art together. The powerful software can be used in classes and projects to prepare students for real-world applications.
Microsoft HoloLens goes beyond augmented reality and virtual reality by enabling you to interact with three-dimensional holograms blended with your real world. It is more than a simple heads-up display, and its transparency means you never lose sight of the world around you. High-definition holograms integrated with your real world can unlock all-new ways to create, communicate, work, and play. The primary goal of this RFP is to better understand the roles of and possible applications for holog
Machine Learning-Based Predictive Modelling of CRISPR/Cas9 guide efficiency
Labs: New England
This project uses autonomous methods such as drone-enabled, mosquito-collection devices/traps to collect mosquitos and then conduct cloud-based, next-generation gene sequencing analysis of pathogens in the mosquito blood to detect early signs of infectious diseases.
File System for Approximate Storage
To facilitate ethics reviews for MSR research projects, we create a new ethics framework specific to Computer Science research.
Researchers who can best capture, process, predict, and visualize data will be able to accelerate their work and push the boundaries of what is possible. We want to help you take advantage of our research and development efforts so that you can spend more time doing data science. Besides a range of tools and services, we provide valuable datasets across many areas of interest. You can download more than 40 datasets from this website and nearly 150 from the Azure Marketplace. Learn more.
The BBC and partners, including Microsoft, announce the BBC micro:bit – a pocket-sized, codeable computer that allows children to get creative with technology. Up to 1 million micro:bits will be given to every 11 or 12 year old child in Year 7 or equivalent across the UK, for free.
The PinDrop project focuses on building the substrate for supporting high-quality real-time streaming over wired and wireless networks.
Robust Distributed System Nucleus (rDSN) is an open framework for quickly building and managing high performance and robust distributed systems. The core idea is a coherent and principled design that distributed systems, tools, and frameworks can be developed independently and later on integrated (almost) transparently.
The goal of the project is to advance our knowledge about a fundamental distributed decision-making problem that is referred by different names, such as "consensus", "majority", "quantized averaging", and is closely related to the voter model, quantile computation, selection problem, local interaction, and coordination games. The consensus problem is of interest in different applications including general distribution computation, population protocols, biological systems, and social networks.
Graph Engine, previously known as Trinity, is a distributed, in-memory, large graph processing engine.
The Microsoft Academic Graph is a heterogeneous graph containing scientific publication records, citation relationships between those publications, as well as authors, institutions, journals and conference "venues" and fields of study. This data is available as a set of zipped text files stored in Microsoft Azure blob storage and available via HTTP. The file size is ~37GB.
Our goal is to let normal users tell computers what to do using normal language. This problem space is strongly related to natural language understanding, program synthesis, and many other areas.
The RoomAlive Toolkit is an open source SDK that enables developers to calibrate a network of multiple Kinect sensors and video projectors. The toolkit also provides a simple projection mapping sample that can be used as a basis to develop new immersive augmented reality experiences similar to those of the IllumiRoom and RoomAlive research projects.
Depth estimation algorithms from Time-of-Flight
Logic flaws are prevalent in multiparty cloud services, which cause serious consequences, e.g., an attacker can make purchases without paying, or gets into other people’s accounts without password. For decades, researchers have been advocating formal verification as a solution, but in the real world developers face many major hurdles to do it. We introduce a technology that significantly lowers these hurdles, and show its effectiveness in real-world deployments.