A Catechumenate for the Korean Methodist Church: Ressourcement, Formation and a Response to Secularism and Korean Traditional Religions

Research by Korean sociologists of religion indicates that Korean Protestantism has lost much of the spiritual vitality of preceding generations and that it increasingly shows the influences of Korean shamanism, Neo-Confucianism, and Western secularism and consumerism. Suggestions in the areas of homiletics and Christian social ethics have been offered to help steer the Korean Protestant churches away from these worldviews toward a more biblically-based course. Drawing upon and expanding these earlier studies and proposals, the current work recommends another method for developing a biblically-based, spiritually-revitalized, baptismally-shaped and ministry-committed Protestantism in Korea: a pre-baptismal adult catechumenate, in this case one designed for the context of the Korean Methodist Church. In order to produce a renewed catechumenal structure for Korean Methodism, adult catechumenal processes as well as baptismal theologies and rites are examined and analyzed from three principal sources: the first five centuries of the Christian church, and especially the mystagogical literature of the fourth century; the Roman Catholic Rite of Christian Initiation of Adults developed after the Second Vatican Council; and the United Methodist Church in the United States, both texts officially authorized by the denomination's General Conference and unofficial materials, among them resources for an adult catechumenate in the Come to the Waters series. In addition, previous and current practices of preparation for baptism in the Korean Methodist Church are identified and critiqued. From these findings a set of principles is put forward that guide the proposed catechumenal structure.

Homosexuality and the United Methodist Church: An Ecclesiological Dilemma

Since 1968 The United Methodist Church has publicly debated the status and roles of homosexual persons in the life of the Church, creating considerable conflict within the Denomination. Academic research on the question of homosexuality and the Church has often focused on theological understandings of homosexuality and on the ways the conflict reflects broader "culture wars" in society. Yet little attention has been given to how the Church's concrete practices and polity toward homosexual persons reflect underlying tensions within the ecclesiological identity of the Denomination. This dissertation proposes that the issue of homosexuality is a critically important case study for exploring the practical ecclesiology of The United Methodist Church. In an effort to identify tensions within contemporary United Methodism's practical ecclesiology, it traces in detail the history of the denominational debate over homosexuality since 1968 and articulates the diverse and often conflicting ecclesiological commitments embedded within that debate. Focusing on the debate itself as a practice of the Church, this dissertation illustrates the ways in which the controversy over sexuality reflects the Denomination's conflicted practical ecclesiology. By examining the rhetoric of the sexuality debates in The United Methodist Church from 1968 to 2008, and by articulating the ecclesiological commitments embedded in those debates, the dissertation reveals a fundamental conflict over interpretations of ecclesial unity. Moreover, the dissertation explores the extent to which the conflict over unity reflects ecclesiological tensions present in John Wesley's own practical ecclesiology; and it asks whether or not contemporary interpretations of United Methodist ecclesiology might provide a normative framework for assessing and resolving the underlying ecclesial conflict at work in sexuality debates. The dissertation concludes by exploring the practice of public narrative as a concrete strategy that might be employed by the Denomination to reconcile the diverging ecclesiological visions within the contemporary church so that a clear and consensual ecclesiology might emerge.

An Examination of a Church-Based Recovery Program on the Quality of Physical and Spiritual Life of Mentally Ill Persons in Korea

This study explores the effectiveness of a Church-based recovery program for the mentally ill in Korea where many Christian communities view mental illness as evidence of sin. Building on theological and psychological literature, an empirical study was conducted with participants in the alternative program of the Han-ma-um community. Data analysis revealed that this program, which views mental disorders as illness rather than sin, helps participants build self-respect and enables families to provide support as they move toward recovery. Based on this empirical examination, recommendations for refinement and expansion of the program and avenues for future research are proposed.

The Practice and Understanding of the Eucharist in the United Church of Christ: A Practical Theological Study

