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.

Baseline analysis of the existing capacities and needs for capacity building for Marine Strategy Framework Directive implementation in the Celtic Seas sub-region.

This report evaluates the existing situation in the Celtic Seas sub-region and determines the current state of preparedness for transboundary management of marine ecosystems and MSFD implementation. Recommendations for capacity building are provided through the analysis of the existing conflicts and potential synergies between relevant policies, institutions and information resources for MSFD implementation across the region. This report strives to empower stakeholders through the provision of a sound baseline with accurate and up-to-date information on the current status of MSFD implementation, potential opportunities and suggested approaches for building capacities in their region and across the Celtic Seas. It is evident that there are a number of national marine planning processes currently underway and at different stages throughout the United Kingdom and the pre-planning context for MSP in Ireland. On a similar note, this evaluation of MSFD implementation progress to-date in the United Kingdom, Ireland and France highlights that each Member State has implemented the legal and procedural requirements of preparatory steps in differing manners and using different time scales. This variance across the sub-region has the potential to impact the achievement of GES by 2020 across the Celtic Seas.

A programmer's environment for music analysis

A model for representing music scores in a form suitable for general processing by a music-analyst-programmer is proposed and implemented. Typical input to the model consists of one or more pieces of music which are encoded in a file-based score representation. File-based representations are in a form unsuited for general processing, as they do not provide a suitable level of abstraction for a programmer-analyst. Instead, a representation is created giving a programmer's view of the score. This frees the analyst-programmer from implementation details, that otherwise would form a substantial barrier to progress. The score representation uses an object-oriented approach to create a natural and robust software environment for the musicologist. The system is used to explore ways in which it could benefit musicologists. Methodologies for analysing music corpora are presented in a series of analytic examples which illustrate some of the potential of this model. Proving hypotheses or performing analysis on corpora involves the construction of algorithms. Some unique aspects of using this score model for corpus-based musicology are: - Algorithms impose a discipline which arises from the necessity for formalism. - Automatic analysis enables musicologists to complete tasks that otherwise would be infeasible because of limitations of their energy, attentiveness, accuracy and time.

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.

The Aarhus Convention and its implementation in Ireland: strengthening the role of NGOs in environmental governance

One of the most striking features of the 1998 Aarhus Convention on Access to Information, Public Participation in Decision-making and Access to Justice in Environmental Matters is the leading role envisaged for environmental nongovernmental organisations (ENGOs) in furthering compliance with environmental law. The Convention aims to secure the special status of ENGOs in environmental governance procedures by guaranteeing procedural rights of access to information, participation in decision-making and access to review mechanisms. Although Ireland did not become a Party to the Convention until September 2012, the Aarhus procedural rights were already guaranteed under European Union (EU) law. The EU has been a Party to the Aarhus Convention since May 2005 and has adopted a number of legislative measures to implement the Convention. This thesis examines the evolving role of ENGOs in environmental governance in Ireland. It provides a doctrinal analysis of the impact of the Aarhus Convention and EU law on Irish law and governance arrangements involving ENGOs. The thesis considers the extent to which Ireland has delivered faithfully on the standards set by the Aarhus Convention to facilitate ENGOs to fulfil the role envisaged for them under the Convention.

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

Options to advance co-ordination and analysis of climate data in Europe

Systematic, high-quality observations of the atmosphere, oceans and terrestrial environments are required to improve understanding of climate characteristics and the consequences of climate change. The overall aim of this report is to carry out a comparative assessment of approaches taken to addressing the state of European observations systems and related data analysis by some leading actors in the field. This research reports on approaches to climate observations and analyses in Ireland, Switzerland, Germany, The Netherlands and Austria and explores options for a more coordinated approach to national responses to climate observations in Europe. The key aspects addressed are: an assessment of approaches to develop GCOS and provision of analysis of GCOS data; an evaluation of how these countries are reporting development of GCOS; highlighting best practice in advancing GCOS implementation including analysis of Essential Climate Variables (ECVs); a comparative summary of the differences and synergies in terms of the reporting of climate observations; an overview of relevant European initiatives and recommendations on how identified gaps might be addressed in the short to medium term.

