It is well known that a locale is subfit iff each of its open sublocales is a join of closed ones, and fit iff each of its closed sublocales is a meet of open ones. This formulation, however, exaggerates the parallelism between the behavior of fitness and subfitness. For it can be shown that a locale is fit iff each of its sublocales is a meet of closed ones, but it is not the case that a local...

partial frames provide a rich context in which to do pointfree structured and unstructured topology. a small collection of axioms of an elementary nature allows one to do much traditional pointfree topology, both on the level of frames or locales, and that of uniform or metric frames. these axioms are sufficiently general to include as examples bounded distributive lattices, $sigma$-frames, $ka...

Les solveurs de contraintes maintiennent uniformément le même niveau de cohérence locale (généralement la cohérence d’arc) indépendamment de l’instance du problème à résoudre. Nous proposons le concept de cohérence locale paramétrée, une approche originale qui permet d’ajuster le niveau de cohérence locale en fonction de l’instance du problème à résoudre et en fonction de la partie du problème ...

Verification of imperative programs means reasoning about modifications of a program state. So proper representation of state spaces is crucial for the usability of a corresponding verification environment. In this paper we discuss various existing state space models under different aspects like strong typing, modularity and scalability. We also propose a variant based on the locale infrastruct...

Since the turn of the 21st century, a proliferation of empirical and theoretical scholarship has developed regarding mass incarceration in the United States. This work has grappled with its causes, contours, and consequences and has led to numerous important insights about how we arrived at our current state of overincarceration and about its human and economic impact. Yet, as I hope to tease o...

One of the critical design issues in Optical Burst Switching (OBS) networks is finding ways to minimize burst dropping resulting from resource contention. The existing variants of the basic deflection routing schemes all lack the ability to determine the alternate route based on clear performance objectives. In this paper, we present Contention-Based Limited Deflection Routing (CLDR) scheme, wh...

a generalization of the known results in fusion frames and $g$-frames theory to continuous fusion frames which defined by m. h. faroughi and r. ahmadi, is presented in this study. continuous resolution of the identity (cri) is introduced, a new family of cri is constructed, and a number of reconstruction formulas are obtained. also, new results are given on the duality of continuous fusion fram...

Location-dependent services are services that adapt their behavior based on the locations of mobile devices. For many applications, it is critical that location-dependent services use trustworthy device locations, namely locations that are both accurate and recent. These properties are captured by a security goal called locale authentication whereby an entity can authenticate the physical locat...