Past Events

Healthcare for chronic disease is the dominant cost for many healthcare systems, now and for the foreseeable future. The unique capabilities of pervasive technologies have the potential to transform healthcare practices by shifting care from acute to...

Large-scale production of very heavy oil is gaining momentum. Unfortunately, production of such reservoirs typically leads to large environmental impacts. One promising technique that may mitigate these impacts is in-situ combustion (ISC). In this...

Modern society demands that people manage, communicate, and interact with digital information at an ever-increasing pace. Even though most people want to be informed, all this information is frequently experienced as stress. It is not the information...

We all Google. You may even have found this talk by Googling. What you may not know is that behind the Google’s and other search engines is beautiful and elegant mathematics. In this talk, I will try to explain the workings of page ranking and search...

We present quick, simple, and easy solutions to hard software problems such as security vulnerabilities, memory leaks, addressing errors, infinite loops, program optimization, and automatic parallelization. Each solution is implemented as an...

If A is the adjacency matrix of a graph X, then the unitary operators defined by U(t) = exp(-itA) define what physicists call a continuous quantum walk. A basic problem is to relate the physical properties of this system to features of the underlying...

In physics, experimental observations are usually described using theoretical models which make specific assumptions on the physical system under consideration. Device-independent quantum information investigates the converse approach. What can be...

An atomic snapshot is a fundamental data structure for shared memorydistributed computation. It allows processes to scan and update ashared array so that the operations seem to take effect atomically.The worst case number of reads and writes to...

Abstract: We discuss some algebraic and combinatorial constructions of quantum codes. We give a variant of Construction X (known mainly from the theory of classical linear codes) that produces many new stabilizer quantum error correcting codes of...