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.

Couple's willingness to donate embryos for research: a longitudinal study

Introduction. Decision-making on embryo disposition is a source of distress and is subject to change over time. This paper analyses the willingness of couples undergoing in vitro fertilization to donate cryopreserved embryos for research from 15 days after embryo transfer to 12 months later, taking into account the influence of psychosocial, demographic, and reproductive factors. Materials and methods. Prospective longitudinal study, with 74 heterosexual couples undergoing in vitro fertilization in a public fertility centre in Portugal, recruited between 2011 and 2012. Participants were evaluated twice: 15 days after embryo transfer and 12 months later. Results. A significant decrease in patients’ willingness to donate embryos for research over time was observed [86.5% to 73.6%; relative risk (RR) = 0.85; 95% CI 0.76–0.95]. A higher education level (>12 years) [adjusted RR (RRadj) = 0.79; 95% CI 0.64–0.96], considering research on human embryos to be important (vs. very important) (RRadj = 0.59; 95% CI 0.39–0.85) and practicing a religion less than once a month (vs. at least once a month) (RRadj = 0.73; 95% CI 0.53–1.00) seemed associated with unwillingness to donate embryos for research over time. Change towards non-donation happened mainly among couples who first considered that it was better to donate than wasting the embryos. Change towards donation occurred mostly among those stating that their priority at time 1 was to have a baby and who became pregnant in the meantime. Conclusions. Quality of care guided by patients’ characteristics, values, preferences, and needs calls for considering the factors and reasons underlying couples’ willingness to donate embryos for research over time as a topic in psychosocial guidelines for infertility and medically assisted reproductive care.