This paper is about partially ordered multisets (pomsets for short). We investigate a particular class of pomsets that we call order-deterministic, properly including all partially ordered sets, which satisfies a number of interesting properties: among other things, it forms a distributive lattice under pomset prefix (hence prefix closed sets of order-deterministic pomsets are prime algebraic),...

Using the general notion of distance function introduced in [2], a construction of the finest distance structure (d, M, P ) that induces a given quasiuniformity is given, which leads to a concrete, full, and co-reflective embedding of the category of quasi-uniformities into that of distance spaces. Moreover, when the usual defining condition xUεy :⇔ d(y, x) 6 ε of the basic entourages is genera...

T he processing of chemical pathology requests includes pre-analytical, analytical, and post-analytical phases. At its most basic, the postanalytical process is the reporting and delivery of validated results. One of the ways in which the chemical pathology laboratory provides ‘‘added value’’ over a purely analytical service is at this postanalytical stage—that is, further processing of results...

In the expanding domain of mobile service robots deployed in natural, everyday environments, this assumption does not hold, since humans (which are themoving obstacles in this context) do perceive the robot and its motion and adapt their ownmotion accordingly. Therefore, reflective navigation approaches which include reasoning about other agents’ navigational decision processes become increasin...

We render runtime system adaptations by design-level concepts such that running systems can be adapted and examined at a higher level of abstraction. The overall idea is to express design decisions as applications of design operators to be carried out at runtime. Design operators can implement design patterns for use at runtime. Applications of design operators are made explicit as design eleme...

To solve this problem, recent research in reflective middleware8 uses techniques derived from previous work in computational reflection to add flexibility to middleware. Reflective middleware exploits Gregory Kiczales’ meta-object protocol, combining the ideas of computational reflection and object orientation.9 His model distinguishes between base-level objects (concerning the systems’ functio...

We prove the universal property of the infinitary exact completion of a category with weak small limits. As an application, we slightly weaken the conditions characterizing essential localizations of varieties (in particular, of module categories) and of presheaf categories. Introduction An essential localization is a reflective subcategory such that the reflector has a left adjoint. In [12], R...

There are various doctrines wherein theories are small categories and the models of a theory constitute a full subcategory of the category of functors from the theory to sets. We define the notion of bimodel at the nondoctrinaire level where those specified subcategories are arbitrary; as a first application we look for a classification of the equivalences between categories of models. We obtai...

Debates about posttraumatic stress disorder (PTSD) often turn on whether it is a timeless, cross-culturally valid natural phenomenon or a socially constructed idiom of distress. Most clinicians seem to favor the first view, differing only in whether they conceptualize PTSD as a discrete category or the upper end of a dimension of stress responsiveness. Yet both categorical and dimensional const...