Uniqueness Typing for Resource Management in Message-Passing Concurrency

We view channels as the main form of resources in a message-passing programming paradigm. These channels need to be carefully managed in settings where resources are scarce. To study this problem, we extend the pi-calculus with primitives for channel allocation and deallocation and allow channels to be reused to communicate values of different types. Inevitably, the added expressiveness increases the possibilities for runtime errors. We define a substructural type system which combines uniqueness typing and affine typing to reject these ill-behaved programs

Preparation of Pretreated Biomass

This report describes the development of the wet-explosion pretreatment technology on Douglas-fir forest residuals

Modeling the impact of checkpoints on next-generation systems

itations of its own; and (3) there is a critical need for new approaches to fault tolerance that allow continuous com The next generation of capability-class, massively parputing with minimal impact on application scalability. allel processing (MPP) systems is expected to have hundreds of thousands ofprocessors. For application-driven, periodic checkpoint operations, the state-of-the-art doe

Integrating a fiber cavity into a wheel trap for strong ion-cavity coupling

We present an ion trap with an integrated fiber cavity, designed for strong coupling at the level of single ions and photons. The cavity is aligned to the axis of a miniature linear Paul trap, enabling simultaneous coupling of multiple ions to the cavity field. We simulate how charges on the fiber mirrors affect the trap potential, and we test these predictions with an ion trapped in the cavity. Furthermore, we measure micromotion and heating rates in the setup

Outcomes of a Latino community-based intervention for the prevention of diabetes: the Lawrence Latino Diabetes Prevention Project

OBJECTIVES: We tested the effectiveness of a community-based, literacy-sensitive, and culturally tailored lifestyle intervention on weight loss and diabetes risk reduction among low-income, Spanish-speaking Latinos at increased diabetes risk. METHODS: Three hundred twelve participants from Lawrence, Massachusetts, were randomly assigned to lifestyle intervention care (IC) or usual care (UC) between 2004 and 2007. The intervention was implemented by trained Spanish-speaking individuals from the community. Each participant was followed for 1 year. RESULTS: The participants\u27 mean age was 52 years; 59% had less than a high school education. The 1-year retention rate was 94%. Compared with the UC group, the IC group had a modest but significant weight reduction (-2.5 vs 0.63 lb; P = .04) and a clinically meaningful reduction in hemoglobin A1c (-0.10% vs -0.04%; P = .009). Likewise, insulin resistance improved significantly in the IC compared with the UC group. The IC group also had greater reductions in percentage of calories from total and saturated fat. CONCLUSIONS: We developed an inexpensive, culturally sensitive diabetes prevention program that resulted in weight loss, improved HbA1c, and improved insulin resistance in a high-risk Latino population