Volume 38, Number 1 - February 1959

Volume 38, Number 1 - February 1959. 46 pages including covers and advertisements. Williams, John, The Alembic Sullivan, Richard, Rhesus\u27 Feast Sullivan, Richard, The Little Ones Soulak, J., A Warm Victory McGeough, Thaddeus, The Greatest Drama Sullivan, Brian, Obituary Holian, William A. McGeough, Thaddeus, The Christmas Gift Aubin, Robert R., A Place of Death Sullivan, Brian, Lines I Survived the H-Bomb McGeough, Thaddeus, When Holian, William A., Landlocked Holian, William A., The Retarded Child Sullivan, Brian, Misery Holian, William A., The Challenge Holian, William A., With What Praises to Extoll Thee I Know Not Holian, William A

The Lawrence-Sullivan construction is the right model of I+I^+

We prove that the universal enveloping algebra of the Lawrence-Sullivan construction is a particular perturbation of the complete Baues-Lemaire cylinder of $S^0$. Together with other evidences we present, this exhibits the Lawrence-Sullivan construction as the right model of $I^+$. From this, we also deduce a generalized Euler formula on Bernoulli numbers.Comment: 13 page

Social support, social control and health behavior change in spouses

Our work on support processes in intimate relationships has focused on how partners in committed relationships help one another contend with personal difficulties, and how partners elicit and provide support in their day-to-day interactions. We are particularly interested in how these support skills relate to marital outcomes (Pasch & Bradbury, 1998; Pasch, Harris, Sullivan, & Bradbury, 2004; Sullivan, Pasch, Eldridge, & Bradbury, 1998) and how they relate to behavior change in spouses (Sullivan, Pasch, Johnson, & Bradbury, 2006), especially health behavior changes. In this chapter, we review research examining the effects of social support and social control on spouses\u27 health behaviors, propose a theory to account for discrepancies in these findings, and report initial data examining the usefulness of this theory in understanding the relationship between social support, social control, and partner health behavior

Crossroads, Connections, and Creativity: Musselman Library Strategic Plan

The Musselman Library Strategic Plan grew out of two all-staff meetings held in January 2007. During the first, library staff identified areas of strength and weakness, as well as opportunities for improvement and growth. Maureen Sullivan, an organization development consultant for libraries, led the next meeting. Ms. Sullivan helped to deepen the analysis begun during the previous meeting and encouraged the staff to begin envisioning the future of the Library. In late January, Robin Wagner, Director of Library Services, formed the Strategic Planning Committee (see list of participants below). The committee’s initial tasks were to complete an environmental scan and to identify upcoming trends and best practices in library services, while formulating mission and vision statements for Musselman Library. These were presented to the rest of the staff for feedback during meetings in March and April. Also in April, the Strategic Planning Committee invited other library staff to serve on task forces charged with creating goals and action items for the plan’s four core issues (see Appendix C). Maureen Sullivan facilitated the launching of these task forces, and each group, led by a member of the Strategic Planning Committee, then met independently numerous times during the next few weeks. The final task force reports were completed in early May and shared with the entire library staff. On May 21, Maureen Sullivan led an all-staff meeting to discuss the task force recommendations. Ms. Sullivan then met with the Strategic Planning Committee and Robin Wagner to begin the process of revising, prioritizing, and incorporating the goals and action items into one cohesive strategic plan. Crossroads, Connections, and Creativity: Musselman Library Strategic Plan was submitted to Robin Wagner, on June 12, 2007. [excerpt

AUnit - a testing framework for alloy

textWriting declarative models of software designs and analyzing them to detect defects is an effective methodology for developing more dependable software systems. However, writing such models correctly can be challenging for practitioners who may not be proficient in declarative programming, and their models themselves may be buggy. We introduce the foundations of a novel test automation framework, AUnit, which we envision for testing declarative models written in Alloy -- a first-order, relational language that is supported by its SAT-based analyzer. We take inspiration from the success of the family of xUnit frameworks that are used widely in practice for test automation, albeit for imperative or object-oriented programs. The key novelty of our work is to define a basis for unit testing for Alloy, specifically, to define the concepts of test case and test coverage as well as coverage criteria for declarative models. We reduce the problems of declarative test execution and coverage computation to partial evaluation without requiring SAT solving. Our vision is to blend how developers write unit tests in commonly used programming languages with how Alloy users formulate their models in Alloy, thereby facilitating the development and testing of Alloy models for both new Alloy users as well as experts. We illustrate our ideas using a small but complex Alloy model. While we focus on Alloy, our ideas generalize to other declarative languages (such as Z, B, ASM).Electrical and Computer Engineerin

Sullivan minimal models of operad algebras

preprintWe prove the existence of Sullivan minimal models of operad algebras, for a quite wide family of operads in the category of complexes of vector spaces over a field of characteristic zero. Our construction is an adaptation of Sullivan’s original step by step construction to the setting of operad algebras. The family of operads that we consider includes all operads concentrated in degree 0 as well as their minimal models. In particular, this gives Sullivan minimal models for algebras over Com, Ass and Lie, as well as over their minimal models Com8, Ass8 and Lie8. Other interesting operads, such as the operad Ger encoding Gerstenhaber algebras, also fit in our study.Preprin