Department of Infectious Parasitic and ImmuneMediated Diseases, Istituto Superiore di Sanità, Rome, Italy (M L Ricci BiolD, S Fontana PhD, F Pinci BiolD, M Scaturro PhD); Azienda Unità Sanitaria Locale, Forlì, Italy (E Fiumana MD); Azienda Unità Sanitaria Locale, Cesena, Italy (M F Pedna BiolD); Agenzia Regionale Prevenzione e Ambiente, Bologna, Italy (M A Bucci Sabattini BiolD); and “G B Morga...

It it shown that geometric morphisms between elementary toposes can be represented as adjunctions between the corresponding categories of locales. These adjunctions are characterised as those that preserve the order enrichment, commute with the double power locale monad and whose right adjoints preserve finite coproduct. They are also characterised as those adjunctions that preserve the order e...

. On considère une classe de systèmes non-linéaires pour lesquels la technique de synthèse par backstepping n’est pas applicable. On présente un critère pour la synthèse d’une commande hybride faisant l’union d’une commande par backstepping et d’une commande locale. Cette commande hybride rend le système bouclé globalement asymptotiquement stable. Le critère de sélection repose sur le choix de ...

It is well known that the internal suplattices in the topos of sheaves on a locale are precisely the modules on that locale. Using enriched category theory and a lemma on KZ doctrines we prove (the generalization of) this fact in the case of ordered sheaves on a small quantaloid. Comparing module-equivalence with sheaf-equivalence for quantaloids and using the notion of centre of a quantaloid, ...

this paper is a continuation of [uniformities and covering properties for partial frames (i)], in which we make use of the notion of a partial frame, which is a meet-semilattice in which certain designated subsets are required to have joins, and finite meets distribute over these. after presenting there our axiomatization of partial frames, which we call $sels$-frames, we added structure, in th...

Locales provide a module system for the Isabelle proof assistant. Recently, locales have been ported to the new Isar format for structured proofs. At the same time, they have been extended by locale expressions, a language for composing locale specifications, and by structures, which provide syntax for algebraic structures. The present paper presents both and is suitable as a tutorial to locale...

The LocALE (Location-Aware Lifecycle Environment) framework provides a simple management interface for controlling the lifecycle of CORBA distributed objects. It supports mechanisms for the remote construction, movement, removal and recovery of heterogeneous software objects in a location domain, i.e. a group of hosts on a network within a given physical area. Client applications use LocALE to ...