Two new series of principles in the interpretability logic of all reasonable arithmetical theories

The provability logic of a theory T captures the structural behavior of formalized provability in T as provable in T itself. Like provability, one can formalize the notion of relative interpretability giving rise to interpretability logics. Where provability logics are the same for all moderately sound theories of some minimal strength, interpretability logics do show variations. The logic IL(All) is defined as the collection of modal principles that are provable in any moderately sound theory of some minimal strength. In this paper we raise the previously known lower bound of IL(All) by exhibiting two series of principles which are shown to be provable in any such theory. Moreover, we compute the collection of frame conditions for both series

Increasing the reliability of fully automated surveillance for central line–associated bloodstream infections

OBJECTIVETo increase reliability of the algorithm used in our fully automated electronic surveillance system by adding rules to better identify bloodstream infections secondary to other hospital-acquired infections.METHODSIntensive care unit (ICU) patients with positive blood cultures were reviewed. Central line–associated bloodstream infection (CLABSI) determinations were based on 2 sources: routine surveillance by infection preventionists, and fully automated surveillance. Discrepancies between the 2 sources were evaluated to determine root causes. Secondary infection sites were identified in most discrepant cases. New rules to identify secondary sites were added to the algorithm and applied to this ICU population and a non-ICU population. Sensitivity, specificity, predictive values, and kappa were calculated for the new models.RESULTSOf 643 positive ICU blood cultures reviewed, 68 (10.6%) were identified as central line–associated bloodstream infections by fully automated electronic surveillance, whereas 38 (5.9%) were confirmed by routine surveillance. New rules were tested to identify organisms as central line–associated bloodstream infections if they did not meet one, or a combination of, the following: (I) matching organisms (by genus and species) cultured from any other site; (II) any organisms cultured from sterile site; (III) any organisms cultured from skin/wound; (IV) any organisms cultured from respiratory tract. The best-fit model included new rules I and II when applied to positive blood cultures in an ICU population. However, they didn’t improve performance of the algorithm when applied to positive blood cultures in a non-ICU population.CONCLUSIONElectronic surveillance system algorithms may need adjustment for specific populations.Infect. Control Hosp. Epidemiol. 2015;36(12):1396–1400</jats:sec

A note on cryptorchidism in Angora goats

No Abstract

The emergence of the Gulf Stream and interior western boundary as key regions to constrain the future North Atlantic carbon uptake

In recent years, the growing number of available climate models and future scenarios has led to emergent constraints becoming a popular tool to constrain uncertain future projections. However, when emergent constraints are applied over large areas, it is unclear (i) if the well-performing models simulate the correct dynamics within the considered area, (ii) which key dynamical features the emerging constraint is stemming from, and (iii) if the observational uncertainty is low enough to allow for a considerable reduction in the projection uncertainties. We therefore propose to regionally optimize emergent relationships with the twofold goal to (a) identify key model dynamics associated with the emergent constraint and model inconsistencies around them and (b) provide key areas where a narrow observational uncertainty is crucial for constraining future projections. Here, we consider two previously established emergent constraints of the future carbon uptake in the North Atlantic (Goris et al., 2018). For the regional optimization, we use a genetic algorithm and pre-define a suite of shapes and size ranges for the desired regions. Independent of pre-defined shape and size range, the genetic algorithm persistently identifies the Gulf Stream region centred around 30∘ N as optimal as well as the region associated with broad interior southward volume transport centred around 26∘ N. Close to and within our optimal regions, observational data of volume transport are available from the RAPID array with relative low observational uncertainty. Yet, our regionally optimized emergent constraints show that additional measures of specific biogeochemical variables along the array will fundamentally improve our estimates of the future carbon uptake in the North Atlantic. Moreover, our regionally optimized emergent constraints demonstrate that models that perform well for the upper-ocean volume transport and related key biogeochemical properties do not necessarily reproduce the interior-ocean volume transport well, leading to inconsistent gradients of key biogeochemical properties. This hampers the applicability of emergent constraints over large areas and highlights the need to additionally evaluate spatial model features.</p