A theory of normed simulations

In existing simulation proof techniques, a single step in a lower-level specification may be simulated by an extended execution fragment in a higher-level one. As a result, it is cumbersome to mechanize these techniques using general purpose theorem provers. Moreover, it is undecidable whether a given relation is a simulation, even if tautology checking is decidable for the underlying specification logic. This paper introduces various types of normed simulations. In a normed simulation, each step in a lower-level specification can be simulated by at most one step in the higher-level one, for any related pair of states. In earlier work we demonstrated that normed simulations are quite useful as a vehicle for the formalization of refinement proofs via theorem provers. Here we show that normed simulations also have pleasant theoretical properties: (1) under some reasonable assumptions, it is decidable whether a given relation is a normed forward simulation, provided tautology checking is decidable for the underlying logic; (2) at the semantic level, normed forward and backward simulations together form a complete proof method for establishing behavior inclusion, provided that the higher-level specification has finite invisible nondeterminism.Comment: 31 pages, 10figure

Identification of 34 Novel Proinflammatory Proteins in a Genome-Wide Macrophage Functional Screen

Signal transduction pathways activated by Toll-like Receptors and the IL-1 family of cytokines are fundamental to mounting an innate immune response and thus to clearing pathogens and promoting wound healing. Whilst mechanistic understanding of the regulation of innate signalling pathways has advanced considerably in recent years, there are still a number of critical controllers to be discovered. In order to characterise novel regulators of macrophage inflammation, we have carried out an extensive, cDNA-based forward genetic screen and identified 34 novel activators, based on their ability to induce the expression of cxcl2. Many are physiologically expressed in macrophages, although the majority of genes uncovered in our screen have not previously been linked to innate immunity. We show that expression of particular activators has profound but distinct impacts on LPS-induced inflammatory gene expression, including switch-type, amplifier and sensitiser behaviours. Furthermore, the novel genes identified here interact with the canonical inflammatory signalling network via specific mechanisms, as demonstrated by the use of dominant negative forms of IL1/TLR signalling mediators

Characterization of Intact Proviruses in Blood and Lymph Node from HIV-Infected Individuals Undergoing Analytical Treatment Interruption.

The role of lymphoid tissue as a potential source of HIV-1 rebound following interruption of antiretroviral therapy (ART) is uncertain. To address this issue, we compared the latent viruses obtained from CD4+ T cells in peripheral blood and lymph nodes to viruses emerging during treatment interruption. Latent viruses were characterized by sequencing near-full-length (NFL) proviral DNA and env from viral outgrowth assays (VOAs). Five HIV-1-infected individuals on ART were studied, four of whom participated in a clinical trial of a TLR9 agonist that included an analytical treatment interruption. We found that 98% of intact or replication-competent clonal sequences overlapped between blood and lymph node. In contrast, there was no overlap between 205 latent reservoir and 125 rebound sequences in the four individuals who underwent treatment interruption. However, rebound viruses could be accounted for by recombination. The data suggest that CD4+ T cells carrying latent viruses circulate between blood and lymphoid tissues in individuals on ART and support the idea that recombination may play a role in the emergence of rebound viremia.IMPORTANCE HIV-1 persists as a latent infection in CD4+ T cells that can be found in lymphoid tissues in infected individuals during ART. However, the importance of this tissue reservoir and its contribution to viral rebound upon ART interruption are not clear. In this study, we sought to compare latent HIV-1 from blood and lymph node CD4+ T cells from five HIV-1-infected individuals. Further, we analyzed the contribution of lymph node viruses to viral rebound. We observed that the frequencies of intact proviruses were the same in blood and lymph node. Moreover, expanded clones of T cells bearing identical proviruses were found in blood and lymph node. These latent reservoir sequences did not appear to be the direct origin of rebound virus. Instead, latent proviruses were found to contribute to the rebound compartment by recombination

Blood culture status and mortality among patients with suspected community-acquired bacteremia: a population-based cohort study

