Lightweight Formal Verification in Classroom Instruction of Reasoning about Functional Code

In college courses dealing with material that requires mathematical rigor, the adoption of a machine-readable representation for formal arguments can be advantageous. Students can focus on a specific collection of constructs that are represented consistently. Examples and counterexamples can be evaluated. Assignments can be assembled and checked with the help of an automated formal reasoning system. However, usability and accessibility do not have a high priority and are not addressed sufficiently well in the design of many existing machine-readable representations and corresponding formal reasoning systems. In earlier work [Lap09], we attempt to address this broad problem by proposing several specific design criteria organized around the notion of a natural context: the sphere of awareness a working human user maintains of the relevant constructs, arguments, experiences, and background materials necessary to accomplish the task at hand. We report on our attempt to evaluate our proposed design criteria by deploying within the classroom a lightweight formal verification system designed according to these criteria. The lightweight formal verification system was used within the instruction of a common application of formal reasoning: proving by induction formal propositions about functional code. We present all of the formal reasoning examples and assignments considered during this deployment, most of which are drawn directly from an introductory text on functional programming. We demonstrate how the design of the system improves the effectiveness and understandability of the examples, and how it aids in the instruction of basic formal reasoning techniques. We make brief remarks about the practical and administrative implications of the system’s design from the perspectives of the student, the instructor, and the grader.

"A Good Reder": the middle English Wise Book of Philosophy and Astronomy, instruction, publics, and manuscripts

The present work is a study of the Middle English prose text known as The Wise Book of Philosophy and Astronomy, a consideration of its transmission and reception history, and a survey of its manuscript witnesses; it also incorporates an edition of the text from two of its manuscripts. The text is a cosmological treatise of approximately five thousand words, written for the most part in English, with astronomical and astrological terms in Latin, though the English translation is frequently given. It is written anonymously, and survives in thirty-three manuscripts.

Form-focused instruction in Irish-medium immersion education: a critical examination of teachers' perspectives and practices. A small-scale qualitative case study

It has been suggested that the less than optimal levels of students’ immersion language “persist in part because immersion teachers lack systematic approaches for integrating language into their content instruction” (Tedick, Christian and Fortune, 2011, p.7). I argue that our current lack of knowledge regarding what immersion teachers think, know and believe and what immersion teachers’ actual ‘lived’ experiences are in relation to form-focused instruction (FFI) prevents us from fully understanding the key issues at the core of experiential immersion pedagogy and form-focused integration. FFI refers to “any planned or incidental instructional activity that is intended to induce language learners to pay attention to linguistic form” (Ellis, 2001b, p.1). The central aim of this research study is to critically examine the perspectives and practices of Irish-medium immersion (IMI) teachers in relation to FFI. The study ‘taps’ into the lived experiences of three IMI teachers in three different IMI school contexts and explores FFI from a classroom-based, teacher-informed perspective. Philosophical underpinnings of the interpretive paradigm and critical hermeneutical principles inform and guide the study. A multi-case study approach was adopted and data was gathered through classroom observation, video-stimulated recall and semistructured interviews. Findings revealed that the journey of ‘becoming’ an IMI teacher is shaped by a vast array of intricate variables. IMI teacher identity, implicit theories, stated beliefs, educational biographies and experiences, IMI school cultures and contexts as well as teacher knowledge and competence impacted on IMI teachers’ FFI perspectives and practices. An IMI content teacher identity reflected the teachers’ priorities as shaped by pedagogical challenges and their educational backgrounds. While research participants had clearly defined instructional beliefs and goals, their roadmap of how to actually accomplish these goals was far from clear. IMI teachers described the multitude of choices and pedagogical dilemmas they faced in integrating FFI into experiential pedagogy. Significant gaps in IMI teachers’ declarative knowledge about and competence in the immersion language were also reported. This research study increases our understanding of the complexity of the processes underlying and shaping FFI pedagogy in IMI education. Innovative FFI opportunities for professional development across the continuum of teacher education are outlined, a comprehensive evaluation of IMI is called for and areas for further research are delineated.

