Model checking support for conflict resolution in multiple non-functional concern management

When implementing autonomic management of multiple non-functional concerns a trade-off must be found between the ability to develop independently management of the individual concerns (following the separation of concerns principle) and the detection and resolution of conflicts that may arise when combining the independently developed management code. Here we discuss strategies to establish this trade-off and introduce a model checking based methodology aimed at simplifying the discovery and handling of conflicts arising from deployment-within the same parallel application-of independently developed management policies. Preliminary results are shown demonstrating the feasibility of the approach.

Radiocarbon calibration in the Anglo-Saxon period: AD 495-725

Radiocarbon dating has been rarely used for chronological problems relating to the Anglo-Saxon period. The "flatness" of the calibration curve and the resultant wide range in calendrical dates provide little advantage over traditional archaeological dating in this period. Recent advances in Bayesian methodology have, however, created the possibility of refining and checking the established chronologies, based on typology of artifacts, against 14C dates. The calibration process, within such a confined age range, however, relies heavily on the structural accuracy of the calibration curve. We have therefore re-measured, at decadal intervals, a section of the Irish oak chronology for the period AD 495–725. These measurements have been included in IntCal04.

Management of varicella contacts in pregnancy: VZIG or Vaccination?

Background Varicella infection during pregnancy poses a serious risk for both foetus and mother. It has been suggested that it would be more cost-effective to screen antenatally with post-partum vaccination, which occurs in the US, than the current policy of checking immune status post varicella exposure, with VZIG administration where necessary. Additionally, it is doubtful whether the current policy provides best patient care, when a vaccine is available. Objectives The study aims to retrospectively compare the cost of the current policy with a cost estimate for antenatal screening with post-partum vaccination in NI. Study design A cost estimate of antenatal screening of primigravidas, with post-partum vaccination, was calculated for two models: (1) verbal screening, with serological testing of those with no history of varicella infection and (2) serological screening of all primigravidas. Results The cost of VZIG issued to pregnant women in 2006 was £100,800; 43% of births were to primigravidas therefore the estimated cost of VZIG issued to multigravidas was £58,100. The cost of verbal screening with post-partum vaccination is estimated at £23,750 p.a., saving £34,350 over current policy. The estimated cost of screening all primigravidas with post-partum vaccination is £43,000, saving £15,100. Conclusions This retrospective study suggests that in NI either of the proposed antenatal screening strategies would be less costly than current practice. This finding supports the suggestion that varicella immunity testing should be included in the Antenatal Infectious Diseases Screening Programme, either as part of the universal vaccination programme or solely as an antenatal programme.

Translating ‘gaytown’: the collision of global and local in bringing Australian queer play Bison to Belfast.

Sydney playwright Lachlan Philpott’s Bison (2000/2009) is immersed in a sweaty, summery Antipodean scene of bronzed and toned bodies. It is located in the flora and fauna of gum trees and biting ants. Yet, despite this, it could be argued that at its heart it is not a specifically Australian site, but an all-too translatable scene that seems to be played out in gay clubs, bars, chatrooms and saunas around the Western world: men repeating patterns, looking for sex or love; checking out bodies, craving perfection; avoiding, and occasionally seeking, disease. At least, that was my assumption when I decided to direct the play in Belfast, Northern Ireland, in 2009. Philpott came to Belfast to workshop the play with the actors and, as a group, we restructured the play and tried to find a way to ‘de-Australianise’ it without necessarily placing it in a new geographical place - Northern Ireland - through linguistic clues in the text. As Philpott put it: ‘Let’s not make this play about Belfast or Sydney or London or anywhere because it is not a fair reflection of these scenes. Maybe we should just identify the generic elements of this world and then make Bison a play that reflects gaytown – because the rituals are all the same in Western society’. The experience of doing the play in Belfast made clear, however, that ideas of a global gay identity/experience –though highly marketed – fail to account for the vastly different situations of embodied gay experience. And the Northern Irish gay experience, while it has imported the usual ‘generic’ tropes of gayness, sits within a specific cultural context in which the farsighted legislation on equality for gays (imposed by either London or the EU) vastly outstrips wider societal thinking. For many in Northern Ireland, erstwhile MP Iris Robinson’s comments about homosexuality being an ‘abomination’ were a reason to support her, rather than to reject her. For me, the comments were the catalyst to doing Bison in Belfast.

