Tool-supported requirements prioritization: Comparing the AHP and CBRank methods

Requirements prioritization aims at identifying the most important requirements for a software system, a crucial step when planning for system releases and deciding which requirements to implement in each release. Several prioritization methods and supporting tools have been proposed so far. How to evaluate their properties, with the aim of supporting the selection of the most appropriate method for a specific project, is considered a relevant question.In this paper, we present an empirical study aiming at evaluating two state-of-the art tool-supported requirements prioritization methods, AHP and CBRank. We focus on three measures: the ease of use, the time-consumption and the accuracy. The experiment has been conducted with 23 experienced subjects on a set of 20 requirements from a real project. Results indicate that for the first two characteristics CBRank overcomes AHP, while for the accuracy AHP performs better than CBRank, even if the resulting ranks from the two methods are very similar. The majority of the users found CBRank the “overall best” method.     

Ageing, Demand for Care and the Role of Migrant Care Workers in the UK

In recent decades, rapid population ageing has dramatically increased the need for older adult care provision in the UK. A prominent role in meeting the care needs of the older population has been played by migrant workers. The aim of this paper is to explore the characteristics of the UK social care system that shape demand for migrant labour, the conditions under which migrant care workers are employed, and older people’s and migrant care workers’ experiences of the quality of care. Our analysis draws on the findings of a survey of providers of social care for older people, in-depth interviews with migrant care workers, and focus groups with older people. The findings show that the underfunding of social care and interrelated workforce shortages are largely responsible for the extensive reliance on migrant workers among social care providers, and raise concerns for workforce inequalities and for the quality of care.     

Synthesising CCS bisimulation using graph rewriting

The paper presents a case study on the synthesis of labelled transition systems (ltss) for process calculi, choosing as testbed Milner’s Calculus of Communicating System (ccs).The proposal is based on a graphical encoding: each ccs process is mapped into a graph equipped with suitable interfaces, such that the denotation is fully abstract with respect to the usual structural congruence.Graphs with interfaces are amenable to the synthesis mechanism proposed by Ehrig and König and based on borrowed contexts (bcs), an instance of relative pushouts originally introduced by Milner and Leifer.The bc mechanism allows the effective construction of an lts that has graphs with interfaces as both states and labels, and such that the associated bisimilarity is automatically a congruence.Our paper focuses on the analysis of the lts distilled by exploiting the encoding of ccs processes: besides offering major technical contributions towards the simplification of the bc mechanism, a key result of our work is the proof that the bisimilarity on processes obtained via bcs coincides with the standard strong bisimilarity for ccs.     

Differential interference contrast x-ray microscopy with twin zone plates

X-ray imaging in differential interference contrast (DIC) with submicrometer optical resolution was performed by using a twin zone plate (TZP) setup generating focal spots closely spaced within the TZP spatial resolution of 160 nm. Optical path differences introduced by the sample are recorded by a CCD camera in a standard full-field imaging and by an aperture photodiode in a standard scanning transmission x-ray microscope. Applying this x-ray DIC technique, we demonstrate for both the full-field imaging and scanning x-ray microscope methods a drastic increase in image contrast (approximately 20x) for a low-absorbing specimen, similar to the Nomarski DIC method for visible-light microscopy.     

Low-intensity optical bistability in an active Fabry-Perot mirror induced by input-phase-insensitive parametric downconversion

A Fabry-Perot resonator filled with second-order nonlinear optical material is investigated. Attention is devoted to making the resonator act as a nonlinear mirror for ultralow-intensity light signals that can be switched by a control beam at the second-harmonic frequency. The interaction process is an input-phase-independent parametric downconversion. The theoretical problem is solved through implementation of a dummy variable method optimized for a parametric process. Efficient amplification and bistability of low-intensity signals have been found.     

A comparison of higher order auditory processes in younger and older adults.

The authors conducted 3 experiments investigating the effects of aging on higher order auditory processes. They compared younger and older adults with respect to (a) their auditory channel capacity, (b) the extent of their top-down control over auditory gain, and (c) their ability to focus attention on a narrow band of frequencies. To ensure that subclinical cochlear processing deficits in older adults (e.g., higher thresholds, poorer discrimination of frequency and intensity differences) did not limit performance, the authors used only stimuli that were perfectly discriminable by all participants. No age differences were found in any of these experiments, suggesting that some higher order auditory processes (e.g., top-down control over auditory gain, auditory attention) are preserved in normal aging, despite numerous age-related declines in peripheral auditory functionality. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

An android for enhancing social skills and emotion recognition in people with autism.

It is well documented that the processing of social and emotional information is impaired in people with autism. Recent studies have shown that individuals, particularly those with high functioning autism, can learn to cope with common social situations if they are made to enact possible scenarios they may encounter in real life during therapy. The main aim of this work is to describe an interactive life-like facial display (FACE) and a supporting therapeutic protocol that will enable us to verify if the system can help children with autism to learn, identify, interpret, and use emotional information and extend these skills in a socially appropriate, flexible, and adaptive context. The therapeutic setup consists of a specially equipped room in which the subject, under the supervision of a therapist, can interact with FACE. The android display and associated control system has automatic facial tracking, expression recognition, and eye tracking. The treatment scheme is based on a series of therapist-guided sessions in which a patient communicates with FACE through an interactive console. Preliminary data regarding the exposure to FACE of two children are reported.     

On structuring proof search for first order linear logic

Full first-order linear logic can be presented as an abstract logic programming language in Miller's system Forum, which yields a sensible operational interpretation in the ‘proof search as computation’ paradigm. However, Forum still has to deal with syntactic details that would normally be ignored by a reasonable operational semantics. In this respect, Forum improves on Gentzen systems for linear logic by restricting the language and the form of inference rules. We further improve on Forum by restricting the class of formulae allowed, in a system we call G-Forum, which is still equivalent to full first-order linear logic. The only formulae allowed in G-Forum have the same shape as Forum sequents: the restriction does not diminish expressiveness and makes G-Forum amenable to proof theoretic analysis. G-Forum consists of two (big) inference rules, for which we show a cut elimination procedure. This does not need to appeal to finer detail in formulae and sequents than is provided by G-Forum, thus successfully testing the internal symmetries of our system.