The implementation of a literacy intervention 'Station Teaching' in infant classes in Irish primary schools

Background: I conducted my research in the context of The National Literacy Strategy (DES, 2011), which maintains that every young person should be literate and it outlines targets for improving literacy in schools from 2011 to 2020. There has been much debate on the teaching of literacy and in particular the teaching of reading. Clark (2014) outlines how learning to read should be a developmental language process and that the approaches in the early years of schooling will colour the children’s motivation and their perception of reading as a purposeful activity. The acquisition of literacy begins in the home but this study focuses on the implementation of a literacy intervention Station Teaching in the infant classes in primary school. Station Teaching occurs when a class is divided into four or five small groups of pupils and they receive intensive tuition at four or five different Stations with the help of Support teachers: New Reading, Familiar Reading, Phonics, Writing and Oral Language. Research Questions: These research questions frame my study: How is Station Teaching implemented? What is the experience of the intervention Station Teaching from the participants’ point of view: teachers, pupils, parents? What notion of literacy is Station Teaching facilitating? Methods: I chose a pragmatic parallel mixed methods design as suggested by Mertens (2010). I collected and analysed both the quantitative and qualitative data to answer the study’s research questions. In the study the quantitative data were collected from a questionnaire issued to 21 schools in Ireland. I used Excel as a data management package and thematic analysis to analyse and present the data in themes. I collected qualitative data from a case study in a school. This data included observations of two classes over a period of a year; interviews with teachers, pupils and parents; children’s drawings, photographs, teachers’ diaries and video evidence. I analysed and presented the evidence from the qualitative data in themes. Main Findings: There are many skills and strategies that are essential to effective literacy teaching in the early years including phonological awareness, phonics, vocabulary, fluency, comprehension and writing. These skills can be taught during Station Teaching. Early intervention in the early years is essential to pupils’ acquisition of literacy. The expertise of the teacher is key to improving the literacy achievement of pupils Teachers and pupils enjoy participating in ST. Pupils are motivated to read and engage in meaningful activities during ST. Staff collaboration is vital for ST to succeed ST facilitates small group work and teachers can differentiate accordingly while including all pupils in the groups. Pupils’ learning is extended in ST but extension activities need to be addressed in the Writing Station. More training should be provided for teachers on the implementation of ST and more funding for resources should be available to schools Significant contribution of the work: The main significance of the study includes: insights into the classroom implementation of Station Teaching in infant classes and extensive research into characteristics of an effective teacher of literacy.

University Teaching of entrepreneurship: a practitioner's analysis

This is a practitioner doctorate aimed at both Universities about to introduce Entrepreneurship as a subject and practitioners who may be turning to teaching what they know building on their business experience. In this Portfolio the transition from Entrepreneur to Lecturer in Entrepreneurship is explored and several approaches were used to support the transition. A Professional Development Memoir offers a review of the life of an entrepreneur through the lens of Meaning Making Systems in order to bring clarity to the theories used by the Entrepreneur implicitly in his practice. Reflecting on these theories offers insight as to how the entrepreneur perceived and acted on market opportunities. Imparting some of the knowledge accumulated from practice is one goal in teaching. Economics and pedagogical theories were identified, researched and applied to inform the structure, design and delivery of a module in Entrepreneurship within a post graduate programme that focussed on business practice. Theories of Entrepreneurship grounded in Economics indicate the importance of this business function within the broad Economic System for economic development. The role of theory is to offer students ways of organising how they think about entrepreneurship. Gardner’s Teaching for Understanding framework is used to bring structure to the development of the module. Several leading exemplars on the teaching of Entrepreneurship are attended to offer a context both for the content of the Module and its subsequent implementation within a framework of best practice in the teaching of Entrepreneurship. The practical running of a business by the students as a central element of the Module provided a deep and valuable learning experience allowing them to experience Entrepreneurship in a real way for themselves.

