The FEeding Support Team (FEST) randomised, controlled feasibility trial of proactive and reactive telephone support for breastfeeding women living in disadvantaged areas

Peer reviewedPublisher PD

Process evaluation for the FEeding Support Team (FEST) randomised controlled feasibility trial of proactive and reactive telephone support for breastfeeding women living in disadvantaged areas

PMID: 22535794 [PubMed] PMCID: PMC3341595 Free PMC ArticlePeer reviewe

Exploring the link between test suite quality and automatic specification inference

While no one doubts the importance of correct and complete specifications, many industrial systems still do not have formal specifications written out — and even when they do, it is hard to check their correctness and completeness. This work explores the possibility of using an invariant extraction tool such as Daikon to automatically infer specifications from available test suites with the idea of aiding software engineers to improve the specifications by having another version to compare to. Given that our initial experiments did not produce satisfactory results, in this paper we explore which test suite attributes influence the quality of the inferred specification. Following further study, we found that instruction, branch and method coverage are correlated to high recall values, reaching up to 97.93%.peer-reviewe

Automatically generating runtime monitors from tests

A large portion of the software development industry relies on testing as the main technique for quality assurance while other techniques which can provide extra guarantees are largely ignored. A case in point is runtime verification which provides assurance that a system’s behaviour is correct at runtime. Compared to testing, this technique has the advantage of checking the actual runs of a system rather than a number of representative testcases.peer-reviewe

Using control flow analysis to improve the effectiveness of incremental mutation testing

Incremental Mutation Testing attempts to make mutation testing less expensive by applying it incrementally to a system as it evolves. This approach fits current trends of iterative software development with the main idea being that by carrying out mutation analysis in frequent bite-sized chunks focused on areas of the code which have changed, one can build confidence in the adequacy of a test suite incrementally. Yet this depends on how precisely one can characterise the effects of a change to a program. The original technique uses a naïve approach whereby changes are characterised only by syntactic changes. In this paper we propose bolstering incremental mutation testing by using control flow analysis to identify semantic repercussions which a syntactic change will have on a system. Our initial results based on two case studies demonstrate that numerous relevant mutants which would have otherwise not been considered using the naïve approach, are now being generated. However, the cost of identifying these mutants is significant when compared to the naïve approach, although it remains advantageous when compared to traditional mutation testing so long as the increment is sufficiently small.peer-reviewe

Coital frequency and condom use in monogamous and concurrent sexual relationships in Cape Town, South Africa

Introduction: A decreased frequency of unprotected sex during episodes of concurrent relationships may dramatically reduce the role of concurrency in accelerating the spread of HIV. Such a decrease could be the result of coital dilution - the reduction in per-partner coital frequency from additional partners - and/or increased condom use during concurrency. To study the effect of concurrency on the frequency of unprotected sex, we examined sexual behaviour data from three communities with high HIV prevalence around Cape Town, South Africa. Methods: We conducted a cross-sectional survey from June 2011 to February 2012 using audio computer-assisted self-interviewing to reconstruct one-year sexual histories, with a focus on coital frequency and condom use. Participants were randomly sampled from a previous TB and HIV prevalence survey. Mixed effects logistic and Poisson regression models were fitted to data from 527 sexually active adults reporting on 1210 relationship episodes to evaluate the effect of concurrency status on consistent condom use and coital frequency. Results: The median of the per-partner weekly average coital frequency was 2 (IQR: 1 - 3), and consistent condom use was reported for 36% of the relationship episodes. Neither per-partner coital frequency nor consistent condom use changed significantly during episodes of concurrency (aIRR = 1.05; 95% confidence interval (CI): 0.99-1.24 and aOR = 1.01; 95% CI: 0.38-2.68, respectively). Being male, coloured, having a tertiary education, and having a relationship between 2 weeks and 9 months were associated with higher coital frequencies. Being coloured, and having a relationship lasting for more than 9 months, was associated with inconsistent condom use. Conclusions: We found no evidence for coital dilution or for increased condom use during concurrent relationship episodes in three communities around Cape Town with high HIV prevalence. Given the low levels of self- reported consistent condom use, our findings suggest that if the frequency of unprotected sex with each of the sexual partners is sustained during concurrent relationships, HIV-positive individuals with concurrent partners may disproportionately contribute to onward HIV transmission

Procedural generation of music-guided weapons

Beyond the standard use of music as a passive and, sometimes, optional component of player experience the impact of music as a guide for the procedural generation of game content has not been explored yet. Being a core elicitor of player experience music can be used to drive the generation of personalized game content for a particular musical theme, song or sound effect being played during the game. In this paper we introduce a proof-of-concept game demonstrator exploring the relationship between music and visual game content across different playing behaviors and styles. For that purpose, we created a side-scroller shooter game where players can affect the relationship between projectiles’ trajectories and the background music through interactive evolution. By coupling neuroevolution of augmented topologies with interactive evolution we are able to create an initial arsenal of innovative weapons. Those weapons are both interesting to play with and also create novel fusions of visual and musical aesthetics.Thanks to Ryan Abela for his input on designing the sound extraction methods. The research was supported, in part, by the FP7 Marie Curie CIG project AutoGameDesign (project no: 630665).peer-reviewe

What Will Classrooms and Schools Look Like in the New Millennium?

Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/88091/1/RRQ.35.1.9.pd

Few-Nucleon Forces and Systems in Chiral Effective Field Theory

We outline the structure of the nuclear force in the framework of chiral effective field theory of QCD and review recent applications to processes involving few nucleons.Comment: 87 pages, 34 figures, to appear in Prog. Part. Nucl. Phy