Identifying sources of global contention in constraint satisfaction search

Much work has been done on learning from failure in search to boost solving of combinatorial problems, such as clause-learning and clause-weighting in boolean satisfiability (SAT), nogood and explanation-based learning, and constraint weighting in constraint satisfaction problems (CSPs). Many of the top solvers in SAT use clause learning to good effect. A similar approach (nogood learning) has not had as large an impact in CSPs. Constraint weighting is a less fine-grained approach where the information learnt gives an approximation as to which variables may be the sources of greatest contention. In this work we present two methods for learning from search using restarts, in order to identify these critical variables prior to solving. Both methods are based on the conflict-directed heuristic (weighted-degree heuristic) introduced by Boussemart et al. and are aimed at producing a better-informed version of the heuristic by gathering information through restarting and probing of the search space prior to solving, while minimizing the overhead of these restarts. We further examine the impact of different sampling strategies and different measurements of contention, and assess different restarting strategies for the heuristic. Finally, two applications for constraint weighting are considered in detail: dynamic constraint satisfaction problems and unary resource scheduling problems.

The Barretstown experience

The thesis was prompted by a simple clinical observation. Seriously ill children returning from Barretstown Holiday Camp appeared changed. Barretstown ‘magic’ confuses the issue but indicates real and clinically evident transformations. The project sought to understand the experience and place it in a recognisable framework. The data was collected by interviews, observations as camp Paediatrician, memberships of the Child Advisory Committee and the Association’s criteria assessment team, participation in volunteer training and visits to international camps. The research presents evidence that the concepts of rite of passage, graceful mimesis and salutogenesis clarify operative social processes. The passage stages of separation, transition and reaggregation can be identified. Passage rites reorder personal and social upsets to fresh arrangements that facilitate change. Interviews confirm the reordering impact of achievements in play activities. These are challenging experiences closely guided by their Masters of Ceremonies – the Caras. The Cara/camper relationship is crucial and compatible with Girard’s theory of external mimesis. Visits to four camps confirm an inspirational process in contrast to a reported camp with a predetermined formative influence. Charismatic Caras/Councillors inspire playful mimesis and salutogenic transformations. Health is more than correction of pathogenic deficits and restoration of homeostasis. Salutogenic health promotes heterostasis – a desire for optimal experiences underpinned by a sense of coherence and adequate resources. Some evidence is presented that children have an improved sense of coherence after camp, which enables them to cope better with the demands of ill health. The camps enable sick children to up regulate risk taking towards more heterostatic experiences rather than down regulate their expectations. The heterostatic impulse can explain the disability paradox of good quality of life in the presence of severe disability. The salutogenic power of Barretstown can trump the pathogenic effects of childhood cancer and other serious illnesses.

Performance, transmission and devotion: understanding the Anglo-Saxon prayer books, c.800-1050

Through an investigation of the Anglo-Saxon prayer books and selected psalters, this thesis corrects standard histories of medieval devotion that circumvent the Anglo-Saxon contribution to medieval piety. In the first half of the thesis, I establish a theoretical framework for Anglo-Saxon piety in which to explore the prayers. Current theoretical frameworks dealing with the medieval devotional material are flawed as scholars use terms such as ‘affective piety’, ‘private’ and even ‘devotion’ vaguely. After an introduction which defines some of the core terminology, Chapter 2 introduces the principal witnesses to the Anglo-Saxon prayer tradition. These include the prodigal eighth- and early ninth- century Mercian Group, comprising the Book of Nunnaminster (London, British Library, Harley 2965, s. viii ex/ix1), the Harleian Prayer Book (London, British Library, Harley 7653, s. viii ex/ix1), the Royal Prayer Book (London, British Library, Royal 2 A. xx, s. viii2/ix1/4), and the Book of Cerne (Cambridge, University Library, Ll. 1. 10). These prayer books are the earliest of their kind in Europe. This chapter challenges some established views concerning the prayer books, including purported Irish influence on their composition and the probability of female ownership. Chapter 3 explores the performance of prayer. The chapter demonstrates that Anglo-Saxon prayers, for example, the Royal Abecedarian Prayer, were transmitted fluidly. The complex relationship between this abecedarian prayer and its reflex in the Book of Nunnaminster reveals the complexity of prayer composition and transmission in the early medieval world but more importantly, it helps scholars theorise how the prayers may have been used, whether recited verbatim or used for extemporalisation. Changes made by later readers to earlier texts are also vital to this study, since they help answer questions of usage and show the evolution and subsequent influence of Anglo-Saxon religiosity. The second half of the thesis makes a special study of prayers to the Cross, the wounded Christ, and the Virgin, three important themes in later medieval spirituality. These focus on the Royal Abecedarian Prayer, which explores Christ’s life (Chapter 5), especially his Passion; the ‘Domine Ihesu Christe, adoro te cruce’ which celebrates the Cross (Chapter 4); and the Oratio Alchfriðo ad sanctam Mariam, which invokes the Virgin Mary (Chapter 6). These prayers occur in multiple, temporally-diverse witnesses and have complex transmission histories, involving both oral and written dissemination. The concluding chapter (7) highlights some of the avenues for future research opened by the thesis.

