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.

Reliable Cellular Automata with Self-Organization

In a probabilistic cellular automaton in which all local transitions have positive probability, the problem of keeping a bit of information for more than a constant number of steps is nontrivial, even in an infinite automaton. Still, there is a solution in 2 dimensions, and this solution can be used to construct a simple 3-dimensional discrete-time universal fault-tolerant cellular automaton. This technique does not help much to solve the following problems: remembering a bit of information in 1 dimension; computing in dimensions lower than 3; computing in any dimension with non-synchronized transitions. Our more complex technique organizes the cells in blocks that perform a reliable simulation of a second (generalized) cellular automaton. The cells of the latter automaton are also organized in blocks, simulating even more reliably a third automaton, etc. Since all this (a possibly infinite hierarchy) is organized in "software", it must be under repair all the time from damage caused by errors. A large part of the problem is essentially self-stabilization recovering from a mess of arbitrary-size and content caused by the faults. The present paper constructs an asynchronous one-dimensional fault-tolerant cellular automaton, with the further feature of "self-organization". The latter means that unless a large amount of input information must be given, the initial configuration can be chosen to be periodical with a small period.

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.

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.

Northern Ireland, America and the emerging church movement: Exploring the significance of Peter Rollins and the Ikon collective

The Emerging Church Movement (ECM) is a primarily Western religious phenomenon, identifiable by its critical ‘deconstruction’ of ‘modern’ religion. While most prominent in North America, especially the United States, some of the most significant contributors to the ECM ‘conversation’ have been the Belfast-based Ikon Collective and one of its founders, philosopher Peter Rollins. Their rootedness in the unique religious, political and social landscape of Northern Ireland in part explains their position on the ‘margins’ of the ECM, and provides many of the resources for their contributions. Ikon’s development of ‘transformance art’ and its ‘leaderless’ structure raise questions about the institutional viability of the wider ECM. Rollins’ ‘Pyrotheology’ project, grounded in his reading of post-modern philosophy, introduces more radical ideas to the ECM conversation. Northern Ireland’s ‘Troubles’ and ‘marginal’ location provides the ground from which Rollins and Ikon have been able to expose the boundaries of the ECM and raise questions about just how far the ECM may go in its efforts to transform Western Christianity.

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.

Paclitaxel versus doxorubicin as first-line single-agent chemotherapy for metastatic breast cancer: a European Organization for Research and Treatment of Cancer Randomized Study with cross-over.

PURPOSE: To compare the efficacy of paclitaxel versus doxorubicin given as single agents in first-line therapy of advanced breast cancer (primary end point, progression-free survival ¿PFS) and to explore the degree of cross-resistance between the two agents. PATIENTS AND METHODS: Three hundred thirty-one patients were randomized to receive either paclitaxel 200 mg/m(2), 3-hour infusion every 3 weeks, or doxorubicin 75 mg/m(2), intravenous bolus every 3 weeks. Seven courses were planned unless progression or unacceptable toxicity occurred before the seven courses were finished. Patients who progressed within the seven courses underwent early cross-over to the alternative drug, while a delayed cross-over was optional for the remainder of patients at the time of disease progression. RESULTS: Objective response in first-line therapy was significantly better (P =.003) for doxorubicin (response rate ¿RR, 41%) than for paclitaxel (RR, 25%), with doxorubicin achieving a longer median PFS (7.5 months for doxorubicin v 3.9 months for paclitaxel, P <.001). In second-line therapy, cross-over to doxorubicin (91 patients) and to paclitaxel (77 patients) gave response rates of 30% and 16%, respectively. The median survival durations of 18.3 months for doxorubicin and 15.6 months for paclitaxel were not significantly different (P =.38). The doxorubicin arm had greater toxicity, but this was counterbalanced by better symptom control. CONCLUSION: At the dosages and schedules used in the present study, doxorubicin achieves better disease and symptom control than paclitaxel in first-line treatment. Doxorubicin and paclitaxel are not totally cross-resistant, which supports further investigation of these drugs in combination or in sequence, both in advanced disease and in the adjuvant setting.

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.

Stiftsherren und Vikare des Kollegiatstifts St. Peter und Paul in Zeitz 1400–1564.

Der hier publizierte Personenkatalog ist Teil des Anhangs der im Januar 2008 von Matthias Ludwig an der Martin-Luther-Universität Halle-Wittenberg eingereichten Magisterarbeit „Das Personal der Naumburger Domkirche und der Zeitzer Stiftskirche 1400–1564. Ein prosopographischer Beitrag zur mitteldeutschen Stiftskirchenforschung“. Ausgangspunkt der Arbeit war die Frage nach der Zusammensetzung der beiden geistlichen Gemeinschaften in Naumburg und Zeitz hinsichtlich eines vorgegebenen Rasters, bestehend aus den Kriterien Herkunft, Standeszugehörigkeit, Bildung, Karriereprofil, Weihegrade und personelle Netzwerke. Das zugrunde liegende biografische Material für Zeitz wurde vor allem aus der stiftischen Überlieferung selbst erhoben, deren wesentlicher Träger das Archiv des ehemaligen Kollegiatstifts ist, das heute zum Bestand des Stiftsarchivs und der Stiftsbibliothek Zeitz gehört. Es umfasst Angaben zu insgesamt 277 Stiftsherren und Vikaren, die für den Zeitraum von 1400 bis 1564 nachgewiesen werden konnten.

