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.

Politically motivated former prisoner groups: community activism and conflict transformation

Aims and objectives: This study represents the first sustained quantitative and qualitative attempt to involve both Republicans and Loyalists in an investigation of the impact of imprisonment and the role of politically motivated former prisoners in the process of conflict transformation in Northern Ireland. The overall aim of the project is to examine the ways in which groups of former prisoners are involved in peace-building and conflict transformation work and to evaluate the constraints and impediments placed upon their activities by the effects of the imprisonment process, politically motivated release and residual criminalisation. In pursuing the evaluation of the role of politically motivated former prisoners working within and without their own communities, the research has six specific objectives: To trace the evolution and development of former prisoner groups; To evaluate the impacts of imprisonment and release on the personal lives of former prisoners; To assess the constraints imposed on former prisoners as agents of change by the residual criminalisation arising from their status; To determine the potential of the former prisoner community in challenging intra-community tensions and evaluate their potential and actual contribution to conflict transformation at the inter-community level; To compare and contrast the effectiveness of Loyalist and Republican former prisoners as agents of change within their own communities; To explore the notion of former prisoners as agents of social and communal transformation within broader political processes through grounding the knowledge and practical experience of the former prisoner community within the broader conceptual context of conflict transformation.

Chemistry of B1- and B10- boranes containing halogen or pseudohalogen groups

The research described in this thesis involved the chemistry of borane-species which contain one or more halide or pseudohalide groups. Both monoboron species e.g. [BH3X]- and "cluster" borane species e.g. [B10H9X]2- and I-Se B11H10 were studied. The first chapter is a review of the syntheses, properties and reactions of halide and pseudohalide species containing from one to ten boron atoms. Chapter Two is a theoretical investigation of' the electronic and molecular structures of two series of boranes i. e. [BH3X]- and [B10H9X]2- where X = H, CI, CN, NCS, SCN and N3. The calculational method used was the Modified Neglect of Differential Overlap (MNDO) method of Dewar et al. The results were compared where possible with experimental results such as the X-ray crystallographically determined structures of [BH3CI]- and [B10H10]2-. Chapter Three concerns halogenated selenaborane clusters and reports an improved synthesis of 12-Br-SeB11H10 and the first structural data for a simple non-metal containing selenaborane cage with the X-ray crystallographically determined structure of 12-1-SeB11H10. Finally, an indepth n.m.r. study of Se2B9H9 is also reported together with attempts to halogenate this compound. The last two chapters are based on single boron systems. Chapter Four concerns the synthetic routes to amine-boranes and -cyanoboranes from [BH4]- and [BH3CN]- substrates. This chapter discusses some difficulties encountered when polyamines were used in these reactions. The characterisation of an unusual ketone isolated from some of these reactions, the X-ray crystallographically determined structure of 4-dimethylamino-pyridine-cyanoborane and a new route to pyrazabole dimeric species are also discussed. The final chapter reports on work carried out at producing BH2X (X = H, CN) adducts of aminophosphines. Three routes were attempted to generate P-B and N-B bonded species with varying degrees of success. Some unusual products of these reactions are discussed including [Ph2(O) PPPh2 ] [Ph2NH]2, the structure of which was determined by X-ray crystallography.

Usability-enhanced coordination design of geovisualisations to communicate coastal flood risk information

