Property-Based Testing - The ProTest Project

The ProTest project is an FP7 STREP on property based testing. The purpose of the project is to develop software engineering approaches to improve reliability of service-oriented networks; support fault-finding and diagnosis based on specified properties of the system. And to do so we will build automated tools that will generate and run tests, monitor execution at run-time, and log events for analysis. The Erlang / Open Telecom Platform has been chosen as our initial implementation vehicle due to its robustness and reliability within the telecoms sector. It is noted for its success in the ATM telecoms switches by Ericsson, one of the project partners, as well as for multiple other uses such as in facebook, yahoo etc. In this paper we provide an overview of the project goals, as well as detailing initial progress in developing property based testing techniques and tools for the concurrent functional programming language Erlang

Mapping auroral activity with Twitter

Twitter is a popular, publicly-accessible, social media service that has proven useful in mapping large-scale events in real-time. In this study, for the first time, the use of Twitter as a measure of auroral activity is investigated. Peaks in the number of aurora-related tweets are found to frequently coincide with geomagnetic disturbances (detection rate of 91%). Additionally, the number of daily aurora-related tweets is found to strongly correlate with several auroral strength proxies (ravg ≈ 0.7). An examination is made of the bias for location and time of day within Twitter data, and a first order correction of these effects is presented. Overall, the results suggest that Twitter can provide both specific details about an individual aurora and accurate real-time indication of when, and even from where, an aurora is visible

The Global Health interactive Curricula Experience (iCE) Platform & App : Technology that Enables Inter-professional Innovation

Global Health Initiatives Committee (GHIC) Serves the Jefferson community as the premier point of engagement for students & faculty interested in medical and public health issues that transcend national boundaries Creates an institutional focus on preparing students for public service careers in population health and public policy at local, national, and global levels To enable all TJU faculty to: - Deliver global health education, in a friendly, interactive format - Does not require an expert to deliver - Can be used in very small or large pieces depending on your need

Feminism, Abortion and Disability: irreconcilable differences?

There has been considerable discussion of the political allegiance between the feminist and disability movements, but the question of abortion remains a thorny one. Disability rights advocates have been keen to demonstrate that it is possible to believe in a woman's right to sovereignty over the body and, yet, be opposed to the selective abortion of an impaired foetus – describing the latter as a form of 'weak' eugenics. The aim of this paper is to show that whilst there may be some points of agreement between the feminist and disability movements on the question of abortion, there exist fundamental and irreconcilable differences

The 1995-1996 Decline of R Coronae Borealis - High Resolution Optical Spectroscopy

A set of high-resolution optical spectra of RCrB acquired before, during, and after its 1995-1996 decline is discussed. All of the components reported from earlier declines are seen. This novel dataset provides new information on these components including several aspects not previously seen in declines of RCrB and other RCBs. In the latter category is the discovery that the decline's onset is marked by distortions of absorption lines of high-excitation lines, and quickly followed by emission in these and in low excitation lines. This 'photospheric trigger' implies that dust causing the decline is formed close to the star. These emission lines fade quickly. After 1995 November 2, low excitation narrow (FWHM ~12 km s-1) emission lines remain. These appear to be a permanent feature, slightly blue-shifted from the systemic velocity, and unaffected by the decline except for a late and slight decrease of flux at minimum light. The location of the warm, dense gas providing these lines is uncertain. Absorption lines unaffected by overlying sharp emission are greatly broadened, weakened, and red-shifted at the faintest magnitudes when scattered light from the star is a greater contributor than direct light transmitted through the fresh soot cloud. A few broad lines are seen at and near minimum light with approxiamately constant flux: prominent among these are the He I triplet series, Na I D, and [N II] lines. These lines are blue-shifted by about 30 km s(-1) relative to the systemic velocity with no change in velocity over the several months for whicht he lines were seen. It is suggested that these lines, especially the He I lines, arise from an accretion disk around an unseen compact companion, which may be a low-mass white dwarf. If so, R CrB is similar to the unusual post-AGB star 89 Her.Comment: 31 pages, 26 figure

Healthcare providers' views on the acceptability of financial incentives for breastfeeding:a qualitative study

BACKGROUND: Despite a gradual increase in breastfeeding rates, overall in the UK there are wide variations, with a trend towards breastfeeding rates at 6–8 weeks remaining below 40% in less affluent areas. While financial incentives have been used with varying success to encourage positive health related behaviour change, there is little research on their use in encouraging breastfeeding. In this paper, we report on healthcare providers’ views around whether using financial incentives in areas with low breastfeeding rates would be acceptable in principle. This research was part of a larger project looking at the development and feasibility testing of a financial incentive scheme for breastfeeding in preparation for a cluster randomised controlled trial. METHODS: Fifty–three healthcare providers were interviewed about their views on financial incentives for breastfeeding. Participants were purposively sampled to include a wide range of experience and roles associated with supporting mothers with infant feeding. Semi-structured individual and group interviews were conducted. Data were analysed thematically drawing on the principles of Framework Analysis. RESULTS: The key theme emerging from healthcare providers’ views on the acceptability of financial incentives for breastfeeding was their possible impact on ‘facilitating or impeding relationships’. Within this theme several additional aspects were discussed: the mother’s relationship with her healthcare provider and services, with her baby and her family, and with the wider community. In addition, a key priority for healthcare providers was that an incentive scheme should not impact negatively on their professional integrity and responsibility towards women. CONCLUSION: Healthcare providers believe that financial incentives could have both positive and negative impacts on a mother’s relationship with her family, baby and healthcare provider. When designing a financial incentive scheme we must take care to minimise the potential negative impacts that have been highlighted, while at the same time recognising the potential positive impacts for women in areas where breastfeeding rates are low

Searches For High-Frequency Variations In The B-8 Solar Neutrino Flux At The Sudbury Neutrino Observatory

We have performed three searches for high-frequency signals in the solar neutrino flux measured by the Sudbury Neutrino Observatory, motivated by the possibility that solar g-mode oscillations could affect the production or propagation of solar B-8 neutrinos. The first search looked for any significant peak in the frequency range 1-144 day(-1), with a sensitivity to sinusoidal signals with amplitudes of 12% or greater. The second search focused on regions in which g-mode signals have been claimed by experiments aboard the Solar and Heliospheric Observatory satellite, and was sensitive to signals with amplitudes of 10% or greater. The third search looked for extra power across the entire frequency band. No statistically significant signal was detected in any of the three searches.Natural Sciences and Engineering Research Council, CanadaIndustry Canada, CanadaNational Research Council, CanadaNorthern Ontario Heritage Fund, CanadaAtomic Energy of Canada, Ltd., CanadaOntario Power Generation, CanadaHigh Performance Computing Virtual Laboratory, CanadaCanada Foundation for InnovationDept. of Energy, USNational Energy Research Scientific Computing Center, USScience and Technologies Facilities Council, UKAstronom