This dissertation explores the complexity of the understanding and practice of the Eucharist in the United Church of Christ as revealed in a textual analysis of the UCC Book of Worship (1986) and a qualitative study of five representative UCC congregations. Little has been written on this topic, save for several brief articles on the history of the theology of the sacrament in the two bodies that merged to form the UCC in 1957: the Congregational Christian Churches (CC) and the Evangelical and Reformed Church (E&R). This dissertation advances the topic through a practical-theological study that brings into critical conversation contemporary eucharistic practices in five congregations and a historical theological analysis of liturgical traditions in the UCC and antecedent denominations. Through this conversation, the study articulates common themes of a UCC eucharistic theology and explores implications for ongoing theology and practice in the denomination. The introduction explicates the methodology employed in this study, guided by Don Browning's work. The first two chapters present the findings of the focus group interviews and an interpretation of those results respectively. Chapter three analyzes the eucharistic liturgies in three historic books of worship used in the E&R heritage. In chapter four, two of the antecedent resources utilized in the CC tradition are analyzed. The short-lived Hymnal of the United Church of Christ, published in 1974, includes liturgies that would find fuller expression in the 1986 Book of Worship. That hymnal is examined in chapter five. Chapter six interprets the two services of "Word and Sacrament" found in the Book of Worship. Chapter seven offers a comparative analysis of the focus group findings and the theology inherent in the Book of Worship. The final chapter offers strategic recommendations for revised theory and practice. The conclusion points toward areas for further research: it propels a critical conversation around the notion of covenant, Christ's presence in the meal, and who can receive and officiate at the Eucharist. This dissertation concludes that the UCC lives within a balance of multiple, complementary theologies and challenges the denomination to make stronger connections between the meal and mission, reconciliation, and tradition.

Narratives of Holiness Identity: The "Sanctified Person" in the Church of the Nazarene

This dissertation is an exercise in practical theology, which investigates and responds to the problem of changing holiness identity in the Church of the Nazarene. The first part of the study is an empirical investigation into the social context of contemporary Nazarene holiness identity and practices among Nazarenes in three congregations located in the Northeast United States. Previous research relied too heavily on secularization and sect-church theory to understand the dynamics of religious identity change among Nazarenes. The theological result was a pessimistic appraisal of the future possibilities of holiness identity and practice in the Church of the Nazarene. This study employs an alternative theory—Nancy T. Ammerman's theory of narrative religious identity—to understand the dynamics of lived religious life within these congregations and to identify the various holiness narratives at play. Ammerman's theory facilitates an empirical description of the multiple holiness identities emerging out of the social contexts of these Nazarene congregations and offers a way to account for identity change. At the heart of this research is the theoretical notion that a particular religious identity, in the case of the Church of the Nazarene, the "sanctified person," emerges out of a particular ecclesial context characterized by religious narratives and practices that shape this identity. Chapter one reviews the problem of holiness identity in the Church of the Nazarene and offers an analysis of recent sociological attempts to understand the changing identity among Nazarenes. Chapter two draws on sociological research to describe and depict the range of views of holiness held by some contemporary Nazarenes. Chapter three identifies the varieties of holiness identity within the three Nazarene congregations that are part of the study. Chapter four investigates the social sources that shape the various holiness identities discovered in these congregations. Chapter five is a description of the many ways religious narratives are enacted and engaged within these congregations. The second part of the study is a theological critique of contemporary Nazarene holiness identity. Chapter six draws on the theory of narrative identity proposed by Nancy Ammerman and outlines a theoretical model which describes the social conditions necessary to shape holiness identity, "the sanctified person," within the context of the local congregation. Finally, chapter seven draws on the theological resources of Mennonite scholar and historian John Howard Yoder to propose a way of construing and facilitating holiness identity formation that takes the ecclesiality of hoilness more seriously, emphasizes a clearer relationship between Jesus and the "Christlikeness" that is central to holiness, and highlights the importance of religious practices in the formation of a holiness identity.

Program Representation Size in an Intermediate Language with Intersection and Union Types

The CIL compiler for core Standard ML compiles whole programs using a novel typed intermediate language (TIL) with intersection and union types and flow labels on both terms and types. The CIL term representation duplicates portions of the program where intersection types are introduced and union types are eliminated. This duplication makes it easier to represent type information and to introduce customized data representations. However, duplication incurs compile-time space costs that are potentially much greater than are incurred in TILs employing type-level abstraction or quantification. In this paper, we present empirical data on the compile-time space costs of using CIL as an intermediate language. The data shows that these costs can be made tractable by using sufficiently fine-grained flow analyses together with standard hash-consing techniques. The data also suggests that non-duplicating formulations of intersection (and union) types would not achieve significantly better space complexity.

Automatic Detection of Relevant Head Gestures in American Sign Language Communication

