Reasoning about orchestrations of web services using partial correctness

A service is a remote computational facility which is made available for general use by means of a wide-area network. Several types of service arise in practice: stateless services, shared state services and services with states which are customised for individual users. A service-based orchestration is a multi-threaded computation which invokes remote services in order to deliver results back to a user (publication). In this paper a means of specifying services and reasoning about the correctness of orchestrations over stateless services is presented. As web services are potentially unreliable the termination of even finite orchestrations cannot be guaranteed. For this reason a partial-correctness powerdomain approach is proposed to capture the semantics of recursive orchestrations.

Prevalence of Adverse Childhood Experiences in a University Population: Associations with Use of Social Services

This paper is part of a series published by the Multiple Adverse Childhood Experiences research group based at QUB. First-year undergraduates took part in an online survey, self-reporting on Adverse Childhood Experiences (ACE) and measures of social service contact. The 10-item ACE questionnaire measures abuse, neglect and household dysfunction (current sample ?????????The study achieved a response rate of 18.6%. (N=765; 552 (72.7%) females and 212 (27.2%) males; 21.8% reporting having been educated at a ‘Protestant’ school, 42% reporting having been educated at a ‘Catholic’ school and 20.4% reporting previous school religious affiliation as ‘other’). Despite obvious non-response bias, ACE scores for this student population are comparable with college-educated populations in the US. Current respondents with previous social service contact are over twenty three times more likely than peers to have experienced multiple adversities. Findings support the hypothesis that social service contact, alone, acts as a proxy indicator for the presence of multiple adverse childhood experiences, with no significant elevation in ACE scores for those going through court proceedings or subject to child protection registration. This study supports current concerns by policy makers to target those children experiencing multiple adversities.

Towards improving the co-ordination of supportive cancer care services in the community

In this paper an evaluation approach to assess the co-ordination of supportive community cancer care is presented. The aim of the study was to identify current gaps in co-ordination of services in a selected region in the province of Ontario, Canada, determine how consistent these gaps were across the province of Ontario, and develop service design considerations for improving the co-ordination of supportive cancer care services in the province of Ontario. The study addressed services required by two populations - clients who had been recently diagnosed and those in the palliative stages of cancer. The evaluation was theory-driven and incorporated evidence from three methods: a systematic literature review, a community case study and a provincial scan. The results revealed the absence of a formal supportive cancer care system and a complex community care system. Supportive cancer care was shown to be delivered by a range of generalist programs that lacked specialisation in addressing the unique needs of cancer clients. In addition, there was no clear evidence of leadership for co-ordinating supportive cancer care, where client care was most often provided by multiple programs at any given point in time. The study generated recommendations to improve co-ordination of supportive cancer care at both the administrative as well as direct care level. © 2004 Elsevier Ireland Ltd. All rights reserved.

The palliative care education needs of nursing home staff

Background: Palliative care is delivered in a number of settings, including nursing homes, where staff often have limited training in palliative care. Aim: We explored the level of palliative care knowledge among qualified staff delivering end-of-life care in nursing home settings, to inform the development of an appropriate education and training programme. Design: An audit of the educational needs assessment was performed using an anonymous postal questionnaire sent to 528 qualified nursing staff within 48 nursing homes. Findings: In total, 227 questionnaires were returned giving a response rate of 43%. Results indicated that less than half the sample had obtained formal training in the area of pain assessment and management and less than a quarter had obtained training in non-malignant conditions. Registered nurses in this study reported a lack of awareness of palliative care principles or national guidelines. Conclusion: Qualified nursing home staff agree that palliative care is a valuable model for care in their setting. There are clear opportunities for improvement in nursing home care, based on education and training in palliative care. Results also support the need for enhanced liaison between nursing homes and specialist palliative care services. © 2006 Elsevier Ltd. All rights reserved.

Home-based support for palliative care families:challenges and recommendations

Providing adequate supportive services for the families of palliative care patients is a core principle of palliative care. Caring for a patient with terminal illness at home involves a considerable commitment on the part of family caregivers, and attention must be given to the caregiver's needs as well as those of the patient. Although a home death may be preferred by patients and promoted by healthcare agencies as a cost-effective option, it may be an ideal that is not often realised. Enhanced supportive care strategies can ameliorate the challenges facing families of palliative care patients cared for at home. All health professionals need to improve the standard of family-centred palliative care, and more evidence-based approaches are required.

In Demand: Therapeutic Services for Children and Young People Who Have Experienced Sexual Abuse

This paper describes the key findings of an NSPCC study estimating need, in the UK, for therapeutic services for children who have experienced sexual abuse. This is based upon current estimates of the prevalence and impact of sexual abuse towards children and young people against the availability of therapeutic services in the UK. Data were collected on service location, availability, scope and coverage across England, Wales, Northern Ireland and Scotland. Researchers: (1) mapped 508 services; (2) collected data from 195 services via a structured questionnaire; (3) followed up 21 service managers and 11 service commissioners with a semi-structured interview; and (4) carried out two focus groups with young people. Data were collected on service location, availability, scope and coverage The overall level of specialist provision is low, with less than one service available per 10 000 children and young people in the UK. Calculations of need indicate that 57 156 children across the UK in the last year may have been unable to access a service. Findings from services support the view that need outstrips availability; that referral routes are limited, leaving few options for young people who have been raped or seriously sexually assaulted to directly access support; that significant waiting lists mean services must focus on reactive, rather than preventive, work; and that services are less accessible for certain groups, especially sexually abused teenagers, children with disabilities and those from Black, Asian, Minority Ethnic and Refugee backgrounds. Copyright (c) 2012 John Wiley & Sons, Ltd. Key Practitioner Messages Relevant professionals must be adequately trained to talk to children about sexual abuse and to identify those vulnerable in order to identify need. Expert specialist services are well placed to share learning on early help and identification with broader children's service providers. Active steps need to be taken by commissioners in consultation with young people, voluntary sector and adult sexual violence service providers to meet the shortfall at the level of local authorities.

Formal calibration methodology for CFD models of naturally ventilated indoor environments

Well planned natural ventilation strategies and systems in the built environments may provide healthy and comfortable indoor conditions, while contributing to a significant reduction in the energy consumed by buildings. Computational Fluid Dynamics (CFD) is particularly suited for modelling indoor conditions in naturally ventilated spaces, which are difficult to predict using other types of building simulation tools. Hence, accurate and reliable CFD models of naturally ventilated indoor spaces are necessary to support the effective design and operation of indoor environments in buildings. This paper presents a formal calibration methodology for the development of CFD models of naturally ventilated indoor environments. The methodology explains how to qualitatively and quantitatively verify and validate CFD models, including parametric analysis utilising the response surface technique to support a robust calibration process. The proposed methodology is demonstrated on a naturally ventilated study zone in the library building at the National University of Ireland in Galway. The calibration process is supported by the on-site measurements performed in a normally operating building. The measurement of outdoor weather data provided boundary conditions for the CFD model, while a network of wireless sensors supplied air speeds and air temperatures inside the room for the model calibration. The concepts and techniques developed here will enhance the process of achieving reliable CFD models that represent indoor spaces and provide new and valuable information for estimating the effect of the boundary conditions on the CFD model results in indoor environments. © 2012 Elsevier Ltd.

Dynamic Buffer Management for Multimedia Services in Beyond 3G Wireless Networks

This paper investigates a dynamic buffer man-agement scheme for QoS control of multimedia services in be-yond 3G wireless systems. The scheme is studied in the context of the state-of-the-art 3.5G system i.e. the High Speed Downlink Packet Access (HSDPA) which enhances 3G UMTS to support high-speed packet switched services. Unlike earlier systems, UMTS-evolved systems from HSDPA and beyond incorporate mechanisms such as packet scheduling and HARQ in the base station necessitating data buffering at the air interface. This introduces a potential bottleneck to end-to-end communication. Hence, buffer management at the air interface is crucial for end-to-end QoS support of multimedia services with multi-plexed parallel diverse flows such as video and data in the same end-user session. The dynamic buffer management scheme for HSDPA multimedia sessions with aggregated real-time and non real-time flows is investigated via extensive HSDPA simulations. The impact of the scheme on end-to-end traffic performance is evaluated with an example multimedia session comprising a real-time streaming flow concurrent with TCP-based non real-time flow. Results demonstrate that the scheme can guar-antee the end-to-end QoS of the real-time streaming flow, whilst simultaneously protecting the non real-time flow from starva-tion resulting in improved end-to-end throughput performance

Dynamic Buffer Management for Multimedia Services in 3.5G Wireless Networks

This paper presents and investigates a dynamic
buffer management scheme for QoS control of multimedia
services in a 3.5G wireless system i.e. the High Speed Downlink
Packet Access (HSDPA). HSDPA was introduced to enhance
UMTS for high-speed packet switched services. With HSDPA,
packet scheduling and HARQ mechanisms in the base station
require data buffering at the air interface thus introducing a
potential bottleneck to end-to-end communication. Hence, for
multimedia services with multiplexed parallel diverse flows
such as video and data in the same end-user session, buffer
management schemes in the base station are essential to support
end-to-end QoS provision. We propose a dynamic buffer management
scheme for HSDPA multimedia sessions with aggregated real-time and non real-time flows in the paper. The end-to-end performance impact of the scheme is evaluated with an example multimedia session comprising a real-time streaming
flow concurrent with TCP-based non real-time flow via extensive HSDPA simulations. Results demonstrate that the scheme can guarantee the end-to-end QoS of the real-time streaming flow, whilst simultaneously protecting non real-time flow from starvation resulting in improved end-to-end throughput performance

A Dynamic Buffer Management Scheme for End-to-End QoS Enhancement of Multi-flow Services in HSDPA

End-user multi-flow services support is a crucial aspect of current and next generation mobile networks. This paper presents a dynamic buffer management strategy for HSDPA end-user multi-flow traffic with aggregated real-time and non-real-time flows. The scheme incorporates dynamic priority switching between the flows for transmission on the HSDPA radio channel. The end-to-end performance of the proposed strategy is investigated with an end-user multi-flow session of simultaneous VoIP and TCP-based downlink traffic using detailed HSDPA system-level simulations. Compared to an equivalent static buffer management scheme, the results show that end-to-end throughput performance gains in the non-real-time flow and better HSDPA channel utilization is attainable without compromising the real-time VoIP flow QoS constraints

Multi-Objective Reactive Power Support from Wind farms for Network Performance Enhancement

This paper examines the ability of the doubly fed induction generator (DFIG) to deliver multiple reactive power objectives during variable wind conditions. The reactive power requirement is decomposed based on various control objectives (e.g. power factor control, voltage control, loss minimisation, and flicker mitigation) defined around different time frames (i.e. seconds, minutes, and hourly), and the control reference is generated by aggregating the individual reactive power requirement for each control strategy. A novel coordinated controller is implemented for the rotor-side converter and the grid-side converter considering their capability curves and illustrating that it can effectively utilise the aggregated DFIG reactive power capability for system performance enhancement. The performance of the multi-objective strategy is examined for a range of wind and network conditions, and it is shown that for the majority of the scenarios, more than 92% of the main control objective can be achieved while introducing the integrated flicker control scheme with the main reactive power control scheme. Therefore, optimal control coordination across the different control strategies can maximise the availability of ancillary services from DFIG-based wind farms without additional dynamic reactive power devices being installed in power networks.

Repackaging Prostate Cancer Support Group Research Findings: An e-KT Case Study

n the context of psychosocial oncology research, disseminating study findings to a range of knowledge “end-users” can advance the well-being of diverse patient subgroups and their families. This article details how findings drawn from a study of prostate cancer support groups were repackaged in a knowledge translation website—www.prostatecancerhelpyourself.ubc.ca—using Web 2.0 features. Detailed are five lessons learned from developing the website: the importance of pitching a winning but feasible idea, keeping a focus on interactivity and minimizing text, negotiating with the supplier, building in formal pretests or a pilot test with end-users, and completing formative evaluations based on data collected through Google™ and YouTube™ Analytics. The details are shared to guide the e-knowledge translation efforts of other psychosocial oncology researchers and clinicians.

Adding metadata to Orc to support reasoning about grid programs

Following earlier work demonstrating the utility of Orc as a means of specifying and reasoning about grid applications we propose the enhancement of such specifications with metadata that provide a means to extend an Orc specification with implementation oriented information. We argue that such specifications provide a useful refinement step in allowing reasoning about implementation related issues ahead of actual implementation or even prototyping. As examples, we demonstrate how such extended specifications can be used for investigating security related issues and for evaluating the cost of handling grid resource faults. The approach emphasises a semi-formal style of reasoning that makes maximum use of programmer domain knowledge and experience.

Helping the most vulnerable out of the poverty trap and reducing inequality: Policies, strategies, and services for individuals with Autism Spectrum Disorder, including intellectual and neurodevelopmental disabilities: Benchmarking Autism Services Efficacy: BASE Project (Volume 3) Secondary Data analysis

1) Executive Summary
Legislation (Autism Act NI, 2011), a cross-departmental strategy (Autism Strategy 2013-2020) and a first action plan (2013-2016) have been developed in Northern Ireland in order to support individuals and families affected by Autism Spectrum Disorder (ASD) without a prior thorough baseline assessment of need. At the same time, there are large existing data sets about the population in NI that had never been subjected to a secondary data analysis with regards to data on ASD. This report covers the first comprehensive secondary data analysis and thereby aims to inform future policy and practice.
Following a search of all existing, large-scale, regional or national data sets that were relevant to the lives of individuals and families affected by Autism Spectrum Disorder (ASD) in Northern Ireland, extensive secondary data analyses were carried out. The focus of these secondary data analyses was to distill any ASD related data from larger generic data sets. The findings are reported for each data set and follow a lifespan perspective, i.e., data related to children is reported first before data related to adults.
Key findings:
Autism Prevalence:
Of children born in 2000 in the UK,
• 0.9% (1:109) were reported to have ASD, when they were 5-year old in 2005;
• 1.8% (1:55) were reported to have ASD, when they were 7-years old in 2007;
• 3.5% (1:29) were reported to have ASD, when they were 11-year old in 2011.
In mainstream schools in Northern Ireland
• 1.2% of the children were reported to have ASD in 2006/07;
• 1.8% of the children were reported to have ASD in 2012/13.

