Circus Models for Safety-Critical Java Programs

Safety-critical Java (SCJ) is a restriction of the real-time specification for Java to support the development and certification of safety-critical applications. The SCJ technology specification is the result of an international effort from industry and academia. In this paper, we present a formalization of the SCJ Level 1 execution model, formalize a translation strategy from SCJ into a refinement notation and describe a tool that largely automates the generation of the formal models. Our modelling language is part of the Circus family; at the core, we have Z, communicating sequential processes and Morgan’s calculus, but we also use object-oriented and timed constructs from the OhCircus and Circus Time variants. Our work is an essential ingredient for the development of refinement-based reasoning techniques for SCJ

Help-seeking for genitourinary symptoms: a mixed methods study from Britain's Third National Survey of Sexual Attitudes and Lifestyles (Natsal-3)

Objectives Quantify non-attendance at sexual health clinics and explore help-seeking strategies for genitourinary symptoms. Design Sequential mixed methods using survey data and semistructured interviews. Setting General population in Britain. Participants 1403 participants (1182 women) from Britain’s Third National Survey of Sexual Attitudes and Lifestyles (Natsal-3; undertaken 2010–2012), aged 16–44 years who experienced specific genitourinary symptoms (past 4 weeks), of whom 27 (16 women) who reported they had never attended a sexual health clinic also participated in semistructured interviews, conducted May 2014–March 2015. Primary and secondary outcome measures From survey data, non-attendance at sexual health clinic (past year) and preferred service for STI care; semistructured interview domains were STI social representations, symptom experiences, help-seeking responses and STI stigma. Results Most women (85.9% (95% CI 83.7 to 87.9)) and men (87.6% (95% CI 82.3 to 91.5)) who reported genitourinary symptoms in Natsal-3 had not attended a sexual health clinic in the past year. Around half of these participants cited general practice (GP) as their preferred hypothetical service for STI care (women: 58.5% (95% CI 55.2% to 61.6%); men: 54.3% (95% CI 47.1% to 61.3%)). Semistructured interviews elucidated four main responses to symptoms: not seeking healthcare, seeking information to self-diagnose and self-treat, seeking care at non-specialist services and seeking care at sexual health clinics. Collectively, responses suggested individuals sought to gain control over their symptoms, and they prioritised emotional reassurance over accessing medical expertise. Integrating survey and interview data strengthened the evidence that participants preferred their general practitioner for STI care and extended understanding of help-seeking strategies. Conclusions Help-seeking is important to access appropriate healthcare for genitourinary symptoms. Most participants did not attend a sexual health clinic but sought help from other sources. This study supports current service provision options in Britain, facilitating individual autonomy about where to seek help

Male Circumcision and STI Acquisition in Britain: Evidence from a National Probability Sample Survey.

BACKGROUND: It is well-established that male circumcision reduces acquisition of HIV, herpes simplex virus 2, chancroid, and syphilis. However, the effect on the acquisition of non-ulcerative sexually transmitted infections (STIs) remains unclear. We examined the relationship between circumcision and biological measures of three STIs: human papillomavirus (HPV), Chlamydia trachomatis and Mycoplasma genitalium. METHODS: A probability sample survey of 15,162 men and women aged 16-74 years (including 4,060 men aged 16-44 years) was carried out in Britain between 2010 and 2012. Participants completed a computer-assisted personal interview, including a computer-assisted self-interview, which asked about experience of STI diagnoses, and circumcision. Additionally, 1,850 urine samples from sexually-experienced men aged 16-44 years were collected and tested for STIs. Multivariable logistic regression was used to calculate adjusted odds ratios (AOR) to quantify associations between circumcision and i) self-reporting any STI diagnosis and ii) presence of STIs in urine, in men aged 16-44 years, adjusting for key socio-demographic and sexual behavioural factors. RESULTS: The prevalence of circumcision in sexually-experienced men aged 16-44 years was 17.4% (95%CI 16.0-19.0). There was no association between circumcision and reporting any previous STI diagnoses, and specifically previous chlamydia or genital warts. However, circumcised men were less likely to have any HPV type (AOR 0.26, 95% confidence interval (CI) 0.13-0.50) including high-risk HPV types (HPV-16, 18, 31, 33, 35, 39, 45, 51, 52, 56, 58, 59 and/or 68) (AOR 0.14, 95% CI 0.05-0.40) detected in urine. CONCLUSIONS: Circumcised men had reduced odds of HPV detection in urine. These findings have implications for improving the precision of models of STI transmission in populations with different circumcision prevalence and in designing interventions to reduce STI acquisition

Examining the association between male circumcision and sexual function: evidence from a British probability survey.

OBJECTIVE: Despite biological advantages of male circumcision in reducing HIV/sexually transmitted infection acquisition, concern is often expressed that it may reduce sexual enjoyment and function. We examine the association between circumcision and sexual function among sexually active men in Britain using data from Britain's third National Survey of Sexual Attitudes and Lifestyles (Natsal-3). Natsal-3 asked about circumcision and included a validated measure of sexual function, the Natsal-SF, which takes into account not only sexual difficulties but also the relationship context and overall level of satisfaction. METHODS: A stratified probability survey of 6293 men and 8869 women aged 16-74 years, resident in Britain, undertaken 2010-2012, using computer-assisted face-to-face interviewing with computer-assisted self-interview for the more sensitive questions. Logistic regression was used to calculate odds ratios (ORs) to examine the association between reporting male circumcision and aspects of sexual function among sexually active men (n = 4816). RESULTS: The prevalence of male circumcision in Britain was 20.7% [95% confidence interval (CI): 19.3-21.8]. There was no association between male circumcision and, being in the lowest quintile of scores for the Natsal-SF, an indicator of poorer sexual function (adjusted OR: 0.95, 95% CI: 0.76-1.18). Circumcised men were as likely as uncircumcised men to report the specific sexual difficulties asked about in Natsal-3, except that a larger proportion of circumcised men reported erectile difficulties. This association was of borderline statistical significance after adjusting for age and relationship status (adjusted OR: 1.27, 95% CI: 0.99-1.63). CONCLUSION: Data from a large, nationally representative British survey suggest that circumcision is not associated with men's overall sexual function at a population level

