Smartphone-Based pH Sensor for Home Monitoring of Pulmonary Exacerbations in Cystic Fibrosis.

Currently, Cystic Fibrosis (CF) patients lack the ability to track their lung health at home, relying instead on doctor checkups leading to delayed treatment and lung damage. By leveraging the ubiquity of the smartphone to lower costs and increase portability, a smartphone-based peripheral pH measurement device was designed to attach directly to the headphone port to harvest power and communicate with a smartphone application. This platform was tested using prepared pH buffers and sputum samples from CF patients. The system matches within ~0.03 pH of a benchtop pH meter while fully powering itself and communicating with a Samsung Galaxy S3 smartphone paired with either a glass or Iridium Oxide (IrOx) electrode. The IrOx electrodes were found to have 25% higher sensitivity than the glass probes at the expense of larger drift and matrix sensitivity that can be addressed with proper calibration. The smartphone-based platform has been demonstrated as a portable replacement for laboratory pH meters, and supports both highly robust glass probes and the sensitive and miniature IrOx electrodes with calibration. This tool can enable more frequent pH sputum tracking for CF patients to help detect the onset of pulmonary exacerbation to provide timely and appropriate treatment before serious damage occurs

Towards Correctness of Program Transformations Through Unification and Critical Pair Computation

Correctness of program transformations in extended lambda calculi with a contextual semantics is usually based on reasoning about the operational semantics which is a rewrite semantics. A successful approach to proving correctness is the combination of a context lemma with the computation of overlaps between program transformations and the reduction rules, and then of so-called complete sets of diagrams. The method is similar to the computation of critical pairs for the completion of term rewriting systems. We explore cases where the computation of these overlaps can be done in a first order way by variants of critical pair computation that use unification algorithms. As a case study we apply the method to a lambda calculus with recursive let-expressions and describe an effective unification algorithm to determine all overlaps of a set of transformations with all reduction rules. The unification algorithm employs many-sorted terms, the equational theory of left-commutativity modelling multi-sets, context variables of different kinds and a mechanism for compactly representing binding chains in recursive let-expressions.Comment: In Proceedings UNIF 2010, arXiv:1012.455

Calibration of Strong-Motion Models for Central America Region

We present the results of a study aimed at choosing the more suitable strong-motion models for seismic hazard analysis in the Central America (CA) Region. After a careful revision of the state of the art, different models developed for subduction and volcanic crustal zones, in tectonic environment similar to those of CA, were selected. These models were calibrated with accelerograms recorded in Costa Rica, Nicaragua and El Salvador. The peak ground acceleration PGA and Spectral Acceleration SA (T) derived from the records were compared with the ones predicted by the models in similar conditions of magnitude, distance and soil. The type of magnitude (Ms, Mb, Mw), distance (Rhyp, Rrup, etc) and ground motion parameter (maximum horizontal component, medium, etc ) was taken into account in the comparison with the real data. As results of the analysis, the models which present a best fit with the local data were identified. These models have been applied for carrying out seismic hazard analysis in the region, in the frame of the RESIS II project financed for the Norway Cooperation Agency (NORAD)

Innovation in patient-centered care: lessons from a qualitative study of innovative health care organizations in Washington State

Background Growing interest in the promise of patient-centered care has led to numerous health care innovations, including the patient-centered medical home, shared decision-making, and payment reforms. How best to vet and adopt innovations is an open question. Washington State has been a leader in health care reform and is a rich laboratory for patient-centered innovations. We sought to understand the process of patient-centered care innovation undertaken by innovative health care organizations – from strategic planning to goal selection to implementation to maintenance. Methods We conducted key-informant interviews with executives at five health plans, five provider organizations, and ten primary care clinics in Washington State. At least two readers of each interview transcript identified themes inductively; final themes were determined by consensus. Results Innovation in patient-centered care was a strategic objective chosen by nearly every organization in this study. However, other goals were paramount: cost containment, quality improvement, and organization survival. Organizations commonly perceived effective chronic disease management and integrated health information technology as key elements for successful patient-centered care innovation. Inertia, resource deficits, fee-for-service payment, and regulatory limits on scope of practice were cited as barriers to innovation, while organization leadership, human capital, and adaptive culture facilitated innovation. Conclusions Patient-centered care innovations reflected organizational perspectives: health plans emphasized cost-effectiveness while providers emphasized health care delivery processes. Health plans and providers shared many objectives, yet the two rarely collaborated to achieve them. The process of innovation is heavily dependent on organizational culture and leadership. Policymakers can improve the pace and quality of patient-centered innovation by setting targets and addressing conditions for innovation

