Early Detection of Critical Pulmonary Shunts in Infants

This paper aims to improve the design of modern Medical Cyber Physical Systems through the addition of supplemental noninvasive monitors. Specifically, we focus on monitoring the arterial blood oxygen content (CaO2), one of the most closely observed vital signs in operating rooms, currently measured by a proxy - peripheral hemoglobin oxygen saturation (SpO2). While SpO2 is a good estimate of O2 content in the finger where it is measured, it is a delayed measure of its content in the arteries. In addition, it does not incorporate system dynamics and is a poor predictor of future CaO2 values. Therefore, as a first step towards supplementing the usage of SpO2, this work introduces a predictive monitor designed to provide early detection of critical drops in CaO2 caused by a pulmonary shunt in infants. To this end, we develop a formal model of the circulation of oxygen and carbon dioxide in the body, characterized by unknown patient-unique parameters. Employing the model, we design a matched subspace detector to provide a near constant false alarm rate invariant to these parameters and modeling uncertainties. Finally, we validate our approach on real-patient data from lung lobectomy surgeries performed at the Children\u27s Hospital of Philadelphia. Given 198 infants, the detector predicted 81% of the critical drops in CaO2 at an average of about 65 seconds earlier than the SpO2-based monitor, while achieving a 0:9% false alarm rate (representing about 2 false alarms per hour)

Microbial Fuel Cells and Microbial Ecology: Applications in Ruminant Health and Production Research

Microbial fuel cell (MFC) systems employ the catalytic activity of microbes to produce electricity from the oxidation of organic, and in some cases inorganic, substrates. MFC systems have been primarily explored for their use in bioremediation and bioenergy applications; however, these systems also offer a unique strategy for the cultivation of synergistic microbial communities. It has been hypothesized that the mechanism(s) of microbial electron transfer that enable electricity production in MFCs may be a cooperative strategy within mixed microbial consortia that is associated with, or is an alternative to, interspecies hydrogen (H2) transfer. Microbial fermentation processes and methanogenesis in ruminant animals are highly dependent on the consumption and production of H2in the rumen. Given the crucial role that H2 plays in ruminant digestion, it is desirable to understand the microbial relationships that control H2 partial pressures within the rumen; MFCs may serve as unique tools for studying this complex ecological system. Further, MFC systems offer a novel approach to studying biofilms that form under different redox conditions and may be applied to achieve a greater understanding of how microbial biofilms impact animal health. Here, we present a brief summary of the efforts made towards understanding rumen microbial ecology, microbial biofilms related to animal health, and how MFCs may be further applied in ruminant research

Featherweight Jigsaw -- a minimal core calculus for modular composition of classes

We present FJig, a simple calculus where basic building blocks are classes in the style of Featherweight Java, declaring elds, methods and one constructor. However, inheritance has been generalized to the much more exible notion originally proposed in Bracha's Jigsaw framework. That is, classes play also the role of modules, that can be composed by a rich set of operators, all of which can be expressed by a minimal core. We keep the nominal approach of Java-like languages, that is, types are class names. However, a class is not necessarily a structural subtype of any class used in its de ning expression. The calculus allows the encoding of a large variety of di erent mechanisms for software composition in class-based languages, including standard inheritance, mixin classes, traits and hiding. Hence, FJig can be used as a unifying framework for analyzing existing mechanisms and proposing new extensions. We provide two di erent semantics of an FJig program: attening and direct semantics. The di erence is analogous to that between two intuitive models to understand inheritance: the former where inherited methods are copied into heir classes, and the latter where member lookup is performed by ascending the inheritance chain. Here we address equivalence of these two views for a more sophisticated composition mechanism

Method Shells: Avoiding Conflicts on Destructive Class Extensions by Implicit Context Switches

International audienceWe propose method shells, which is a module system for avoiding conflicts on customization by language mechanisms such as aspects in AspectJ and open classes in Ruby. These mechanisms allow programmers to customize a library without rewriting original source code but by only describing differences in a separate file. We call these mechanisms destructive class extensions. A problem with destructive class extensions is conflicts on customization. Different customizations may differently modify the same class. To address this problem, we propose a new module system named method shells. With this system, programmers can avoid conflicts since the module system automatically switches a set of customizations that has to be applied together according to the contexts declared by programmers. We present the idea of this module system and then its formal semantics. We also present an extension of Java that supports method shells