the genetic constitution of the implant itself as well as the relative stages of development of implant and host may also influence this property of autonomy or non-autonomy of the implant. As a concluding example, we shall mention briefly, experiments made to establish the time in development at which vermilion pigmentation is irreversibly determined, i.e., after which a vermilion eye disc imp...

This article is an overview of the recent developments of a theory originally introduced by Leifer and Milner: given a formalism with a reduction semantics, a canonical labelled transition system is derived on which bisimilarity as well as other other equivalences are congruences, provided that the contexts of the formalism form the arrows of a category which has certain colimits. We shall also...

Railway optimization problems have been studied from a mathematical programming perspective for decades. This approach is particularly well suited to model the multitude of constraints that typically arises in the context of a railway system. In recent years, these problems have attracted some attention in the algorithms community, with a focus on individual problem aspects, in an attempt to un...

This document describes the lookup table generator for the XTRP system.