Computing explanations for interactive constraint-based systems

Constraint programming has emerged as a successful paradigm for modelling combinatorial problems arising from practical situations. In many of those situations, we are not provided with an immutable set of constraints. Instead, a user will modify his requirements, in an interactive fashion, until he is satisfied with a solution. Examples of such applications include, amongst others, model-based diagnosis, expert systems, product configurators. The system he interacts with must be able to assist him by showing the consequences of his requirements. Explanations are the ideal tool for providing this assistance. However, existing notions of explanations fail to provide sufficient information. We define new forms of explanations that aim to be more informative. Even if explanation generation is a very hard task, in the applications we consider, we must manage to provide a satisfactory level of interactivity and, therefore, we cannot afford long computational times. We introduce the concept of representative sets of relaxations, a compact set of relaxations that shows the user at least one way to satisfy each of his requirements and at least one way to relax them, and present an algorithm that efficiently computes such sets. We introduce the concept of most soluble relaxations, maximising the number of products they allow. We present algorithms to compute such relaxations in times compatible with interactivity, achieving this by indifferently making use of different types of compiled representations. We propose to generalise the concept of prime implicates to constraint problems with the concept of domain consequences, and suggest to generate them as a compilation strategy. This sets a new approach in compilation, and allows to address explanation-related queries in an efficient way. We define ordered automata to compactly represent large sets of domain consequences, in an orthogonal way from existing compilation techniques that represent large sets of solutions.

Pervasive handheld computing systems

The technological role of handheld devices is fundamentally changing. Portable computers were traditionally application specific. They were designed and optimised to deliver a specific task. However, it is now commonly acknowledged that future handheld devices need to be multi-functional and need to be capable of executing a range of high-performance applications. This thesis has coined the term pervasive handheld computing systems to refer to this type of mobile device. Portable computers are faced with a number of constraints in trying to meet these objectives. They are physically constrained by their size, their computational power, their memory resources, their power usage, and their networking ability. These constraints challenge pervasive handheld computing systems in achieving their multi-functional and high-performance requirements. This thesis proposes a two-pronged methodology to enable pervasive handheld computing systems meet their future objectives. The methodology is a fusion of two independent and yet complementary concepts. The first step utilises reconfigurable technology to enhance the physical hardware resources within the environment of a handheld device. This approach recognises that reconfigurable computing has the potential to dynamically increase the system functionality and versatility of a handheld device without major loss in performance. The second step of the methodology incorporates agent-based middleware protocols to support handheld devices to effectively manage and utilise these reconfigurable hardware resources within their environment. The thesis asserts the combined characteristics of reconfigurable computing and agent technology can meet the objectives of pervasive handheld computing systems.

College adjustment, depressive symptoms and peer support among undergraduate university students

Background: College adjustment is a developmental milestone that can be stressful and may lead to mental health problems such as depression. Support during this adjustment period is seen as essential, however it is unknown if informal peer support from fellow students has any impact on either college adjustment or depressive symptoms. Aim: To identify levels of social and personal college adjustment, depressive symptoms and peer support among students, and to examine the relationship between the variables. Design: A quantitative correlational design was used Instruments: Data were collected using two subscales of the Student Adaptation to College Questionnaire; the Centre for Epidemiology Depressive Symptoms Scale and a subscale of the Peer Support Evaluation Inventory. Sample: The sample consisted of 417, first (n=188), second (n=134) and fourth (n=94) year nursing and midwifery students from one University in Ireland. Findings: The findings indicated that 20% of participants were poorly personally adjusted and 9% poorly socially adjusted. Furthermore, 34% of participants experienced significant depressive symptoms. Most students had good levels of peer support. Statistically significant relationships were found between all key variables, the strongest of which were between personal adjustment and depressive symptoms and social adjustment and depressive symptoms. Differences in adjustment and depressive symptom scores were found based on year of study, with second year students experiencing more depressive symptoms and having poorer personal adjustment scores. Participants who had poor relationships with their father’s experienced greater depressive symptoms and had more difficulties personally and socially adjusting to college. The alcohol consumption of participants had a statistically significant correlation with college adjustment, depressive symptoms and peer support, with higher consumption having a positive impact on the variables.

High speed optical communication systems: From modulation formats to radically new fibres