A tight-binding analysis of the electronic properties of III-nitride semiconductors

This thesis divides into two distinct parts, both of which are underpinned by the tight-binding model. The first part covers our implementation of the tight-binding model in conjunction with the Berry phase theory of electronic polarisation to probe the atomistic origins of spontaneous polarisation and piezoelectricity as well as attempting to accurately calculate the values and coefficients associated with these phenomena. We first develop an analytic model for the polarisation of a one-dimensional linear chain of atoms. We compare the zincblende and ideal wurtzite structures in terms of effective charges, spontaneous polarisation and piezoelectric coefficients, within a first nearest neighbour tight-binding model. We further compare these to real wurtzite structures and conclude that accurate quantitative results are beyond the scope of this model but qualitative trends can still be described. The second part of this thesis deals with implementing the tight-binding model to investigate the effect of local alloy fluctuations in bulk AlGaN alloys and InGaN quantum wells. We calculate the band gap evolution of Al1_xGaxN across the full composition range and compare it to experiment as well as fitting bowing parameters to the band gap as well as to the conduction band and valence band edges. We also investigate the wavefunction character of the valence band edge to determine the composition at which the optical polarisation switches in Al1_xGaxN alloys. Finally, we examine electron and hole localisation in InGaN quantum wells. We show how the built-in field localises the carriers along the c-axis and how local alloy fluctuations strongly localise the highest hole states in the c-plane, while the electrons remain delocalised in the c-plane. We show how this localisation affects the charge density overlap and also investigate the effect of well width fluctuations on the localisation of the electrons.

Irish state infrastructural investment: an analysis of past patterns, and an outline of a future integrated systems of systems evaluation methodology

The literature clearly links the quality and capacity of a country’s infrastructure to its economic growth and competitiveness. This thesis analyses the historic national and spatial distribution of investment by the Irish state in its physical networks (water, wastewater and roads) across the 34 local authorities and examines how Ireland is perceived internationally relative to its economic counterparts. An appraisal of the current status and shortcomings of Ireland’s infrastructure is undertaken using key stakeholders from foreign direct investment companies and national policymakers to identify Ireland's infrastructural gaps, along with current challenges in how the country is delivering infrastructure. The output of these interviews identified many issues with how infrastructure decision-making is currently undertaken. This led to an evaluation of how other countries are informing decision-making, and thus this thesis presents a framework of how and why Ireland should embrace a Systems of Systems (SoS) methodology approach to infrastructure decision-making going forward. In undertaking this study a number of other infrastructure challenges were identified: significant political interference in infrastructure decision-making and delivery the need for a national agency to remove the existing ‘silo’ type of mentality to infrastructure delivery how tax incentives can interfere with the market; and their significance. The two key infrastructure gaps identified during the interview process were: the need for government intervention in the rollout of sufficient communication capacity and at a competitive cost outside of Dublin; and the urgent need to address water quality and capacity with approximately 25% of the population currently being served by water of unacceptable quality. Despite considerable investment in its national infrastructure, Ireland’s infrastructure performance continues to trail behind its economic partners in the Eurozone and OECD. Ireland is projected to have the highest growth rate in the euro zone region in 2015 and 2016, albeit that it required a bailout in 2010, and, at the time of writing, is beginning to invest in its infrastructure networks again. This thesis proposes the development and implementation of a SoS approach for infrastructure decision-making which would be based on: existing spatial and capacity data of each of the constituent infrastructure networks; and scenario computation and analysis of alternative drivers eg. Demographic change, economic variability and demand/capacity constraints. The output from such an analysis would provide valuable evidence upon which policy makers and decision makers alike could rely, which has been lacking in historic investment decisions.