Compilation and analysis of integrated regional input-output tables for NUTS 2 regions in Ireland

In 1966, Roy Geary, Director of the ESRI, noted “the absence of any kind of import and export statistics for regions is a grave lacuna” and further noted that if regional analyses were to be developed then regional Input-Output Tables must be put on the “regular statistical assembly line”. Forty-five years later, the lacuna lamented by Geary still exists and remains the most significant challenge to the construction of regional Input-Output Tables in Ireland. The continued paucity of sufficient regional data to compile effective regional Supply and Use and Input-Output Tables has retarded the capacity to construct sound regional economic models and provide a robust evidence base with which to formulate and assess regional policy. This study makes a first step towards addressing this gap by presenting the first set of fully integrated, symmetric, Supply and Use and domestic Input-Output Tables compiled for the NUTS 2 regions in Ireland: The Border, Midland and Western region and the Southern & Eastern region. These tables are general purpose in nature and are consistent fully with the official national Supply & Use and Input-Output Tables, and the regional accounts. The tables are constructed using a survey-based or bottom-up approach rather than employing modelling techniques, yielding more robust and credible tables. These tables are used to present a descriptive statistical analysis of the two administrative NUTS 2 regions in Ireland, drawing particular attention to the underlying structural differences of regional trade balances and composition of Gross Value Added in those regions. By deriving regional employment multipliers, Domestic Demand Employment matrices are constructed to quantify and illustrate the supply chain impact on employment. In the final part of the study, the predictive capability of the Input-Output framework is tested over two time periods. For both periods, the static Leontief production function assumptions are relaxed to allow for labour productivity. Comparative results from this experiment are presented.

Job retention and turnover: a study of child protection and welfare social workers in Ireland

Retaining social workers in child protection and welfare organisations has been identified as a problem in Ireland (McGrath, 2001; Ombudsman for Children, 2006; Houses of the Oireachtas, 2008) and internationally (Ellet et al., 2006; Mor Barak et al., 2006; Tham, 2006). While low levels of retention have been identified, there is no research that examines the factors in Ireland that influence the retention of social workers. In this thesis, data is analysed from qualitative interviews with 45 social workers in the Health Service Executive South about what influences their decisions to stay in or leave child protection and welfare social work. These social workers’ views are examined in relation to quantitative research on the levels of turnover and employment mobility of child protection and welfare social workers employed in the same organisation. Contrary to expectations, the study found that the retention rate of social workers during the period of data collection (March 2005 to December 2006) was high and that the majority of social workers remained positive about this work and their retention. The quality of social workers’ supervision, social supports from colleagues, high levels of autonomy, a commitment to child protection and welfare work, good variety in the work, and a perception that they were making a difference, emerged as important factors in social workers’ decisions to stay. Perceptions of being unsupported by the organisation, which was usually described in terms of high caseloads and demanding workloads, a lack of resources, work with involuntary clients and not being able to make a difference, were the most significant factors in social workers’ decisions to leave and/or to want to leave. Social workers felt particularly professionally unsupported when they received low quality and/or infrequent professional supervision. This thesis critiques the theories of perceived organisational support theory, social exchange theory and job characteristics theory, and uses the concept of ‘professional career’, to help analyse the retention of social workers in child protection and welfare.

A new world a new American foreign policy: the Carter administration, Nicaragua, and the legacy of the Vietnam War, 1977-1981

