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).

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.

The Whitby life of Gregory the Great: exegesis and hagiography

The eight-century Whitby Vita Gregorii is one of the earliest examples of Anglo-Saxon hagiography, and is the earliest surviving life of Gregory the Great (590-604). The work has proved itself an anomaly in subject matter, style and approach, not least because of the writer’s apparently arbitrary insertion of an account of the retrieval of the relics of the Anglo-Saxon King Edwin (d.633). There has, however, been relatively little research on the document to date, the most recent concentrating on elements in the Gregorian material in the work. The present thesis adapts a methodology which identifies patristic exegetical themes and techniques in the Vita. That is not only in material originating from the pen of Gregory himself, which is freely quoted and cited by the writer, but also in the narrative episodes concerning the Pope. It also identifies related exegetical themes underlying the narrative of the Anglo-Saxon material in the document, and this suggests that the work is of much greater coherence then has previously been thought. In the course of the thesis some of the Vita Gregorii’s major patristic themes are compared with Bede and other insular writers in the presentation of topics that have been of considerable interest to insular historians in recent years. That is themes including: the conversion and salvation of the English people; the ideal pastor; monastic influence on formation of Episcopal spiritual authority; relations between king and bishop. The thesis also includes a re-evaluation of the possible historical context and purpose of the work, and demonstrates the value of a proper understanding of the Vita’s spiritual nature in order to achieve this. Finally the research is supported by a new structural analysis of the entire Vita Gregorii as an artefact formed within literary traditions.

The Queen's College, Cork: its origins and early history, 1803-1858

This work examines the origins and early history of the Queen's College, Cork. Designedly there is as much stress on the origins as on the early history, for it is the contention of the work that the College was something more than a legislative mushroom. It was very much in the tradition of the civic universities which added an exciting new dimension to academic life in these islands in the nineteenth century. The first chapter surveys university practice and thinking at the opening of the century, relying exclusively on published sources. The second chapter is devoted specifically to the state of learning in Cork during the period, and makes extensive use of hitherto unpublished manuscript material in relation to the Royal Cork Institution. The third chapter deals with the highly significant evidence on education embodied in the Report of the Select Committee on Irish Education of 1838. This material has not previously been published. In chapter four an extended study is made of relevant letters in the manuscript correspondence of Sir Robert Peel - even the most recent authoritative biography has ignored this material. The remaining three chapters are devoted more specifically to the College, both in the formulation or policy and in its practical working. In chapter six there is an extended survey of early College life based exclusively on hitherto unpublished manuscript material in the College Archives. All of these sources, together with incidental published material, are set out at the end of each chapter.

A social history of sport in Cork, Tipperary and Waterford, c. 1880-1930

This thesis seeks to explore the development of sport in Munster in the late nineteenth and early twentieth centuries by comparing developments in three counties: Cork, Tipperary and Waterford. In particular this thesis considers the development of rugby and soccer in comparative perspective across these three counties, asking what local factors impacted on their uneven development in the region and considering the extent to which the traditional model of diffusion applies to the reception of these sports in the three counties. By giving consideration to these two particular non-indigenous sports, the thesis will, through answering that question, explore ideas of cultural reception, national identity and class as expressed at local level. These themes will be explored by placing the comparative analysis of these two sports into a wider context of sporting development regionally and nationally in the period, in particular the emerging commercialisation of sport, and also the diverse sporting culture of which these two sports were a part. Utilising a wide range of archival sources from local, national and sporting newspapers, to club records, official publications and ephemera this thesis builds a picture of sport in Munster that is deeply rooted in the community, and that forms an important facet of the social world of Cork, Tipperary and Waterford from 1880-1930.

College adjustment, depressive symptoms and peer support among undergraduate university students

Background: College adjustment is a developmental milestone that can be stressful and may lead to mental health problems such as depression. Support during this adjustment period is seen as essential, however it is unknown if informal peer support from fellow students has any impact on either college adjustment or depressive symptoms. Aim: To identify levels of social and personal college adjustment, depressive symptoms and peer support among students, and to examine the relationship between the variables. Design: A quantitative correlational design was used Instruments: Data were collected using two subscales of the Student Adaptation to College Questionnaire; the Centre for Epidemiology Depressive Symptoms Scale and a subscale of the Peer Support Evaluation Inventory. Sample: The sample consisted of 417, first (n=188), second (n=134) and fourth (n=94) year nursing and midwifery students from one University in Ireland. Findings: The findings indicated that 20% of participants were poorly personally adjusted and 9% poorly socially adjusted. Furthermore, 34% of participants experienced significant depressive symptoms. Most students had good levels of peer support. Statistically significant relationships were found between all key variables, the strongest of which were between personal adjustment and depressive symptoms and social adjustment and depressive symptoms. Differences in adjustment and depressive symptom scores were found based on year of study, with second year students experiencing more depressive symptoms and having poorer personal adjustment scores. Participants who had poor relationships with their father’s experienced greater depressive symptoms and had more difficulties personally and socially adjusting to college. The alcohol consumption of participants had a statistically significant correlation with college adjustment, depressive symptoms and peer support, with higher consumption having a positive impact on the variables.

ION, OPERA IN SEVEN SCENES, BASED ON EURIPIDES ORIGINAL PLAY

