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.

P-glycoprotein inhibition as a strategy to increase drug delivery across the blood-brain barrier: focus on antidepressants

Depression is among the leading causes of disability worldwide. Currently available antidepressant drugs have unsatisfactory efficacy, with up to 60% of depressed patients failing to respond adequately to treatment. Emerging evidence has highlighted a potential role for the efflux transporter P-glycoprotein (P-gp), expressed at the blood-brain barrier (BBB), in the aetiology of treatment-resistant depression. In this thesis, the potential of P-gp inhibition as a strategy to enhance the brain distribution and pharmacodynamic effects of antidepressant drugs was investigated. Pharmacokinetic studies demonstrated that administration of the P-gp inhibitors verapamil or cyclosporin A (CsA) enhanced the BBB transport of the antidepressants imipramine and escitalopram in vivo. Furthermore, both imipramine and escitalopram were identified as transported substrates of human P-gp in vitro. Contrastingly, human P-gp exerted no effect on the transport of four other antidepressants (amitriptyline, duloxetine, fluoxetine and mirtazapine) in vitro. Pharmacodynamic studies revealed that pre-treatment with verapamil augmented the behavioural effects of escitalopram in the tail suspension test (TST) of antidepressant-like activity in mice. Moreover, pre-treatment with CsA exacerbated the behavioural manifestation of an escitalopram-induced mouse model of serotonin syndrome, a serious adverse reaction associated with serotonergic drugs. This finding highlights the potential for unwanted side-effects which may occur due to increasing brain levels of antidepressants by P-gp inhibition, although further studies are needed to fully elucidate the mechanism(s) at play. Taken together, the research outlined in this thesis indicates that P-gp may restrict brain concentrations of escitalopram and imipramine in patients. Moreover, we show that increasing the brain distribution of an antidepressant by P-gp inhibition can result in an augmentation of antidepressant-like activity in vivo. These findings raise the possibility that P-gp inhibition may represent a potentially beneficial strategy to augment antidepressant treatment in clinical practice. Further studies are now warranted to evaluate the safety and efficacy of this approach.

State building as strategy: An interrogation of NATO's comprehensive approach in Afghanistan between 2006 and 2011

The core of this thesis is the study of NATO’s Comprehensive Approach strategy to state building in Afghanistan between 2006 and 2011. It argues that this strategy sustained operational and tactical practices which were ineffective in responding to the evolved nature of the security problem. The thesis interrogates the Comprehensive Approach along ontological, empirical and epistemological lines and concludes that the failure of the Comprehensive Approach in the specific Afghan case is, in fact, indicative of underlying theoretical and pragmatic flaws which, therefore, generalize the dilemma. The research is pragmatic in nature, employing mixed methods (quantitative and qualitative) concurrently. Qualitative methods include research into primary and secondary literature sources supplemented with the author’s personal experiences in Afghanistan in 2008 and various NATO HQ and Canadian settings. Quantitative research includes an empirical case study focussing on NATO’s Afghan experience and its attempt at state building between 2006 and 2011. This study incorporates a historical review of NATO’s evolutionary involvement in Afghanistan incorporating the subject timeframe; offers an analysis of human development and governance related data mapped to expected outcomes of the Afghan National Development Strategy and NATO’s comprehensive campaign design; and interrogates the Comprehensive Approach strategy by means of an analysis of conceptual, institutional and capability gaps in the context of an integrated investigational framework. The results of the case study leads to an investigation of a series of research questions related to the potential impact of the failure of the Comprehensive Approach for NATO in Afghanistan and the limits of state building as a means of attaining security for the Alliance.

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

Published Version

Textual criticism and medieval Irish studies

Many textual scholars will be aware that the title of the present thesis has been composed in a conscious revisionary relation to Tim William Machan’s influential Textual Criticism and Middle English Texts. (Tim William Machan, Textual Criticism and Middle English Texts (Charlottesville, 1994)). The primary subjects of Machan’s study are works written in English between the fourteenth and sixteenth centuries, the latter part of the period conventionally labelled Middle English. In contrast, the works with which I am primarily concerned are those written by scholars of Old and Middle Irish in the nineteenth, twentieth and twenty-first centuries. Where Machan aims to articulate the textual and cultural factors that characterise Middle English works as Middle English, the purposes of this thesis are (a) to identify the underlying ideological and epistemological perspectives which have informed much of the way in which medieval Irish documents and texts are rendered into modern editions, and (b) to begin to place the editorial theory and methodology of medieval Irish studies within the broader context of Biblical, medieval and modern textual criticism. Hence, the title is Textual Criticism and Medieval Irish Studies, rather than Textual Criticism and Medieval Irish Texts