Non-clinical outcomes of antiretroviral therapy for HIV/AIDS in developing countries: a systematic literature review

The impacts of antiretroviral therapy on quality of life, mental health, labor productivity, and economic wellbeing for people living with HIV/AIDS in developing countries are only beginning to be measured. We conducted a systematic literature review to analyze the effect of antiretroviral therapy (ART) on these non-clinical indicators in developing countries and assess the state of research on these topics. Both qualitative and quantitative studies were included, as were peer-reviewed articles, gray literature, and conference abstracts and presentations. Findings are reported from 12 full-length articles, 7 abstracts, and 1 presentation (representing 16 studies). Compared to HIV-positive patients not yet on treatment, patients on ART reported significant improvements in physical, emotional and mental health and daily function. Work performance improved and absenteeism decreased, with the most dramatic changes occurring in the first three months of treatment and then leveling off. Little research has been done on the impact of ART on household wellbeing, with modest changes in child and family wellbeing within households where adults are receiving ART reported so far. Studies from developing countries have not yet assessed non-clinical outcomes of therapy beyond the first year; therefore, longitudinal outcomes are still unknown. As ART roll out extends throughout high HIV prevalence, low-resource countries and is sustained over years and decades, both positive and adverse non-clinical outcomes need to be empirically measured and qualitatively explored in order to support patient adherence and maximize treatment benefits.

Object Oriented Animation on the World Wide Web

This report describes our attempt to add animation as another data type to be used on the World Wide Web. Our current network infrastructure, the Internet, is incapable of carrying video and audio streams for them to be used on the web for presentation purposes. In contrast, object-oriented animation proves to be efficient in terms of network resource requirements. We defined an animation model to support drawing-based and frame-based animation. We also extended the HyperText Markup Language in order to include this animation mode. BU-NCSA Mosanim, a modified version of the NCSA Mosaic for X(v2.5), is available to demonstrate the concept and potentials of animation in presentations an interactive game playing over the web.

Real-Time Databases: Issues and Applications (RTDB'96 Workshop Report)

This report summarizes the technical presentations and discussions that took place during RTDB'96: the First International Workshop on Real-Time Databases, which was held on March 7 and 8, 1996 in Newport Beach, California. The main goals of this project were to (1) review recent advances in real-time database systems research, (2) to promote interaction among real-time database researchers and practitioners, and (3) to evaluate the maturity and directions of real-time database technology.

Principality and Decidable Type Inference for Finite-Rank Intersection Types

Principality of typings is the property that for each typable term, there is a typing from which all other typings are obtained via some set of operations. Type inference is the problem of finding a typing for a given term, if possible. We define an intersection type system which has principal typings and types exactly the strongly normalizable λ-terms. More interestingly, every finite-rank restriction of this system (using Leivant's first notion of rank) has principal typings and also has decidable type inference. This is in contrast to System F where the finite rank restriction for every finite rank at 3 and above has neither principal typings nor decidable type inference. This is also in contrast to earlier presentations of intersection types where the status of these properties is not known for the finite-rank restrictions at 3 and above.Furthermore, the notion of principal typings for our system involves only one operation, substitution, rather than several operations (not all substitution-based) as in earlier presentations of principality for intersection types (of unrestricted rank). A unification-based type inference algorithm is presented using a new form of unification, β-unification.