Attention Engagement in Early Infancy

We report a longitudinal study investigating developmental changes in the structure of attention engagement during early infancy. Forty-three infants were observed monthly from 2 to 4 months. Attention engagement was assessed from play interactions with parents, using a coding system developed by Bakeman and Adamson (1984). The results indicated a developmental transition in attention engagement at 3 months: after this age infants engaged for longer periods and in a wider variety of states. Most infants displayed person engagement at 2 months, passive joint engagement at 3 months, and object engagement at 4 months. To address whether emerging abilities of attention engagement allow infants to follow the attention of social partners, we compared attention engagement to performance on an experimental measure of attention control (reported by Perra & Gattis, 2010). Analyses revealed a positive relation between passive joint engagement and checking back, suggesting that changes in passive joint engagement reflect the development in attention control.

Computational techniques for a simple theory of conditional preferences

A simple logic of conditional preferences is defined, with a language that allows the compact representation of certain kinds of conditional preference statements, a semantics and a proof theory. CP-nets and TCP-nets can be mapped into this logic, and the semantics and proof theory generalise those of CP-nets and TCP-nets. The system can also express preferences of a lexicographic kind. The paper derives various sufficient conditions for a set of conditional preferences to be consistent, along with algorithmic techniques for checking such conditions and hence confirming consistency. These techniques can also be used for totally ordering outcomes in a way that is consistent with the set of preferences, and they are further developed to give an approach to the problem of constrained optimisation for conditional preferences.

A Review on Improving the Autonomy of Unmanned Surface Vehicles through Intelligent Collision Avoidance Manoeuvres

In recent years unmanned vehicles have grown in popularity, with an ever increasing number of applications in industry, the military and research within air, ground and marine domains. In particular, the challenges posed by unmanned marine vehicles in order to increase the level of autonomy include automatic obstacle avoidance and conformance with the Rules of the Road when navigating in the presence of other maritime traffic. The USV Master Plan which has been established for the US Navy outlines a list of objectives for improving autonomy in order to increase mission diversity and reduce the amount of supervisory intervention. This paper addresses the specific development needs based on notable research carried out to date, primarily with regard to navigation, guidance, control and motion planning. The integration of the International Regulations for Avoiding Collisions at Sea within the obstacle avoidance protocols seeks to prevent maritime accidents attributed to human error. The addition of these critical safety measures may be key to a future growth in demand for USVs, as they serve to pave the way for establishing legal policies for unmanned vessels.

Mass spectrometric analysis of muscle samples to detect potential antibiotic growth promoter misuse in broiler chickens

Mass spectrometric methods were developed and validated for the analysis in chicken muscle of a range of antibiotic growth promoters: spiramycin, tylosin, virginiamycin and bacitracin, and separately for two marker metabolites of carbadox (quinoxaline-2-carboxylic acid and 1,4-bisdesoxycarbadox), and a marker metabolite of olaquindox (3-methyl-quinoxaline-2-carboxylic acid). The use of these compounds as antibiotic growth promoters has been banned by the European Commission. This study aimed to develop methods to detect their residues in muscle samples as a means of checking for the use of these drugs during the rearing of broiler chickens. When fed growth-promoting doses for 6 days, spiramycin (31.4 mu g kg(-1)), tylosin (1.0 mu g kg(-1)), QCA (6.5 mu g kg(-1)), DCBX (71.2 mu g kg(-1)) and MQCA (0.2 mu g kg(-1)) could be detected in the muscle 0 days after the withdrawal of fortified feed. Only spiramycin could consistently be detected beyond a withdrawal period of 1 day. All analytes showed stability commercial cooking process, therefore raw or cooked muscle could be used for monitoring purposes.

