We present a method that allows to guarantee liveness by construction of a class of timed systems. The method is based on the use of a set of structural properties which can be checked locally at low cost. We provide su cient conditions for liveness preservation by parallel composition and priority choice operators. The latter allow to restrict a system's behavior according to a given priority ...

This paper is a contribution to the literature on aid and growth. Despite an extensive existing empirical literature in this area, studies have not paid much attention to the importance of transmission mechanisms in determining the influence of aid inflows on growth rates. In other words, existing studies have failed to specify the mechanisms via which aid should affect growth. We identify inve...

This paper explores live coding environments in the context of notational systems. The improvisational practice of live coding as combining both composition and performance is introduced and selected systems are discussed. The author’s Threnoscope system is described, but this is a system that enables the performer to work with both descriptive and prescriptive scores that can be run and altere...

In this paper, we present some preliminary studies on reducing the emittance of the Hefei light source II (HLS-II) storage ring by redistributing the synchrotron damping partition factor using a Robinson wiggler. The studies demonstrate that it is possible to reduce the emittance by 50% using a 2-meter long wiggler on a rematched lattice. This encouraging result suggests a feasible option to si...