Untangling unstructured programs

A method is presented for converting unstructured program schemas to strictly equivalent structured form. The predicates of the original schema are left intact with structuring being achieved by the duplication of he original decision vertices without the introduction of compound predicate expressions, or where possible by function duplication alone. It is shown that structured schemas must have at least as many decision vertices as the original unstructured schema, and must have more when the original schema contains branches out of decision constructs. The structuring method allows the complete avoidance of function duplication, but only at the expense of decision vertex duplication. It is shown that structured schemas have greater space-time requirements in general than their equivalent optimal unstructured counterparts and at best have the same requirements.

Learning to Teach and its Implications for the Continuum of Teacher Education: A Nine Country Cross-national Study.

The purpose of this Report is to inform discussions, policy formulation, and strategic planning on teacher education in Ireland. The research gives priority to initial teacher education (ITE) and induction, their interface, and implications for the continuum of teacher education, including continuing professional development (CPD). The study involved a two-pronged approach: a narrative review of recent and relevant literature and a cross-national review of teacher education policies in nine countries, namely, Ireland, Northern Ireland, Scotland, England, Finland, USA, Poland, Singapore and New Zealand. Adopting a broad, balanced and comprehensive understanding of the role of the contemporary teacher, it provides a framework for developing quality teacher education in Ireland. The Report incorporates exemplars of good practice and notes their implementation challenges for the Irish context.  Chapter One provides a framework for conceptualising quality teacher education and the continuum. Key features that emerge from the literature are discussed: teachers¿ practice, quality teaching, the professional life-cycle, teacher learning and relationships. With more specific reference to the continuum, Chapter Two overviews initial teacher education, induction, learning outcomes and accreditation in the selected countries, including Ireland. Key features of policy in the various countries are summarised. Individual country profiles, incorporating descriptions of socio-political, teaching and teacher education contexts, are further detailed in Appendix A. Chapter Three analyses relevant literature on initial teacher education, induction, learning outcomes/professional standards and accreditation. Along with previous chapters it provides the basis for recommendations for teacher education that are presented in Chapter Four. Chapter Four draws together the findings emerging from the cross-national review in terms of the contemporary context of teacher education in Ireland and identifies key challenges and possible lines of policy development as well as recommendations for the Teaching Council and other teacher education stakeholders. Each generation has an opportunity to provide the vision and resources for renewing teacher education in light of ambitious social, economic and educational aspirations to meet perceived societal and education challenges (as occurred in the 1970s). Despite the publication of two key reviews of initial teacher education a number of years ago, there is considerable scope for further reform of teacher education. However, significant changes have occurred to teacher education course provision and content over the last 100 years. In this report, we have stressed the need for, and called for investment in, greater system and programme coherence, mentoring to support assisted practice, knowledge integration, critical reflective practice, inquiry and the development of vibrant partnerships between higher education institutions and schools as the basis for teacher education reform across the continuum. This Executive Summary presents the Report¿s context, key findings and recommendations emerging from the analysis.  

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.

Practice Links [Issue 46, February 2012]

Practice Links is a free e-publication for practitioners working in Irish social services, voluntary and nongovernmental sectors. Practice Links was created to enable practitioners to keep up-to-date with new publications, electronic resources and conference opportunities. Issue 46 features information regarding databases to support practice as well as the latest research being conducted in the fields of youth empowerment programs and relevant podcasts.

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.

Legal regulation of the software "patentable subject matter" requirement in the US and in Europe: The need for certainty, predictability and uniformity