Controlling the second harmonic in a phase-matched negative-index metamaterial.

Nonlinear metamaterials have been predicted to support new and exciting domains in the manipulation of light, including novel phase-matching schemes for wave mixing. Most notable is the so-called nonlinear-optical mirror, in which a nonlinear negative-index medium emits the generated frequency towards the source of the pump. In this Letter, we experimentally demonstrate the nonlinear-optical mirror effect in a bulk negative-index nonlinear metamaterial, along with two other novel phase-matching configurations, utilizing periodic poling to switch between the three phase-matching domains.

Doubt, for narrator and orchestra

Doubt is a single-movement composition of roughly twelve minutes for narrator and orchestra (woodwinds, horns, and trumpets in pairs, timpani, percussion, strings). The piece explores the controversial issue of capital punishment. The text was compiled from resources found on the websites of Death Penalty Information Center (http://www.deathpenaltyinfo.org) and Anti-Death Penalty Information (http://www.antideathpenalty.org), as well as excerpts from the Bible. Doubt was conceived of as a dramatic work in which a narrator recites factual information in a direct and unemotional manner and the orchestra provides a response to the mixed emotions elicited by the text. The list of dates and case summaries presented in the middle section of the piece seemed most powerful and effective when recited in a natural speaking voice, which is why I chose not to set the text as song. Also, I chose the orchestral medium rather than a chamber setting because the nature of the topic demanded a larger range of colors and combinations, as well as a louder, fuller sound. Much of the music was composed while deciding which texts to include. Thus the music influenced the choice of text as much as the text suggested the musical setting. The four formal divisions of the piece are delineated primarily by the text. The first section is an orchestral introduction representing various emotional perspectives suggested by the texts. The narrator begins the second section with a Biblical verse over sparse orchestration. The third and main section of the piece begins with a new melody in the low strings that is closely related to the harmonic organization of the piece. The narrator lists dates of convictions, executions, exonerations and facts related to doubtful cases. The third section and the narration conclude with another brief passage from the Bible. The fourth section is a dramatic orchestral coda, bringing back the opening harmonies of juxtaposed perfect fifths. The final chord is full of tension and discord, reflecting the oppositions inherent in the topic of capital punishment: life vs. death, sympathy vs. reproach, pain vs. hope, but above all, doubt about guilt vs. innocence.

THE GREAT RUSSIAN PIANO TRADITION: SELECTED REPERTOIRE BY TCHAIKOVSKY, RACHMANINOFF AND PROKOFIEV

This dissertation explores representative piano music by three great Russian composers: Tchaikovsky, Rachmaninoff and Prokofiev. The areas of research include: 1) the short character piece; 2) the Russian piano transcription tradition; 3) the concerto and sonata cycle; 4) extra-musical imagery; 5) the influence of popular and dance music of the period. Perhaps the most important result of this research is learning how the art of incorporating a singing quality at the piano stands at the center of Russian pianistic heritage. The first recital features compositions by Sergei Prokofiev. The Seventh Sonata exhibits rebellious, uncompromisingly dissonant treatment of its musical content. Ten Pieces from “Cinderella” shows an ascetic approach to piano texture - a common characteristic in Prokofiev’s late works. The Third Concerto is Prokofiev’s masterpiece in the genre. One of the 20th century’s most performed concerti, it overflows with pianistic challenges. For my second dissertation recital, I have chosen Peter Ilich Tchaikovsky’s The Seasons. These short character pieces were inspired by literary sources. The text portrays Russian rural life, nature, moments of intimate reflection, and imaginary experiences and impressions. Tchaikovsky’s gift as a melodist and remarkable musical individualist is represented in his two Nocturnes as well as in the Nutcracker Suite, masterfully transcribed by Mikhail Pletnev. The final program features Sergei Rachmaninoff’s Ten Preludes, Op. 23, regarded as a culmination of the turn-of-the-century grand Russian pianistic style. The Fantasy Pieces helped establish Rachmaninoff’s reputation as a pianist-composer, a profoundly lyrical poet of the piano. The three Rachmaninoff transcriptions, the Minuet, the Hopak and the Polka de W.R. preserve the spirit of the Golden Era’s musical salon. These pieces were written to delight and dazzle audiences with their bold character, musical taste, virtuosic tricks and technical finesse. The three recitals comprising this dissertation were presented in Gildenhorn Recital at the University of Maryland School of Music on November 13, 2010, April 11, 2011 and February 27, 2012. The recitals were recorded on compact discs and are archived within the Digital Repository at the University of Maryland (DRUM).