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.

Generalized Selection Combining for Cognitive Relay Networks over Nakagami-m Fading

We consider transmit antenna selection with receive generalized selection combining (TAS/GSC) for cognitive decodeand-forward (DF) relaying in Nakagami-m fading channels. In an effort to assess the performance, the probability density function and the cumulative distribution function of the endto-end SNR are derived using the moment generating function, from which new exact closed-form expressions for the outage probability and the symbol error rate are derived. We then derive a new closed-form expression for the ergodic capacity. More importantly, by deriving the asymptotic expressions for the outage probability and the symbol error rate, as well as the high SNR approximations of the ergodic capacity, we establish new design insights under the two distinct constraint scenarios: 1) proportional interference power constraint, and 2) fixed interference power constraint. Several pivotal conclusions are reached. For the first scenario, the full diversity order of the
outage probability and the symbol error rate is achieved, and the high SNR slope of the ergodic capacity is 1/2. For the second scenario, the diversity order of the outage probability and the symbol error rate is zero with error floors, and the high SNR slope of the ergodic capacity is zero with capacity ceiling.

Combining and integrating life /social sciences and citizen trainers in Nurse Education - a N. Ireland initiative

Before commencement of the academic year 2012/2013 the social sciences, public health and the biomedical sciences were taught to separate modules. This reinforced the idea off separate disciplines certainly for some of the younger students and a failure to appreciate the interconnectedness (whole person) perspective on health; separately modules taught and assessed in separate silos. There was limited understanding by the lecturers of the other areas that they were not teaching to -reflecting perhaps a dis-coordinated approach to health sciences (Mason and Whitehead 2003). As a result of significant discussion and interdisciplinary negotiation the life, social sciences public health/ health education were drawn together in the one module for the academic year 2012/13. The module provides the undergraduate students with an introduction to an understanding of Life Sciences, psychology, sociology and public health and their contribution within the context of nursing and midwifery. Each week’s teaching seeks to reflect against the other module delivered in first year - addressing clinical skills. The teaching is developing innovative e-learning approaches, including the use of a virtual community. The intention is to provide the student with a more integrated understanding and teaching to the individual’s health and to health within a social context (Lin 2001; Iles- Shih 2011). The focus is on health promotion rather than disease management. The module runs in three phases across the student’s first-year and teachers to the field of adult mental health, learning disability, children’s nursing and the midwifery students -progressively building on the student’s clinical experience. The predominant focus of the module remains on health and reflecting aspects of life and social life within N. Ireland. One of the particular areas of interest and an area of particular sensitivity is engaging the students to the context of the Northern Ireland civil unrest (the Troubles); this involves a co-educational initiative with service users, only previously attempted with social work students (Duffy 2012). The service users are represented by WAVE an organisation offering care and support to bereaved, traumatised or injured as a result of the violent civil conflict `the Troubles’. The `Troubles’ had ranged over an extended period and apart from the more evident and visual impact of death and injury, the community is marked by a disproportionate level of civil unrest, the extremes of bereavement, imprisonment, displacement antisocial behaviour and family dysfunction (Coulter et al. 2012). As co-educators with the School of Nursing and Midwifery, WAVE deliver a core lecture (augmented by online material), then followed by tutorials. The tutorials are substantially led by those who had been involved with and experienced loss and trauma as a result of the conflict (Health Service users) as `citizen trainers’ and provide an opportunity for them to share their experience and their recollection of personal interaction with nursing and midwifery students; in improving their understanding of the impact of `The Troubles’ on patients and clients affected by the events (Coulter et al. 2012) and to help better provide a quality of care cognisant of the particular needs of those affected by `the Troubles’ in N.Ireland. This approach is relatively unique to nursing in N. Ireland in that it involves many of those directly involved with and injured by the `Troubles’ as `citizen trainers’ and clearly reflects the School’s policy of progressively engaging with users and carers of nursing and midwifery services as co-educators to students (Repper & Breeze 2006). Only now could perhaps such a sensitive level of training to student nurses and midwives be delivered across communities with potential educative lessons for other communities experiencing significant civil unrest and sectarian conflict.

Combining multi-band and frequency-filtering techniques for speech recognition in noisy environments

While current speech recognisers give acceptable performance in carefully controlled environments, their performance degrades rapidly when they are applied in more realistic situations. Generally, the environmental noise may be classified into two classes: the wide-band noise and narrow band noise. While the multi-band model has been shown to be capable of dealing with speech corrupted by narrow-band noise, it is ineffective for wide-band noise. In this paper, we suggest a combination of the frequency-filtering technique with the probabilistic union model in the multi-band approach. The new system has been tested on the TIDIGITS database, corrupted by white noise, noise collected from a railway station, and narrow-band noise, respectively. The results have shown that this approach is capable of dealing with noise of narrow-band or wide-band characteristics, assuming no knowledge about the noisy environment.

The significance of combining VEGFA, FLT1, and KDR expressions in colon cancer patient prognosis and predicting response to bevacizumab

Targeting angiogenesis through inhibition of the vascular endothelial growth factor (VEGF) pathway has been successful in the treatment of late stage colorectal cancer. However, not all patients benefit from inhibition of VEGF. Ras status is a powerful biomarker for response to anti-epidermal growth factor receptor therapy; however, an appropriate biomarker for response to anti-VEGF therapy is yet to be identified. VEGF and its receptors, FLT1 and KDR, play a crucial role in colon cancer progression; individually, these factors have been shown to be prognostic in colon cancer; however, expression of none of these factors alone was predictive of tumor response to anti-VEGF therapy. In the present study, we analyzed the expression levels of VEGFA, FLT1, and KDR in two independent colon cancer datasets and found that high expression levels of all three factors afforded a very poor prognosis. The observation was further confirmed in another independent colon cancer dataset, wherein high levels of expression of this three-gene signature was predictive of poor prognosis in patients with proficient mismatch repair a wild-type KRas status, or mutant p53 status. Most importantly, this signature also predicted tumor response to bevacizumab, an antibody targeting VEGFA, in a cohort of bevacizumab-treated patients. Since bevacizumab has been proven to be an important drug in the treatment of advanced stage colon cancer, our results suggest that the three-gene signature approach is valuable in terms of its prognostic value, and that it should be further evaluated in a prospective clinical trial to investigate its predictive value to anti-VEGF treatment.

Small molecular logic systems can draw the outlines of objects via edge visualization

The recently-discovered ability of small logical molecules to recognize edges is exploited to achieve outline drawing from binary templates. Outlines of arbitrary curvature, several colours and thicknesses down to 1 mm are drawn in around 30 min or less by employing a common laboratory two-colour ultraviolet lamp. The outlines and the light dose-driven XOR logic with fluorescence output or ‘off-on-off’ action which is observed in the irradiated regions are modelled by combining foundational principles of photochemistry, acid-base neutralization and diffusion.

Combining vitamin C and carotenoid biomarkers better predicts fruit and vegetable intake than individual biomarkers in dietary intervention studies

PURPOSE: The aim of this study was to determine whether combining potential biomarkers of fruit and vegetables is better at predicting FV intake within FV intervention studies than single biomarkers.

DESIGN: Data from a tightly controlled randomised FV intervention study (BIOFAV; all food provided and two meals/day on weekdays consumed under supervision) were used. A total of 30 participants were randomised to either 2, 5 or 8 portions FV/day for 4 weeks, and blood samples were collected at baseline and 4 weeks for plasma vitamin C and serum carotenoid analysis. The combined biomarker approach was also tested in three further FV intervention studies conducted by the same research team, with less strict dietary control (FV provided and no supervised meals).

RESULTS: The combined model containing all carotenoids and vitamin C was a better fit than either the vitamin C only (P < 0.001) model or the lutein only (P = 0.006) model in the BIOFAV study. The C-statistic was slightly lower in the lutein only model (0.85) and in the model based upon factor analysis (0.88), and much lower in the vitamin C model (0.68) compared with the full model (0.95). Results for the other studies were similar, although the differences between the models were less marked.

CONCLUSIONS: Although there was some variation between studies, which may relate to the level of dietary control or participant characteristics, a combined biomarker approach to assess overall FV consumption may more accurately predict FV intake within intervention studies than the use of a single biomarker. The generalisability of these findings to other populations and study designs remains to be tested.