<p>Abstract</p> <p>Background</p> <p>Comparison of mortality among patients with positive and negative blood cultures may indicate the contribution of bacteremia to mortality. This study (1) compared mortality among patients with community-acquired bacteremia with mortality among patients with negative blood cultures and (2) determined the effects of bacteremia type and comorbidity level on mortality among patients with positive blood cultures.</p> <p>Methods</p> <p>This cohort study included 29,273 adults with blood cultures performed within the first 2 days following hospital admission to an internal medical ward in northern Denmark during 1995-2006. We computed product limit estimates and used Cox regression to compute adjusted mortality rate ratios (MRRs) within 0-2, 3-7, 8-30, and 31-180 days following admission for bacteremia patients compared to culture-negative patients.</p> <p>Results</p> <p>Mortality in 2,648 bacteremic patients and 26,625 culture-negative patients was 4.8% vs. 2.0% 0-2 days after admission, 3.7% vs. 2.7% 3-7 days after admission, 5.6% vs. 5.1% 8-30 days after admission, and 9.7% vs. 8.7% 31-180 days after admission, corresponding to adjusted MRRs of 1.9 (95% confidence interval (CI): 1.6-2.2), 1.1 (95% CI: 0.9-1.5), 0.9 (95% CI: 0.8-1.1), and 1.0 (95% CI: 0.8-1.1), respectively. Mortality was higher among patients with Gram-positive (adjusted 0-2-day MRR 1.9, 95% CI: 1.6-2.2) and polymicrobial bacteremia (adjusted 0-2-day MRR 3.5, 95% CI: 2.2-5.5) than among patients with Gram-negative bacteremia (adjusted 0-2-day MRR 1.5, 95% CI 1.2-2.0). After the first 2 days, patients with Gram-negative bacteremia had the same risk of dying as culture-negative patients (adjusted MRR 0.8, 95% CI: 0.5-1.1). Only patients with polymicrobial bacteremia had increased mortality within 31-180 days following admission (adjusted MRR 1.3, 95% CI: 0.8-2.1) compared to culture-negative patients. The association between blood culture status and mortality did not differ substantially by level of comorbidity.</p> <p>Conclusions</p> <p>Community-acquired bacteremia was associated with an increased risk of mortality in the first week of medical ward admission. Higher mortality among patients with Gram-positive and polymicrobial bacteremia compared with patients with Gram-negative bacteremia and negative cultures emphasizes the prognostic importance of these infections.</p

A Minimal Threshold of c-di-GMP Is Essential for Fruiting Body Formation and Sporulation in Myxococcus xanthus

Generally, the second messenger bis-(3’-5’)-cyclic dimeric GMP (c-di-GMP) regulates the switch between motile and sessile lifestyles in bacteria. Here, we show that c-di-GMP is an essential regulator of multicellular development in the social bacterium Myxococcus xanthus. In response to starvation, M. xanthus initiates a developmental program that culminates in formation of spore-filled fruiting bodies. We show that c-di-GMP accumulates at elevated levels during development and that this increase is essential for completion of development whereas excess c-di-GMP does not interfere with development. MXAN3735 (renamed DmxB) is identified as a diguanylate cyclase that only functions during development and is responsible for this increased c-di-GMP accumulation. DmxB synthesis is induced in response to starvation, thereby restricting DmxB activity to development. DmxB is essential for development and functions downstream of the Dif chemosensory system to stimulate exopolysaccharide accumulation by inducing transcription of a subset of the genes encoding proteins involved in exopolysaccharide synthesis. The developmental defects in the dmxB mutant are non-cell autonomous and rescued by co-development with a strain proficient in exopolysaccharide synthesis, suggesting reduced exopolysaccharide accumulation as the causative defect in this mutant. The NtrC-like transcriptional regulator EpsI/Nla24, which is required for exopolysaccharide accumulation, is identified as a c-diGMP receptor, and thus a putative target for DmxB generated c-di-GMP. Because DmxB can be—at least partially—functionally replaced by a heterologous diguanylate cyclase, these results altogether suggest a model in which a minimum threshold level of c-di-GMP is essential for the successful completion of multicellular development in M. xanthus

Endotoxemia Is Associated with Altered Innate and Adaptive Immune Responses in Untreated HIV-1 Infected Individuals

BACKGROUND: Microbial translocation may contribute to the immunopathogenesis in HIV infection. We investigated if microbial translocation and inflammation were associated with innate and adaptive immune responses in adults with HIV. METHODOLOGY/PRINCIPAL FINDINGS: This was an observational cohort study. Sera from HIV-infected and HIV-uninfected individuals were analyzed for microbial translocation (soluble CD14, lipopolysaccharides [LPS], endotoxin core antibody, and anti-α-galactosyl antibodies) and inflammatory markers (high sensitivity C-reactive protein, IL-6, IL-1 receptor antagonist, soluble tumor necrosis factor receptor II, and IL-10) with enzyme-linked immunosorbent assays. Peripheral blood mononuclear cells (PBMC) from HIV-infected persons and healthy controls (primed with single-stranded HIV-1-derived RNA) were stimulated with LPS, and cytokine production was measured. Finally, HIV-infected patients were immunized with Prevnar 7vPnC±CpG 7909 followed by Pneumo Novum PPV-23. Effects of microbial translocation and inflammation on immunization were analyzed in a predictive regression model. We included 96 HIV-infected individuals, 76 on highly active antiretroviral therapy (HAART), 20 HAART-naive, and 50 healthy controls. Microbial translocation and inflammatory markers were higher among HIV-infected persons than controls. Cytokine levels following LPS stimulation were increased in PBMCs from HAART-naive compared to HAART-treated HIV-infected persons. Further, RNA-priming of PBMCs from controls acted synergistically with LPS to augment cytokine responses. Finally, high serum LPS levels predicted poor vaccine responses among HAART-naive, but not among HAART-treated HIV-infected individuals. CONCLUSIONS/SIGNIFICANCE: LPS acts synergistically with HIV RNA to stimulate innate immune responses in vitro and increasing serum LPS levels seem to predict poor antibody responses after vaccination among HAART-naive HIV-infected persons. Thus, our results suggest that microbial translocation may be associated with innate and adaptive immune dysfunction in untreated HIV infection

