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...

BACKGROUND Generally, attenuation correction is made by incorporating a linear attenuation coefficient, which is based on the attenuation coefficient map (mu-map) created from a computed tomography scan, into the ordered subsets-expectation maximization reconstruction method in non-uniform domains. A non-uniform Chang's attenuation correction method that uses the mu-map created from a computed ...

We present a new proof of Banaschewski's theorem stating that the completion lift of a uniform surjection is a surjection. The new procedure allows to extend the fact (and, similarly, the related theorem on closed uniform sublocales of complete uniform frames) to quasi-uniformities ("not necessarily symmetric uniformities"). Further, we show how a (regular) Cauchy point on a closed uniform subl...

The upstrokes of monophasic action potentials (MAPs) recorded with an extracellular pressure electrode were characterized in isolated canine tissue preparations in vitro. The characteristics of the MAP upstroke were compared with those of the local action potential foot as well as with the characteristics of approaching electrical activation during uniform and asynchronous conduction. The upstr...

In this study, the recently launched Sentinel-2 (S2) optical satellite and the active radar Sentinel-1 (S1) satellite supported by active fire data from the MODIS sensor were used to detect and monitor forest fires in the Congo Basin. In the context of a very strong El Niño event, an unprecedented outbreak of fires was observed during the first months of 2016 in open forests formations in the n...

In this paper we argue that in most of the cases the movement pattern of a mobile host repeats itself on a day-to-day basis, but for the occasional transient deviations. Taking the spatio-temporal properties of a mobile host into account, we propose a new location management scheme. The scheme achieves the near optimal routing as it bypasses the default reliance on the routes through the home a...

Many industrial structural mechanics applications require topologically similar meshes on topologically similar surfaces that might differ in shape or size. Rotationally symmetric mesh models requiring cyclic symmetry boundary conditions, contact meshes that connect large structural assemblies and automotive and space panels with minor structural variations are some common challenges. The prese...

The aim of this study is to compare the effect of the two major classes of methods used to determine the attenuation map, i.e. non-uniform versus uniform, on 3D brain PET clinical studies based on qualitative assessment as well as absolute and relative quantitative volume of interest (VOI)based analysis. The results revealed statistically significant differences between the six attenuation corr...

In this paper, we present the design and evaluation of a system that automatically constructs accurate radio maps for both devicebased and device-free WLAN localization systems. The system uses 3D ray tracing enhanced with the uniform theory of diffraction (UTD) to model the electric field behavior and the human shadowing effect.

Extremum seeking feedback is a powerful method to steer a dynamical system to an extremum of a partially or completely unknown map. It often requires advanced system-theoretic tools to understand the qualitative behavior of extremum seeking systems. In this paper, a novel interpretation of extremum seeking is introduced.We show that the trajectories of an extremum seeking system can be approxim...