The impact of the Vietnam War conditioned the Carter administration’s response to the Nicaraguan revolution in ways that reduced US engagement with both sides of the conflict. It made the countries of Latin America counter the US approach and find their own solution to the crisis, and allowed Cuba to play a greater role in guiding the overthrow of Nicaraguan dictator Anastasio Somoza Debayle. This thesis re-evaluates Carter’s policy through the legacy of the Vietnam War, because US executive anxieties about military intervention, Congress’s increasing influence, and US public concerns about the nation’s global responsibilities, shaped the Carter approach to Nicaragua. Following a background chapter, the Carter administration’s policy towards Nicaragua is evaluated, before and after the fall of Somoza in July 1979. The extent of the Vietnam influence on US-Nicaraguan relations is developed by researching government documents on the formation of US policy, including material from the Jimmy Carter Library, the Library of Congress, the National Security Archive, the National Archives and Records Administration, and other government and media sources from the United Nations Archives, New York University, the New York Public Library, the Hoover Institution Archives, Tulane University and the Organization of American States. The thesis establishes that the Vietnam legacy played a key role in the Carter administration’s approach to Nicaragua. Before the overthrow of Somoza, the Carter administration limited their influence in Nicaragua because they felt there was no immediate threat from communism. The US feared that an active role in Nicaragua, without an established threat from Cuba or the Soviet Union, could jeopardise congressional support for other foreign policy goals deemed more important. The Carter administration, as a result, pursued a policy of non-intervention towards the Central American country. After the fall of Somoza, and the establishment of a new government with a left wing element represented by the Sandinistas, the Carter administration emphasised non-intervention in a military sense, but actively engaged with the new Nicaraguan leadership to contain the potential communist influence that could spread across Central America in the wake of the Nicaraguan revolution.

The role of the community service order and the suspended sentence in Ireland: a judicial perspective

Imprisonment is the most severe penalty utilised by the criminal courts in Ireland. In recent decades the prison population has grown significantly despite expressions both official and public to reduce the use of the sanction. Two other sanctions are available to the Irish sentencer which may be used as a direct and comparable sentence in lieu of a term of imprisonment namely, the community service order and the suspended sentence. The community service order remains under-utilised as an alternative to the custodial sentence. The suspended sentence is used quite liberally but its function may be more closely related to the aim of deterrence rather than avoiding the use of the custodial sentence. Thus the aim of decarceration may not be optimal in practice when either sanction is utilised. The decarcerative effect of either sanction is largely dependent upon the specific purpose which judges invest in the sanction. Judges may also be inhibited in the use of either sanction if they lack confidence that the sentence will be appropriately monitored and executed. The purpose of this thesis is to examine the role of the community service order and the suspended sentence in Irish sentencing practice. Although community service and the suspended sentence present primarily as alternatives to the custodial sentence, the manner in which the judges utilise or fail to utilise the sanctions may differ significantly from this primary manifestation. Therefore the study proceeds to examine the judges' cognitions and expectations of both sanctions to explore their underlying purposes and to reveal the manner in which the judges use the sanctions in practice. To access this previously undisclosed information a number of methodologies were deployed. An extensive literature review was conducted to delineate the purpose and functionality of both sanctions. Quantitative data was gathered by way of sampling for the suspended sentence and the part-suspended sentence where deficiencies were apparent to show the actual frequency in use of that sanction. Qualitative methodologies were used by way of focus groups and semi-structured interviews of judges at all jurisdictional levels to elucidate the purposes of both sanctions. These methods allowed a deeper investigation of the factors which may promote or inhibit such usage. The relative under-utilisation of the community service order as an alternative to the custodial sentence may in part be explained by a reluctance by some judges to equate it with a real custodial sentence. For most judges who use the sanction, particularly at summary level, community service serves a decarcerative function. The suspended sentence continues to be used extensively. It operates partly as a decarcerative penalty but the purpose of deterrence may in practice overtake its theoretical purpose namely the avoidance of custody. Despite ongoing criticism of executive agencies such as the Probation Service and the Prosecution in the supervision of such penalties both sanctions continue to be used. Engagement between the Criminal Justice actors may facilitate better outcomes in the use of either sanction. The purposes for which both sanctions are deployed find their meaning essentially in the practices of the judges themselves as opposed to any statutory or theoretical claims upon their use or purpose.

The influence of neoliberal thought on contemporary politics: an examination of the interrelationships between ideological hegemony, neoliberal thought and contemporary politics

This thesis critically assesses the impact of neoliberal ideology on liberal thought and contemporary politics specifically examining the question, To what extent has neoliberalism, as elucidated originally by Hayek affected change in contemporary politics? This question is crucial to understanding the nature, role, influence and impact of neoliberal ideas. This investigation required a broad engagement with the literature, identifying and discussing the relationships within neoliberalism allowing a clearer understanding of the role of ideas in neoliberalism’s continuing hegemony. The methodological approach adopted a social constructivist character that encompassed an individual centric emphasis, acknowledging the breadth and complexity of Neoliberalization through the use of interpretive repertoires. The initial chapters examine the ideational process and the role of particular understanding in motivating political conduct. In this context of the transfer of ideas through their everyday resonance eventually becoming ‘stubborn social facts’ (Habermas 2006:413) is highlighted. Later chapters discuss the historical and economic context of Neoliberalization focussing on the role of the hegemon and its influence, outlining and evaluating the contribution of Hayek to liberal thought. The penultimate chapter deals with the contemporary situation and the irony associated with Hayek’s original ideas. Concluding, several findings emerged contributing by combining available knowledge in a uniquely fresh way and generating originality by linking old ideas, new ideas and new facts. The results are grouped as, - Pragmatic, recognising that political pragmatism trumps ideological aspiration where liberal democratic processes require politicians are held to account. - Realistic, recognising the contrast and irony between political action and ideological insight reflected in the operationalization of neoliberalism. - General, recognising Hayek’s on-going but increasingly indirect influence. The thesis finishes with a short aside on ideational change within the context of the current crisis and advocates an introspective approach that includes entrepreneurial spirit, good conscience and duty as part of future deliberations.