The impact of peer review on the radiotherapy treatment planning process in the treatment of lung cancer

Background:
Advanced radiotherapy techniques permit accurate delivery of radiotherapy to lung tumours. Improved accuracy increases the possibility of radiotherapy field geographic miss of the tumour. One source of error is the accuracy of target volume (TV) delineation by the clinical oncologist. Colleague peer review of all curative intent lung cancer plans has been mandatory in our institution since May 2013. At least 2 clinical oncologists review plans checking treatment paradigm, TV delineated, dose to tumour and dose to critical organs. We report the impact of peer review on the radiotherapy planning process for lung cancer.

Methods:
The radiotherapy treatment plans of all patients receiving radical radiotherapy were presented at weekly peer review meetings after their TVs volumes were provisionally signed off by the treating consultant or post-fellowship registrar. All cases and any resultant change to the treatment plan were recorded in our prospective peer review database. We present the summary of changes agreed following the peer review process for a 6 month period.

Results:
Fifteen peer review sessions, including 46 patients (36 NSCLC, 10 SCLC) were analysed. An average of 3 cases were discussed per meeting (range 1 5). 24% of treatment courses were changed. In 4% there was a complete change in paradigm
of treatment (1 patient proceeded to induction chemotherapy, 1 patient had high dose palliative radiotherapy). In 16% there was a change in TV delineated and in 9% a change in dose (2 dose reductions and 2 alterations to post-operative dose fractionations).

Conclusions:
Consultant led peer review resulted in a change in a component of the treatment plan for 28% of patients that would not otherwise have taken place. Given this impact, consultant led peer review should be considered as an essential component in the radiotherapy planning process for all patients treated with curative radiotherapy.

Attention during social interaction in children with autism: Comparison to specific language impairment, typical development, and links to cognition

Eye-tracking studies have shown how people with autism spend significantly less time looking at socially relevant information on-screen compared to those developing typically. This has been suggested to impact on the development of socio-cognitive skills in autism. We present novel evidence of how attention atypicalities in children with autism extend to real-life interaction, in comparison to typically developing (TD) children and children with specific language impairment (SLI). We explored the allocation of attention during social interaction with an interlocutor, and how aspects of attention (awareness checking) related to traditional measures of social cognition (false belief attribution). We found divergent attention allocation patterns across the groups in relation to social cognition ability. Even though children with autism and SLI performed similarly on the socio- cognitive tasks, there were syndrome-specific atypicalities of their attention patterns. Children with SLI were most similar to TD children in terms of prioritising attention to socially pertinent information (eyes, face, awareness checking). Children with autism showed reduced attention to the eyes and face, and slower awareness checking. This study provides unique and timely insight into real-world social gaze (a)typicality in autism, SLI and typical development, its relationship to socio-cognitive ability, and raises important issues for intervention.

Realizing Accelerated Cost-Effective Distributed RAID

The exponential growth in user and application data entails new means for providing fault tolerance and protection against data loss. High Performance Com- puting (HPC) storage systems, which are at the forefront of handling the data del- uge, typically employ hardware RAID at the backend. However, such solutions are costly, do not ensure end-to-end data integrity, and can become a bottleneck during data reconstruction. In this paper, we design an innovative solution to achieve a flex- ible, fault-tolerant, and high-performance RAID-6 solution for a parallel file system (PFS). Our system utilizes low-cost, strategically placed GPUs — both on the client and server sides — to accelerate parity computation. In contrast to hardware-based approaches, we provide full control over the size, length and location of a RAID array on a per file basis, end-to-end data integrity checking, and parallelization of RAID array reconstruction. We have deployed our system in conjunction with the widely-used Lustre PFS, and show that our approach is feasible and imposes ac- ceptable overhead.

Weakening Cardinality Constraints Creates Harder Satisfiability Benchmarks

