Microsoft Research

This talk consists of two parts focussed on two distinct but related themes.

Modern integrated development environments (IDEs) provide programmers with a variety of sophisticated tools for program visualization and manipulation.

In this talk, we will describe new attack-resistant algorithms for peer-to-peer networks.  Our attack model is rather strong in that we assume that an omniscient and computationally unbounded

Civil rights activist Kevin Cathcart, Executive Director of Lambda Legal, will provide historical overview of the Lesbian, Gay, Bisexual and Transgender (LGBT) issues that are now center stage in

When we talk about analyzing vast amounts of consumer-generated media in order to find the gold in specific topics, issues, trends, opinions and sentiment, we're talking about some powerful

One of the remarkable aspects of human image understanding is that we are able to recognize the meaning of a novel image very quickly and independently of the complexity of the image.

Multiple core CPUs are here and will soon be ubiquitous.

Separation logic is a program logic geared towards reasoning about programs that mutate heap-allocated data structures.

We introduce a new structure for multi-party audio conferencing, where the MCU (Multipoint Conferencing Unit) mixes all the received signals and rebroadcast the same stream to all clients.

An invariance assertion for a program location n is a formula that always holds at n during execution of the program.  Program invariance analyses infer invariance assertions that can be useful

Wireless networks employing the IEEE 802.11 Medium Access Control (MAC) protocol have become pervasive. This talk will introduce fundamentals of the MAC`s random access protocol.

When many sensors, spread over an area, communicate by shortest-path, straight-line routing, those who are centrally located are overburdened by communication overhead; this is known as the busy

An undiagnosed disorder is at large in the world. It afflicts individuals, groups, and nations.

Providing direct and indirect contributions of more than $18 billion to the United States` gross output in 2004, the computer and video gaming industry is one of the fastest-growing sectors of

Expert systems and the business rules approach have long been presented as a powerful approach to software development. However, the market potential of these technologies has not been realised.

Theoretical analysis of Spectral Clustering is often based on the theory of random matrices which assumes that all entries of the data matrix (with each row representing a data object) are

Generalized algebraic data types (GADTs) have received much attention recently in the functional programming community.

Microsoft Research – 7 сентября 2016, 16:20

New experimental techniques in molecular biology make it possible to probe cellular processes in unprecedented detail.

Microsoft Research – 7 сентября 2016, 16:19

Occasionally the office of the CTO, David Vaskevitch, sits down with some of Microsoft's most influential technical employees to capture their stories.

In this talk we postulate that the current methodologies for collecting evidence to support network forensics neither scale well for large networks nor can store evidence long enough to be useful.

Microsoft Research – 7 сентября 2016, 16:18

Microsoft Research – 7 сентября 2016, 16:18

Microsoft Research – 7 сентября 2016, 16:18

Microsoft Research – 7 сентября 2016, 16:18

Microsoft Research – 7 сентября 2016, 16:18

We consider a cross-layer design of wireless ad-hoc networks.

Memex Summit (Digital Memories Workshop) - Collaborative Annotation, Archival and Visualization in a Biofeedback Rehabilitation system

Microsoft Research – 7 сентября 2016, 16:18