Microsoft Research

The Art and Technology of Electronic Textiles The Intersection of Material Making and Computation What will a programmable painting or textile be like? How will it work?

I will describe a representation of topological states and related critical points which elucidates their relationship to gauge theories, statistical mechanics, and quantum computation.

Gutenberg is credited with having invented the typographic printing process in the West around 1450.

Since the tragic events of 9/11 we keep hearing security experts demand tighter restrictions on daily life, while civil libertarians preach we should accept risk in order to avoid an overbearing Big

One proposed approach to deter denial of service attacks is to require clients to solve computational puzzles before connecting to a server.

Proof rules for the temporal verification of concurrent programs rely on auxiliary assertions.

As sensor networks become more and more ubiquitous, engineers face the challenge of making the sensor data accessible to the common person.  For example, a building manager might want to be alerted

It's natural to assume that network protocol design is a well-known science, where the designers of today's standards take care to understand the tricks and pitfalls learned from previous protocols.

Theorem provers for higher-order logics often use tactics to implement automated proof search. Often some basic tactics are designed to behave very differently in different contexts.

With Me++ the author of City of Bits and e-topia completes an informal trilogy examining the ramifications of information technology in everyday life.

Comparing two executable objects has many different and interesting applications, ranging from offensive security (such as attacking systems) and defensive security (analyzing malware) to legal

The opposite of love is not hate, itΓÇÖs indifference. The opposite of art is not ugliness, itΓÇÖs indifference. The opposite of faith is not heresy, itΓÇÖs indifference.

Topological quantum field theory methodology provides interesting perspectives on the classification of tight contact structures on 3-manifolds.

Wireless Embedded Networks span a much broader field than just Sensor

This talk will focus on my recent work for the Acquisition and Retention team at MSN, in which we address the business problem of successfully predicting customer behavior far enough ahead that the

One thing which will be explained is the evaluation of a determinant originally stated by Sylvester and rediscovered by Mark Kac.  The determinant is tridiagonal with x on the diagonal, 1,2,...,N

This talk considers approximation algorithms for embedding: constructing a global geometry that is approximately consistent with a given local geometry, which is typically represented by distances

One of the primary motivations for the Text REtrieval Conference (TREC) was to standardize retrieval system evaluation.

In this work, we expose an unorthodox adversarial attack that exploits the transients of a system's adaptive behavior, as opposed to its limited steady-state capacity.

A great wealth of information about a program may be implicit in the source code itself; for example, in C and C++ this includes parameter usage and -ness, buffer extents, potential taint, and

In this talk I will overview my research on emotion expression and emotion recognition in speech signal and its applications.

Redundancy in large text collections, such as the web, creates both problems and opportunities for natural language systems.

Knowing the distribution of the sizes of traffic flows passing through a network link helps a network operator to characterize network resource usage, infer traffic demands, detect traffic

I will give the presentation I gave at the AAAI conference this year. We introduce a hierarchical Markov model that can learn and infer a userΓÇÖs daily movements through the community.

In April 2000, Gary Erickson, co-founder of Clif Bar, turned down a $60 million offer to buy his company.

People often reveal aspects about themselves in the physical world, through the clothes they wear, the places they go, and the people with whom they associate.  Increasingly, people reveal aspects

In recent years, the need for formal specification languages is growing rapidly as the functional validation environment in semiconductor design is changing to include more and more validation

Runtime Refinement Checking for Concurrent Data Structures (the VYRD* project: VerifYing Refinement by Runtime Detection) The goal of the VYRD Project is to develop a runtime verification framework

In this talk, we will see how Random Linear Coding (RLC) based protocols can provide huge gains in two somewhat related problems in large distributed systems: the problem of disseminating

In Lost in Space: The Fall of NASA and the Dream of a New Space Age, Greg Klerkx argues that ever since the triumphant Apollo missions, the Space Age has been stuck in the wrong orbit… and that