The Whitby life of Gregory the Great: exegesis and hagiography

The eight-century Whitby Vita Gregorii is one of the earliest examples of Anglo-Saxon hagiography, and is the earliest surviving life of Gregory the Great (590-604). The work has proved itself an anomaly in subject matter, style and approach, not least because of the writer’s apparently arbitrary insertion of an account of the retrieval of the relics of the Anglo-Saxon King Edwin (d.633). There has, however, been relatively little research on the document to date, the most recent concentrating on elements in the Gregorian material in the work. The present thesis adapts a methodology which identifies patristic exegetical themes and techniques in the Vita. That is not only in material originating from the pen of Gregory himself, which is freely quoted and cited by the writer, but also in the narrative episodes concerning the Pope. It also identifies related exegetical themes underlying the narrative of the Anglo-Saxon material in the document, and this suggests that the work is of much greater coherence then has previously been thought. In the course of the thesis some of the Vita Gregorii’s major patristic themes are compared with Bede and other insular writers in the presentation of topics that have been of considerable interest to insular historians in recent years. That is themes including: the conversion and salvation of the English people; the ideal pastor; monastic influence on formation of Episcopal spiritual authority; relations between king and bishop. The thesis also includes a re-evaluation of the possible historical context and purpose of the work, and demonstrates the value of a proper understanding of the Vita’s spiritual nature in order to achieve this. Finally the research is supported by a new structural analysis of the entire Vita Gregorii as an artefact formed within literary traditions.

Perceptions of leadership in the public library: a transnational study

This study explores the topic of leadership as perceived and practised by public library leaders. Library leaders have a wide-ranging impact on society but have been largely overlooked as the subject of serious study. Prior to this study, only one small interview-based study and five survey-based studies have been undertaken on public library leaders/leadership — all in North America. No study on the topic has been researched and published outside of North America. The current study is the most in-depth study to date, drawing on face-to-face interviews with thirty public library leaders. As this study was undertaken in three national jurisdictions — Ireland, Britain, and America — it is also the first transnational study on the topic. The study investigates library leaders’ perceptions of leadership, and critically explores if head librarians distinguish classic leadership from management practices, both conceptually and in their work lives. In addition to exploring core leadership issues, such as positive or negative traits, the study also investigates the perceptions of library leaders on matters closely connected with their careers. The study investigates the impact of public library leaders on their followers and on the broader society they serve. This study of the perceptions of senior public library leaders, across national boundaries, makes a theoretical contribution not just to leadership in librarianship, but also to the broader theory of library and information science, and in a limited way to the broad corpus of literature on organizational leadership. The study aims to develop an understanding of the perceptions of current leaders in the field of public librarianship. The results of the study show that leadership is a relatively scarce quality in public libraries in Ireland, Britain, and America. Many public library leaders focus on management and administration issues rather than leadership. The study also illustrates that varying leadership styles are practised by the interviewed librarians, and that there are no universal or common traits, even within national boundaries, for effective public library leadership. The implications of the study for both practising librarians and research literatures in librarianship and organizational leadership are also explored and a future research agenda developed.

"A Good Reder": the middle English Wise Book of Philosophy and Astronomy, instruction, publics, and manuscripts

The present work is a study of the Middle English prose text known as The Wise Book of Philosophy and Astronomy, a consideration of its transmission and reception history, and a survey of its manuscript witnesses; it also incorporates an edition of the text from two of its manuscripts. The text is a cosmological treatise of approximately five thousand words, written for the most part in English, with astronomical and astrological terms in Latin, though the English translation is frequently given. It is written anonymously, and survives in thirty-three manuscripts.

Metacomputing on clusters augmented with reconfigurable hardware

Accepted Version

The identification and characterisation of Rab4 interacting proteins

