Modular average case analysis: Language implementation and extension

Motivated by accurate average-case analysis, MOdular Quantitative Analysis (MOQA) is developed at the Centre for Efficiency Oriented Languages (CEOL). In essence, MOQA allows the programmer to determine the average running time of a broad class of programmes directly from the code in a (semi-)automated way. The MOQA approach has the property of randomness preservation which means that applying any operation to a random structure, results in an output isomorphic to one or more random structures, which is key to systematic timing. Based on original MOQA research, we discuss the design and implementation of a new domain specific scripting language based on randomness preserving operations and random structures. It is designed to facilitate compositional timing by systematically tracking the distributions of inputs and outputs. The notion of a labelled partial order (LPO) is the basic data type in the language. The programmer uses built-in MOQA operations together with restricted control flow statements to design MOQA programs. This MOQA language is formally specified both syntactically and semantically in this thesis. A practical language interpreter implementation is provided and discussed. By analysing new algorithms and data restructuring operations, we demonstrate the wide applicability of the MOQA approach. Also we extend MOQA theory to a number of other domains besides average-case analysis. We show the strong connection between MOQA and parallel computing, reversible computing and data entropy analysis.

A post-structuralist analysis of Irish youth crime prevention policy with specific emphasis on the Garda youth diversion projects

Garda Youth Diversion Projects (GYDPs) have since their beginnings in the early 1990s gained an increasingly important role and now constitute a central feature of Irish youth justice provision. Managed by the Irish Youth Justice Service and implemented by the Gardai and a variety of youth work organisations as well as independent community organisations, GYDPs are located at the crossroads of welfarist and corporatist approaches to youth justice, combining diversionary and preventative aspects in their work. To date, these projects have been subjected to very little systematic analysis and they have thus largely escaped critical scrutiny. To address this gap, this thesis locates the analysis of GYDP policy and practice within a post-structuralist theoretical framework and deploys discourse analysis primarily based on the work of Michel Foucault. It makes visible the official youth crime prevention and GYDP policy discourses and identifies how official discourses relating to youth crime prevention, young people and their offending behaviour, are drawn upon, negotiated, rejected or re-contextualised by project workers and JLOs. It also lays bare how project workers and JLOs draw upon a variety of other discourses, resulting in multi-layered, complex and sometimes contradictory constructions of young people, their offending behaviour and corresponding interventions. At a time when the projects are undergoing significant changes in terms of their repositioning to operate as the support infrastructure underpinning the statutory Garda Youth Diversion Programme, the thesis traces the discursive shifts and the implications for practice that are occurring as the projects move away from a youth work orientation towards a youth justice orientation. A key contribution of this thesis is the insight it provides into how young people and their families are being constituted in individualising and sometimes pathologising ways in GYDP discourses and practices. It reveals the part played by the GYDP intervention in favouring individual and narrow familial causes of offending behaviour while broader societal contexts are sidelined. By explicating the very assumptions upon which contemporary youth crime prevention policy, as well as GYDP policy and practice are based, this thesis offers a counterpoint to the prevailing evidence-based agenda of much research in the field of Irish youth justice theory and youth studies more generally. Rather, it encourages the reader to take a step back and examine some of the most fundamental and unquestioned assumptions about the construction of young people, their offending behaviour and ways of addressing this, in contemporary Irish youth crime prevention policy and practice.

Practical programming for static average-case analysis: the MOQA investigation

This work considers the static calculation of a program’s average-case time. The number of systems that currently tackle this research problem is quite small due to the difficulties inherent in average-case analysis. While each of these systems make a pertinent contribution, and are individually discussed in this work, only one of them forms the basis of this research. That particular system is known as MOQA. The MOQA system consists of the MOQA language and the MOQA static analysis tool. Its technique for statically determining average-case behaviour centres on maintaining strict control over both the data structure type and the labeling distribution. This research develops and evaluates the MOQA language implementation, and adds to the functions already available in this language. Furthermore, the theory that backs MOQA is generalised and the range of data structures for which the MOQA static analysis tool can determine average-case behaviour is increased. Also, some of the MOQA applications and extensions suggested in other works are logically examined here. For example, the accuracy of classifying the MOQA language as reversible is investigated, along with the feasibility of incorporating duplicate labels into the MOQA theory. Finally, the analyses that take place during the course of this research reveal some of the MOQA strengths and weaknesses. This thesis aims to be pragmatic when evaluating the current MOQA theory, the advancements set forth in the following work and the benefits of MOQA when compared to similar systems. Succinctly, this work’s significant expansion of the MOQA theory is accompanied by a realistic assessment of MOQA’s accomplishments and a serious deliberation of the opportunities available to MOQA in the future.

Thomas Davis's education policies: theory and practice

