Microsoft Research

We construct an efficient autonomous quantum-circuit design algorithm for creating efficient quantum circuits to simulate Hamiltonian many-body quantum dynamics for arbitrary input states.

Design and implementation of distributed systems often involve many subtleties due to their complex structure, non-determinism, and low atomicity as well as occurrence of unanticipated physical

In March 2011, President Obama issued a call to action, stating “I’m calling for investments in educational technology that will help create… educational software that’s as compelling as the best

Timely and cost-effective analytics over "big data" is now a key ingredient for success in businesses and scientific disciplines.

The point spread function (PSF) of a lens describes the impulse response of that lens -- how a point light source is imaged.

This talk considers some histories of arts-driven innovation in and out of computer research laboratories.

How can we communicate sensations and emotional states, in non-verbal ways, to others, ourselves, things, or even places?

We propose a general framework for the design of securities markets over combinatorial or infinite state spaces.

Attendees of this talk will gain a greater understanding of the roles that digital media play in learning and meaning-making across the span of childhood, and discover strategies for leveraging the

Today those over sixty-five own over one third of all publicly traded value in the US. Yet financial security mechanisms for the Internet have not been designed for this demographic.

We present Expositor, a new debugging environment that combines scripting and time-travel debugging to allow developers to automate complex debugging tasks.

We present CLOUDS, an upcoming documentary featuring new media artists in conversation about computational art and visual technology.

K-median is the problem where we wish to open k facilities so as to minimize the average distance each client has to its closest opened facility.

Handling Multitude of Nash Equilibria in Voting Games Following an introduction to voting and to the Nash equilibrium concept we will present two papers which attempt to deal with the multitude of

The past two decades have seen two parallel trends in software development: the increased use of linguistic tools to rigorously ensure the reliability of software, and the rise of higher-order

9:00AM�9:30AM Quantum Computing: A Short Tutorial Speaker: Krysta Svore, Microsoft Research QuArC Bio: Krysta Svore is a Researcher in the Quantum Architectures and Computation Group (QuArC) at

The behavior of random walks on metric spaces can sometimes be understood by embedding such a walk into a nicer space (e.g. a Hilbert space) where the geometry is more readily approachable.

Content consumption is moving to the multi-screen and to the device ecosystem of the new wireless landscape.

Despite all the recent successes of machine translation, when it comes to high quality publishable translation, human translators are still unchallenged.

Learning and inference in complex models drives much of the research in machine learning applications, from computer vision, natural language processing, to computational biology.

�Gamification� is: hot, hyped, oversold, misunderstood, unavoidable, a buzzword, a question mark, a quick fix, a huge unfulfilled potential.

The combination of Moore's law and the Internet has changed everything.

Shared-memory concurrent programming and verification traditionally assumes Sequential Consistency, but real-world hardware only provides relaxed consistency models.

Albrecht Lindner is a PhD student in the School of Computer and Communication Sciences at EPFL (Switzerland) under the supervision of Prof. Sabine S�sstrunk.

Intro - By Volker Markl Part 1 - Query Optimization with MapReduce Functions, Kostas Tzoumas Abstract: Many systems for big data analytics employ a data flow programming abstraction to define

Modern communication technologies have made massive amounts of real-time news information in several languages readily available.

The task of speech synthesis is to convert normal language text into speech.

There is an explosion of interest currently in exploring arts and technology connections: new media, digital media, kinetic art, new frontiers, emergent media, interdisciplinary, multidisciplinary

Dr.

From the capture and return of an asteroid, to the orbital assembly of space vehicles, robots play a significant role in nearly every scenario of future space exploration.