Rab4 is a member of the Rab superfamily of small GTPases. It is localized to the early sorting endosome and plays a role in regulating the transport from this compartment to the recycling and degradative pathways. In order to further our understanding of the role Rab4 plays in endocytosis, a yeast two-hybrid screen was performed to identify putative Rab4 effectors. A constitutively active mutant of Rab4, Rab4Q67L, when used as bait to screen a HeLa cDNA library, identified a novel 80kDa protein that interacted with Rab4-GTP. This protein was called Rab Coupling Protein (RCP). RCP interacts preferentially with the GTP-bound form of Rab4. Subsequent work demonstrated that RCP also interacts with Rab11, and that this interaction is not nucleotide-depenedent. RCP is predominantly membrane-bound and localised to the perinuclear recycling compartment. Expression of a truncation mutant of RCP, that contains the Rab binding domain, in HeLa cells, results in the formation of an extensive tubular network that can be labelled with transferrin. These tubules are derived from the recycling compartment since they are inaccessible to transferrin when the ligand is internalised at 18oC. The truncation mutant-induced morphology can be rescued by overexpression of active Rab11, but not active Rab4. This suggests that RCP functions between Rab4 and Rab11 in the receptor recycling pathway, and may act as a ‘molecular bridge’ between these two sequentially acting small GTPases. Quantitative assays demonstrated that overexpression of the truncation mutant results in a dramatic inhibition in the rate of receptor recycling. Database analysis revealed that RCP belongs to a family of Rab interacting proteins, each characterised by a carboxy-terminal coiled-coil domain and an amino-terminal phospholipid-binding domain. KIAA0941, an RCP homologue, interacts with Rab11, but not with Rab4. Overexpression of its Rab binding domain also results in a tubular network, however, this tubulation cannot be rescued by active Rab11.

The Irish credit union movement: member participation and organisational effectiveness

This thesis explores the relationship between organisational effectiveness and member participation in Irish credit unions. It is hypothesised that a positive relationship exists between both variables. Co-operative literature suggests that co-operatives require the involvement of the members in identifying and meeting their own needs in order to be effective organisations. Previous research studies into the issue across a variety of organisational types have shown mixed results. Related research into credit unions is sparse. The primary research undertaken is both quantitative and qualitative in approach. Organisational effectiveness is examined in both quantitative and qualitative terms. Member participation, being an organisational process, is examined in qualitative terms. Indicators of organisational effectiveness, specific to credit unions, are drawn up and form a framework through which effectiveness is examined. A typology and indicators of member participation are also developed and form a framework through which member participation is examined. The case study method is used primarily, to examine organisational effectiveness and member participation in Irish credit unions. A case study of a theoretical credit union, which is based on a composite of good practice in credit unions in Ireland and internationally, is also drawn up to develop the analysis further. The case studies allow an analysis of both organisational effectiveness and member participation, as well as an exploration of the relationship between the two. The findings support the hypothesis that there is a direct relationship between the two variables. In order to be effective, credit unions must involve their members in identifying their needs and in designing services to meet these needs. At present, they do not do this to any large extent. In order to continue to meet the needs of their members and to compete in the financial services sector, credit unions will need to find ways of involving members, drawing on good practice in other co-operatives. This will be critical to their continued success.

The operation of multiquantum-well barriers

The multiquantum barrier (MQB), proposed by Iga et al in 1986, has been shown by several researchers to be an effective structure for improving the operating characteristics of laser diodes. These improvements include a reduction in the laser threshold current and increased characteristic temperatures. The operation of the MQB has been described as providing an increased barrier to electron overflow by reflecting high energy electrons trying to escape from the active region of the laser.This is achieved in a manner analogous to a Bragg reflector in optics. This thesis presents an investigation of the effectiveness of the MQB as an electron reflector. Numerical models have been developed for calculating the electron reflection due to MQB. Novel optical and electrical characterisation techniques have been used to try to measure an increase in barrier height due to the MQB in AlGaInP.It has been shown that the inclusion of MQB structures in bulk double heterostructure visible laser diodes can halve the threshold current above room temperature and the characteristic temperature of these lasers can be increased by up to 20K.These improvements are shown to occur in visible laser diodes even with the inclusion of theoretically ineffective MQB structures, hence the observed improvement in the characteristics of the laser diodes described above cannot be uniquely attributed to an increased barrier height due to enhance electron reflection. It is proposed here that the MQB improves the performance of laser diodes by proventing the diffusion of zinc into the active region of the laser. It is also proposed that the trapped zinc in the MQB region of the laser diode locally increases the p-type doping bringing the quasi-Fermi level for holes closer to the valence band edge thus increasing the barrier to electron overflow in the conduction band.