Compositional Design and Verification of a Multi-Agent System for One-to-Many Negotiation

A compositional verification method for multi-agent systems is presented and applied to a multi-agent system for one-to-many negotiation in the domain of load balancing of electricity use. Advantages of the method are that the complexity of the verification process is managed by compositionality, and that parts of the proofs can be reused in relation to reuse of components

Communications Biophysics

Contains research objectives and reports on three research projects

A History of common carp Cyprinus carpio (L.) in Ireland: A Review

This paper represents the most comprehensive and detailed summary of the history of common carp Cyprinus carpio (L.) in Ireland to date. It charts the earliest known introductions of the species to Irish waters, the rise in popularity of recreational angling for the species from c. 1950 onwards, the work carried out to establish the species in Ireland and explains the primary causes of their more recent distribution increase. Much of the historical research material gathered on common carp in Irish waters, including the first recorded details of introduction, is presented here for the first time.Funder: Marine Institut

The PALFA Survey: Going to great depths to find radio pulsars

The on-going PALFA survey is searching the Galactic plane (|b| < 5 deg., 32 < l < 77 deg. and 168 < l < 214 deg.) for radio pulsars at 1.4 GHz using ALFA, the 7-beam receiver installed at the Arecibo Observatory. By the end of August 2012, the PALFA survey has discovered 100 pulsars, including 17 millisecond pulsars (P < 30 ms). Many of these discoveries are among the pulsars with the largest DM/P ratios, proving that the PALFA survey is capable of probing the Galactic plane for millisecond pulsars to a much greater depth than any previous survey. This is due to the survey's high sensitivity, relatively high observing frequency, and its high time and frequency resolution. Recently the rate of discoveries has increased, due to a new more sensitive spectrometer, two updated complementary search pipelines, the development of online collaborative tools, and access to new computing resources. Looking forward, focus has shifted to the application of artificial intelligence systems to identify pulsar-like candidates, and the development of an improved full-resolution pipeline incorporating more sophisticated radio interference rejection. The new pipeline will be used in a complete second analysis of data already taken, and will be applied to future survey observations. An overview of recent developments, and highlights of exciting discoveries will be presented.Comment: Proceedings of IAUS 291 "Neutron Stars and Pulsars: Challenges and Opportunities after 80 years", J. van Leeuwen (ed.); 6 pages, 4 figure

Making justice more accessible

From the point of view of the Citizen, Justice is not always readily accessible. Either because it is a lengthy process, potentially expensive, sometimes unclear or simply scary, people will often avoid or withdraw from a judicial process, especially in those cases that involve relatively small amounts. This results in the giving up of a basic right, with the potential loss of rightful benefits. In this paper we briefly analyze the main aspects that impair access to Justice nowadays. We then move on to look at recent technological developments in the field of Online Dispute Resolution to argue that these can, in the near future, have a significant role in improving access to Justice. Specifically, we analyze the UMCourt Conflict Resolution Framework, developed by our research team, and address the different dimensions in which such tools contribute to make Justice more accessible, namely through better access to useful information, support in decision-making or more cost-effective processes.Development Fund through the COMPETE Programme (operational programme for competitiveness) and by National Funds through the FCT - Fundação para a Ciência e a Tecnologia (Portuguese Foundation for Science and Technology) within projects FCOMP-01-0124-FEDER-028980 (PTDC/EEISII/1386/ 2012) and PEst-OE/EEI/UI0752/201

Condition-specific or generic preference-based measures in oncology? A comparison of the EORTC-8D and the EQ-5D-3L.

PURPOSE: It has been argued that generic health-related quality of life measures are not sensitive to certain disease-specific improvements; condition-specific preference-based measures may offer a better alternative. This paper assesses the validity, responsiveness and sensitivity of a cancer-specific preference-based measure, the EORTC-8D, relative to the EQ-5D-3L. METHODS: A longitudinal prospective population-based cancer genomic cohort, Cancer 2015, was utilised in the analysis. EQ-5D-3L and the EORTC QLQ-C30 (which gives EORTC-8D values) were asked at baseline (diagnosis) and at various follow-up points (3 months, 6 months, 12 months). Baseline values were assessed for convergent validity, ceiling effects, agreement and sensitivity. Quality-adjusted life-years (QALYs) were estimated and similarly assessed. Multivariate regression analyses were employed to understand the determinants of the difference in QALYs. RESULTS: Complete case analysis of 1678 patients found that the EQ-5D-3L values at baseline were significantly lower than the EORTC-8D values (0.748 vs 0.829, p < 0.001). While the correlation between the instruments was high, agreement between the instruments was poor. The baseline health state values using both instruments were found to be sensitive to a number of patient and disease characteristics, and discrimination between disease states was found to be similar. Mean generic QALYs (estimated using the EQ-5D-3L) were significantly lower than condition-specific QALYs (estimated using the EORTC-8D) (0.860 vs 0.909, p < 0.001). The discriminatory power of both QALYs was similar. CONCLUSIONS: When comparing a generic and condition-specific preference-based instrument, divergences are apparent in both baseline health state values and in the estimated QALYs over time for cancer patients. The variability in sensitivity between the baseline values and the QALY estimations means researchers and decision makers are advised to be cautious if using the instruments interchangeably

Are preferences over health states informed?

BACKGROUND: The use of preference-elicitation tasks for valuing health states is well established, but little is known about whether these preferences are informed. Preferences may not be informed because individuals with little experience of ill health are asked to value health states. The use of uninformed preferences in cost-effectiveness can result in sub-optimal resource allocation. The aim of this study was to pilot a novel method to assess whether members of the public are informed about health states they value in preference-elicitation tasks. METHODS: The general public was said to be informed if the expectations of the public about the effect of ill health on people's lives were in agreement with the experience of patients. Sixty-two members of the public provided their expectations of the consequences of ill health on five life domains (activities, enjoyment, independence, relationships, and avoiding being a burden). A secondary dataset was used to measure patient experience on those five consequences. RESULTS: There were differences between the expectations of the public and the experience of patients. For example, for all five life consequences the public underestimated the effects of problems in usual activities compared to problems in mobility. They also underestimated the effect of 'anxiety or depression' compared to physical problems on enjoyment of life and on the quality of personal relationships. CONCLUSIONS: This proof-of-concept study showed that it is possible to test whether preferences are informed. This study should be replicated using a larger sample. The findings suggest that preferences over health states in this sample are not fully informed because the participants do not have accurate expectations about the consequences of ill health. These uninformed preferences may not be adequate for allocation of public resources, and research is needed into methods to make them better informed