The ‘Celtic’ dimension of pre-first World War religious discourse in Britain: Wellesley Tudor Pole and the Glastonbury phenomenon

This article will explore the contribution made to the construction of discourse around religion outside of mainstream Christianity, at the turn of the twentieth century in Britain, by a Celticist movement as represented by Wellesley Tudor Pole (d.1968) and his connection to the Glastonbury phenomenon. I will detail the interconnectedness of individuals and movements occupying this discursive space and their interest in efforts to verify the authenticity of an artefact which Tudor Pole claimed was once in the possession of Jesus. Engagement with Tudor Pole’s quest to prove the provenance of the artefact, and his contention that a pre-Christian culture had existed in Ireland which had extended itself to Glastonbury and Iona creating the foundation for an authentic Western mystical tradition, is presented as one facet of a broader, contemporary discourse on alternative ideas and philosophies. In conclusion, I will juxtapose Tudor Pole’s fascination with Celtic origins and the approach of leading figures in the ‘Celtic Revival’ in Ireland, suggesting intersections and alterity in the construction of their worldview. The paper forms part of a chapter in a thesis under-preparation which examines the construction of discourse on religion outside of mainstream Christianity at the turn of the twentieth century, and in particular the role played by visiting religious reformers from Asia. The aim is to recover the (mostly forgotten) history of these engagements.

Creating religious place in Ireland: Hindu public places of worship and the Indian sculpture park

This paper examines the creation of religious place. It argues that the designation of a place as “religious” is a subjective and creative act which is dependent upon the perception and past, or memory, of the viewer. The paper focuses specifically on the creation of public places of worship by Hindu groups in the Dublin city area of Ireland and on the varied perceptions of the Indian Sculpture Park in County Wicklow. The creation of public places of worship results in places classified as “religious” due to the intention of the creator, the terminology used and the types of activities that take place in the space. This is in contrast to places such as the Indian Sculpture Park in County Wicklow which was created as a secular space but which is viewed by some Hindus as an outdoor temple due to the presence of sculptures of the Hindu deity Ganesh. Other Hindus do not view the space as having any religious significance and so its religiosity is contested. This points to the fact that the creation of religious place is a creative act of interpretation which is dependent upon the perception and past of the viewer and which changes over time.

Religious memory as a conveyor of authoritative tradition: The necessary and essential component in a definition of religion

In a landmark book published in 2000, the sociologist Danièle Hervieu-Léger defined religion as a chain of memory, by which she meant that within religious communities remembered traditions are transmitted with an overpowering authority from generation to generation. After analysing Hervieu-Léger’s sociological approach as overcoming the dichotomy between substantive and functional definitions, this article compares a ritual honouring the ancestors in which a medium becomes possessed by the senior elder’s ancestor spirit among the Shona of Zimbabwe with a cleansing ritual performed by a Celtic shaman in New Hampshire, USA. In both instances, despite different social and historical contexts, appeals are made to an authoritative tradition to legitimize the rituals performed. This lends support to the claim that the authoritative transmission of a remembered tradition, by exercising an overwhelming power over communities, even if the memory of such a tradition is merely postulated, identifies the necessary and essential component for any activity to be labelled “religious”.

Scientific writing: a randomized controlled trial comparing standard and on-line instruction.

