A study of risk-aware program transformation

In the trend towards tolerating hardware unreliability, accuracy is exchanged for cost savings. Running on less reliable machines, functionally correct code becomes risky and one needs to know how risk propagates so as to mitigate it. Risk estimation, however, seems to live outside the average programmer’s technical competence and core practice. In this paper we propose that program design by source-to-source transformation be risk-aware in the sense of making probabilistic faults visible and supporting equational reasoning on the probabilistic behaviour of programs caused by faults. This reasoning is carried out in a linear algebra extension to the standard, `a la Bird-Moor algebra of programming. This paper studies, in particular, the propagation of faults across standard program transformation techniques known as tupling and fusion, enabling the fault of the whole to be expressed in terms of the faults of its parts.

Historical analysis of the Brazilian cervical cancer screening program from 2006 to 2013: a time for reflection

BACKGROUND: The Cervical Cancer Database of the Brazilian National Health Service (SISCOLO) contains information regarding all cervical cytological tests and, if properly explored, can be used as a tool for monitoring and managing the cervical cancer screening program. The aim of this study was to perform a historical analysis of the cervical cancer screening program in Brazil from 2006 to 2013. MATERIAL AND METHODS: The data necessary to calculate quality indicators were obtained from the SISCOLO, a Brazilian health system tool. Joinpoint analysis was used to calculate the annual percentage change. RESULTS: We observed important trends showing decreased rates of low-grade squamous intraepithelial lesions (LSIL) and high-grade squamous intraepithelial lesions (HSIL) and an increased rate of rejected exams from 2009 to 2013. The index of positivity was maintained at levels below those indicated by international standards; very low frequencies of unsatisfactory cases were observed over the study period, which partially contradicts the low rate of positive cases. The number of positive cytological diagnoses was below that expected, considering that developed countries with low frequencies of cervical cancer detect more lesions annually. CONCLUSIONS: The evolution of indicators from 2006 to 2013 suggests that actions must be taken to improve the effectiveness of cervical cancer control in Brazil.

Sustentabilidad del monocultivo de soja y otras alternativas agrícolas, en relación a los recursos suelo y agua, en la Región Centro-Norte de Córdoba. Sustainability of soybean monoculture and another agricultural alternatives, in relation to soil and water natural resources, in the north-central area of Cordoba (Argentina).

En este proyecto se pretende demostrar que existen alternativas sustentables al monocultivo de soja y económicamente factibles si se consideran los costos ambientales.Se cumplirán los siguientes objetivos específicos:- Caracterizar la sensibilidad de indicadores de calidad del suelo: infiltración, densidad aparente, penetrometría, C orgánico, fracciones de la MO y un índice químico de disponibilidad de N. - Medir escurrimiento y erosión en dos microcuencas con manejos contrastantes donde existe instrumental instalado y registros desde hace mas de 10 años.- Establecer rangos para las situaciones encontradas en los suelos representativos de la región.- Integrar los parámetros considerados en un sistema de diagnóstico de calidad/salud del suelo, para las condiciones de la región. - Aplicar el sistema de Calidad/salud del suelo para situaciones con monocultivo de soja y otras alternativas.- Calibrar y aplicar el modelo de simulación de la materia orgánica AMG, al monocultivo de soja y otras alternativas, a distintas escalas temporales y espaciales.- Estimar los costos ambientales de monocultivo a partir de los datos obtenidos.- Extrapolar los resultados del monocultivo y las otras alternativas a los suelos característicos, para estimar la sustentabilidad de los suelos en el centro-norte de la provincia de Córdoba.Se trabajará en dos áreas piloto en campos de productores, con y sin erosión hídrica. Se evaluarán parámetros indicadores del estado de los suelos, se los integrará en un sistema, se evaluarán los suelos con situaciones de monocultivo de soja y manejos contrastantes y se los correlacionará con su historial de intervención antrópica. Se brindará una herramienta apta para el ordenamiento territorial.

Diseño y evaluación de alternativas de manejo sustentable para la recuperación y conservación de bosques degradados de la región del Espinal en la provincia de Córdoba. Design and evaluation of sustainable management alternatives for the recovery and conservation of degraded forest in the Espinal Region in Córdoba province.

El avance de la frontera agropecuaria y la urbanización han reducido la superficie boscosa del Espinal en Córdoba a fragmentos que son sumamente valiosos como relictos del ambiente original del Algarrobal y como barreras frente a la acción erosiva del agua y los vientos. Por su estructura, degradada y enmarañada, el productor agropecuario generalmente los visualiza como una molestia ya que le restan superficie apta para el cultivo y resultan poco aprovechables para el pastoreo de los animales. Bajo pautas de manejo adecuadas estos bosquecillos podrían rehabilitarse para el aprovechamiento del ganado y otros usos complementarios. Para que el productor local cuente con herramientas de manejo sustentable de sus recursos naturales es necesario generar información confiable para la zona. En ese contexto, se plantea la siguiente Hipótesis General: Existen alternativas de manejo que, aplicadas sobre los bosques del Espinal, permiten recuperar y conservar la biodiversidad a la vez que mejoran la rentabilidad del productor. El Objetivo General es diseñar y evaluar, en términos ecológicos, tecnológicos y socio-económicos, alternativas de manejo sustentable de bosques degradados del Espinal de la provincia de Córdoba tendientes a su recuperación y conservación. El proyecto se localizará en el bosque fragmentado del Campo Escuela de la FCA-UNC. Se establecerán parcelas con distintos niveles de cobertura arbustiva en las que se medirán el efecto de los arbustos sobre la regeneración de especies arbóreas deseables, la producción y calidad de la pastura, el crecimiento de los árboles y las condiciones edáficas del sistema. Además, la incidencia del ganado vacuno sobre la regeneración de especies arbóreas deseables, la riqueza y abundancia de especies forrajeras deseables y las condiciones edáficas del sistema. Se hará enriquecimiento con plantines de tres especies de Prosopis tanto en el bosque con distintos anchos de fajas como en suelo desmontado, para evaluar su comportamiento. También se probará la diseminación y establecimiento posterior de estas especies por medio de la ingesta del ganado vacuno. Se relevarán especies medicinales, aromáticas, melíferas, tintóreas y ornamentales nativas, y se las valorará económicamente según su uso actual y potencial en esta y otras zonas de la provincia y el país. Se efectuará la caracterización socio-económica y ambiental del área circundante al Campo Escuela y mediante encuestas se determinará el grado de valorización del bosque que tienen los pobladores zonales. Se realizará el análisis económico y financiero del sistema propuesto versus el sistema sin proyecto, considerando bienes producidos y servicios ambientales del bosque y se socializará el proyecto a través de encuestas y reuniones participativas con los productores zonales. Para el análisis de toda la información se usará el software INFOSTAT 2007. Se harán tablas y gráficos de estadística descriptiva para visualizar la distribución de datos. Se usará análisis de correlación, análisis de regresión lineal múltiple, ANAVA y test a posteriori. Se espera generar pautas preliminares de manejo, sencillas y económicas, fácilmente adoptables por los productores de la región, que aseguren la persistencia de estos fragmentos boscosos, relictos de la vegetación original del Espinal.

Blood Pressure Control in Hypertensive Patients in the "Hiperdia Program": A Territory-Based Study

Background:Systemic hypertension is highly prevalent and an important risk factor for cardiovascular events. Blood pressure control in hypertensive patients enrolled in the Hiperdia Program, a program of the Single Health System for the follow-up and monitoring of hypertensive patients, is still far below the desired level.Objective:To describe the epidemiological profile and to assess blood pressure control of patients enrolled in Hiperdia, in the city of Novo Hamburgo (State of Rio Grande do Sul, Brazil).Methods:Cross-sectional study with a stratified cluster random sample, including 383 adults enrolled in the Hiperdia Program of the 15 Basic Health Units of the city of Porto Alegre, conducted between 2010 and 2011. Controlled blood pressure was defined as ≤140 mmHg × 90 mmHg. The hypertensive patients were interviewed and their blood pressure was measured using a calibrated aneroid device. Prevalence ratios (PR) with 95% confidence interval, Wald's χ2 test, and simple and multiple Poisson regression were used in the statistical analysis.Results:The mean age was 63 ± 10 years, and most of the patients were females belonging to social class C, with a low level of education, a sedentary lifestyle, and family history positive for systemic hypertension. Diabetes mellitus (DM) was observed in 31%; adherence to the antihypertensive treatment in 54.3%; and 33.7% had their blood pressure controlled. DM was strongly associated with inadequate BP control, with only 15.7% of the diabetics showing BP considered as controlled.Conclusion:Even for hypertensive patients enrolled in the Hiperdia Program, BP control is not satisfactorily reached or sustained. Diabetic hypertensive patients show the most inappropriate BP control.

Blood Pressure and Hemodynamic Adaptations after a Training Program in Young Individuals with Down Syndrome

Background:Cardiovascular diseases affect people worldwide. Individuals with Down Syndrome (DS) have an up to sixteen-time greater risk of mortality from cardiovascular diseases.Objective:To evaluate the effects of aerobic and resistance exercises on blood pressure and hemodynamic variables of young individuals with DS.Methods:A total of 29 young individuals with DS participated in the study. They were divided into two groups: aerobic training (AT) (n = 14), and resistance training (TR) (n = 15). Their mean age was 15.7 ± 2.82 years. The training program lasted 12 weeks, and had a frequency of three times a week for AT and twice a week for RT. AT was performed in treadmill/ bicycle ergometer, at an intensity between 50%-70% of the HR reserve. RT comprised nine exercises with three sets of 12 repetition-maximum. Systolic blood pressure (SBP), diastolic blood pressure (DBP), mean blood pressure (MBP) and hemodynamic variables were assessed beat-to-beat using the Finometer device before/after the training program. Descriptive analysis, the Shapiro-Wilk test to check the normality of data, and the two-way ANOVA for repeated measures were used to compare pre- and post-training variables. The Pearson’s correlation coefficient was calculated to correlate hemodynamic variables. The SPSS version 18.0 was used with the significance level set at p < 0.05.Results:After twelve weeks of aerobic and/or resistance training, significant reductions in variables SBP, DBP and MBP were observed.Conclusion:This study suggests a chronic hypotensive effect of moderate aerobic and resistance exercises on young individuals with DS.

Alternatives to Aerobic Exercise Prescription in Patients with Chronic Heart Failure

Background: Exercise is essential for patients with heart failure as it leads to a reduction in morbidity and mortality as well as improved functional capacity and oxygen uptake (v̇O2). However, the need for an experienced physiologist and the cost of the exam may render the cardiopulmonary exercise test (CPET) unfeasible. Thus, the six-minute walk test (6MWT) and step test (ST) may be alternatives for exercise prescription. Objective: The aim was to correlate heart rate (HR) during the 6MWT and ST with HR at the anaerobic threshold (HRAT) and peak HR (HRP) obtained on the CPET. Methods: Eighty-three patients (58 ± 11 years) with heart failure (NYHA class II) were included and all subjects had optimized medication for at least 3 months. Evaluations involved CPET (v̇O2, HRAT, HRP), 6MWT (HR6MWT) and ST (HRST). Results: The participants exhibited severe ventricular dysfunction (ejection fraction: 31 ± 7%) and low peak v̇O2 (15.2 ± 3.1 mL.kg-1.min-1). HRP (113 ± 19 bpm) was higher than HRAT (92 ± 14 bpm; p < 0.05) and HR6MWT (94 ± 13 bpm; p < 0.05). No significant difference was found between HRP and HRST. Moreover, a strong correlation was found between HRAT and HR6MWT (r = 0.81; p < 0.0001), and between HRP and HRST (r = 0.89; p < 0.0001). Conclusion: These findings suggest that, in the absence of CPET, exercise prescription can be performed by use of 6MWT and ST, based on HR6MWT and HRST

Framework for measuring program comprehension

Magdeburg, Univ., Fak. für Informatik, Diss., 2012

Endangered Species Act biennial report, status of recovery program / prepared by U.S. Department of Commerce, National Oceanic and Atmospheric Administration, National Marine Fisheries Service, Office of Protected Resources.

1994-1996

Ocean margins program / edited by R. Jahnke and P. Verity.

Scientific Framework