Catholic grievances in relation to the administration of Indian affairs : being a report presented to the Catholic Young Men's National Union, at its eighth annual convention, held in Boston, Massachusetts, May 10th and 11th, 1882

http://www.archive.org/details/catholicgrieva00mealrich

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.

New Notions of Reduction and Non-Semantic Proofs of β-Strong Normalization in Typed λ-Calculi

Two new notions of reduction for terms of the λ-calculus are introduced and the question of whether a λ-term is beta-strongly normalizing is reduced to the question of whether a λ-term is merely normalizing under one of the new notions of reduction. This leads to a new way to prove beta-strong normalization for typed λ-calculi. Instead of the usual semantic proof style based on Girard's "candidats de réductibilité'', termination can be proved using a decreasing metric over a well-founded ordering in a style more common in the field of term rewriting. This new proof method is applied to the simply-typed λ-calculus and the system of intersection types.

Addendum to "New Notions of Reduction and Non-Semantic Proofs of β-Strong Normalization in Typed λ-Calculi"

This is an addendum to our technical report BUCS TR-94-014 of December 19, 1994. It clarifies some statements, adds information on some related research, includes a comparison with research be de Groote, and fixes two minor mistakes in a proof.

Emergence of Tri-Phasic Muscle Activation from the Non-linear Interactions of Central and Spinal Neural Network Circuits

The origin of the tri-phasic burst pattern, observed in the EMGs of opponent muscles during rapid self-terminated movements, has been controversial. Here we show by computer simulation that the pattern emerges from interactions between a central neural trajectory controller (VITE circuit) and a peripheral neuromuscularforce controller (FLETE circuit). Both neural models have been derived from simple functional constraints that have led to principled explanations of a wide variety of behavioral and neurobiological data, including, as shown here, the generation of tri-phasic bursts.