This thesis explores the education policies of Thomas Davis. On the eve of the Great Famine Ireland was economically impoverished and politically dependent. The Irish people had a subservient mentality, were mainly uneducated and were unaware of their potential. He believed that education would develop a self-reliant, self-sufficient people; it would create a new generation of leaders and citizens necessary to transform Ireland into a prosperous, independent nation. This thesis explores his education philosophy which was political in orientation; he called for reform of university education so that it would educate leaders who were knowledgeable, patriotic and responsible. He formulated a curriculum which consisted of knowledge that would have direct use and application in public life; his curriculum included moral philosophy, oratory, philological studies and history. His contribution to the debate on the Queens Colleges bill, 1845, is explored including his public disagreement with Daniel O’Connell on the principle of multi-denominational education. This work also examines his policies on learning methodologies and teaching methods. It provides details of his thoughts on learning by experience, by observation, book learning and learning in the home. It focuses on the deficiencies evident in the system of teaching and learning that operated in Trinity College Dublin and it provides an analysis of his preferred method of instruction: Lyceum teaching. This thesis also explores his national curriculum in history and Irish culture which was designed to forge a sense of national identity, to win support for repeal and to develop the principle of nationality. He formulated a national curriculum to counteract the absence of national knowledge in the state schools, to provide the people with a positive self-image and ultimately to empower them to reclaim Ireland and to develop it. Davis knew the power of education and he used it as an instrument of political and social change.

Accommodating interruptions: a grounded theory of young people with asthma

Background: Accommodating Interruptions is a theory that emerged in the context of young people who have asthma. A background to the prevalence and management of asthma in Ireland is given to situate the theory. Ireland has the fourth highest incidence of asthma in the world, with almost one in five Irish young people having asthma. Although national and international asthma management guidelines exist it is accepted that the symptom control of asthma among the young people population is poor. Aim: The aim of this research is to investigate the lives of young people who have asthma, to allow for a deeper understanding of the issues affecting them. Methods: This research was undertaken using a Classic Grounded Theory approach. It is a systematic approach to allowing conceptual emergence from data in generating a theory that explains behaviour in resolving the participant’s main concern. The data were collected through in-depth interviews with young people aged 11-16 years who had asthma for over one year. Data were also collected from participant diaries. Constant comparative analysis, theoretical coding and memo writing were used to develop the theory. Results: The theory explains how young people resolve their main concern of being restricted, by maximizing their participation and inclusion in activities, events and relationships in spite of their asthma. They achieve this by accommodating interruptions in their lives in minimizing the effects of asthma on their everyday lives. Conclusion: The theory of accommodating interruptions explains young people’s asthma management behaviours in a new way. It allows us to understand how and why young people behave the way they do in order minimise the effect of asthma on their lives. The theory adds to the body of knowledge on young people with asthma and challenges some viewpoints regarding their behaviours.

Moral shielding: A grounded theory of integrity maintenance in multidisciplinary teams

Using a classic grounded theory methodology (CGT), this study explores the phenomenon of moral shielding within mental health multidisciplinary teams (MDTS). The study was located within three catchment areas engaged in acute mental health service practice. The main concern identified was the maintenance of a sense of personal integrity during situational binds. Through theoretical sampling thirty two practitioners, including; doctors, nurses, social workers, occupational therapists, counsellors and psychologists, where interviewed face to face. In addition, emergent concepts were identified through observation of MDTs in clinical and research practice. Following a classic grounded theory methodology, data collection and analysis occurred simultaneously. A constant comparative approach was adopted and resulted in the immergence of three sub- core categories; moral abdication, moral hinting and pseudo-compliance. Moral abdication seeks to re-position within an event in order to avoid or deflect the initial obligation to act, it is a strategy used to remove or reduce moral ownership. Moral gauging represents the monitoring of an event with the goal of judging the congruence of personal principles and commitments with that of other practitioners. This strategy is enacted in a bid to seek allies for the support of a given moral position. Pseudo-compliance represents behaviour that hides desired principles and commitments in order to shield them from challenge. This strategy portrays agreement with the dominant position within the MDT, whilst holding a contrary position. It seeks to preserve a reservoir of emotional energy required to maintain a sense of personal integrity. Practitioners who were successful in enacting moral shielding were found to not experience significant emotional distress associated with the phenomenon of moral distress; suggesting that these practitioners had found mechanisms to manage situational binds that threatened their sense of personal integrity.

Theory of the electronic and optical properties of dilute bismide alloys

