Model Checking Control Communication of a FACTS Device

This paper concerns the design and verification of a realtime communication protocol for sensor data collection and processing between an embedded computer and a DSP. In such systems, a certain amount of data loss without recovery may be tolerated. The key issue is to define and verify the correctness in the presence of these lost data frames under real-time constraints. This paper describes a temporal verification that if the end processes do not detect that too many frames are lost, defined by comparison of error counters against given threshold values, then there will be a bounded delay between transmission of data frames and reception of control frames. This verification and others presented herein were performed with the model checkers SPIN and RT-SPIN

Long-term trends in rain and cloud chemistry in a region of complex topography

Rain and cloud water from a high-elevation site and an adjacent lower-level site in the northern Pennines of England were sampled and analysed between 1994 and 2008. The comparison of wet deposition and rainfall depth at the high and low-level sites has been used to estimate the additional deposition of pollutants arising from ‘seeder–feeder’ enhancement by washout of the orographic cap cloud that forms over the high-level site. The derived ‘orographic scavenging ratio’ for different ions is used to map the orographic enhancement of wet deposition across the U.K. The ratio of ion concentrations in cloud and in rain at the high-level site is also important for estimating the input of pollutants through the direct capture of cloud water droplets at high elevation sites. Long-term trends in ion concentrations in cloud and rain showed significant downward trends in non-sea sulphate, and a weaker downward trend in nitrate, but no trend in other ions. There was also no trend in the orographic scavenging ratios, implying that the methods used to estimate orographic enhancement across the U.K. are robust over time

“You know that's a rip-off”: policies and practices surrounding micro-enterprises and poverty alleviation in South African township tourism

Supporting the development of small tourism businesses has been seen by policy-makers as a valuable means of alleviating poverty in South African townships. This perspective has been endorsed by several ‘responsible’ tourism businesses and academics. Following a review of the literature, this paper reports the findings of an empirical study that examined the practices of micro-business owners and the factors that shape their behaviour in two South African townships. In spite of significant visitor numbers, it finds that their narrow social networks and the imbalances of power between them and intermediaries such as travel agencies and tour operators prevent them from developing their businesses and sharing in the material gains that become available because of tourism. This analysis has important implications for local policy-makers and those advocating responsible tourism. For the former, it suggests a cessation of current initiatives in favour of greater regulation and alternative forms of investment. For the latter, it implies the need to reassess the utility of advocating responsible tourism to consumers in a context where they do not understand the dynamics which fashion what is on offer or the full implications of their choices

The benefits of steroids versus steroids plus antivirals for treatment of Bell’s palsy: a meta-analysis

Objective To determine whether steroids plus antivirals provide a better degree of facial muscle recovery in patients with Bell’s palsy than steroids alone

Barriers to recruitment when conducting a commissioned randomised controlled trial of medication versus psychological therapy for generalised anxiety disorder: some lessons learned

Background Poor recruitment is the most common reason for premature discontinuation of randomised controlled trials (RCTs). An RCT of medication versus psychological therapy for generalised anxiety disorder (GAD) was discontinued prematurely by the UK National Institute of Health Research funders because of recruitment failure. In order to inform future research studies, this article explores the reasons for poor recruitment and aspects which could have been improved. Methods The trial recruited participants via psychological well-being practitioners (PWPs) employed within local Improving Assess to Psychological Therapies (IAPT) services at four sites in England. For this study, we initially examined the recruitment data to identify reasons why potential participants were reluctant to participate in the trial. We then investigated reasons the PWPs did not identify more potential participants. Finally, we performed retrospective analyses of a computerised clinical records system used by the IAPT services in this study. These analyses aimed to establish the number of potential participants who had not been approached about the trial as well as whether there were additional factors affecting the numbers of people who might be eligible to take part. Data were obtained for all patients assessed during the period from the date on which recruitment commenced until the closure of the trial. Results Three quarters of those patients identified as possibly suitable for the trial declined to take part; the great majority did so because they did not want to be randomly assigned to receive medication. Our retrospective database analyses showed that only around 12% of potentially eligible patients for the trial were identified by the PWPs at the pilot sites. The results also indicated that only 5% of those noted at entry to the IAPT services to have a score of at least 10 on the GAD-7 questionnaire (a self-completed questionnaire with high sensitivity and specificity for GAD) would have been eligible for the trial. Conclusions Our findings suggest that poor recruitment to RCTs can be significantly affected by participants’ treatment preferences and by factors influencing the recruiting clinicians. It may also be important not to include too many restrictions on inclusion criteria for pragmatic trials aiming for generalisable results

Developing family interventions for adolescent HIV prevention in South Africa.

Adolescents and young people account for 40% of all new HIV infections each year, with South Africa one of the hardest hit countries, and having the largest population of people living with HIV. Although adolescent HIV prevention has been delivered through diverse modalities in South Africa, and although family-based approaches for adolescent HIV prevention have great potential for highly affected settings such as South Africa, there is a scarcity of empirically tested family-based adolescent HIV preventive interventions in this setting. We therefore conducted focus groups and in-depth interviews with key informants including clinicians, researchers, and other individuals representing organizations providing HIV and related health services to adolescents and parents (N = 82). We explored family perspectives and interactions around topics such as communication about sex, HIV, and relationships. Participants described aspects of family interactions that presented both challenges and opportunities for family-based adolescent HIV prevention. Parent-child communication on sexual topics were taboo, with these conversations perceived by some adults as an invitation for children to engage in HIV risk behavior. Parents experienced social sanctions for discussing sex and adolescents who asked about sex were often viewed as disrespectful and needing discipline. However, participants also identified context-appropriate strategies for addressing family challenges around HIV prevention including family meetings, communal parenting, building efficacy around parent-adolescent communication around sexual topics, and the need to strengthen family bonding and positive parenting. Findings indicate the need for a family intervention and identify strategies for development of family-based interventions for adolescent HIV prevention. These findings will inform design of a family intervention to be tested in a randomized pilot trial (ClinicalTrials.gov #NCT02432352)

What Is Neuropsychoanalysis?

This article serves to briefly survey the relationship between neuroscience and psychoanalysis ("neuropsychoanalysis") and, at the same time, to address some of the criticisms that the field has encountered. First, the article reviews the historical foundations of neuropsychoanalysis, including both theoretical and technical questions of whether an interdiscipline is appropriate. Second, the article reviews the philosophical foundations of the field, including the position of dual-aspect monism. Third, the article examines the scientific foundations of the field, with a discussion of whether analytic work with neurological patients represents an optimal point of contact between the disciplines. Finally, the article engages with the issue of what neuropsychoanalysis is not, covering issues such as "speculation versus empirical research,"and the question of whether neuropsychoanalysis represents a new "school" within psychoanalysis