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.

Reforço à flexão de lajes de betão armado com laminados de CFRP pré-esforçados

Dissertação de mestrado integrado em Engenharia Civil (área de especialização em Estruturas e Geotecnia)

Influence of emphysema distribution on pulmonary function parameters in COPD patients

Objective: To evaluate the impact that the distribution of emphysema has on clinical and functional severity in patients with COPD. Methods: The distribution of the emphysema was analyzed in COPD patients, who were classified according to a 5-point visual classification system of lung CT findings. We assessed the influence of emphysema distribution type on the clinical and functional presentation of COPD. We also evaluated hypoxemia after the six-minute walk test (6MWT) and determined the six-minute walk distance (6MWD). Results: Eighty-six patients were included. The mean age was 65.2 ± 12.2 years, 91.9% were male, and all but one were smokers (mean smoking history, 62.7 ± 38.4 pack-years). The emphysema distribution was categorized as obviously upper lung-predominant (type 1), in 36.0% of the patients; slightly upper lung-predominant (type 2), in 25.6%; homogeneous between the upper and lower lung (type 3), in 16.3%; and slightly lower lung-predominant (type 4), in 22.1%. Type 2 emphysema distribution was associated with lower FEV1 , FVC, FEV1 /FVC ratio, and DLCO. In comparison with the type 1 patients, the type 4 patients were more likely to have an FEV1 < 65% of the predicted value (OR = 6.91, 95% CI: 1.43-33.45; p = 0.016), a 6MWD < 350 m (OR = 6.36, 95% CI: 1.26-32.18; p = 0.025), and post-6MWT hypoxemia (OR = 32.66, 95% CI: 3.26-326.84; p = 0.003). The type 3 patients had a higher RV/TLC ratio, although the difference was not significant. Conclusions: The severity of COPD appears to be greater in type 4 patients, and type 3 patients tend to have greater hyperinflation. The distribution of emphysema could have a major impact on functional parameters and should be considered in the evaluation of COPD patients.