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.

Global validation of the WSES Sepsis Severity Score for patients with complicated intra-abdominal infections: a prospective multicentre study (WISS Study).

BACKGROUND To validate a new practical Sepsis Severity Score for patients with complicated intra-abdominal infections (cIAIs) including the clinical conditions at the admission (severe sepsis/septic shock), the origin of the cIAIs, the delay in source control, the setting of acquisition and any risk factors such as age and immunosuppression. METHODS The WISS study (WSES cIAIs Score Study) is a multicenter observational study underwent in 132 medical institutions worldwide during a four-month study period (October 2014-February 2015). Four thousand five hundred thirty-three patients with a mean age of 51.2 years (range 18-99) were enrolled in the WISS study. RESULTS Univariate analysis has shown that all factors that were previously included in the WSES Sepsis Severity Score were highly statistically significant between those who died and those who survived (p < 0.0001). The multivariate logistic regression model was highly significant (p < 0.0001, R2 = 0.54) and showed that all these factors were independent in predicting mortality of sepsis. Receiver Operator Curve has shown that the WSES Severity Sepsis Score had an excellent prediction for mortality. A score above 5.5 was the best predictor of mortality having a sensitivity of 89.2 %, a specificity of 83.5 % and a positive likelihood ratio of 5.4. CONCLUSIONS WSES Sepsis Severity Score for patients with complicated Intra-abdominal infections can be used on global level. It has shown high sensitivity, specificity, and likelihood ratio that may help us in making clinical decisions.

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.

Validation of the Portuguese Version of EHP-30 (The Endometriosis Health Profile-30)

Introduction: Endometriosis Health Profile Questionnaire-30 is currently the most used questionnaire for quality of life measurement in women with endometriosis. The aim of this study is to evaluate the psychometric properties and to validate the Portuguese Endometriosis Health Profile Questionnaire-30 version. MATERIAL AND METHODS A sequential sample of 152 patients with endometriosis, followed in a Portugal reference center, were asked to complete a questionnaire on social and demographic features, the Portuguese version of the Endometriosis Health Profile Questionnaire-30 and of the Short Form Health Survey 36 Item â version 2. Appropriate statistical analysis was performed using descriptive statistics, factor analysis, internal consistency, item-total correlation and convergent validity. RESULTS Factorial analysis confirmed the validity of the five-dimension structure of the Endometriosis Health Profile Questionnaire-30 core questionnaire, which explained 83.2% of the total variance. All item-total correlations presented acceptable results and high internal consistency, with Cronbach's alpha ranging between 0.876 and 0.981 for the core questionnaire and between 0.863 and 0.951 for the modular questionnaire. Significant negative associations between similar scales of Endometriosis Health Profile Questionnaire-30 and Short Form Health Survey 36 Item â version 2 were demonstrated. Data completeness achieved was high for all dimensions. The emotional well-being scale in the core questionnaire and the infertility scale in the modular section had the highest median scores, and therefore the most negative impact on the quality of life of participating women. DISCUSSION The test-retest reliability and responsiveness of the questionnaire should be evaluated in future studies. CONCLUSION The present study demonstrates that the Portuguese version of the Endometriosis Health Profile Questionnaire-30 is a valid, reliable and acceptable tool for evaluating the health-related quality of life of Portuguese women with endometriosis.

Validation of the Disordered Eating Attitude Scale for adolescents

ABSTRACT Objective To perform the psychometric evaluation of the Disordered Eating Attitude Scale (DEAS) for adolescents. Methods Sample consisted of 1,119 Brazilian adolescents (12-18 years old; 59.6% female) studying at technical schools in São Paulo state-Brazil, who answered an online survey with the DEAS, the Eating Attitude Test (EAT-26), and the Restraint Scale (RS). The internal consistency of the DEAS was assessed using Cronbach’s alpha. The convergent validity of DEAS was evaluated by means of Pearson’s coefficient correlation with EAT-26 and RS. The test-retest reliability was evaluated using a sub-sample of 61 adolescents. Known-groups validity was determined by comparing female student mean scores with scores of 33 female adolescents with eating disorders. Results The reliability of the DEAS was 0.79. EAT-26 and RS scores were positively correlated with DEAS scores (EAT: 0.78 for females and 0.59 for males, p < 0.001; RS: 0.63 for females and 0.48 for males, p < 0.001). The DEAS total and subscale scores differentiated students and patients with eating disorders (p < 0.001). The intra-class correlation coefficient for test-retest reliability was 0.87. Conclusion Results indicate that the DEAS adolescent version showed good internal consistency, convergent validity, known-groups validity, and test-retest reliability, suggesting its potential in identifying disordered eating attitudes among adolescents. It could also be helpful in identifying adolescents at risk from eating disorders, assisting in prevention programs.

Validation study of an automated wrist monitor, omron model HEM-608, compared with the standard methods for blood pressure measurement

