A Second Easter: A Celebration of Presence

sermon text; MS Word document

Islam and missions : being papers read at the Second Missionary Conference on behalf of the Mohammedan World at Lucknow, January 23-28, 1911 / edited by E.M. Wherry, S.M. Zwemer, C.G. Mylrea.

http://www.archive.org/details/islamandmissions012033mbp

Second letter to nephew 05/16/1881

Second letter to nephew, Daniel Avery Whedon from Daniel D. Whedon dated May 16, 1881.

Typability and Type Checking in the Second-Order Λ-Calculus Are Equivalent and Undecidable (Preliminary Draft)

We consider the problems of typability[1] and type checking[2] in the Girard/Reynolds second-order polymorphic typed λ-calculus, for which we use the short name "System F" and which we use in the "Curry style" where types are assigned to pure λ -terms. These problems have been considered and proven to be decidable or undecidable for various restrictions and extensions of System F and other related systems, and lower-bound complexity results for System F have been achieved, but they have remained "embarrassing open problems"[3] for System F itself. We first prove that type checking in System F is undecidable by a reduction from semi-unification. We then prove typability in System F is undecidable by a reduction from type checking. Since the reverse reduction is already known, this implies the two problems are equivalent. The second reduction uses a novel method of constructing λ-terms such that in all type derivations, specific bound variables must always be assigned a specific type. Using this technique, we can require that specific subterms must be typable using a specific, fixed type assignment in order for the entire term to be typable at all. Any desired type assignment may be simulated. We develop this method, which we call "constants for free", for both the λK and λI calculi.

A Direct Algorithm for the Type Interference in the Rank 2 Fragment of the Second--Order λ-Calculus

We study the problem of type inference for a family of polymorphic type disciplines containing the power of Core-ML. This family comprises all levels of the stratification of the second-order lambda-calculus by "rank" of types. We show that typability is an undecidable problem at every rank k ≥ 3 of this stratification. While it was already known that typability is decidable at rank ≤ 2, no direct and easy-to-implement algorithm was available. To design such an algorithm, we develop a new notion of reduction and show how to use it to reduce the problem of typability at rank 2 to the problem of acyclic semi-unification. A by-product of our analysis is the publication of a simple solution procedure for acyclic semi-unification.

Principles and prejudice: The erosion of fairness in admissibility determinations relating to historic child sexual abuse trials in Ireland

This thesis interrogates the construction of fairness to the accused in historic child sexual abuse trials in Ireland. The protection of fairness is a requirement of any trial that claims to adhere to the rule of law. Historic child sexual abuse trials, in which the charges relate to events that are alleged to have taken place decades previously, present serious challenges to the ability of the trial process to safeguard fairness. They are a litmus test of the courts’ commitment to fairness. The thesis finds that in historic abuse trials fairness to the accused has been significantly eroded and that therefore the Irish Courts have failed to respect the core of the rule of law in these most serious of prosecutions. The thesis scrutinises two bodies of case law, both of which deal with the issue of whether evidence should reach the jury. First, it examines the decisions on applications brought by defendants seeking to prohibit their trial. The courts hearing prohibition applications face a dilemma: how to ensure the defendant is not put at risk of an unfair trial, while at the same time recognising that delay in reporting is a defining feature of these cases. The thesis traces the development of the prohibition case law and tracks the shifting interpretations given to fairness by the courts. Second, the thesis examines what fairness means in the superior courts’ decisions regarding the admissibility of the following kinds of evidence, each of which presents particular challenges to the ability of the trial to safeguard fairness: evidence of multiple complainants; evidence of recovered memories and evidence of complainants’ therapeutic records. The thesis finds that in both bodies of case law the Irish courts have hollowed out the meaning of fairness. It makes proposals on how fairness might be placed at the heart of courts’ decisions on admissibility in historic abuse trials. The thesis concludes that the erosion of fairness in historic abuse trials is indicative of a move away from the liberal model of criminal justice. It cautions that unless fairness is prioritised in historic child sexual abuse trials the legitimacy of these trials and that of all Irish criminal trials will be contestable.

Investigation of stress and burnout in Irish second-level teachers: A mixed-methods approach.

