The Hawaiian Islands, as developed by missionary labors. By Andrew P. Peabody. From the Boston Review for May, 1865.

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

Catholic grievances in relation to the administration of Indian affairs : being a report presented to the Catholic Young Men's National Union, at its eighth annual convention, held in Boston, Massachusetts, May 10th and 11th, 1882

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

Seventy-five years in the Madura Mission : a history of the mission in South India under the American Board of Commissioners for Foreign Missions, Boston, Massachusetts, U.S.A. / by John S. Chandler.

http://www.archive.org/details/75yearsmadurami00chanuoft

Our west China mission : being a somewhat extensive summary by the missionaries on the field of the work during the first twenty-five years of the Canadian Methodist mission in the province of Szechwan, western China.

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

A Catalogue of the Alpha Chapter Boston University Graduates of the School of Theology 1850-1905

A listing of graduate of Boston University School of Theology and predecessor school. Arranged by class year, alphabetical by last name and geographically by region.

Living with Jesus: Practical Christologies in Two Boston American Baptist Churches

This dissertation, an exercise in practical theology, undertakes two tasks. First, it examines how the story of Jesus is appropriated and embodied in the corporate practices of worship and mission (congregational christology) and in the daily lives of ordinary believers (everyday christology) at First Baptist Church in Jamaica Plain and Ruggles Baptist Church in Boston, Massachusetts. Second, it places these practical christologies in dialogue with the academic christology of James McClendon to see what creative and critical insights emerge. A key assumption of the study is that doctrinal reflection is precipitated when the story of Jesus interacts with human stories in both autobiographical and public domains. "Living with Jesus" contends that the understandings of Jesus present in the everyday lives of believers and in a congregation's worship and mission merit the attention of scholars in the disciplines of sociology and theology. This dissertation demonstrates that scholarly research on the visible church, everyday religion, and Christian doctrine pays limited attention to the theologies operative in the everyday lives of believers and congregational practices. A gap exists in scholarly knowledge, which "Living with Jesus" attempts to redress. The empirical results of qualitative research fieldwork are set in the context of historical overviews and contemporary snapshots of First Baptist Church in Jamaica Plain and Ruggles Baptist Church. "Living with Jesus" identifies three types of practical christology operative across the two congregations in corporate practices and the everyday lives of individuals: evangelical christology; exemplarist christology; and prophetic christology. The empirical research shows that for a significant minority of people in the sample, the prevailing understanding of Jesus can best be described as a hybrid christology. By paying attention to McClendon's treatment of the Jesus story and placing the three identified practical christologies in dialogue with his christology, it becomes apparent that each practical christology is simultaneously liberating and limiting. This dissertation argues that evaluating a particular practical christology in relation to the Gospel requires an intentional and disciplined effort on the part of congregations, ordinary believers, and theologians. Questions are proposed to assist further christological reflection on worship, mission, pastoral care, and Christian education.

Library Technology Services at Boston University: an un-roadmap

A working paper for discussion

TCP Boston: A Fragmentation-tolerant TCP Protocol for ATM Networks

The popularity of TCP/IP coupled with the premise of high speed communication using Asynchronous Transfer Mode (ATM) technology have prompted the network research community to propose a number of techniques to adapt TCP/IP to ATM network environments. ATM offers Available Bit Rate (ABR) and Unspecified Bit Rate (UBR) services for best-effort traffic, such as conventional file transfer. However, recent studies have shown that TCP/IP, when implemented using ABR or UBR, leads to serious performance degradations, especially when the utilization of network resources (such as switch buffers) is high. Proposed techniques-switch-level enhancements, for example-that attempt to patch up TCP/IP over ATMs have had limited success in alleviating this problem. The major reason for TCP/IP's poor performance over ATMs has been consistently attributed to packet fragmentation, which is the result of ATM's 53-byte cell-oriented switching architecture. In this paper, we present a new transport protocol, TCP Boston, that turns ATM's 53-byte cell-oriented switching architecture into an advantage for TCP/IP. At the core of TCP Boston is the Adaptive Information Dispersal Algorithm (AIDA), an efficient encoding technique that allows for dynamic redundancy control. AIDA makes TCP/IP's performance less sensitive to cell losses, thus ensuring a graceful degradation of TCP/IP's performance when faced with congested resources. In this paper, we introduce AIDA and overview the main features of TCP Boston. We present detailed simulation results that show the superiority of our protocol when compared to other adaptations of TCP/IP over ATMs. In particular, we show that TCP Boston improves TCP/IP's performance over ATMs for both network-centric metrics (e.g., effective throughput) and application-centric metrics (e.g., response time).

Exploiting Redundancy for Timeliness in TCP Boston

While ATM bandwidth-reservation techniques are able to offer the guarantees necessary for the delivery of real-time streams in many applications (e.g. live audio and video), they suffer from many disadvantages that make them inattractive (or impractical) for many others. These limitations coupled with the flexibility and popularity of TCP/IP as a best-effort transport protocol have prompted the network research community to propose and implement a number of techniques that adapt TCP/IP to the Available Bit Rate (ABR) and Unspecified Bit Rate (UBR) services in ATM network environments. This allows these environments to smoothly integrate (and make use of) currently available TCP-based applications and services without much (if any) modifications. However, recent studies have shown that TCP/IP, when implemented over ATM networks, is susceptible to serious performance limitations. In a recently completed study, we have unveiled a new transport protocol, TCP Boston, that turns ATM's 53-byte cell-oriented switching architecture into an advantage for TCP/IP. In this paper, we demonstrate the real-time features of TCP Boston that allow communication bandwidth to be traded off for timeliness. We start with an overview of the protocol. Next, we analytically characterize the dynamic redundancy control features of TCP Boston. Next, We present detailed simulation results that show the superiority of our protocol when compared to other adaptations of TCP/IP over ATMs. In particular, we show that TCP Boston improves TCP/IP's performance over ATMs for both network-centric metrics (e.g., effective throughput and percent of missed deadlines) and real-time application-centric metrics (e.g., response time and jitter).

Efficient Support for Common Relations in Lightweight Formal Reasoning Systems

In work that involves mathematical rigor, there are numerous benefits to adopting a representation of models and arguments that can be supplied to a formal reasoning or verification system: reusability, automatic evaluation of examples, and verification of consistency and correctness. However, accessibility has not been a priority in the design of formal verification tools that can provide these benefits. In earlier work [Lap09a], 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. This work expands one aspect of the earlier work by considering more extensively an essential capability for any formal reasoning system whose design is oriented around simulating the natural context: native support for a collection of mathematical relations that deal with common constructs in arithmetic and set theory. We provide a formal definition for a context of relations that can be used to both validate and assist formal reasoning activities. We provide a proof that any algorithm that implements this formal structure faithfully will necessary converge. Finally, we consider the efficiency of an implementation of this formal structure that leverages modular implementations of well-known data structures: balanced search trees and transitive closures of hypergraphs.