For at least two millennia and probably much longer, the traditional vehicle for communicating geographical information to end-users has been the map. With the advent of computers, the means of both producing and consuming maps have radically been transformed, while the inherent nature of the information product has also expanded and diversified rapidly. This has given rise in recent years to the new concept of geovisualisation (GVIS), which draws on the skills of the traditional cartographer, but extends them into three spatial dimensions and may also add temporality, photorealistic representations and/or interactivity. Demand for GVIS technologies and their applications has increased significantly in recent years, driven by the need to study complex geographical events and in particular their associated consequences and to communicate the results of these studies to a diversity of audiences and stakeholder groups. GVIS has data integration, multi-dimensional spatial display advanced modelling techniques, dynamic design and development environments and field-specific application needs. To meet with these needs, GVIS tools should be both powerful and inherently usable, in order to facilitate their role in helping interpret and communicate geographic problems. However no framework currently exists for ensuring this usability. The research presented here seeks to fill this gap, by addressing the challenges of incorporating user requirements in GVIS tool design. It starts from the premise that usability in GVIS should be incorporated and implemented throughout the whole design and development process. To facilitate this, Subject Technology Matching (STM) is proposed as a new approach to assessing and interpreting user requirements. Based on STM, a new design framework called Usability Enhanced Coordination Design (UECD) is ten presented with the purpose of leveraging overall usability of the design outputs. UECD places GVIS experts in a new key role in the design process, to form a more coordinated and integrated workflow and a more focused and interactive usability testing. To prove the concept, these theoretical elements of the framework have been implemented in two test projects: one is the creation of a coastal inundation simulation for Whitegate, Cork, Ireland; the other is a flooding mapping tool for Zhushan Town, Jiangsu, China. The two case studies successfully demonstrated the potential merits of the UECD approach when GVIS techniques are applied to geographic problem solving and decision making. The thesis delivers a comprehensive understanding of the development and challenges of GVIS technology, its usability concerns, usability and associated UCD; it explores the possibility of putting UCD framework in GVIS design; it constructs a new theoretical design framework called UECD which aims to make the whole design process usability driven; it develops the key concept of STM into a template set to improve the performance of a GVIS design. These key conceptual and procedural foundations can be built on future research, aimed at further refining and developing UECD as a useful design methodology for GVIS scholars and practitioners.

Public evaluations of novel food technologies: a qualitative citizen-scientist deliberative discourse approach

This qualitative research expands understanding of how information about a range of Novel Food Technologies (NFTs) is used and assimilated, and the implications of this on the evolution of attitudes and acceptance. This work enhances theoretical and applied understanding of citizens’ evaluative processes around these technologies. The approach applied involved observations of interactive exchanges between citizens and information providers (i.e. food scientists), during which they discussed a specific technology. This flexible, yet structured, approach revealed how individuals construct meaning around information about specific NFTs. A rich dataset of 42 ‘deliberate discourse’ and 42 postdiscourse transcripts was collected. Data analysis encompassed three stages: an initial descriptive account of the complete dataset based on the top-down bottom-up (TDBU) model of attitude formation, followed by inductive and deductive thematic analysis across the selected technology groups. The hybrid thematic analysis undertaken identified a Conceptual Model, which represents a holistic perspective on the influences and associated features directing ‘sense-making’ and ultimate evaluations around the technology clusters. How individuals make sense of these technologies is shaped by: their beliefs, values and personal characteristics; their perceptions of power and control over the application of the technology; and, the assumed relevance of the technology and its applications within different contexts. These influences form the frame for the creation of sense-making around the technologies. Internal negotiations between these influences are evident and evaluations are based on the relative importance of each influence to the individual, which tend to contribute to attitude ambivalence and instability. The findings indicate the processes of forming and changing attitudes towards these technologies are: complex; dependent on characteristics of the individual, technology, application and product; and, impacted by the nature and forms of information provided. Challenges are faced in engaging with the public about these technologies, as levels of knowledge, understanding and interest vary.

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

Published Version

The accountability of transnational armed groups under international law

Terrorist attacks by transnational armed groups cause on average 15,000 deaths every year worldwide, with the law enforcement agencies of some states facing many challenges in bringing those responsible to justice. Despite various attempts to codify the law on transnational terrorism since the 1930s, a crime of transnational terrorism under International Law remains contested, reflecting concerns regarding the relative importance of prosecuting members of transnational armed groups before the International Criminal Court. However, a study of the emerging jurisprudence of the International Criminal Court suggests that terrorist attacks cannot be classified as a war crime or a crime against humanity. Therefore, using organisational network theory, this thesis will probe the limits of international criminal law in bringing members of transnational armed groups to justice in the context of changing methods of warfare. Determining the organisational structure of transnational armed groups, provides a powerful analytical framework for examining the challenges in holding members of transnational armed groups accountable before the International Criminal Court, in the context of the relationship between the commanders and the subordinate members of the group.