This study explores the experiences of stress and burnout in Irish second level teachers and examines the contribution of a number of individual, environmental and health factors in burnout development. As no such study has previously been carried out with this sample, a mixed-methods approach was adopted in order to comprehensively investigate the subject matter. Teaching has consistently been identified as a particularly stressful occupation and research investigating its development is of great importance in developing measures to address the problem. The first phase of study involved the use of focus groups conducted with a total of 20 second-level teachers from 11 different schools in the greater Cork city area. Findings suggest that teachers experience a variety of stressors – in class, in the staff room and outside of school. The second phase of study employed a survey to examine the factors associated with burnout. Analysis of 192 responses suggested that burnout results from a combination of demographic, personality, environmental and coping factors. Burnout was also found to be associated with a number of physical symptoms, particularly trouble sleeping and fatigue. Findings suggest that interventions designed to reduce burnout must reflect the complexity of the problem and its development. Based on the research findings, interventions that combine individual and organisational approaches should provide the optimal chance of effectively tackling burnout.

Synthesis and reactivity of pyridine substituted α-diazocarbonyl compounds and exploration of rhodium carboxylates as asymmetric catalysts

The primary objective of this thesis was the preparation of a series of pyridine-containing α-diazocarbonyl compounds and subsequent investigation of the reactivity of these compounds on exposure to transition metal catalysts. In particular, the reactivity of the pyridyl α-diazocarbonyls was compared to that of the analogous phenyl α-diazocarbonyl compounds to ascertain the impact of replacement of the phenyl ring with pyridine. The first chapter initially provides a brief introduction into α-diazocarbonyl chemistry, comprising a compendium of well-established and recently developed methods in the preparation of these compounds, as well as an outline of the reactivity of these versatile substrates. The substantive element of this introductory chapter comprises a detailed review focused on transition metal-catalysed transformations of heterocyclic α-diazocarbonyl compounds, highlighting the extraordinary diversity of reaction products which can be accessed. This review is undertaken to set the work of this thesis in context. The results of this research are discussed in the second and third chapters together with the associated experimental details, including spectroscopic and analytical data obtained in the synthesis of all compounds during this research. The second chapter describes the preparation of a range of novel pyridine-containing α-diazocarbonyl compounds via a number of synthetic strategies including both acylation and diazo transfer methodologies. In contrast to the phenyl analogues, the generation of the pyridine α-diazocarbonyl substrates was complicated by a number of factors including the inherent basicity of the pyridine ring, tautomerism and existence of rotamers. Rhodium- and copper-mediated transformations of the pyridine-containing α-diazocarbonyl compounds is discussed in detail displaying very different reactivity patterns to those seen with the phenyl analogues; oxidation to 2,3- diketones, 1,2-hydride shift to form enones and oxonium and sulfonium ylide formation/rearrangement are prominent in the pyridyl series, with no evidence of aromatic addition to the pyridine ring. The third chapter focuses on exploration of novel chiral rhodium(II) catalysts, developed in the Maguire team, in both intermolecular cyclopropanations and intramolecular C–H insertion reactions. In this chapter, the studies are focused on standard α-diazocarbonyl compounds without heteroaryl substituents. The most notable outcome was the achievement of high enantiopurities for intramolecular C–H insertions, which were competitive with, and even surpassed, established catalyst systems in some cases. This work has provided insight into solvent and temperature effects on yields as well as enantio- and diastereoselectivity, thereby providing guidance for future development and design of chiral rhodium carboxylate catalysts. While this is a preliminary study, the significance of the results lie in the fact that these are the first reactions to give substantial asymmetric induction with these novel rhodium carboxylates. While the majority of the α-diazocarbonyl compounds explored in this work were α-diazoketones, a number of α-diazoesters are also described. Details of chiral stationary phase HPLC analysis, single crystal analysis and 2D NMR experiments are included in the Appendix (Appendix III-V).

The student bullying of teachers in Irish second level schools: exploring the influence of historical low state intervention in education on the development of contemporary policy responses in Ireland

