Videos

Computational Modeling in Medicine: Some Recent Results and Future Perspective

Computational Modeling in Medicine: Some Recent Results and Future Perspective

1 year ago
In the last decades, there have been major technological advances in medical diagnosis and monitoring devices such as flow cytometers and magnetic resonance apparatus. These devices, now routinely used, have exponentially increased the ability to generate data. The resulting complexity in the datasets is challenging pre-existing data analysis and promoting the development of new algorithms […]
Panel on Technological Innovation in Brazil

Panel on Technological Innovation in Brazil

1 year ago
Moderator: Rico Malvar, Microsoft Research Panelists: Celso Massaki Hirata, Instituto Tecnologico de Aeronautica (ITA) Roberto Boisson de Marca, Federal University of Rio de Janeiro (UFRJ) Gustavo Tutuca, State Secretary of Science, Technology & Innovation
Open source software and industry: Exploring the reality

Open source software and industry: Exploring the reality

1 year ago
Speaker: Judith Bishop, Director of Computer Science, Microsoft Research Open Source Software (OSS) is a movement that the IT industry has subscribed to with great success over many years. Adopting code that is already a standard is the easy part. Contributing to and initiating new software requires sustained commitment and upfront scrutiny of the return […]
Microsoft Academic: New applications and research opportunities

Microsoft Academic: New applications and research opportunities

1 year ago
Speaker: Alex Wade The creation and use of knowledge graphs for information discovery, question answering, and task completion has exploded in recent years, but their application has often been limited to the most common user scenarios. The benefits of such models of human knowledge have not yet been fully realized within the domain of scholarship […]
Recent advances in Information Technology

Recent advances in Information Technology

1 year ago
Speaker: Rico Malvar, Chief Scientist, Microsoft Research In this talk we present an overview of recent developments in information technology, especially in the areas of computer vision, speech and natural language processing, and new computer interfaces, in particular those developed at Microsoft Research. Many of these technologies are the result of the new developments in […]
Opening Ceremony: 2016 Latin America Faculty Summit

Opening Ceremony: 2016 Latin America Faculty Summit

1 year ago
Opening statements from Microsoft Research’s 2016 Latin American Faculty Summit by: Paula Bellizia, General Manager, Microsoft Brazil Rico Malvar, Chief Scientist, Microsoft Research Gustavo Tutuca, State Secretary of Science, Technology & Innovation research.microsoft.com/

SwimTrain: Never swim alone with this cooperative “exergame” for group fitness

1 year ago
Despite the health benefits, not many people would play soccer by themselves. So why swim by yourself? The Korea Advanced Institute of Science and Technology (KAIST) and Microsoft Research Asia (MSRA) will tell you that now you don’t have to with their new cooperative “exergame,” SwimTrain. Their project is an app for your smartphone, which, […]

SnapToReality: Aligning Augmented Reality to the Real World

1 year ago
Augmented Reality (AR) applications may require the precise alignment of virtual objects to the real world. We propose automatic alignment of virtual objects to physical constraints calculated from the real world in real time (“snapping to reality”). We demonstrate SnapToReality alignment techniques that allow users to position, rotate, and scale virtual content to dynamic, real […]

Augmenting the Field-of-View of Head-Mounted Displays with Sparse Peripheral Displays

1 year ago
We explore the concept of a sparse peripheral display, which augments the field-of-view of a head-mounted display with a lightweight, low-resolution, inexpensively produced array of LEDs surrounding the central high-resolution display. We show that sparse peripheral displays expand the available field-of-view up to 190º horizontal, nearly filling the human field-of-view. We prototyped two proof-of-concept implementations […]

Haptic Retargeting: Dynamic Repurposing of Passive Haptics for Enhanced Virtual Reality Experiences

1 year ago
Manipulating a virtual object with appropriate passive haptic cues provides a satisfying sense of presence in virtual reality. However, scaling such experiences to support multiple virtual objects is a challenge as each one needs to be accompanied with a precisely-located haptic proxy object. We propose a solution that overcomes this limitation by hacking human perception. […]
PLSE: Leonardo de Moura, “The Lean Theorem Prover”

PLSE: Leonardo de Moura, “The Lean Theorem Prover”

1 year ago
Lean is a new open source theorem prover being developed at Microsoft Research and Carnegie Mellon University, with a small trusted kernel based on dependent type theory. It aims to bridge the gap between interactive and automated theorem proving, by situating automated tools and methods in a framework that supports user interaction and the construction […]
Highlights from a day of reflection

Highlights from a day of reflection

1 year ago
This overview captures highlights from a day of brainstorming and discussions at Microsoft Research. Six groups composed of Microsoft Research computer scientists and their colleagues from other research organizations reflected separately about the past 20 years and the future to come, in the context of providing advice to young scientists.