This thesis critically investigates the divergent international approaches to the legal regulation of the patentability of computer software inventions, with a view to identifying the reforms necessary for a certain, predictable and uniform inter-jurisdictional system of protection. Through a critical analysis of the traditional and contemporary US and European regulatory frameworks of protection for computer software inventions, this thesis demonstrates the confusion and legal uncertainty resulting from ill-defined patent laws and inconsistent patent practices as to the scope of the “patentable subject matter” requirement, further compounded by substantial flaws in the structural configuration of the decision-making procedures within which the patent systems operate. This damaging combination prevents the operation of an accessible and effective Intellectual Property (IP) legal framework of protection for computer software inventions, capable of securing adequate economic returns for inventors whilst preserving the necessary scope for innovation and competition in the field, to the ultimate benefit of society. In exploring the substantive and structural deficiencies in the European and US regulatory frameworks, this thesis develops to ultimately highlight that the best approach to the reform of the legal regulation of software patentability is two-tiered. It demonstrates that any reform to achieve international legal harmony first requires the legislature to individually clarify (Europe) or restate (US) the long-standing inadequate rules governing the scope of software “patentable subject matter”, together with the reorganisation of the unworkable structural configuration of the decision-making procedures. Informed by the critical analysis of the evolution of the “patentable subject matter” requirement for computer software in the US, this thesis particularly considers the potential of the reforms of the European patent system currently underway, to bring about certainty, predictability and uniformity in the legal treatment of computer software inventions.

College adjustment, depressive symptoms and peer support among undergraduate university students

Background: College adjustment is a developmental milestone that can be stressful and may lead to mental health problems such as depression. Support during this adjustment period is seen as essential, however it is unknown if informal peer support from fellow students has any impact on either college adjustment or depressive symptoms. Aim: To identify levels of social and personal college adjustment, depressive symptoms and peer support among students, and to examine the relationship between the variables. Design: A quantitative correlational design was used Instruments: Data were collected using two subscales of the Student Adaptation to College Questionnaire; the Centre for Epidemiology Depressive Symptoms Scale and a subscale of the Peer Support Evaluation Inventory. Sample: The sample consisted of 417, first (n=188), second (n=134) and fourth (n=94) year nursing and midwifery students from one University in Ireland. Findings: The findings indicated that 20% of participants were poorly personally adjusted and 9% poorly socially adjusted. Furthermore, 34% of participants experienced significant depressive symptoms. Most students had good levels of peer support. Statistically significant relationships were found between all key variables, the strongest of which were between personal adjustment and depressive symptoms and social adjustment and depressive symptoms. Differences in adjustment and depressive symptom scores were found based on year of study, with second year students experiencing more depressive symptoms and having poorer personal adjustment scores. Participants who had poor relationships with their father’s experienced greater depressive symptoms and had more difficulties personally and socially adjusting to college. The alcohol consumption of participants had a statistically significant correlation with college adjustment, depressive symptoms and peer support, with higher consumption having a positive impact on the variables.

A support system for mentors of novice entrepreneurs

In this study we present online software to rapidly assess the impact of mentoring techniques on a novice entrepreneur. We have built a prototype that collects data from team members in less than five minutes and that automatically returns a diagnostic analysis to the mentor. Between 2012 and 2015 we have tested three versions of our prototype with longitudinal analyses of teams attending startup weekend competitions, to confirm that our prototype supports mentors with few and yet relevant information. The results of our studies open several avenues of research regarding rapid diagnostic of project teams, whereas, from a practical point of view, our prototype entirely done with Google Docs can be easily used by anyone interested in entrepreneurship education. Keywords: Entrepreneurship education, effectuation, mentoring, decision support, design science.

Perceptions, expectations, and informal supports influence exercise activity in frail older adults

This study aims to explore frail older adults’ perceptions of what influences their exercise behaviors. A qualitative descriptive design was used. Semi-structured, open-ended interviews were conducted with 29 frail older adults. Thematic content analysis established the findings. Frail older adults perceive exercise as a by-product of other purposeful activities such as manual work or social activities. Progression into frailty appears to be associated with a decline in non-family support, changing traditional roles within family support networks, and lower baseline activity levels. Frail older adults perceive exercise as incidental to more purposeful activities rather than an endpoint in itself. Therefore, exercise programs concentrating on functional outcomes may be more relevant for this population. Strategies that educate and promote social support networks may also benefit frail older adults.