Microsoft Research

Web applications increasingly integrate third-party services.

The behaviour of spoken dialogue systems is traditionally determined by expert-coded rules. A new set of rules is therefore required for each new domain.

There are a number of domains where agents must collectively form a network in the face of the following trade-off: each agent receives benefits from the direct links it forms to others, but these

All-pairs shortest path problem is one of the most important, and most studied algorithmic graph problems.

Concurrent program verification is challenging because it involves exploring a large number of possible thread interleavings together with complex sequential reasoning.

Modern networks, whether in the home or enterprise, have transformed many aspects of our lives: how we get the news, share music and collaborate with coworkers, to name a few.

If a vector has one index and a matrix has two, then a tensor has k indices, where k could be 3 or more.

There is often a profound disconnect between our everyday behaviors and the effects those behaviors have on our health and the environment around us.

Human language exhibits complex structure. To be successful, machine learning approaches to language-related problems must be able to take advantage of this structure.

Across the sciences, a fundamental setting for representing and interpreting information about entities, the structure and organization of communities, and changes in these over time, is a

Mobile devices, of all shapes and forms, are the fastest-growing computing segment. While mobile devices are ubiquitous, they offer limited computation, storage, and power.

The fundamental discipline for protecting the environment is ecology, but while some areas of ecological theory are quite advanced, there are large gaps in our basic understanding.

We consider the Max-Min Allocation problem, in which we are given a set of m agents and a set of n items, together with utilities u(A,i) of agent A for item i.

Boolean SAT/SMT solvers have seen dramatic progress in the last decade, and are being used in a diverse set of applications such as program analysis, testing, formal methods, program synthesis

Functional programming languages have been a very productive laboratory for developing new language features and in particular powerful type systems.

Markets are a powerful tool for producing desirable outcomes in an engineered system.

Game theory has been influential in many fields, such as economics, psychology, and evolutionary biology.

ΓÇóSoftware Engineering and Open Source, Brendan Eich, Chief Technology Officer, Mozilla Corp ΓÇóStandards, interoperability and Open Source, Tony Hey (Corporate Vice President, Microsoft External

Microsoft .NET Gadgeteer is a new prototyping platform that makes it easier to construct, program and shape new kinds of computing objects.

Over the last decade SAT and SMT solver technology has revolutionized our ability to prove many relevant properties of substantial pieces of software.

For many years researchers have tried to use reconfigurable computing technology (namely FPGAs) to help solve many computationally demands problems in domains like scientific computing, finance

The Verified Software Initiative (VSI) aims at software industry embracing verification and verification technology throughout the software life-cycle.

Building on top of cloud computing infrastructure, instead of deploying and maintaining hardware directly, offers the promise of lower cost, simplified management, and greater scalability.

This session will look at some of the tools new coming out of Microsoft Research which can be of great interest to professors and students.

This session will focus on both research and commercial technologies for a variety of NUI input modalities.

Abstract: It seems that technological IT advances inevitably degrade oneΓÇÖs privacy: convenient infrastructures such as mobile phones and social networks are turned into mass surveillance

This session will bring together a group of leaders in information retrieval and language modeling to discuss the challenges in information retrieval and how language modeling approaches may help

This session will present the results from Microsoft Research and Fraunhofer IESE that leverage empirical software engineering.

NULL

Human-Centric Computing (HCC) or Human Computer Interaction (HCI) is what puts the ΓÇ£UΓÇ¥ or user in Natural User Interactions (NUI).