The student bullying of teachers (SBT) is a distinct and complex form of bullying with a multiplicity of diverse, changeable and intersecting causes which is experienced by and affects teachers in a variety of ways. SBT is both a national and an international phenomenon which is under-recognised in academic, societal and political spheres, resulting in limited conceptual understanding and awareness of the issue. This study explores teachers’ experiences of SBT behaviours in Irish second level schools as well as teachers’ perceptions regarding training, policies and supports in Ireland to address the issue. Specifically, the study seeks to explore the influence of historical low State intervention in education on contemporary policies and supports to deal with SBT in Ireland. A mixed methods approach involving a survey of 531 second level school teachers and 17 semi-structured interviews with teachers, Year Heads and representatives from teacher trade unions and school management bodies was employed to collect and analyse data. Findings indicate that SBT behaviours are prevalent in many forms in Irish second level schools. The hidden nature of the phenomenon has simultaneously contributed to and is reinforced by limited understanding of the issue as well as teachers’ reluctance to disclose their experiences. Findings reveal that teachers perceive the contemporary policies, training and support structures in Ireland to be inadequate in equipping them to effectively deal with SBT. State intervention in addressing SBT behaviours to date, has been limited, therefore many teachers are forced to respond to the issue based on their own initiatives and assumptions rather than from an informed critically reflective approach, supported by national guidelines and sufficient State investment. This has resulted in a piecemeal, un-coordinated and ad-hoc approach to SBT in Irish schools both in terms of teachers’ management of SBT behaviours and with respect to the supports extended to staff. The potential negative consequences of SBT behaviours on teachers’ wellbeing and professional performance and thus, on the education system itself, underlines the need for a strategic, evidence-based, resourced and integrated approach which includes, as a pivotal component, consultation with teachers, whose contribution to the process is crucial.

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.

First- and second-order phase transitions in the adlayer of biadipate on Au(111)

The adsorption of biadipate on Au(111) was studied by cyclic voltammetry and chronocoulometry. The biadipate adlayer undergoes a potential-driven phase transition. It is shown that the phase transition can be either of the first- or second-order depending on the biadipate concentration. At low surfactant concentrations, the first-order transition is characterised by a discontinuity in the charge density-potential curve and by the presence of very sharp peaks in the voltammetric response. At higher concentrations, these peaks are no longer observed but a discontinuity in the capacity curve is still noticeable, in agreement with a second-order transition. © the Owner Societies.

Development and standardization of solid phase assays for the detection of anti-neutrophil cytoplasmic antibodies (ANCA). A report on the second phase of an international cooperative study on the standardization of ANCA assays

Anti-neutrophil cytoplasmic antibodies (ANCA) are diagnostic markers for systemic vasculitis. They are classically I detected by an indirect immunofluorescence test using normal donor neutrophils as substrate. This assay lacks antigenic specificity and is not quantitative. The 'EC/BCR Project for ANCA Assay Standardization' is an international collaboration study with the aim to develop and standardize solid phase assays for ANCA detection. In this part of the study the isolation and characterization of proteinase-3 and myeloperoxidase, the two main target molecules for ANCA, and the development and standardization of ELISAs with these antigens are described. Six laboratories successfully isolated purified proteinase-3 preparations that could be used. Three of these preparations, together with one myeloperoxidase preparation, were subsequently used for ANCA testing by ELISA. The ELISA technique was standardized in two rounds of testing in the 14 participating laboratories. The coefficient of variation of these new assays decreased from values of approx. 50% in the first round to approx. 20% in the second round. We conclude that purified proteinase-3 and myeloperoxidase can be used in standardized ELISAs for ANCA detection. Whether such procedures offer advantages over the IIF test will be determined in a prospective clinical study.

Structural manifestation of the delocalization error of density functional approximations: C(4N+2) rings and C(20) bowl, cage, and ring isomers.

The ground state structure of C(4N+2) rings is believed to exhibit a geometric transition from angle alternation (N < or = 2) to bond alternation (N > 2). All previous density functional theory (DFT) studies on these molecules have failed to reproduce this behavior by predicting either that the transition occurs at too large a ring size, or that the transition leads to a higher symmetry cumulene. Employing the recently proposed perspective of delocalization error within DFT we rationalize this failure of common density functional approximations (DFAs) and present calculations with the rCAM-B3LYP exchange-correlation functional that show an angle-to-bond-alternation transition between C(10) and C(14). The behavior exemplified here manifests itself more generally as the well known tendency of DFAs to bias toward delocalized electron distributions as favored by Huckel aromaticity, of which the C(4N+2) rings provide a quintessential example. Additional examples are the relative energies of the C(20) bowl, cage, and ring isomers; we show that the results from functionals with minimal delocalization error are in good agreement with CCSD(T) results, in contrast to other commonly used DFAs. An unbiased DFT treatment of electron delocalization is a key for reliable prediction of relative stability and hence the structures of complex molecules where many structure stabilization mechanisms exist.