As the number of computing devices embedded into engineered systems continues to rise,
there is a widening gap between the needs of the user to control aggregates of devices and …

Contemporary geographic information systems (GIS) suffer from a variety of problems,
These include poor performance for many operators, poor ability to handle dynamic spatial …

Computation increasingly takes place not on an individual device, but distributed throughout
a material or environment, whether it be a silicon surface, a network of wireless devices, a …

In this thesis I present a language for instructing a sheet of identically-programmed, flexible,
autonomous agents (" cells") to assemble themselves into a predetermined global shape …

Programmability is an increasingly important barrier to the deployment of multi-robot
systems, as no prior approach allows routine composition and reuse of general aggregate …

Quantum-computing ideas are applied to the practical and ubiquitous problem of fluid
dynamics simulation. Hence, this paper addresses two separate areas of physics: quantum …

A quantum algorithm is presented for modeling the time evolution of a continuous field
governed by the nonlinear Burgers equation in one spatial dimension. It is a microscopic …

The Biham-Middleton-Levine traffic model is perhaps the simplest system exhibiting phase
transitions and self-organization. Moreover, it is an underpinning to extensive modern …

In this paper, we present a programming language approach for the assembly of arbitrary
two-dimensional shapes by decentralized, identically-programmed agents. Our system …

Multi-robot systems are becoming increasingly prevalent, but programmability is a major
barrier to their deployment. Present systems force programmers to think in terms of …