Microsoft Research

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

In his new book philosopher Grudin examines postwar developments in American social consciousness, as we have moved from the nineteenth century ideal of the commonwealth to the contemporary fixation

Dynamic games played on game graphs with \omega-regular winning conditions provide the theoretical framework for controller synthesis and multi-process verification.

Text retrieval systems are designed to generate a ranking of results deemed relevant to the input query.

Research in Aspect-Oriented Programming focuses on new modularization mechanisms for so-called crosscutting concerns.

This research in progress study investigates the joint effects of group development and social capital on the effectiveness of a newly formed online community.

Users often face challenges with collaborative technologies because they are not designed based on a rich understanding of their context of use.  One way to overcome this challenge is to study the

It is well-known that live multimedia streaming applications operate more efficiently when organized in peer-to-peer (P2P) topologies, since peer upload capacities are utilized to support other

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

The number of CS majors has declined by 50 percent in the last five years, despite the fact that the projected need for computer scientists continues to grow.

Theoretical physicist Smolin argues that the study of physics has lost its way in the past two decades, largely because string theory has captured the imagination of both the public and some

Joint work with Navneet Dalal and Ankur Agarwal. I'll give an overview of some of our work on human detection and human motion estimation.

Today's college students have constant access to information and communication technologies. Yet we know very little about how students are incorporating digital media into their everyday lives.

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

Join us for an informational Giving Campaign Lunch: Hear from our Conservation Director and Zoomazium Program Director See cool animals! Learn about the challenge match to double your gift!

We show a computationally efficient low distortion embedding of the binary cube endowed with edit distance into $\ell_1$.

In this talk we consider the bandwidth efficiency and energy efficiency of wireless ad hoc networks.  Energy consumption of the receiver necessary to process each coded bit is considered as well as

With network coding, intermediate nodes between the source and the receivers of an end-to-end communication session are not only capable of relaying and replicating data messages, but also of coding

Talk 1: The current Internet was designed around a host-to-host communication model, but the vast majority of Internet usage today is data access.

Devices should be perceptive, and respond directly to their human user and/or environment.

For nearly a decade, John Wood rode the '90's tech boom to a leadership position at Microsoft where he had

The polar RF transmitter architecture, Kahn Envelope Elimination and Restoration (EER), aims at achieving linearity, while amplifying non-constant envelope signals efficiently by means of switch

With the widespread adoption of broadband residential access, live video streaming may be the next disruptive IP communication technology.

Many popular file-sharing systems have been the targets of massive attack.

Experience the latest technology in research areas such as surface computing, augmented cognition and visualization and get a glimpse into future computing scenarios.

The Global Challenge, recently sponsored by the National Science Foundation ITEST program, supports young women and minority high school students to develop the knowledge, skills and personal vision

Modern computer systems are called on to deal with billions of events every second, whether they are instructions executed, memory locations accessed, or packets forwarded.

The coming wave of multi-core, multithreaded processors will create a parallelism crisis.  That is, the performance potential of these processors will only be realized when we can find sufficient

Connectivity in enterprise networks is provided by technologies not designed to offer protection.

I will describe progress in IP network traffic matrix inference, arguably one of the most important technical problems in the engineering and management of large-scale IP networks.   In