L-functions with large analytic rank and abelian varieties with large algebraic rank over function fields

The goal of this paper is to explain how a simple but apparently new fact of linear algebra together with the cohomological interpretation of L-functions allows one to produce many examples of L-functions over function fields vanishing to high order at the center point of their functional equation. The main application is that for every prime p and every integer g>0 there are absolutely simple abelian varieties of dimension g over Fp(t) for which the BSD conjecture holds and which have arbitrarily large rank.Comment: To appear in Inventiones Mathematica

The Mineralogical and Chemical Case for Habitability at Yellowknife Bay, Gale Crater, Mars

Sediments of the Yellowknife Bay formation (Gale crater) include the Sheepbed member, a mudstone cut by light-toned veins. Two drill samples, John Klein and Cumberland, were collected and analyzed by the CheMin XRD/XRF instrument and the Sample Analysis at Mars (SAM) evolved gas and isotopic analysis suite of instruments. Drill cuttings were also analyzed by the Alpha Particle X-ray Spectrometer (APXS) for bulk composition. The CheMin XRD analysis shows that the mudstone contains basaltic minerals (Fe-forsterite, augite, pigeonite, plagioclase), as well as Fe-oxide/hydroxides, Fe-sulfides, amorphous materials, and trioctahedral phyllosilicates. SAM evolved gas analysis of higher-temperature OH matches the CheMin XRD estimate of ~20% clay minerals in the mudstone. The light-toned veins contain Ca-sulfates; anhydrite and bassanite are detected by XRD but gypsum is also indicated from Mastcam spectral mapping. These sulfates appear to be almost entirely restricted to late-diagenetic veins. The sulfate content of the mudstone matrix itself is lower than other sediments analyzed on Mars. The presence of phyllosilicates indicates that the activity of water was high during their formation and/or transport and deposition (should they have been detrital). Lack of chlorite places limits on the maximum temperature of alteration (likely <100 C). The presence of Ca-sulfates rather than Mg- or Fe-sulfates suggests that the pore water pH was near-neutral and of relatively low ionic strength (although x-ray amorphous Mg-and Fe- sulfates could be present and undetectable by CheMin). The presence of Fe and S in both reduced and oxidized states represents chemical disequilibria that could have been utilized by chemolithoautotrophic biota, if present. When compared to the nearby Rocknest sand shadow mineralogy or the normative mineralogy of Martian soil, both John Klein and Cumberland exhibit a near-absence of olivine and a surplus of magnetite (7-9% of the crystalline component). The magnetite is interpreted as an authigenic product formed when olivine was altered to phyllosilicate. Saponitization of olivine (a process analogous to serpentinization) could have produced H2 in situ. Indeed, early diagenetic hollow nodules ("minibowls") present in the Cumberland mudstone are interpreted by some as forming when gas bubbles accumulated in the unconsolidated mudstone. Lastly, all of these early diagenetic features appear to have been preserved with minimal alteration since their formation, as indicated by the ease of drilling (weak lithification, lack of cementing phases), the presence of 20-30% amorphous material, and the late-stage fracturing with emplacement of calcium sulfate veins and minibowl infills, where they were intersected by veins. A rough estimate of the minimum duration of the lacustrine environment is provided by the minimum thickness of the Sheepbed member. Given 1.5 meters, and applying a mean sediment accumulation rate for lacustrine strata of 1 m/1000 yrs yields a duration of 1,500 years. If the aqueous environments represented by overlying strata are considered, such as Gillespie Lake and Shaler, then this duration increases. The Sheepbed mudstone meets all the requirements of a habitable environment: Aqueous deposition at clement conditions of P, T, pH, Eh and ionic strength, plus the availability of sources of chemical energy

The Upper Respiratory Tract as a Microbial Source for Pulmonary Infections in Cystic Fibrosis. Parallels from Island Biogeography

A continuously mixed series of microbial communities inhabits various points of the respiratory tract, with community composition determined by distance from colonization sources, colonization rates, and extinction rates. Ecology and evolution theory developed in the context of biogeography is relevant to clinical microbiology and could reframe the interpretation of recent studies comparing communities from lung explant samples, sputum samples, and oropharyngeal swabs. We propose an island biogeography model of the microbial communities inhabiting different niches in human airways. Island biogeography as applied to communities separated by time and space is a useful parallel for exploring microbial colonization of healthy and diseased lungs, with the potential to inform our understanding of microbial community dynamics and the relevance of microbes detected in different sample types. In this perspective, we focus on the intermixed microbial communities inhabiting different regions of the airways of patients with cystic fibrosis