An automated system for detection of head movements is described. The goal is to label relevant head gestures in video of American Sign Language (ASL) communication. In the system, a 3D head tracker recovers head rotation and translation parameters from monocular video. Relevant head gestures are then detected by analyzing the length and frequency of the motion signal's peaks and valleys. Each parameter is analyzed independently, due to the fact that a number of relevant head movements in ASL are associated with major changes around one rotational axis. No explicit training of the system is necessary. Currently, the system can detect "head shakes." In experimental evaluation, classification performance is compared against ground-truth labels obtained from ASL linguists. Initial results are promising, as the system matches the linguists' labels in a significant number of cases.

An alignment based similarity measure for hand detection in cluttered sign language video

Locating hands in sign language video is challenging due to a number of factors. Hand appearance varies widely across signers due to anthropometric variations and varying levels of signer proficiency. Video can be captured under varying illumination, camera resolutions, and levels of scene clutter, e.g., high-res video captured in a studio vs. low-res video gathered by a web cam in a user’s home. Moreover, the signers’ clothing varies, e.g., skin-toned clothing vs. contrasting clothing, short-sleeved vs. long-sleeved shirts, etc. In this work, the hand detection problem is addressed in an appearance matching framework. The Histogram of Oriented Gradient (HOG) based matching score function is reformulated to allow non-rigid alignment between pairs of images to account for hand shape variation. The resulting alignment score is used within a Support Vector Machine hand/not-hand classifier for hand detection. The new matching score function yields improved performance (in ROC area and hand detection rate) over the Vocabulary Guided Pyramid Match Kernel (VGPMK) and the traditional, rigid HOG distance on American Sign Language video gestured by expert signers. The proposed match score function is computationally less expensive (for training and testing), has fewer parameters and is less sensitive to parameter settings than VGPMK. The proposed detector works well on test sequences from an inexpert signer in a non-studio setting with cluttered background.

Cuckoo: a Language for Implementing Memory- and Thread-safe System Services

This paper is centered around the design of a thread- and memory-safe language, primarily for the compilation of application-specific services for extensible operating systems. We describe various issues that have influenced the design of our language, called Cuckoo, that guarantees safety of programs with potentially asynchronous flows of control. Comparisons are drawn between Cuckoo and related software safety techniques, including Cyclone and software-based fault isolation (SFI), and performance results suggest our prototype compiler is capable of generating safe code that executes with low runtime overheads, even without potential code optimizations. Compared to Cyclone, Cuckoo is able to safely guard accesses to memory when programs are multithreaded. Similarly, Cuckoo is capable of enforcing memory safety in situations that are potentially troublesome for techniques such as SFI.

Safe Compositional Specification of Networking Systems: TRAFFIC The Language and Its Type Checking

This paper formally defines the operational semantic for TRAFFIC, a specification language for flow composition applications proposed in BUCS-TR-2005-014, and presents a type system based on desired safety assurance. We provide proofs on reduction (weak-confluence, strong-normalization and unique normal form), on soundness and completeness of type system with respect to reduction, and on equivalence classes of flow specifications. Finally, we provide a pseudo-code listing of a syntax-directed type checking algorithm implementing rules of the type system capable of inferring the type of a closed flow specification.

Facial Feature Tracking and Occlusion Recovery in American Sign Language

Facial features play an important role in expressing grammatical information in signed languages, including American Sign Language(ASL). Gestures such as raising or furrowing the eyebrows are key indicators of constructions such as yes-no questions. Periodic head movements (nods and shakes) are also an essential part of the expression of syntactic information, such as negation (associated with a side-to-side headshake). Therefore, identification of these facial gestures is essential to sign language recognition. One problem with detection of such grammatical indicators is occlusion recovery. If the signer's hand blocks his/her eyebrows during production of a sign, it becomes difficult to track the eyebrows. We have developed a system to detect such grammatical markers in ASL that recovers promptly from occlusion. Our system detects and tracks evolving templates of facial features, which are based on an anthropometric face model, and interprets the geometric relationships of these templates to identify grammatical markers. It was tested on a variety of ASL sentences signed by various Deaf native signers and detected facial gestures used to express grammatical information, such as raised and furrowed eyebrows as well as headshakes.

Type Systems for a Network Specification Language With Multiple-Choice Let

When analysing the behavior of complex networked systems, it is often the case that some components within that network are only known to the extent that they belong to one of a set of possible "implementations" – e.g., versions of a specific protocol, class of schedulers, etc. In this report we augment the specification language considered in BUCSTR-2004-021, BUCS-TR-2005-014, BUCS-TR-2005-015, and BUCS-TR-2005-033, to include a non-deterministic multiple-choice let-binding, which allows us to consider compositions of networking subsystems that allow for looser component specifications.