How do women prepare for pregnancy? Preconception experiences of women attending antenatal services and views of health professionals

Copyright: © 2014 Stephenson et al. This is an open-access article distributed under the terms of the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original author and source are credited.Main objective - To determine the extent to which women plan and prepare for pregnancy. Methods - Cross-sectional questionnaire survey of pregnant women attending three maternity services in London about knowledge and uptake of preconception care; including a robust measure of pregnancy planning, and phone interviews with a range of health care professionals. Main results - We recruited 1173/1288 (90%) women, median age of 32 years. 73% had clearly planned their pregnancy, 24% were ambivalent and only 3% of pregnancies were unplanned. 51% of all women and 63% of those with a planned pregnancy took folic acid before pregnancy. 21% of all women reported smoking and 61% reported drinking alcohol in the 3 months before pregnancy; 48% of smokers and 41% of drinkers reduced or stopped before pregnancy. The 51% of all women who reported advice from a health professional before becoming pregnant were more likely to adopt healthier behaviours before pregnancy [adjusted odds ratios for greatest health professional input compared with none were 2.34 (95% confidence interval 1.54–3.54) for taking folic acid and 2.18 (95% CI 1.42–3.36) for adopting a healthier diet before pregnancy]. Interviews with 20 health professionals indicated low awareness of preconception health issues, missed opportunities and confusion about responsibility for delivery of preconception care. Significance of the findings - Despite a high level of pregnancy planning, awareness of preconception health among women and health professionals is low, and responsibility for providing preconception care is unclear. However, many women are motivated to adopt healthier behaviours in the preconception period, as indicated by halving of reported smoking rates in this study. The link between health professional input and healthy behaviour change before pregnancy is a new finding that should invigorate strategies to improve awareness and uptake of pre-pregnancy health care, and bring wider benefits for public health.Department of Healt

The second season of excavations at Jebel Moya (south-central Sudan)

This report presents the latest data from ongoing excavations at Jebel Moya, Sudan. This year saw the opening of five new trenches and continued excavation of an archaeologically rich trench. We have recovered four individual burials, a mud brick wall and a number of animal and archaeobotanical remains. The excavations also yielded a longer pottery sequence, showing clearly that the site was in use by at least the sixth millennium BC. This season confirms the long and complex history of Jebel Moya and provides the material for future studies on population health and subsistence. This season also saw an increase in community engagement and a more detailed study of the various historical trajectories that make up the biography of Jebel Moya

Is chlamydia screening and testing in Britain reaching young adults at risk of infection? Findings from the third National Survey of Sexual Attitudes and Lifestyles (Natsal-3)

In the context of widespread opportunistic chlamydia screening among young adults, we aimed to quantify chlamydia testing and diagnosis among 16-24 year olds in Britain in relation to risk factors for prevalent chlamydia infection

An integrated experimental and economic evaluation of cell therapy affinity purification technologies

AIM: To present an integrated techno-economic analysis assessing the feasibility of affinity purification technologies using the manufacture of induced pluripotent stem cell-derived progenitor photoreceptors for retinal dystrophies as a case study. MATERIALS & METHODS: Sort purity, progenitor yield and viable cell recovery were investigated for three cell sorting techniques: fluorescent-activated cell sorting (FACS); magnetic-activated cell sorting (MACS); and a novel technology SpheriTech beads. Experimentally derived metrics were incorporated into an advanced bioprocess economics tool to determine cost of goods per dose for each technology. RESULTS & CONCLUSION: Technical and bioprocess benefits were noted with SpheriTech beads which, unlike FACS and MACS, require no cell labeling. This simplifies the bioprocess, reduces cell loss and leaves target cells label free. The economic tool predicted cost drivers and a critical dose (7 × 10(7) cells per dose) shifting the most cost-effective technology from FACS to MACS. Process optimization is required for SpheriTech to compete economically

Urbanisation and sexual health: Understanding bisexually active men in Hanoi, Vietnam

Background: Men who have sex with men (MSM) in Vietnam are receiving increased attention in recognition of their high-risk behaviours and potential for human immunodeficiency virus(HIV) infection and transmission. Due to societal pressures, many MSM in Vietnam are also bisexually active, which ultimately increases the transmission risks beyond the MSM population. Evidence is emerging that indicates a greater proportion of women in Asia with low-risk sexual activities are contracting HIV from their male partners who have become HIV infected through male–male sex. Methodology: Fourteen focus group discussions exploring sexual and social networks were conducted in Hanoi between July 2010 and September 2010. A total of 96 individuals participated in these sessions. Findings: A risk environment approach was used to analyse the focus group themes of social stigma and marriage, sex with other men in closed settings and transactional sex in Hanoi, an increasingly urbanising and westernising city. Implications: Despite limited evidence globally that bisexual men act as a bridge for sexually transmitted diseases, there is particular concern in Vietnam about this potential risk. HIV rates amongst MSM are rapidly rising and there are reports of women contracting HIV from their male partners who are bisexually active