Dilute bismide alloys, containing small fractions of bismuth (Bi), have recently attracted interest due to their potential for applications in a range of semiconductor devices. Experiments have revealed that dilute bismide alloys such as GaBixAs1−x, in which a small fraction x of the atoms in the III-V semiconductor GaAs are replaced by Bi, exhibit a number of unusual and unique properties. For example, the band gap energy (E g) decreases rapidly with increasing Bi composition x, by up to 90 meV per % Bi replacing As in the alloy. This band gap reduction is accompanied by a strong increase in the spin-orbit-splitting energy (ΔSO) with increasing x, and both E g and ΔSO are characterised by strong, composition-dependent bowing. The existence of a ΔSO > E g regime in the GaBixAs1−x alloy has been demonstrated for x ≳10%, a band structure condition which is promising for the development of highly efficient, temperature stable semiconductor lasers that could lead to large energy savings in future optical communication networks. In addition to their potential for specific applications, dilute bismide alloys have also attracted interest from a fundamental perspective due to their unique properties. In this thesis we develop the theory of the electronic and optical properties of dilute bismide alloys. By adopting a multi-scale approach encompassing atomistic calculations of the electronic structure using the semi-empirical tight-binding method, as well as continuum calculations based on the k•p method, we develop a fundamental understanding of this unusual class of semiconductor alloys and identify general material properties which are promising for applications in semiconductor optoelectronic and photovoltaic devices. By performing detailed supercell calculations on both ordered and disordered alloys we explicitly demonstrate that Bi atoms act as isovalent impurities when incorporated in dilute quantities in III-V (In)GaAs(P) materials, strongly perturbing the electronic structure of the valence band. We identify and quantify the causes and consequences of the unusual electronic properties of GaBixAs1−x and related alloys, and our analysis is reinforced throughout by a series of detailed comparisons to the results of experimental measurements. Our k•p models of the band structure of GaBixAs1−x and related alloys, which we derive directly from detailed atomistic calculations, are ideally suited to the study of dilute bismide-based devices. We focus in the latter part of the thesis on calculations of the electronic and optical properties of dilute bismide quantum well lasers. In addition to developing an understanding of the effects of Bi incorporation on the operational characteristics of semiconductor lasers, we also present calculations which have been used explicitly in designing and optimising the first generation of GaBixAs1−x-based devices.

A distributed architecture for the monitoring and analysis of time series data

It is estimated that the quantity of digital data being transferred, processed or stored at any one time currently stands at 4.4 zettabytes (4.4 × 2 70 bytes) and this figure is expected to have grown by a factor of 10 to 44 zettabytes by 2020. Exploiting this data is, and will remain, a significant challenge. At present there is the capacity to store 33% of digital data in existence at any one time; by 2020 this capacity is expected to fall to 15%. These statistics suggest that, in the era of Big Data, the identification of important, exploitable data will need to be done in a timely manner. Systems for the monitoring and analysis of data, e.g. stock markets, smart grids and sensor networks, can be made up of massive numbers of individual components. These components can be geographically distributed yet may interact with one another via continuous data streams, which in turn may affect the state of the sender or receiver. This introduces a dynamic causality, which further complicates the overall system by introducing a temporal constraint that is difficult to accommodate. Practical approaches to realising the system described above have led to a multiplicity of analysis techniques, each of which concentrates on specific characteristics of the system being analysed and treats these characteristics as the dominant component affecting the results being sought. The multiplicity of analysis techniques introduces another layer of heterogeneity, that is heterogeneity of approach, partitioning the field to the extent that results from one domain are difficult to exploit in another. The question is asked can a generic solution for the monitoring and analysis of data that: accommodates temporal constraints; bridges the gap between expert knowledge and raw data; and enables data to be effectively interpreted and exploited in a transparent manner, be identified? The approach proposed in this dissertation acquires, analyses and processes data in a manner that is free of the constraints of any particular analysis technique, while at the same time facilitating these techniques where appropriate. Constraints are applied by defining a workflow based on the production, interpretation and consumption of data. This supports the application of different analysis techniques on the same raw data without the danger of incorporating hidden bias that may exist. To illustrate and to realise this approach a software platform has been created that allows for the transparent analysis of data, combining analysis techniques with a maintainable record of provenance so that independent third party analysis can be applied to verify any derived conclusions. In order to demonstrate these concepts, a complex real world example involving the near real-time capturing and analysis of neurophysiological data from a neonatal intensive care unit (NICU) was chosen. A system was engineered to gather raw data, analyse that data using different analysis techniques, uncover information, incorporate that information into the system and curate the evolution of the discovered knowledge. The application domain was chosen for three reasons: firstly because it is complex and no comprehensive solution exists; secondly, it requires tight interaction with domain experts, thus requiring the handling of subjective knowledge and inference; and thirdly, given the dearth of neurophysiologists, there is a real world need to provide a solution for this domain

A qualitative analysis of parental coping with an early diagnosis of hearing loss in Ireland

The recent implementation of Universal Neonatal Hearing Screening (UNHS) in all 19 maternity hospitals across Ireland has precipitated early identification of paediatric hearing loss in an Irish context. This qualitative, grounded theory study centres on the issue of parental coping as families receive and respond to (what is typically) an unexpected diagnosis of hearing loss in their newborn baby. Parental wellbeing is of particular concern as the diagnosis occurs in the context of recovery from birth and at a time when the parent-child relationship is being established. As the vast majority of children with a hearing loss are born into hearing families with no prior history of deafness, parents generally have had little exposure to childhood hearing loss and often experience acute emotional vulnerability as they respond to the diagnosis. The researcher conducted in-depth interviews primarily with parents (and to a lesser extent with professionals), as well as a follow-up postal questionnaire for parents. Through a grounded theory analysis of data, the researcher subsequently fashioned a four-stage model depicting the parental journey of receiving and coping with a diagnosis. The four stages (entitled Anticipating, Confirming, Adjusting and Normalising) are differentiated by the chronology of service intervention and defined by the overarching parental experience. Far from representing a homogenous trajectory, this four-stage model is multifaceted and captures a wide diversity of parental experiences ranging from acute distress to resilient hopefulness