We study functorial properties of the quantale spectrum MaxA of an arbitrary unital C*-algebra A. In particular we show that the spatialization of MaxA with respect to one of the notions of spatiality in the literature yields the locale of closed ideals of A when A is commutative. We study under general conditions functors with this property, in addition requiring that inductive limits be prese...

The authors define a new semiparametric Archimedean copula family having a flexible dependence structure. The family’s generator is a local interpolation of existing generators. It has locally-defined dependence parameters. The authors present a penalized constrained least-squares method to estimate and smooth these parameters. They illustrate the flexibility of their dependence model in a biva...

A framework for non local discrete p-Laplacian regularization on Image and Manifold represented by weighted graphs of the arbitrary topologies is proposed. The proposed discrete framework unifies the local and non local regularization for image processing and extends them to the processing of any discrete data living on graphs. To cite this article: A. Elmoataz, O. Lezoray, S. Bougleux, C. R. M...

Three computer-based experiments which tested human participants in a non-immersive virtual watermaze task sought to determine factors which dictate whether the presence of a visual platform disrupts locale learning and taxon learning. In Experiment 1, the visible platform disrupted locale but not taxon learning based on viewpoint-independent and viewpoint-dependent information, respectively. I...

This study uses two regionwide data sets, one exemplified by intensive management and the other by nonintensive management, to investigate whether including regional locale and thinning response improves the loblolly pine height– diameter relationship. Results showed that including geographic coordinates as scaled variables, in addition to including a thinning response modifier, reduces the var...

West Nile virus (WNV) causes significant morbidity and mortality worldwide. Transplant and transfusion recipients as well as the elderly are particularly at risk. WNV shows strain variation from season to season and from locale to locale. This poses a significant problem for diagnosis. Most assays use a single primer pair to detect WNV by QPCR, and can fail to detect novel stains. To overcome t...

If a locale is presented by a “flat site”, it is shown how its frame can be presented by generators and relations as a dcpo. A necessary and sufficient condition is derived for compactness of the locale (and also for its openness). Although its derivation uses impredicative constructions, it is also shown predicatively using the inductive generation of formal topologies. A predicative proof of ...

Locales (as first embodied in the SPLINE system) are a very good approach to constructing and organising large virtual environments, especially for distributed and multiuser systems. In the MASSIVE-3 system we have adopted the locale approach, and extended it in a number of significant areas: we have integrated the notion of awareness (drawing on our previous work with awareness management in v...

Fixture fault diagnosis is a critical component of currently evolving techniques aimed at manufacturing variation reduction. The impact of sensor location on the effectiveness of fault-type discrimination in ?;uch diagnostic procedures is signijcant. This paper proposes a methodology for achieving optimal fault-type discrimination through an optimized conjguration of dejned "sensor locales. " T...

We study properties of the quantale spectrum MaxA of an arbitrary unital C*-algebra A. In particular we show that the spatialization of MaxA with respect to one of the notions of spatiality in the literature yields the locale of closed ideals of A when A is commutative. We study under general conditions functors with this property, in addition requiring that colimits be preserved, and we conclu...