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.

Visualising ribosome profiling and using it for reading frame detection and exploration of eukaryotic translation initiation

Ribosome profiling (ribo-seq) is a recently developed technique that provides genomewide information on protein synthesis (GWIPS) in vivo. The high resolution of ribo-seq is one of the exciting properties of this technique. In Chapter 2, I present a computational method that utilises the sub-codon precision and triplet periodicity of ribosome profiling data to detect transitions in the translated reading frame. Application of this method to ribosome profiling data generated for human HeLa cells allowed us to detect several human genes where the same genomic segment is translated in more than one reading frame. Since the initial publication of the ribosome profiling technique in 2009, there has been a proliferation of studies that have used the technique to explore various questions with respect to translation. A review of the many uses and adaptations of the technique is provided in Chapter 1. Indeed, owing to the increasing popularity of the technique and the growing number of published ribosome profiling datasets, we have developed GWIPS-viz (http://gwips.ucc.ie), a ribo-seq dedicated genome browser. Details on the development of the browser and its usage are provided in Chapter 3. One of the surprising findings of ribosome profiling of initiating ribosomes carried out in 3 independent studies, was the widespread use of non-AUG codons as translation initiation start sites in mammals. Although initiation at non-AUG codons in mammals has been documented for some time, the extent of non-AUG initiation reported by these ribo-seq studies was unexpected. In Chapter 4, I present an approach for estimating the strength of initiating codons based on the leaky scanning model of translation initiation. Application of this approach to ribo-seq data illustrates that initiation at non-AUG codons is inefficient compared to initiation at AUG codons. In addition, our approach provides a probability of initiation score for each start site that allows its strength of initiation to be evaluated.

The Shawlies: A study of early neoliberal ‘gender-fication’. The Street Trading Act, 1926, modern gender-fication, and the implications for Cork’s women street traders

For centuries Cork’s Shawlies, working-class women, survived by trading on public streets. My study explores how the first Irish Free State government, and Cork’s local authority, limited the rights of poor women to earn by subsistence trading with The Street Trading Act, 1926. The government insisted this would regulate street trading. In practice it further marginalised the women economically and socially, containing them outside the privileged, commercial city centre. In Cork the legislation facilitated the gradual disappearance of the Shawlies amid entrenched social processes and relations, contingencies that allowed for the abuse of their rights in the service of amalgamated business interests. This study address the role of discourses in deepening this marginalisation. My theoretical framework is designed to demonstrate how a seemingly innocuous piece of legislation would, in practice, do this. I set out the concepts of ‘Thriving State’, ‘Prosperous State’, and state of ‘Best Intentions’ that uses gentrification to meet these goals. The existing knowledge on women in trade is then examined, highlighting the gaps in what is known about the Shawlies. Chapter 3 details the theory behind my genealogical method. The legislation, debate, and other data produced at the national level is then examined, before moving to the local data. Chapter 6 is devoted to the Shawlies, setting their stories in the larger context of the debates. An examination of studies of contemporary women street traders in poor nations follows, along with a brief history of the decline of street trading in New York city under gentrification. Points of convergence between that process and the one in Cork are identified, along with convergences between contemporary traders and the Shawlies. The conclusion sets out my methodological, theoretical and substantive discoveries, and comments on current nostalgic renderings of the Shawlies in Cork’s newly gentrified Corn Market Street.

Nietzsche and Montaigne: cheerful naturalism

The influence of the Essays of Michel de Montaigne on the thought of Friedrich Nietzsche has, hitherto, received scant scholarly attention. The aim of this thesis is to address this lacuna in the literature by making evident the importance of the Essays to the development of Nietzsche’s philosophy. I argue that, in order to fully appreciate Nietzsche’s thought, it must be recognized that, from the beginning to the end of his philosophical life, Montaigne was for him a thinker of the deepest personal and philosophical significance. Against the received scholarly opinion, which would see Montaigne as influential only for Nietzsche’s middle works, I contend that the Essays continue to be a key inspiration for Nietzsche even into his late and final works. Montaigne, with his cheerful affirmation of life, his experimental mode of philosophizing, and his resolutely naturalized perspective, was an exemplar for Nietzsche as a philosopher, psychologist, sceptic and naturalist. The Essays not only stimulated Nietzsche’s thinking on questions to do with morality, epistemology and the nature of the soul but also informed his conception of the ideal philosophical life. Moreover, to explore the Essays from a Nietzschean viewpoint, allows the drawing out of the more radical aspects of Montaigne’s thought, while to probe Montaigne’s impact on Nietzsche, provides insight into the trajectory of Nietzsche’s philosophy as he broke free from romantic pessimism and embraced the naturalism that would guide his works from Human, All Too Human onward.

Manifestations of heavenly light and fire and the construction of a saint: sanctity, mission and salvation in Adomnán's Vita Columbae

This thesis examines the late seventh-century Latin Life of Columba (Vita Columbae) in a context sympathetic to the spiritual aims and formative intellectual background of its author, Adomnán of Iona. It argues that the Vita Columbae is a sophisticated work, shaped by Adomnán’s spiritual and theological concerns. This sophistication is revealed by a forensic examination of Adomnán’s representation of Columba’s sanctity through a series of miracles, in particular, miracle stories depicting divine manifestations of fire and light. This thesis considers the form and function of these miracle stories in the context of biblical, patristic and medieval interpretations of their archetypes, towards revealing the underlying influence of scriptural, hagiographical and monastic models of sanctity. Chapter one evaluates the function of the Vita Columbae, and outlines the core themes of sanctity which pervade the work, by considering the technical terminology and literary devices found in the opening prefaces in the context of the wider monastic tradition. Chapter two examines Adomnán’s use of biblical models of sanctity to establish Columba’s sanctity, and their relationship between these models and certain miraculous episodes in the Vita Columbae. Chapter three investigates Adomnán’s description of the Holy Spirit as an illuminating fire, and its significance for his portrayal of the saint, by means of a forensic examination of biblical, exegetical and hagiographical treatments of the image. Chapter four examines the missiological, soteriological and providential elements contributing to Adomnán’s portrayal of Columba’s sanctity, as conveyed through the presence of biblical models, particularly the image of the column of fire. Chapter five establishes the influence of monastic examinations of the contemplative life on Adomnán’s portrayal of Columba’s sanctity, and shows how that sanctity is confirmed in terms of his ability to contemplate divine light.

Politics, Power, PISA: a genealogy of mathematics education policy at second level in Ireland at the beginning of the 21st century

This thesis traces a genealogy of the discourse of mathematics education reform in Ireland at the beginning of the twenty first century at a time when the hegemonic political discourse is that of neoliberalism. It draws on the work of Michel Foucault to identify the network of power relations involved in the development of a single case of curriculum reform – in this case Project Maths. It identifies the construction of an apparatus within the fields of politics, economics and education, the elements of which include institutions like the OECD and the Government, the bureaucracy, expert groups and special interest groups, the media, the school, the State, state assessment and international assessment. Five major themes in educational reform emerge from the analysis: the arrival of neoliberal governance in Ireland; the triumph of human capital theory as the hegemonic educational philosophy here; the dominant role of OECD/PISA and its values in the mathematics education discourse in Ireland; the fetishisation of western scientific knowledge and knowledge as commodity; and the formation of a new kind of subjectivity, namely the subjectivity of the young person as a form of human-capital-to-be. In particular, it provides a critical analysis of the influence of OECD/PISA on the development of mathematics education policy here – especially on Project Maths curriculum, assessment and pedagogy. It unpacks the arguments in favour of curriculum change and lays bare their ideological foundations. This discourse contextualises educational change as occurring within a rapidly changing economic environment where the concept of the State’s economic aspirations and developments in science, technology and communications are reshaping both the focus of business and the demands being put on education. Within this discourse, education is to be repurposed and its consequences measured against the paradigm of the Knowledge Economy – usually characterised as the inevitable or necessary future of a carefully defined present.