BACKGROUND: Writing plays a central role in the communication of scientific ideas and is therefore a key aspect in researcher education, ultimately determining the success and long-term sustainability of their careers. Despite the growing popularity of e-learning, we are not aware of any existing study comparing on-line vs. traditional classroom-based methods for teaching scientific writing. METHODS: Forty eight participants from a medical, nursing and physiotherapy background from US and Brazil were randomly assigned to two groups (n = 24 per group): An on-line writing workshop group (on-line group), in which participants used virtual communication, google docs and standard writing templates, and a standard writing guidance training (standard group) where participants received standard instruction without the aid of virtual communication and writing templates. Two outcomes, manuscript quality was assessed using the scores obtained in Six subgroup analysis scale as the primary outcome measure, and satisfaction scores with Likert scale were evaluated. To control for observer variability, inter-observer reliability was assessed using Fleiss's kappa. A post-hoc analysis comparing rates of communication between mentors and participants was performed. Nonparametric tests were used to assess intervention efficacy. RESULTS: Excellent inter-observer reliability among three reviewers was found, with an Intraclass Correlation Coefficient (ICC) agreement = 0.931882 and ICC consistency = 0.932485. On-line group had better overall manuscript quality (p = 0.0017, SSQSavg score 75.3 +/- 14.21, ranging from 37 to 94) compared to the standard group (47.27 +/- 14.64, ranging from 20 to 72). Participant satisfaction was higher in the on-line group (4.3 +/- 0.73) compared to the standard group (3.09 +/- 1.11) (p = 0.001). The standard group also had fewer communication events compared to the on-line group (0.91 +/- 0.81 vs. 2.05 +/- 1.23; p = 0.0219). CONCLUSION: Our protocol for on-line scientific writing instruction is better than standard face-to-face instruction in terms of writing quality and student satisfaction. Future studies should evaluate the protocol efficacy in larger longitudinal cohorts involving participants from different languages.

The protective role of religious coping in adolescents' responses to poverty and sexual decision-making in rural Kenya.

In this study, we explored how adolescents in rural Kenya apply religious coping in sexual decision-making in the context of high rates of poverty and Human Immunodeficiency Virus (HIV). Semi-structured interviews were conducted with 34 adolescents. One-third (13) reported religious coping related to economic stress, HIV, or sexual decision-making; the majority (29) reported religious coping with these or other stressors. Adolescents reported praying for God to partner with them to engage in positive behaviors, praying for strength to resist unwanted behaviors, and passive strategies characterized by waiting for God to provide resources or protection from HIV. Adolescents in Sub-Saharan Africa may benefit from HIV prevention interventions that integrate and build upon their use of religious coping.

Rain dances in the dry season: overcoming the religious congruence fallacy

Religious congruence refers to consistency among an individual’s religious beliefs and attitudes, consistency between religious ideas and behavior, and religious ideas, identities, or schemas that are chronically salient and accessible to individuals across contexts and situations. Decades of anthropological, sociological, and psychological research establish that religious congruence is rare, but much thinking about religion presumes that it is common. The religious congruence fallacy occurs when interpretations or explanations unjustifiably presume religious congruence. I illustrate the ubiquity of religious incongruence, show how the religious congruence fallacy distorts thinking about religion, and outline an approach to help overcome the fallacy.

Effects of task instruction on autobiographical memory specificity in young and older adults

Older adults tend to retrieve autobiographical information that is overly general (i.e., not restricted to a single event, termed the overgenerality effect) relative to young adults' specific memories. A vast majority of studies that have reported overgenerality effects explicitly instruct participants to retrieve specific memories, thereby requiring participants to maintain task goals, inhibit inappropriate responses, and control their memory search. Since these processes are impaired in healthy ageing, it is important to determine whether such task instructions influence the magnitude of the overgenerality effect in older adults. In the current study participants retrieved autobiographical memories during presentation of musical clips. Task instructions were manipulated to separate age-related differences in the specificity of underlying memory representations from age-related differences in following task instructions. Whereas young adults modulated memory specificity based on task demands, older adults did not. These findings suggest that reported rates of overgenerality in older adults' memories might include age-related differences in memory representation, as well as differences in task compliance. Such findings provide a better understanding of the underlying cognitive mechanisms involved in age-related changes in autobiographical memory and may also be valuable for future research examining effects of overgeneral memory on general well-being. © 2013 Taylor & Francis.