High volumes of data traffic along with bandwidth hungry applications, such as cloud computing and video on demand, is driving the core optical communication links closer and closer to their maximum capacity. The research community has clearly identifying the coming approach of the nonlinear Shannon limit for standard single mode fibre [1,2]. It is in this context that the work on modulation formats, contained in Chapter 3 of this thesis, was undertaken. The work investigates the proposed energy-efficient four-dimensional modulation formats. The work begins by studying a new visualisation technique for four dimensional modulation formats, akin to constellation diagrams. The work then carries out one of the first implementations of one such modulation format, polarisation-switched quadrature phase-shift keying (PS-QPSK). This thesis also studies two potential next-generation fibres, few-mode and hollow-core photonic band-gap fibre. Chapter 4 studies ways to experimentally quantify the nonlinearities in few-mode fibre and assess the potential benefits and limitations of such fibres. It carries out detailed experiments to measure the effects of stimulated Brillouin scattering, self-phase modulation and four-wave mixing and compares the results to numerical models, along with capacity limit calculations. Chapter 5 investigates hollow-core photonic band-gap fibre, where such fibres are predicted to have a low-loss minima at a wavelength of 2μm. To benefit from this potential low loss window requires the development of telecoms grade subsystems and components. The chapter will outline some of the development and characterisation of these components. The world's first wavelength division multiplexed (WDM) subsystem directly implemented at 2μm is presented along with WDM transmission over hollow-core photonic band-gap fibre at 2μm. References: [1]P. P. Mitra, J. B. Stark, Nature, 411, 1027-1030, 2001 [2] A. D. Ellis et al., JLT, 28, 423-433, 2010.

Designing and evaluating an interactive assessment instrument to improve the process for mobile service application innovation

Published Version

Delivering mobile cloud services to the user: description, discovery, and consumption

The mobile cloud computing paradigm can offer relevant and useful services to the users of smart mobile devices. Such public services already exist on the web and in cloud deployments, by implementing common web service standards. However, these services are described by mark-up languages, such as XML, that cannot be comprehended by non-specialists. Furthermore, the lack of common interfaces for related services makes discovery and consumption difficult for both users and software. The problem of service description, discovery, and consumption for the mobile cloud must be addressed to allow users to benefit from these services on mobile devices. This paper introduces our work on a mobile cloud service discovery solution, which is utilised by our mobile cloud middleware, Context Aware Mobile Cloud Services (CAMCS). The aim of our approach is to remove complex mark-up languages from the description and discovery process. By means of the Cloud Personal Assistant (CPA) assigned to each user of CAMCS, relevant mobile cloud services can be discovered and consumed easily by the end user from the mobile device. We present the discovery process, the architecture of our own service registry, and service description structure. CAMCS allows services to be used from the mobile device through a user's CPA, by means of user defined tasks. We present the task model of the CPA enabled by our solution, including automatic tasks, which can perform work for the user without an explicit request.

An evaluation of an online peer support forum for university students with depressive symptoms

Background: Depression is the most common mental health problem among young people, particularly university students, with prevalence rates as high as 48% reported. This population however, is reluctant to seek professional help. Online interventions may be particularly appealing to students, with evidence suggesting that they use the Internet for mental health support. While there are many mental health resources on the Internet few focus specifically on the needs of young people and few have been evaluated. This research aimed to develop and pilot test an online peer support intervention for students experiencing depressive symptoms. Methods: A depression support Web site (www.losetheblues.ie) was designed specifically for 18-24. year old students. The study used a mixed method, involving quantitative descriptive, pre- and post-test and qualitative descriptive designs. Data were collected using the Centre for Epidemiological Studies Depression Scale (CES-D), a background questionnaire and online forum posts. Results: The sample consisted of 117 university students with self-reported depressive symptoms. Results from participants in the pre- and post-test element of the study, showed no statistical significance. The forum posts revealed that the participants' main difficulties were loneliness and perceived lack of socialization skills. The Web site provided a place for sharing, offering and receiving emotional and informational support. Conclusion: Developing health care interventions in an online environment presents unique challenges to the research process, however they have the potential to provide mental health care that is accessible and affordable.

The value of peer support and a strengths-based approach in a groupwork programme for fathers in a family support setting

This paper seeks to share and critically explore the learning gained through the genesis, realisation, and facilitation process of Just for Dads, a groupwork programme for fathers, run in a family support setting. It highlights the importance of and challenges involved in engaging men in practice, and in groupwork aimed at fathers in particular. It recounts the significance of using a strengths perspective as a framework for engaging fathers in groupwork and highlights its value as experienced by participants and facilitators. The dynamic of peer learning which developed as a key part of the groupwork process is discussed, both in relation to how it was experienced by participants and also the degree to which the facilitators were part of that dynamic. Overall the paper aims to document and air key issues arising in this relatively unexplored arena of groupwork and family support practice.