Implementing Responsible AI: Tensions and Trade-Offs Between Ethics Aspects

Many sets of ethics principles for responsible AI have been proposed to allay concerns about misuse and abuse of AI/ML systems. The underlying aspects of such sets of principles include privacy, accuracy, fairness, robustness, explainability, and transparency. However, there are potential tensions between these aspects that pose difficulties for AI/ML developers seeking to follow these principles. For example, increasing the accuracy of an AI/ML system may reduce its explainability. As part of the ongoing effort to operationalise the principles into practice, in this work we compile and discuss a catalogue of 10 notable tensions, trade-offs and other interactions between the underlying aspects. We primarily focus on two-sided interactions, drawing on support spread across a diverse literature. This catalogue can be helpful in raising awareness of the possible interactions between aspects of ethics principles, as well as facilitating well-supported judgements by the designers and developers of AI/ML systems

Understanding Urban Demand for Wild Meat in Vietnam: Implications for Conservation Actions

Vietnam is a significant consumer of wildlife, particularly wild meat, in urban restaurant settings. To meet this demand, poaching of wildlife is widespread, threatening regional and international biodiversity. Previous interventions to tackle illegal and potentially unsustainable consumption of wild meat in Vietnam have generally focused on limiting supply. While critical, they have been impeded by a lack of resources, the presence of increasingly organised criminal networks and corruption. Attention is, therefore, turning to the consumer, but a paucity of research investigating consumer demand for wild meat will impede the creation of effective consumer-centred interventions. Here we used a mixed-methods research approach comprising a hypothetical choice modelling survey and qualitative interviews to explore the drivers of wild meat consumption and consumer preferences among residents of Ho Chi Minh City, Vietnam. Our findings indicate that demand for wild meat is heterogeneous and highly context specific. Wild-sourced, rare, and expensive wild meat-types are eaten by those situated towards the top of the societal hierarchy to convey wealth and status and are commonly consumed in lucrative business contexts. Cheaper, legal and farmed substitutes for wild-sourced meats are also consumed, but typically in more casual consumption or social drinking settings. We explore the implications of our results for current conservation interventions in Vietnam that attempt to tackle illegal and potentially unsustainable trade in and consumption of wild meat and detail how our research informs future consumer-centric conservation actions

Molecular and Microbial Microenvironments in Chronically Diseased Lungs Associated with Cystic Fibrosis.

To visualize the personalized distributions of pathogens and chemical environments, including microbial metabolites, pharmaceuticals, and their metabolic products, within and between human lungs afflicted with cystic fibrosis (CF), we generated three-dimensional (3D) microbiome and metabolome maps of six explanted lungs from three cystic fibrosis patients. These 3D spatial maps revealed that the chemical environments differ between patients and within the lungs of each patient. Although the microbial ecosystems of the patients were defined by the dominant pathogen, their chemical diversity was not. Additionally, the chemical diversity between locales in the lungs of the same individual sometimes exceeded interindividual variation. Thus, the chemistry and microbiome of the explanted lungs appear to be not only personalized but also regiospecific. Previously undescribed analogs of microbial quinolones and antibiotic metabolites were also detected. Furthermore, mapping the chemical and microbial distributions allowed visualization of microbial community interactions, such as increased production of quorum sensing quinolones in locations where Pseudomonas was in contact with Staphylococcus and Granulicatella, consistent with in vitro observations of bacteria isolated from these patients. Visualization of microbe-metabolite associations within a host organ in early-stage CF disease in animal models will help elucidate the complex interplay between the presence of a given microbial structure, antibiotics, metabolism of antibiotics, microbial virulence factors, and host responses.IMPORTANCE Microbial infections are now recognized to be polymicrobial and personalized in nature. Comprehensive analysis and understanding of the factors underlying the polymicrobial and personalized nature of infections remain limited, especially in the context of the host. By visualizing microbiomes and metabolomes of diseased human lungs, we reveal how different the chemical environments are between hosts that are dominated by the same pathogen and how community interactions shape the chemical environment or vice versa. We highlight that three-dimensional organ mapping methods represent hypothesis-building tools that allow us to design mechanistic studies aimed at addressing microbial responses to other microbes, the host, and pharmaceutical drugs