Microsoft Research

Mobile Surface is a novel interaction system for mobile computing.

Cloud computing necessitates new interaction metaphors and input-output technology. The cloud mouse is one such technology. Every user will have one.

To make cloud computing work, we must make applications run substantially faster, both over the Internet and within data centers.

Rick Rashid, senior vice president of Microsoft Research, and Kevin Schofield, general manager of the organizationΓÇÖs Strategy and Communications group, explains the value of TechFest during a

Researchers demonstrate sensing technologies that enable us to decode the signals generated by the body.

Project Gustav is a realistic painting-system prototype that enables artists to become immersed in the digital painting experience.

Project Gustav is a realistic painting-system prototype that enables artists to become immersed in the digital painting experience.

Andy Wilson, senior researcher and Hrvoje Benko, researcher, both from Microsoft Research explain their LightSpace research project.

Kodu provides an end-to-end creative environment for designing, building, and playing your own new games. The core of the Kodu project is the programming user interface.

Watch Andrew Herbert, managing director of Microsoft Research Cambridge, talk about the latest trends in computing and take the pulse of computer science.

Despite having made significant inroads into a variety of traditionally male-dominated fields, women continue to be underrepresented in computer science and engineering (CS&E).

Electronic markets are becoming more and more pervasive in our lives, but only little is known about the role that user interfaces play for the efficiency of these markets.

As we browse the web, we benefit from the many rich interactive information visualizations we find there. Shopping and review sites let us sort and filter items by a variety of meaningful properties.

Load balancing and resource allocation tasks are prevalent in the design of large data structures and distributed algorithms.

Protein structure is the key to deciphering its function and biological role. Nuclear Magnetic Resonance (NMR) spectroscopy is one of the major experimental protein structure determination methods.

We call a data structure overlaid, if a node in the structure includes links for multiple data structures and these links are intended to be used at the same time.

We focus on the study of rumour, a social phenomenon that is characterized by the spread of information throughout a social network.

Coarse grained locks are a source of bottlenecks in programs that want to run on machines with large numbers of threads.

During the last 40 years, satellite ΓÇ£ocean colorΓÇ¥ remote sensing has revolutionized our understanding of the global ocean at kilometer spatial scales.

F# in the classroom and the lab - Rick Minerich Programming Language Concepts using F# as a Meta-language - Peter Sestoft Panel session: Why Teach F# \ Judith Bishop, Microsoft Research (Chair)

Deep neural networks that contain many layers of non-linear feature detectors fell out of favor because it was hard to get enough labeled data to train many millions of parameters and difficult to

Information technology (IT) has captured the popular imagination, in part because of the tangible benefits IT brings, but also because the underlying technological trends proceed at easily

Competition for rank occurs whenever the outcome is a ranking, or league table, of the competitors.

Energy efficiency and heat generation have become primary concerns in the design of computing systems. At their root are the energy inefficiencies imposed by the second law of thermodynamics.

This talk surveys three challenge areas for mechanism design and describes the role approximation plays in resolving them.

Does algorithm design become harder in the presence of incentive constraints?

As a tribute to Oliver Atkin, I will be surveying his work; I will also be including some biographical details.

An amicable pair for an elliptic curve E/Q is a pair of primes (p,q) of good reduction for E satisfying #E(Fp) = q and #E(Fq) = p. Aliquot cycles are analogously defined longer cycles.

Traditionally, in cryptography, lattices have been used for cryptanalysis, i.e. in breaking cryptosystems.

Looking Ahead with F#: Taming the Data DelugeΓÇöDon Syme Locknote: F# ΓÇô An EducationΓÇöHoward Mansel Closing remarksΓÇöJudith Bishopl