This paper is a study into some properties and applications of Moss’ coalgebraic or ‘cover’ modality ∇. First we present two axiomatizations of this operator, and we prove these axiomatizations to be sound and complete with respect to basic modal and positive modal logic, respectively. More precisely, we introduce the notions of a modal ∇-algebra and of a positive modal ∇-algebra. We establish ...

The nonagenarian population will be the fastest growing amongst the older over the next 30 years. Intuitively, the geriatric clinician notes that it is, both physically and cognitively, a “stronger” population (1). Chronological age can certainly not be considered as a strong marker because the heterogeneity of the phenotypes in the old person must be noted. Frailty is often linked to advanced ...

Julie Dubourg ([email protected]) Mahmoud Messerer ([email protected]) Dimitrios Karakitsos ([email protected]) Venkatakrishna Rajajee ([email protected]) Erik Antonsen ([email protected]) Etienne Javouhey ([email protected]) Alessandro Cammarata ([email protected]) Michael Cotton ([email protected]) Roy Thomas Daniel ([email protected]) Carmelo De...

Chu spaces are a recently developed model of concurrent computation extending automata theory to express branching time and true concurrency. They exhibit in a primitive form the quantum mechanical phenomena of complementarity and uncertainty. The complementarity arises as the duality of information and time, automata and schedules, and states and events. Uncertainty arises when we define a mea...

By using the representational power of Chu spaces we define the notion of a generalized topological space (or GTS, for short), i.e., a mathematical structure that generalizes the notion of a topological space. We demonstrate that these topological spaces have as special cases known topological spaces. Furthermore, we develop the various topological notions and concepts for GTS. Moreover, since ...

Pulmonary Function in HIV-1 Vertically Infected Children Amandine Rubio1, Fabrice Monpoux2*, Carole Bailly3,4, Dominique Crenesse4 and Marc Albertini3,4 1Clinique Universitaire de Pédiatrie, Hôpital Couple Enfant, CHU de Grenoble, 38043 GRENOBLE cedex 09, France 2Service d’hematologie-oncologie infantile, GCS Pédiatrique CHU-Lenval, Hopital de l’Archet, 151 route de Saint Antoine de Ginestiere,...

The subfamily Cyclidiinae from China is reviewed: two genera and seven species are reported from China. One new subspecies, Cyclidia fractifasciata indistincta subsp. n., is described. Two new synonyms are established: Cyclidia substigmaria (Hübner, 1831) (= Cyclidia substigmaria brunna Chu & Wang, 1987, syn. n. = Cyclidia tetraspota Chu & Wang, 1987, syn. n.). One misidentification in Chu & Wa...

1Service d’Hématologie, Hôpital Schaffner, Lens, France; 2Laboratoire d’Hématologie, Centre Hospitalier Universitaire (CHU) de Lille, Lille, France; 3Service d’Anatomo-pathologie, Hôpital Schaffner, Lens, France; 4 CHU Clermont-Ferrand, Hôpital Estaing, Service d’Anatomo-pathologie, Clermont Ferrand, France; 5Laboratoire d’Hématologie, Hôpital Schaffner, Lens, France; 6 Laboratoire de Biochimie...

Enriched categories have been applied in the past to both event-oriented true concurrency models and state-oriented information systems, with no evident relationship between the two. Ordinary Chu spaces expose a natural duality between partially ordered temporal spaces (pomsets, event structures), and partially ordered information systems. Barr and Chu’s original definition of Chu spaces howeve...

Vanessa Charland-Verville , Marie-Aurélie Bruno , Mohammed Ali Bahri , Athena Demertzi , Martin Desseilles , Camille Chatelle , Audrey Vanhaudenhuyse , Roland Hustinx , Claire Bernard , Luaba Tshibanda , Steven Laureys ** and Adam Zeman * Coma Science Group, Cyclotron Research Center and Neurology Department, CHU Sart-Tilman Hospital and University of Liège, 4000 Liège, Belgium Department of Nu...