Measurement of the cross-section and charge asymmetry of WW bosons produced in proton-proton collisions at s=8\sqrt{s}=8 TeV with the ATLAS detector

This paper presents measurements of the $W^+ \rightarrow \mu^+\nu$ and $W^- \rightarrow \mu^-\nu$ cross-sections and the associated charge asymmetry as a function of the absolute pseudorapidity of the decay muon. The data were collected in proton--proton collisions at a centre-of-mass energy of 8 TeV with the ATLAS experiment at the LHC and correspond to a total integrated luminosity of 20.2~\mbox{fb^{-1}}. The precision of the cross-section measurements varies between 0.8% to 1.5% as a function of the pseudorapidity, excluding the 1.9% uncertainty on the integrated luminosity. The charge asymmetry is measured with an uncertainty between 0.002 and 0.003. The results are compared with predictions based on next-to-next-to-leading-order calculations with various parton distribution functions and have the sensitivity to discriminate between them.Comment: 38 pages in total, author list starting page 22, 5 figures, 4 tables, submitted to EPJC. All figures including auxiliary figures are available at https://atlas.web.cern.ch/Atlas/GROUPS/PHYSICS/PAPERS/STDM-2017-13

Multi-particle azimuthal correlations in p-Pb and Pb-Pb collisions at the CERN Large Hadron Collider

Measurements of multi-particle azimuthal correlations (cumulants) for charged particles in p-Pb and Pb-Pb collisions are presented. They help address the question of whether there is evidence for global, flow-like, azimuthal correlations in the p-Pb system. Comparisons are made to measurements from the larger Pb-Pb system, where such evidence is established. In particular, the second harmonic two-particle cumulants are found to decrease with multiplicity, characteristic of a dominance of few-particle correlations in p-Pb collisions. However, when a $|\Delta \eta|$ gap is placed to suppress such correlations, the two-particle cumulants begin to rise at high-multiplicity, indicating the presence of global azimuthal correlations. The Pb-Pb values are higher than the p-Pb values at similar multiplicities. In both systems, the second harmonic four-particle cumulants exhibit a transition from positive to negative values when the multiplicity increases. The negative values allow for a measurement of $v_{2}\{4\}$ to be made, which is found to be higher in Pb-Pb collisions at similar multiplicities. The second harmonic six-particle cumulants are also found to be higher in Pb-Pb collisions. In Pb-Pb collisions, we generally find $v_{2}\{4\} \simeq v_{2}\{6\}\neq 0$ which is indicative of a Bessel-Gaussian function for the $v_{2}$ distribution. For very high-multiplicity Pb-Pb collisions, we observe that the four- and six-particle cumulants become consistent with 0. Finally, third harmonic two-particle cumulants in p-Pb and Pb-Pb are measured. These are found to be similar for overlapping multiplicities, when a $|\Delta\eta| > 1.4$ gap is placed.Comment: 25 pages, 11 captioned figures, 3 tables, authors from page 20, published version, figures at http://aliceinfo.cern.ch/ArtSubmission/node/87

Multiplicity dependence of jet-like two-particle correlations in p-Pb collisions at sNN\sqrt{s_{NN}} = 5.02 TeV

Two-particle angular correlations between unidentified charged trigger and associated particles are measured by the ALICE detector in p-Pb collisions at a nucleon-nucleon centre-of-mass energy of 5.02 TeV. The transverse-momentum range 0.7 $< p_{\rm{T}, assoc} < p_{\rm{T}, trig} <$ 5.0 GeV/$c$ is examined, to include correlations induced by jets originating from low momen\-tum-transfer scatterings (minijets). The correlations expressed as associated yield per trigger particle are obtained in the pseudorapidity range $|\eta|<0.9$. The near-side long-range pseudorapidity correlations observed in high-multiplicity p-Pb collisions are subtracted from both near-side short-range and away-side correlations in order to remove the non-jet-like components. The yields in the jet-like peaks are found to be invariant with event multiplicity with the exception of events with low multiplicity. This invariance is consistent with the particles being produced via the incoherent fragmentation of multiple parton--parton scatterings, while the yield related to the previously observed ridge structures is not jet-related. The number of uncorrelated sources of particle production is found to increase linearly with multiplicity, suggesting no saturation of the number of multi-parton interactions even in the highest multiplicity p-Pb collisions. Further, the number scales in the intermediate multiplicity region with the number of binary nucleon-nucleon collisions estimated with a Glauber Monte-Carlo simulation.Comment: 23 pages, 6 captioned figures, 1 table, authors from page 17, published version, figures at http://aliceinfo.cern.ch/ArtSubmission/node/161