MintHint: Automated Synthesis of Repair Hints

Being able to automatically repair programs is an extremely challenging task. In this paper, we present MintHint, a novel technique for program repair that is a departure from most of today's approaches. Instead of trying to fully automate program repair, which is often an unachievable goal, MintHint performs statistical correlation analysis to identify expressions that are likely to occur in the repaired code and generates, using pattern-matching based synthesis, repair hints from these expressions. Intuitively, these hints suggest how to rectify a faulty statement and help developers find a complete, actual repair. MintHint can address a variety of common faults, including incorrect, spurious, and missing expressions. We present a user study that shows that developers' productivity can improve manyfold with the use of repair hints generated by MintHint -- compared to having only traditional fault localization information. We also apply MintHint to several faults of a widely used Unix utility program to further assess the effectiveness of the approach. Our results show that MintHint performs well even in situations where (1) the repair space searched does not contain the exact repair, and (2) the operational specification obtained from the test cases for repair is incomplete or even imprecise

From Sensor Readings to Predictions: On the Process of Developing Practical Soft Sensors.

Automatic data acquisition systems provide large amounts of streaming data generated by physical sensors. This data forms an input to computational models (soft sensors) routinely used for monitoring and control of industrial processes, traffic patterns, environment and natural hazards, and many more. The majority of these models assume that the data comes in a cleaned and pre-processed form, ready to be fed directly into a predictive model. In practice, to ensure appropriate data quality, most of the modelling efforts concentrate on preparing data from raw sensor readings to be used as model inputs. This study analyzes the process of data preparation for predictive models with streaming sensor data. We present the challenges of data preparation as a four-step process, identify the key challenges in each step, and provide recommendations for handling these issues. The discussion is focused on the approaches that are less commonly used, while, based on our experience, may contribute particularly well to solving practical soft sensor tasks. Our arguments are illustrated with a case study in the chemical production industry

The impact of cash transfers to poor women in Colombia on BMI and obesity: Prospective cohort study

INTRODUCTION: Prevalence of obesity is rising in Latin America, is increasingly affecting socially disadvantaged groups, particularly women. Conditional cash transfers are recently established welfare interventions in the region. One, Familias en Accion, transfers ~20% of average monthly income to women in Colombia’s poorest families. Previous work has found that families buy more food as a result. We tested the hypothesis that participation in Familias would be associated with increasing body mass index (BMI) in participating women METHODS: Women from participating areas and control areas (matched on environmental and socioeconomic criteria) were surveyed in 2002 and 2006. Pregnant, breast-feeding or women aged<18 or with BMI<18.5kg/m(2) were excluded. The sample comprises 835 women from control and 1238 from treatment areas. Because some treatment areas started Familias shortly before baseline data collection, a dummy variable was created that identified exposure independent of time-point or area. Follow-up was 61.5%. BMI was measured by trained personnel using standardized techniques. Overweight was defined as BMI>25kg/m(2) and obesity as >30kg/m(2). The effect of Familias was estimated using linear regression (or logistic regression for dichotomous outcomes) in a double-difference technique, controlling for several individual, household and area characteristics, including parity and baseline BMI, using robust standard-errors clustered at area-level in an intention-to-treat analysis. RESULTS: At baseline, women’s mean age was 33.3 years and mean BMI 25.3kg/m(2); 12.3% women were obese. After adjustment, exposure to Familias was significantly associated with increased BMI (β=0.25, 95% CI 0.03, 0.47; p=0.03). Age (β=0.09; 95%CI 0.06, 0.13; p<0.001) and household wealth (β=0.78; 95%CI 0.41, 1.15; p<0.001) were also positively associated with BMI. Familias was also associated with increased odds of obesity (O.R.=1.27 95%CI 1.03, 1.57; p=0.03), as was age (O.R.=1.04; 95%CI 1.02, 1.06; p=0.001). CONCLUSION: Conditional cash transfers to poor women in Colombia are independently associated with increasing BMI and obesity risk. Although conditional cash transfers are generally regarded as popular and successful schemes, parallel interventions at individual, household and community level are needed to avoid unanticipated adverse outcomes

Searching for axion dark matter with MeerKAT Radio Telescope