Economic Deprivation:
• Families of children with autism (CWA) were 9%-18% worse off per week than families of children not on the autism spectrum (COA).
• Between 2006-2013 deprivation of CWA compared to COA nearly doubled as measured by eligibility for free school meals (from near 20 % to 37%)
• In 2006, CWA and COA experienced similar levels of deprivation (approx. 20%), by 2013, a considerable deprivation gap had developed, with CWA experienced 6% more deprivation than COA.
• Nearly 1/3 of primary school CWA lived in the most deprived areas in Northern Ireland.
• Nearly ½ of children with Asperger’s Syndrome who attended special school lived in the most deprived areas.

Unemployment:
• Mothers of CWA were 6% less likely to be employed than mothers of COA.
• Mothers of CWA earned 35%-56% less than mothers of COA.
• CWA were 9% less likely to live in two income families than COA.

Health:
• Pre-diagnosis, CWA were more likely than COA to have physical health problems, including walking on level ground, speech and language, hearing, eyesight, and asthma.
• Aged 3 years of age CWA experienced poorer emotional and social health than COA, this difference increased significantly by the time they were 7 years of age.
• Mothers of young CWA had lower levels of life satisfaction and poorer mental health than mothers of young COA.
Education:
• In mainstream education, children with ASD aged 11-16 years reported less satisfaction with their social relationships than COA.
• Younger children with ASD (aged 5 and 7 years) were less likely to enjoy school, were bullied more, and were more reluctant to attend school than COA.
• CWA attended school 2-3 weeks less than COA .
• Children with Asperger’s Syndrome in special schools missed the equivalent of 8-13 school days more than children with Asperger’s Syndrome in mainstream schools.
• Children with ASD attending mainstream schooling were less likely to gain 5+ GCSEs A*-C or subsequently attend university.