OBJECTIVE - The aim of our study was to assess the profile of a wrist monitor, the Omron Model HEM-608, compared with the indirect method for blood pressure measurement. METHODS - Our study population consisted of 100 subjects, 29 being normotensive and 71 being hypertensive. Participants had their blood pressure checked 8 times with alternate techniques, 4 by the indirect method and 4 with the Omron wrist monitor. The validation criteria used to test this device were based on the internationally recognized protocols. RESULTS - Our data showed that the Omron HEM-608 reached a classification B for systolic and A for diastolic blood pressure, according to the one protocol. The mean differences between blood pressure values obtained with each of the methods were -2.3 +7.9mmHg for systolic and 0.97+5.5mmHg for diastolic blood pressure. Therefore, we considered this type of device approved according to the criteria selected. CONCLUSION - Our study leads us to conclude that this wrist monitor is not only easy to use, but also produces results very similar to those obtained by the standard indirect method.

Study of validation of the Portuguese version of the inventory «Experiences in Close Relationships»

The Experiences in Close Relationships Inventory permits to evaluate attachment in close relationships during adulthood based on two dimensions able to be present in this kind of relationships: the avoidance of proximity and the anxiety related with to abandonment. It is a self-report 7- points likert scale composed by 36 items. The Portuguese version was administered to a sample of 551 university students (60% female), the majority with ages between 19 and 24 years old (88%) in a dating relationship (86%). The principal components analysis with oblimin rotation was performed. The total scale has good internal consistency (α=.86), as also has the 2 sub-scales: anxiety (α=.86) and avoidance (α=.88). The two dimensions evaluated are significantly correlated with socio-demographics, relational characteristics (jealousy, relationship distress, and compromise), wishes (enmeshment versus differentiation) and fears (abandonment versus control) related to attitudes in significant relationships, which testify the construct validity of the instrument. The results obtained are coherent with the original version and other ECR‘s adaptations. Practitioners and researchers in the context of clinical psychology and related areas have now at their disposal the Portuguese version of the ECR inventory, which has shown its very high usefulness in the study of close relationships, and specifically attachment in adulthood.

Electronic tongue: a versatile tool for mineral and fruit-flavored waters recognition

Natural mineral waters (still), effervescent natural mineral waters (sparkling) and aromatized waters with fruit-flavors (still or sparkling) are an emerging market. In this work, the capability of a potentiometric electronic tongue, comprised with lipid polymeric membranes, to quantitatively estimate routinely quality physicochemical parameters (pH and conductivity) as well as to qualitatively classify water samples according to the type of water was evaluated. The study showed that a linear discriminant model, based on 21 sensors selected by the simulated annealing algorithm, could correctly classify 100 % of the water samples (leave-one out cross-validation). This potential was further demonstrated by applying a repeated K-fold cross-validation (guaranteeing that at least 15 % of independent samples were only used for internal-validation) for which 96 % of correct classifications were attained. The satisfactory recognition performance of the E-tongue could be attributed to the pH, conductivity, sugars and organic acids contents of the studied waters, which turned out in significant differences of sweetness perception indexes and total acid flavor. Moreover, the E-tongue combined with multivariate linear regression models, based on sub-sets of sensors selected by the simulated annealing algorithm, could accurately estimate waters pH (25 sensors: R 2 equal to 0.99 and 0.97 for leave-one-out or repeated K-folds cross-validation) and conductivity (23 sensors: R 2 equal to 0.997 and 0.99 for leave-one-out or repeated K-folds cross-validation). So, the overall satisfactory results achieved, allow envisaging a potential future application of electronic tongue devices for bottled water analysis and classification.

Experimental validation of a proposed single-phase five-level active rectifier operating with model predictive current control

This paper presents a model predictive current control applied to a proposed single-phase five-level active rectifier (FLAR). This current control strategy uses the discrete-time nature of the active rectifier to define its state in each sampling interval. Although the switching frequency is not constant, this current control strategy allows to follow the reference with low total harmonic distortion (THDF). The implementation of the active rectifier that was used to obtain the experimental results is described in detail along the paper, presenting the circuit topology, the principle of operation, the power theory, and the current control strategy. The experimental results confirm the robustness and good performance (with low current THDF and controlled output voltage) of the proposed single-phase FLAR operating with model predictive current control.

Assessment of the DIXTAL DX-2710 Automated Oscillometric Device for Blood Pressure Measurement with the Validation Protocols of the British Hypertension Society (BHS) and the Association for the Advancement of Medical Instrumentation (AAMI)

OBJECTIVE: To assess the Dixtal DX2710 automated oscillometric device used for blood pressure measurement according to the protocols of the BHS and the AAMI. METHODS: Three blood pressure measurements were taken in 94 patients (53 females 15 to 80 years). The measurements were taken randomly by 2 observers trained to measure blood pressure with a mercury column device connected with an automated device. The device was classified according to the protocols of the BHS and AAMI. RESULT: The mean of blood pressure levels obtained by the observers was 148±38/93±25 mmHg and that obtained with the device was 148±37/89±26 mmHg. Considering the differences between the measurements obtained by the observer and those obtained with the automated device according to the criteria of the BHS, the following classification was adopted: "A" for systolic pressure (69% of the differences < 5; 90% < 10; and 97% < 15 mmHg); and "B" for diastolic pressure (63% of the differences < 5; 83% < 10; and 93% < 15 mmHg). The mean and standard deviation of the differences were 0±6.27 mmHg for systolic pressure and 3.82±6.21 mmHg for diastolic pressure. CONCLUSION: The Dixtal DX2710 device was approved according to the international recommendations.