Axions provide a natural and well-motivated dark matter candidate, with the capability to convert directly to photons in the presence of an electromagnetic field. A particularly compelling observational target is the conversion of dark matter axions into photons in the magnetospheres of highly magnetised neutron stars, which is expected to produce a narrow spectral peak centred at the frequency of the axion mass. We point the MeerKAT radio telescope towards the isolated neutron star J0806.4$-$4123 for $10$-hours of observation and obtain the radio spectra in the frequency range $769$-$1051$ MHz. By modelling the conversion process of infalling axion dark matter (DM), we then compare these spectra to theoretical expectations for a given choice of axion parameters. Whilst finding no signal above $5\sigma$ in the data, we provide a unique constraint on the Primakoff coupling of axion DM, $g_{{\rm a}\gamma\gamma}\lesssim 9.3 \times 10^{-12}\,{\rm GeV}^{-1}$ at the $95\%$ confidence level, in the mass range $3.18$-$4.35\,\mu$eV. This result serves the strongest constraint in the axion mass range $4.20$-$4.35\,\mu$eV.Comment: 6 pages, 3 figures, accepted by Physical Review

Self-rated health in Pakistan: results of a national health survey

BACKGROUND: Self-rated health (SRH) is a robust predictor of mortality. In UK, migrants of South Asian descent, compared to native Caucasian populations, have substantially poorer SRH. Despite its validation among migrant South Asian populations and its popularity in developed countries as a useful public health tool, the SRH scale has not been used at a population level in countries in South Asia. We determined the prevalence of and risk factors for poor/fair SRH among individuals aged ≥15 years in Pakistan (n = 9442). METHODS: The National Health Survey of Pakistan was a cross-sectional population-based survey, conducted between 1990 and 1994, of 18 135 individuals aged 6 months and above; 9442 of them were aged ≥15 years. Our main outcome was SRH which was assessed using the question: "Would you say your health in general is excellent, very good, good, fair, or poor?" SRH was dichotomized into poor/fair, and good (excellent, very good, or good). RESULTS: Overall 65.1% respondents – 51.3 % men vs. 77.2 % women – rated their health as poor/fair. We found a significant interaction between sex and age (p < 0.0001). The interaction was due to the gender differences only in the ages 15–19 years, whereas poor/fair SRH at all older ages was more prevalent among women and increased at the same rate as it did among men. We also found province of dwelling, low or middle SES, literacy, rural dwelling and current tobacco use to be independently associated with poor/fair SRH. CONCLUSION: This is the first study reporting on poor/fair SRH at a population-level in a South Asian country. The prevalence of poor/fair health in Pakistan, especially amongst women, is one of the worst ever reported, warranting immediate attention. Further research is needed to explain why women in Pakistan have, at all ages, poorer SRH than men

Walks4work: Rationale and study design to investigate walking at lunchtime in the workplace setting

Background: Following recruitment of a private sector company, an 8week lunchtime walking intervention was implemented to examine the effect of the intervention on modifiable cardiovascular disease risk factors, and further to see if walking environment had any further effect on the cardiovascular disease risk factors. Methods. For phase 1 of the study participants were divided into three groups, two lunchtime walking intervention groups to walk around either an urban or natural environment twice a week during their lunch break over an 8week period. The third group was a waiting-list control who would be invited to join the walking groups after phase 1. In phase 2 all participants were encouraged to walk during their lunch break on self-selecting routes. Health checks were completed at baseline, end of phase 1 and end of phase 2 in order to measure the impact of the intervention on cardiovascular disease risk. The primary outcome variables of heart rate and heart rate variability were measured to assess autonomic function associated with cardiovascular disease. Secondary outcome variables (Body mass index, blood pressure, fitness, autonomic response to a stressor) related to cardiovascular disease were also measured. The efficacy of the intervention in increasing physical activity was objectively monitored throughout the 8-weeks using an accelerometer device. Discussion. The results of this study will help in developing interventions with low researcher input with high participant output that may be implemented in the workplace. If effective, this study will highlight the contribution that natural environments can make in the reduction of modifiable cardiovascular disease risk factors within the workplace. © 2012 Brown et al.; licensee BioMed Central Ltd