Further and Higher Education:
• Enrolment rates for students with ASD have risen in Further Education (FE), from 0% to 0.7%.
• Enrolment rates for students with ASD have risen in Higher Education (HE), from 0.28% to 0.45%.
• Students with ASD chose to study different subjects than students without ASD, although other factors, e.g., gender, age etc. may have played a part in subject selection.
• Students with ASD from NI were more likely than students without ASD to choose Northern Irish HE Institutions rather than study outside NI.

Participation in adult life and employment:
• A small number of adults with ASD (n=99) have benefitted from DES employment provision over the past 12 years.
• It is unknown how many adults with ASD have received employment support elsewhere (e.g. Steps to Work).
•
Awareness and Attitudes in the General Population:
• In both the 2003 and 2012 NI Life and Times Survey (NILTS), NI public reported positive attitudes towards the inclusion of children with ASD in mainstream education (see also BASE Project Vol. 2).

Gap Analysis Recommendations:
This was the first comprehensive secondary analysis with regards to ASD of existing large-scale data sets in Northern Ireland. Data gaps were identified and further replications would benefit from the following data inclusion:
• ASD should be recorded routinely in the following datasets:
o Census;
o Northern Ireland Survey of Activity Limitation (NISALD);
o Training for Success/Steps to work; Steps to Success;
o Travel survey;
o Hate crime; and
o Labour Force Survey.
• Data should be collected on the destinations/qualifications of special school leavers.
• NILT Survey autism module should be repeated in 5 years time (2017) (see full report of 1st NILT Survey autism module 2012 in BASE Project Report Volume 2).
• General public attitudes and awareness should be assessed for children and young people, using the Young Life and Times Survey (YLT) and the Kids Life and Times Survey (KLT); (this work is underway, Dillenburger, McKerr, Schubolz, & Lloyd, 2014-2015).