BACKGROUND HIV Counseling and Testing (HCT) is the point-of-entry for pathways of HIV care and prevention. However, HCT is not reaching many who are HIV infected and this may be related to the HCT provision model. We describe HCT utilization and HIV diagnosis using four models of HCT delivery: clinic-based, urban mobile, rural mobile, and stand-alone. METHODS Using cross-sectional data from r...

Neural units with higher-order synaptic operations have good computational properties in information processing and control applications. This paper presents neural units with higher-order synaptic operations for visual image processing applications. We use the neural units with higher order synaptic operations for edge detection and employ the Hough transform to process the edge detection resu...

We explore an intuitionistic fragment of Artëmov’s Logic of Proofs as a type system for a programming language for mobile units. Such units consist of both a code and certificate component. Dubbed the Certifying Mobile Calculus, our language caters for both code and certificate development in a unified theory. In the same way that mobile code is constructed out of code components and extant typ...

Neural units with higher-order synaptic operations have good computational properties in information processing and control applications. This paper presents neural units with higher-order synaptic operations for visual image processing applications. We use the neural units with higher order synaptic operations for edge detection and employ the Hough transform to process the edge detection resu...

We consider the application of high volume information dissemination in broadcast based mobile environments. Since current mobile units accessing broadcast information have limited battery capacity, the problem of quick and energy-e cient access to data becomes particularly relevant as the number and sizes of information units increases. We propose several randomized and Hu man-encoding based i...