Deteriorating health satisfaction among immigrants from Eastern Europe to Germany

BACKGROUND: Migrants from Eastern Europe constitute more than 5% of Germany's population. Since population health in their countries of origin is poor their health status upon arrival may be worse than that of the native-born German population (hypothesis H1). As a minority, they may be socio-economically disadvantaged (H2), and their health status may deteriorate quickly (H3). METHODS: We compared data from 1995 and 2000 for immigrants from Eastern Europe (n = 353) and a random sample of age-matched Germans (n = 2, 824) from the German Socioeconomic Panel. We tested H1-3 using health satisfaction, as a proxy for health status, and socioeconomic indicators. We compared changes over time within groups, and between immigrants and Germans. We assessed effects of socio-economic status and being a migrant on declining health satisfaction in a regression model. RESULTS: In 1995, immigrants under 55 years had a significantly higher health satisfaction than Germans. Above age 54, health satisfaction did not differ. By 2000, immigrants' health satisfaction had declined to German levels. Whereas in 1995 immigrants had a significantly lower SES, differences five years later had declined. In the regression model, immigrant status was much stronger associated with declining health satisfaction than low SES. CONCLUSION: In contrast to H1, younger immigrants had an initial health advantage. Immigrants were initially socio-economically disadvantaged (H2), but their SES improved over time. The decrease in health satisfaction was much steeper in immigrants and this was not associated with differences in SES (H3). Immigrants from Eastern Europe have a high risk of deteriorating health, in spite of socio-economic improvements

Relative Health Effects of Education, Socioeconomic Status and Domestic Gender Inequity in Sweden: A Cohort Study

Introduction: Limited existing research on gender inequities suggests that for men workplace atmosphere shapes wellbeing while women are less susceptible to socioeconomic or work status but vulnerable to home inequities. Methods: Using the 2007 Northern Swedish Cohort (n = 773) we identified relative contributions of perceived gender inequities in relationships, financial strain, and education to self-reported health to determine whether controlling for sex, examining interactions between sex and other social variables, or sex-disaggregating data yielded most information about sex differences. Results and Discussion: Men had lower education but also less financial strain, and experienced less gender inequity. Overall, low education and financial strain detracted from health. However, sex-disaggregated data showed this to be true for women, whereas for men only gender inequity at home affected health. In the relatively egalitarian Swedish environment where women more readily enter all work arenas and men often provide parenting, traditional primacy of the home environment (for women) and the work environment (for men) in shaping health is reversing such that perceived domestic gender inequity has a significant health impact on men, while for women only education and financial strain are contributory. These outcomes were identified only when data were sex-disaggregated

Deteriorating health satisfaction among immigrants from Eastern Europe to Germany

BACKGROUND: Migrants from Eastern Europe constitute more than 5% of Germany's population. Since population health in their countries of origin is poor their health status upon arrival may be worse than that of the native-born German population (hypothesis H1). As a minority, they may be socio-economically disadvantaged (H2), and their health status may deteriorate quickly (H3). METHODS: We compared data from 1995 and 2000 for immigrants from Eastern Europe (n = 353) and a random sample of age-matched Germans (n = 2, 824) from the German Socioeconomic Panel. We tested H1-3 using health satisfaction, as a proxy for health status, and socioeconomic indicators. We compared changes over time within groups, and between immigrants and Germans. We assessed effects of socio-economic status and being a migrant on declining health satisfaction in a regression model. RESULTS: In 1995, immigrants under 55 years had a significantly higher health satisfaction than Germans. Above age 54, health satisfaction did not differ. By 2000, immigrants' health satisfaction had declined to German levels. Whereas in 1995 immigrants had a significantly lower SES, differences five years later had declined. In the regression model, immigrant status was much stronger associated with declining health satisfaction than low SES. CONCLUSION: In contrast to H1, younger immigrants had an initial health advantage. Immigrants were initially socio-economically disadvantaged (H2), but their SES improved over time. The decrease in health satisfaction was much steeper in immigrants and this was not associated with differences in SES (H3). Immigrants from Eastern Europe have a high risk of deteriorating health, in spite of socio-economic improvements