For some time, the satisfiability formulae that have been the most difficult to solve for their size have been crafted to be unsatisfiable by the use of cardinality constraints. Recent solvers have introduced explicit checking of such constraints, rendering previously difficult formulae trivial to solve. A family of unsatisfiable formulae is described that is derived from the sgen4 family but cannot be solved using cardinality constraints detection and reasoning alone. These formulae were found to be the most difficult during the SAT2014 competition by a significant margin and include the shortest unsolved benchmark in the competition, sgen6-1200-5-1.cnf.

Preferred Reporting Items for a Systematic Review and Meta-analysis of Individual Participant Data The PRISMA-IPD Statement

IMPORTANCE Systematic reviews and meta-analyses of individual participant data (IPD) aim to collect, check, and reanalyze individual-level data from all studies addressing a particular research question and are therefore considered a gold standard approach to evidence synthesis. They are likely to be used with increasing frequency as current initiatives to share clinical trial data gain momentum and may be particularly important in reviewing controversial therapeutic areas.

OBJECTIVE To develop PRISMA-IPD as a stand-alone extension to the PRISMA (Preferred Reporting Items for Systematic Reviews and Meta-Analyses) Statement, tailored to the specific requirements of reporting systematic reviews and meta-analyses of IPD. Although developed primarily for reviews of randomized trials, many items will apply in other contexts, including reviews of diagnosis and prognosis.

DESIGN Development of PRISMA-IPD followed the EQUATOR Network framework guidance and used the existing standard PRISMA Statement as a starting point to draft additional relevant material. A web-based survey informed discussion at an international workshop that included researchers, clinicians, methodologists experienced in conducting systematic reviews and meta-analyses of IPD, and journal editors. The statement was drafted and iterative refinements were made by the project, advisory, and development groups. The PRISMA-IPD Development Group reached agreement on the PRISMA-IPD checklist and flow diagram by consensus.

FINDINGS Compared with standard PRISMA, the PRISMA-IPD checklist includes 3 new items that address (1) methods of checking the integrity of the IPD (such as pattern of randomization, data consistency, baseline imbalance, and missing data), (2) reporting any important issues that emerge, and (3) exploring variation (such as whether certain types of individual benefit more from the intervention than others). A further additional item was created by reorganization of standard PRISMA items relating to interpreting results. Wording was modified in 23 items to reflect the IPD approach.

CONCLUSIONS AND RELEVANCE PRISMA-IPD provides guidelines for reporting systematic reviews and meta-analyses of IPD.

The Impact of Colleague Peer Review on the Radiotherapy Treatment Planning Process in the Radical Treatment of Lung Cancer

AIMS: Modern radiotherapy uses techniques to reliably identify tumour and reduce target volume margins. However, this can potentially lead to an increased risk of geographic miss. One source of error is the accuracy of target volume delineation (TVD). Colleague peer review (CPR) of all curative-intent lung cancer plans has been mandatory in our institution since May 2013. At least two clinical oncologists review plans, checking treatment paradigm, TVD, prescription dose tumour and critical organ tolerances. We report the impact of CPR in our institution.

MATERIALS AND METHODS: Radiotherapy treatment plans of all patients receiving radical radiotherapy were presented at weekly CPR meetings after their target volumes were reviewed and signed off by the treating consultant. All cases and any resultant change to TVD (including organs at risk) or treatment intent were recorded in our prospective CPR database. The impact of CPR over a 13 month period from May 2013 to June 2014 is reported.

RESULTS: One hundred and twenty-two patients (63% non-small cell lung carcinoma, 17% small cell lung carcinoma and 20% 'clinical diagnosis') were analysed. On average, 3.2 cases were discussed per meeting (range 1-8). CPR resulted in a change in treatment paradigm in 3% (one patient proceeded to induction chemotherapy, two patients had high-dose palliative radiotherapy). Twenty-one (17%) had a change in TVD and one (1%) patient had a change in dose prescription. In total, 6% of patients had plan adjustment after review of dose volume histogram.

CONCLUSION: The introduction of CPR in our centre has resulted in a change in a component of the treatment plan for 27% of patients receiving curative-intent lung radiotherapy. We recommend CPR as a mandatory quality assurance step in the planning process of all radical lung plans.