Modelos de gestão pública e as opções de reforma do XIX governo constitucional: análise do discurso

Dissertação de Mestrado em Gestão e Políticas Públicas

Factores Críticos del Desarrollo Local y Regional Integrado zona serrana y Norte de la Provincia de Córdoba-. Validación causal estadística de Modelos de Ecuaciones Estructurales. Identificación de problemas normativos de las OSC.Critical Factors of Local and Regional Development in north of the Province of Córdoba. Causal validation with Structural Equation Modeling. Legal regulations of civil society.

En la investigación anterior -en la zona pampeana de la Provincia de Córdoba- se demostró teórica y empíricamente, que el desarrollo de la Sociedad Civil muchas veces libradas a su suerte y con limitaciones legales apoyan decididamente el desarrollo local, sin embargo han logrado solo parcialmente sus objetivos, por lo que es necesario comenzar un camino de fortalecimiento en los nuevos roles que deben asumir. Los gobiernos locales, a la vez, intentan trabajosamente con contados éxitos detener el procesos de descapitalización social -financiera y humana- de sus comunidades locales y regionales, peregrinando con escaso éxito a los centros concentrados del poder político y económico, para procurar los recursos financieros y humanos necesarios que no alcanzan a reponer los que se fugan desde hace décadas de sus localidades. Las empresas, con ciclos recurrentes de crecimiento y decrecimiento vinculados a los mercados en que colocan sus productos, también se debaten en la búsqueda de los escasos recursos, financieros y humanos, que les permitan consolidar un desarrollo a mediano y largo plazo. El desarrollo alcanzado en Sistemas de información, instrumentos de relevamiento, análisis y elaboración de propuestas para el Desarrollo Local, nos permite avanzar en: 1. La confirmación empírica de las hipótesis iniciales - factores exógenos y endógenos - en la zona Norte y Serrana de la provincia 2. La validación científica -mediante el Análisis de ecuaciones estructurales. de tales supuestos, para el conjunto de las poblaciones analizadas en ambas etapas. 3. La identificación de los problemas normativos que afectan el desarrollo de las Organizaciones de la Sociedad Civil (OSC). METODOLOGÍA Respecto la validación empírica en la zona norte y serrana 1. Selección de las 4 localidades a relevar de acuerdo a las categorías definidas 2. Elaboración de acuerdos con autoridades e instituciones locales. 3. Relevamiento cualitativo con líderes locales y fuentes de datos secundarias. 4. Adaptación de instrumentos de relevamiento a las realidades locales y estudios previos 5. Relevamiento cuantitativo de campo, capacitación de encuestadores y supervisores. 6. Procesamiento y elaboración de informes finales locales. Respecto de la construcción de modelos de desarrollo 1. Desarrollar las dimensiones especificas y las variables (items) de cada factor crítico. 2. Revisar el instrumento con expertos de cada una de las dimensiones. 3. Validar a nivel exploratorio por medio de un Análisis de Componentes Principales 4. Someter a los expertos la evaluación de una serie de localidades que representan cada uno. Respecto de la identificación de las normas legales que afectan a la Sociedad Civil 1.Relevamiento documental de normas 2. Relevamiento con líderes de instituciones de la Sociedad Civil 3. Análisis de las normas vigentes 4. Elaboración de Informes Finales y Transferencia a líderes e instituciones

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.

Validation of the Killip-Kimball Classification and Late Mortality after Acute Myocardial Infarction

Background: The classification or index of heart failure severity in patients with acute myocardial infarction (AMI) was proposed by Killip and Kimball aiming at assessing the risk of in-hospital death and the potential benefit of specific management of care provided in Coronary Care Units (CCU) during the decade of 60. Objective: To validate the risk stratification of Killip classification in the long-term mortality and compare the prognostic value in patients with non-ST-segment elevation MI (NSTEMI) relative to patients with ST-segment elevation MI (STEMI), in the era of reperfusion and modern antithrombotic therapies. Methods: We evaluated 1906 patients with documented AMI and admitted to the CCU, from 1995 to 2011, with a mean follow-up of 05 years to assess total mortality. Kaplan-Meier (KM) curves were developed for comparison between survival distributions according to Killip class and NSTEMI versus STEMI. Cox proportional regression models were developed to determine the independent association between Killip class and mortality, with sensitivity analyses based on type of AMI. Results: The proportions of deaths and the KM survival distributions were significantly different across Killip class >1 (p <0.001) and with a similar pattern between patients with NSTEMI and STEMI. Cox models identified the Killip classification as a significant, sustained, consistent predictor and independent of relevant covariables (Wald χ2 16.5 [p = 0.001], NSTEMI) and (Wald χ2 11.9 [p = 0.008], STEMI). Conclusion: The Killip and Kimball classification performs relevant prognostic role in mortality at mean follow-up of 05 years post-AMI, with a similar pattern between NSTEMI and STEMI patients.