Effects of task instruction on autobiographical memory specificity in young and older adults.

Older adults tend to retrieve autobiographical information that is overly general (i.e., not restricted to a single event, termed the overgenerality effect) relative to young adults' specific memories. A vast majority of studies that have reported overgenerality effects explicitly instruct participants to retrieve specific memories, thereby requiring participants to maintain task goals, inhibit inappropriate responses, and control their memory search. Since these processes are impaired in healthy ageing, it is important to determine whether such task instructions influence the magnitude of the overgenerality effect in older adults. In the current study participants retrieved autobiographical memories during presentation of musical clips. Task instructions were manipulated to separate age-related differences in the specificity of underlying memory representations from age-related differences in following task instructions. Whereas young adults modulated memory specificity based on task demands, older adults did not. These findings suggest that reported rates of overgenerality in older adults' memories might include age-related differences in memory representation, as well as differences in task compliance. Such findings provide a better understanding of the underlying cognitive mechanisms involved in age-related changes in autobiographical memory and may also be valuable for future research examining effects of overgeneral memory on general well-being.

[Book review] Instruction Paintings

Tony Mann provides a review of the book: Yoko Ono, Instruction Paintings, Weatherhill Inc., 1996, ISBN 0-8348-0348-8, £12.99

Hermeneutics, accreting receptions, hypermedia: A tool for reference versus a tool for instruction

We provide a select overview of tools supporting traditional Jewish learning. Then we go on to discuss our own HyperJoseph/HyperIsaac project in instructional hypermedia. Its application is to teaching, teacher training, and self-instruction in given Bible passages. The treatment of two narratives has been developed thus far. The tool enables an analysis of the text in several respects: linguistic, narratological, etc. Moreover, the Scriptures' focality throughout the cultural history makes this domain of application particularly challenging, in that there is a requirement for the tool to encompass the accretion of receptions in the cultural repertoire, i.e., several layers of textual traditions—either hermeneutic (i.e., interpretive), or appropriations—related to the given core passage, thus including "secondary" texts (i.e., such that are responding or derivative) from as disparate realms as Roman-age and later homiletics, Medieval and later commentaries or supercommentaries, literary appropriations, references to the arts and modern scholarship, etc. in particular, the Midrash (homiletic expansions) is adept at narrative gap filling, so the narratives mushroom at the interstices where the primary text is silent. The genealogy of the project is rooted in Weiss' index of novelist Agnon's writings, which was eventually upgraded into a hypertextual tool, including Agnon's full-text and ancillary materials. Those early tools being intended primarily for reference and research-support in literary studies, the Agnon hypertext system was initially emulated in the conception of HyperJoseph, which is applied to the Joseph story from Genesis. Then, the transition from a tool for reference to an instructional tool required a thorough reconception in an educational perspective, which led to HyperIsaac, on the sacrifice of Isaac, and to a redesign and upgrade of HyperJoseph as patterned after HyperIsaac.

Research and perspectives on processing instruction

This volume tracks the impact processing instruction has made since its conception. It provides an overview of new research trends on measuring the relative effects of processing instruction. Firstly, the authors explain processing instruction, both its main theoretical underpinnings as well as the guidelines for developing structured input practices. Secondly, they review the empirical research conducted, to date, so that readers have an overview of new research carried out on the effects of processing instruction. The authors finally reflect on the generalizability and limits of the research on processing instruction and offer future directions for processing instruction research.

The phenomenology of religious life: Nietzsche and Bergson

In this paper I identify and discuss some themes in the thought of Nietzsche and Bergson respectively as these bear upon the wider project to which the paper contributes – the articulation of a philosophical naturalism which offers a non-reductive account of the origin and nature of religion on the basis that the real is 'religious' in essence. Implicitly, an alternative is thereby proposed to the approaches and presuppositions of the 'theological turn' perspective within contemporary 'continental philosophy of religion'. [PROVIDED BY THE AUTHOR]