We classify all essential extensions of the form $$ 0 \rightarrow \mathcal{B} \mathcal{D} C(X) where $\mathcal{B}$ is a nonunital, simple, separable, finite, real rank zero, $\mathcal{Z}$-stable $C^\*$-algebra with continuous scale, and $X$ finite CW complex. In fact, we prove that there group isomorphism \mathbf{Ext}(C(X), \mathcal{B}) KK(C(X), \mathcal{M}(\mathcal{B})/\mathcal{B}).

System configuration management is difficult because systems evolve in an undisciplined way: packages are upgraded, configuration files are edited, and so on. The management of existing operating systems is strongly imperative in nature, since software packages and configuration data (e.g., /bin and /etc in Unix) can be seen as imperative data structures: they are updated in-place by system adm...

Let G be an unweighted n-node undirected graph. A βadditive spanner of G is a spanning subgraph H of G such that distances in H are stretched at most by an additive term β w.r.t. the corresponding distances in G. A natural research goal related with spanners is that of designing sparse spanners with low stretch. In this paper, we focus on fault-tolerant additive spanners, namely additive spanne...

We present a marriage of functional and structured imperative programming that embeds in pure lambda calculus. We describe how we implement the core of this language in a monadic DSL which is structurally equivalent to our intended source language and which, when evaluated, generates pure lambda terms in continuation-passing-style. 1. Pure Functional Programming One of the frequently touted ben...

Planning under uncertainty involves two distinct sources of uncertainty: uncertainty about the effects of actions and uncertainty about the current state of the world. The most widely developed model that deals with both sources of uncertainty is that of Partially Observable Markov Decision Processes (POMDPs). Simplifying POMDPs by getting rid of the second source of uncertainty leads to the we...

We construct actions for non-relativistic strings and membranes purely as WessZumino terms of the underlying Galilei groups.