The opera ION serves as my Doctoral Dissertation at the University of Maryland School of Music. The librettist of the opera is Nick Olcott, Opera Assistant Director at the University. My interest in this little-known play of Euripides began with my work with Professor Lillian Doherty of the University's Classics Department. Since I am fluent in Greek, I was able to read the play in original, becoming aware of nuances of meaning absent in the standard English translations. Professor Leon Major, Artistic Director of the University's Opera Studio, was enthusiastic about the choice of this play as the basis for an opera, and has been very generous of his time in showing me what must be done to turn a play into an opera. ION is my first complete stage work for voices and constitutes an ambitious project. The opera is scored for a small chamber orchestra, consisting of Saxophone, Percussion (many types), Piano, a Small Chorus of six singers, as well as five Soloists. An orchestra of this size is adequate for the plot, and also provides support for various new vocal techniques, alternating between singing and speaking, as well as traditional arias. In ION, I incorporate Greek folk elements, which I know first-hand from my Balkan background, as well as contemporary techniques which I have absorbed during my graduate work at Boston University and the University of Maryland. Euripides' ION has fascinated me for two reasons in particular: its connection with founding myth of Athens, and the suggestiveness of its plot, which turns on the relationship of parents to children. In my interpretation, the leading character Ion is seen as emblematic for today's teenagers. Using the setting of the classic play, I hope to create a modern transformation of a myth, not to simply retell it. To this end, hopefully a new opera form will rise, as valid for our times as Verdi and Wagner were for theirs.

Benefits and Effects of Interactive Gaming Exercise as Compared to Traditional Exercise Techniques: An Investigation of the Relationship Between Physical Activity Levels and Mode of Activity in College Students

Gemstone Team F.I.T.N.E.S.S. (Fun Interactive Techniques for New Exercise and Sport Styles)

Crime in College Park: understanding crime levels, perceptions, and environmental design in an off-campus student-occupied neighborhood

Gemstone Team Crime Prevention and Perception

A meta-analysis of the effectiveness of intelligent tutoring systems on college students' academic learning

© 2013 American Psychological Association.This meta-analysis synthesizes research on the effectiveness of intelligent tutoring systems (ITS) for college students. Thirty-five reports were found containing 39 studies assessing the effectiveness of 22 types of ITS in higher education settings. Most frequently studied were AutoTutor, Assessment and Learning in Knowledge Spaces, eXtended Tutor-Expert System, and Web Interface for Statistics Education. Major findings include (a) Overall, ITS had a moderate positive effect on college students' academic learning (g = .32 to g = .37); (b) ITS were less effective than human tutoring, but they outperformed all other instruction methods and learning activities, including traditional classroom instruction, reading printed text or computerized materials, computer-assisted instruction, laboratory or homework assignments, and no-treatment control; (c) ITS's effectiveness did not significantly differ by different ITS, subject domain, or the manner or degree of their involvement in instruction and learning; and (d) effectiveness in earlier studies appeared to be significantly greater than that in more recent studies. In addition, there is some evidence suggesting the importance of teachers and pedagogy in ITS-assisted learning.

Mental hoop diaries: emotional memories of a college basketball game in rival fans.

The rivalry between the men's basketball teams of Duke University and the University of North Carolina-Chapel Hill (UNC) is one of the most storied traditions in college sports. A subculture of students at each university form social bonds with fellow fans, develop expertise in college basketball rules, team statistics, and individual players, and self-identify as a member of a fan group. The present study capitalized on the high personal investment of these fans and the strong affective tenor of a Duke-UNC basketball game to examine the neural correlates of emotional memory retrieval for a complex sporting event. Male fans watched a competitive, archived game in a social setting. During a subsequent functional magnetic resonance imaging session, participants viewed video clips depicting individual plays of the game that ended with the ball being released toward the basket. For each play, participants recalled whether or not the shot went into the basket. Hemodynamic signal changes time locked to correct memory decisions were analyzed as a function of emotional intensity and valence, according to the fan's perspective. Results showed intensity-modulated retrieval activity in midline cortical structures, sensorimotor cortex, the striatum, and the medial temporal lobe, including the amygdala. Positively valent memories specifically recruited processing in dorsal frontoparietal regions, and additional activity in the insula and medial temporal lobe for positively valent shots recalled with high confidence. This novel paradigm reveals how brain regions implicated in emotion, memory retrieval, visuomotor imagery, and social cognition contribute to the recollection of specific plays in the mind of a sports fan.

Effects of Web-Based Self-Reporting: College Students’ Self-Efficacy Regarding Fruit and Vegetable Intake

This study evaluated the effect of an online diet-tracking tool on college students’ self-efficacy regarding fruit and vegetable intake. A convenience sample of students completed online self-efficacy surveys before and after a six-week intervention in which they tracked dietary intake with an online tool. Group one (n=22 fall, n=43 spring) accessed a tracking tool without nutrition tips; group two (n=20 fall, n=33 spring) accessed the tool and weekly nutrition tips. The control group (n=36 fall, n=60 spring) had access to neither. Each semester there were significant changes in self-efficacy from pre- to post-test for men and for women when experimental groups were combined (p<0.05 for all); however, these changes were inconsistent. Qualitative data showed that participants responded well to the simplicity of the tool, the immediacy of feedback, and the customized database containing foods available on campus. Future models should improve user engagement by increasing convenience, potentially by automation.

Las representaciones gráficas en la resolución de problemas de tipo olimpiadas: una experiencia de club matemático

Este trabajo de investigación supone un esfuerzo por comprender mejor el papel que las representaciones gráficas pueden jugar en la resolución de problemas matemáticos y se ha centrado en el estudio sistemático de los aspectos siguientes: los elementos que determinan la elección, la interpretación y las modificaciones de las representaciones gráficas en los comportamientos de resolución de problemas; las consecuencias de un entrenamiento en resolución de problemas en la utilización de representaciones gráficas. Dicho estudio ha estado motivado por la constatación del deterioro sufrido por la educación matemática, y en particular por la resolución de “verdaderos problemas" en España en las últimas décadas, y también por el declive del aspecto visual de las matemáticas en beneficio de los aspectos simbólicos, verbales y analíticos.