HIV-1 Vpr up-regulates expression of ligands for the activating NKG2D receptor and promotes NK cell-mediated killing

HIV upregulates cell-surface expression of specific ligands for the activating NKG2D receptor, including ULBP-1, -2, -3, but not MICA or MICB, in infected cells both in vitro and in vivo. However, the viral factor(s) involved in NKG2D ligand expression still remains undefined. HIV-1 Vpr activates the DNA damage/stress-sensing ATR kinase and promotes G2 cell-cycle arrest, conditions known to upregulate NKG2D ligands. We report here that HIV-1 selectively induces cell-surface expression of ULBP-2 in primary CD4+ T-lymphocytes by a process that is Vpr-dependent. Importantly, Vpr enhanced the susceptibility of HIV-1-infected cells to NK cell-mediated killing. Strikingly, Vpr alone was sufficient to upregulate expression of all NKG2D ligands and thus promoted efficient NKG2D-dependent NK cell-mediated killing. Delivery of virion-associated Vpr via defective HIV-1 particles induced analogous biological effects in non-infected target cells, suggesting that Vpr may act similarly beyond infected cells. All these activities relied on Vpr ability to activate the ATR-mediated DNA damage/stress checkpoint. Overall, these results indicate that Vpr is a key determinant responsible for HIV-1-induced upregulation of NKG2D ligands and further suggest an immunomodulatory role for Vpr that may not only contribute to HIV-1-induced CD4+ T-lymphocyte depletion but may also take part in HIV-1-induced NK cell dysfunction.JR is recipient of a Frederick Banting and Charles Best scholarship from the Canadian Institutes of Health Research (CIHR) while JPB is recipient of a CIHR studentship. EAC holds the Canada Research Chair in Human Retrovirology. This work was supported by grants from CIHR and the Fonds de recherche en santé du Québec AIDS network to EAC

Predicate Abstraction for Linked Data Structures

We present Alias Refinement Types (ART), a new approach to the verification of correctness properties of linked data structures. While there are many techniques for checking that a heap-manipulating program adheres to its specification, they often require that the programmer annotate the behavior of each procedure, for example, in the form of loop invariants and pre- and post-conditions. Predicate abstraction would be an attractive abstract domain for performing invariant inference, existing techniques are not able to reason about the heap with enough precision to verify functional properties of data structure manipulating programs. In this paper, we propose a technique that lifts predicate abstraction to the heap by factoring the analysis of data structures into two orthogonal components: (1) Alias Types, which reason about the physical shape of heap structures, and (2) Refinement Types, which use simple predicates from an SMT decidable theory to capture the logical or semantic properties of the structures. We prove ART sound by translating types into separation logic assertions, thus translating typing derivations in ART into separation logic proofs. We evaluate ART by implementing a tool that performs type inference for an imperative language, and empirically show, using a suite of data-structure benchmarks, that ART requires only 21% of the annotations needed by other state-of-the-art verification techniques

Discomfort and agitation in older adults with dementia

<p>Abstract</p> <p>Background</p> <p>A majority of patients with dementia present behavioral and psychological symptoms, such as agitation, which may increase their suffering, be difficult to manage by caregivers, and precipitate institutionalization. Although internal factors, such as discomfort, may be associated with agitation in patients with dementia, little research has examined this question. The goal of this study is to document the relationship between discomfort and agitation (including agitation subtypes) in older adults suffering from dementia.</p> <p>Methods</p> <p>This correlational study used a cross-sectional design. Registered nurses (RNs) provided data on forty-nine residents from three long-term facilities. Discomfort, agitation, level of disability in performing activities of daily living (ADL), and severity of dementia were measured by RNs who were well acquainted with the residents, using the Discomfort Scale for patients with Dementia of the Alzheimer Type, the Cohen-Mansfield Agitation Inventory, the ADL subscale of the Functional Autonomy Measurement System, and the Functional Assessment Staging, respectively. RNs were given two weeks to complete and return all scales (i.e., the Cohen-Mansfield Agitation Inventory was completed at the end of the two weeks and all other scales were answered during this period). Other descriptive variables were obtained from the residents' medical file or care plan.</p> <p>Results</p> <p>Hierarchical multiple regression analyses controlling for residents' characteristics (sex, severity of dementia, and disability) show that discomfort explains a significant share of the variance in overall agitation (28%, <it>p </it>< 0.001), non aggressive physical behavior (18%, <it>p </it>< 0.01) and verbally agitated behavior (30%, <it>p </it>< 0.001). No significant relationship is observed between discomfort and aggressive behavior but the power to detect this specific relationship was low.</p> <p>Conclusion</p> <p>Our findings provide further evidence of the association between discomfort and agitation in persons with dementia and reveal that this association is particularly strong for verbally agitated behavior and non aggressive physical behavior.</p

Random Geometric Graphs

We analyse graphs in which each vertex is assigned random coordinates in a geometric space of arbitrary dimensionality and only edges between adjacent points are present. The critical connectivity is found numerically by examining the size of the largest cluster. We derive an analytical expression for the cluster coefficient which shows that the graphs are distinctly different from standard random graphs, even for infinite dimensionality. Insights relevant for graph bi-partitioning are included.Comment: 16 pages, 10 figures. Minor changes. Added reference

Putting plant resistance traits on the map: a test of the idea that plants are better defended at lower latitudes

It has long been believed that plant species from the tropics have higher levels of traits associated with resistance to herbivores than do species from higher latitudes. A meta-analysis recently showed that the published literature does not support this theory. However, the idea has never been tested using data gathered with consistent methods from a wide range of latitudes. We quantified the relationship between latitude and a broad range of chemical and physical traits across 301 species from 75 sites world-wide. Six putative resistance traits, including tannins, the concentration of lipids (an indicator of oils, waxes and resins), and leaf toughness were greater in highlatitude species. Six traits, including cyanide production and the presence of spines, were unrelated to latitude. Only ash content (an indicator of inorganic substances such as calcium oxalates and phytoliths) and the properties of species with delayed greening were higher in the tropics. Our results do not support the hypothesis that tropical plants have higher levels of resistance traits than do plants from higher latitudes. If anything, plants have higher resistance toward the poles. The greater resistance traits of high-latitude species might be explained by the greater cost of losing a given amount of leaf tissue in low-productivity environments.EEA Santa CruzFil: Moles, Angela T. The University of New South Wales. School of Biological, Earth and Environmental Sciences. Evolution & Ecology Research Centre; Australia.Fil: Moles, Angela T. Victoria University of Wellington. School of Biological Sciences; Nueva ZelandiaFil: Moles, Angela T. Australian National University. Research School of Biology; Australia.Fil: Moles, Angela T. Macquarie University. Department of Biological Sciences; Australia.Fil: Wallis, Ian R. Australian National University. Research School of Biology; Australia.Fil: Foley, William J. Australian National University. Research School of Biology; Australia.Fil: Warton, David I. The University of New South Wales. School of Mathematics and Statistics and Evolution & Ecology Research Centre; Australia.Fil: Stegen, James C. University of North Carolina. Department of Biology; Estados UnidosFil: Bisigato, Alejandro J. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Nacional Patagónico; Argentina.Fil: Cella-Pizarro, Lucrecia. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Nacional Patagónico; Argentina.Fil: Clark, Connie J. Woods Hole Research Center; Estados UnidosFil: Cohen, Philippe S. Stanford University. Jasper Ridge Biological Preserve; Estados UnidosFil: Cornwell, William K. University of British Columbia. Biodiversity Research Centre; Canadá.Fil: Peri, Pablo Luis. Instituto Nacional de Tecnología Agropecuaria (INTA). Estación Experimental Agropecuaria Santa Cruz; Argentina.Fil: Peri, Pablo Luis. Universidad Nacional de la Patagonia Austral; Argentina.Fil: Peri, Pablo Luis. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina.Fil: Prior, Lynda D. University of Tasmania. School of Plant Science; Australia

The effects of an experimental programme to support students’ autonomy on the overt behaviours of physical education teachers

Although the benefits of autonomy supportive behaviours are now well established in the literature, very few studies have attempted to train teachers to offer a greater autonomy support to their students. In fact, none of these studies has been carried out in physical education (PE). The purpose of this study is to test the effects of an autonomy-supportive training on overt behaviours of teaching among PE teachers. The experimental group included two PE teachers who were first educated on the benefits of an autonomy supportive style and then followed an individualised guidance programme during the 8 lessons of a teaching cycle. Their behaviours were observed and rated along 3 categories (i.e., autonomy supportive, neutral and controlling) and were subsequently compared to those of three teachers who formed the control condition. The results showed that teachers in the experimental group used more autonomy supportive and neutral behaviours than those in the control group, but no difference emerged in relation to controlling behaviours. We discuss the implications for schools of our findings

Spitzer Survey of the Large Magellanic Cloud, Surveying the Agents of a Galaxy's Evolution (SAGE) I: Overview and Initial Results

We are performing a uniform and unbiased, ~7x7 degrees imaging survey of the Large Magellanic Cloud (LMC), using the IRAC and MIPS instruments on board the Spitzer Space Telescope in order to survey the agents of a galaxy's evolution (SAGE), the interstellar medium (ISM) and stars in the LMC. The detection of diffuse ISM with column densities >1.2x10^21 H cm^-2 permits detailed studies of dust processes in the ISM. SAGE's point source sensitivity enables a complete census of newly formed stars with masses >3 solar masses that will determine the current star formation rate in the LMC. SAGE's detection of evolved stars with mass loss rates >1x10^-8 solar masses per year will quantify the rate at which evolved stars inject mass into the ISM of the LMC. The observing strategy includes two epochs in 2005, separated by three months, that both mitigate instrumental artifacts and constrain source variability. The SAGE data are non-proprietary. The data processing includes IRAC and MIPS pipelines and a database for mining the point source catalogs, which will be released to the community in support of Spitzer proposal cycles 4 and 5. We present initial results on the epoch 1 data with a special focus on the N79 and N83 region. The SAGE epoch 1 point source catalog has ~4 million sources. The point source counts are highest for the IRAC 3.6 microns band and decrease dramatically towards longer wavelengths consistent with the fact that stars dominate the point source catalogs and that the dusty objects, e.g. young stellar objects and dusty evolved stars that detected at the longer wavelengths, are rare in comparison. We outline a strategy for identifying foreground MW stars, that may comprise as much as 18% of the source list, and background galaxies, that may comprise ~12% of the source list.Comment: Accepted by the Astronomical Journa

Spitzer survey of the Large Magellanic Cloud, surveying the agents of a galaxy's evolution (SAGE). IV. Dust properties in the interstellar medium

The goal of this paper is to present the results of a preliminary analysis of the extended infrared (IR) emission by dust in the interstellar medium (ISM) of the Large Magellanic Cloud (LMC). We combine Spitzer Surveying the Agents of Galaxy Evolution (SAGE) and Infrared Astronomical Satellite (IRAS) data and correlate the infrared emission with gas tracers of H I, CO, and Hα. We present a global analysis of the infrared emission as well as detailed modeling of the spectral energy distribution (SED) of a few selected regions. Extended emission by dust associated with the neutral, molecular, and diffuse ionized phases of the ISM is detected at all IR bands from 3.6 μm to 160 μm. The relative abundance of the various dust species appears quite similar to that in the Milky Way (MW) in all the regions we have modeled. We construct maps of the temperature of large dust grains. The temperature map shows variations in the range 12.1-34.7 K, with a systematic gradient from the inner to outer regions, tracing the general distribution of massive stars and individual H II regions as well as showing warmer dust in the stellar bar. This map is used to derive the far-infrared (FIR) optical depth of large dust grains. We find two main departures in the LMC with respect to expectations based on the MW: (1) excess mid-infrared (MIR) emission near 70 μm, referred to as the 70 μm excess, and (2) departures from linear correlation between the FIR optical depth and the gas column density, which we refer to as FIR excess emission. The 70 μm excess increases gradually from the MW to the LMC to the Small Magellanic Cloud (SMC), suggesting evolution with decreasing metallicity. The excess is associated with the neutral and diffuse ionized gas, with the strongest excess region located in a loop structure next to 30 Dor. We show that the 70 μm excess can be explained by a modification of the size distribution of very small grains with respect to that in the MW, and a corresponding mass increase of ≃13% of the total dust mass in selected regions. The most likely explanation is that the 70 μm excess is due to the production of large very small grains (VSG) through erosion of larger grains in the diffuse medium. This FIR excess could be due to intrinsic variations of the dust/gas ratio, which would then vary from 4.6 to 2.3 times lower than the MW values across the LMC, but X_(CO) values derived from the IR emission would then be about three times lower than those derived from the Virial analysis of the CO data. We also investigate the possibility that the FIR excess is associated with an additional gas component undetected in the available gas tracers. Assuming a constant dust abundance in all ISM phases, the additional gas component would have twice the known H I mass. We show that it is plausible that the FIR excess is due to cold atomic gas that is optically thick in the 21 cm line, while the contribution by a pure H_2 phase with no CO emission remains a possible explanation

Spectrum and Inoculum Size Effect of a Rapid Antigen Detection Test for Group A Streptococcus in Children with Pharyngitis

BACKGROUND: The stability of the accuracy of a diagnostic test is critical to whether clinicians can rely on its result. We aimed to assess whether the performance of a rapid antigen detection test (RADT) for group A streptococcus (GAS) is affected by the clinical spectrum and/or bacterial inoculum size. METHODS: Throat swabs were collected from 785 children with pharyngitis in an office-based, prospective, multicenter study (2009-2010). We analysed the effect of clinical spectrum (i.e., the McIsaac score and its components) and inoculum size (light or heavy GAS growth) on the accuracy (sensitivity, specificity, likelihood ratios and predictive values) of a RADT, with laboratory throat culture as the reference test. We also evaluated the accuracy of a McIsaac-score-based decision rule. RESULTS: GAS prevalence was 36% (95CI: 33%-40%). The inoculum was heavy for 85% of cases (81%-89%). We found a significant spectrum effect on sensitivity, specificity, likelihood ratios and positive predictive value (p<0.05) but not negative predictive value, which was stable at about 92%. RADT sensitivity was greater for children with heavy than light inoculum (95% vs. 40%, p<0.001). After stratification by inoculum size, the spectrum effect on RADT sensitivity was significant only in patients with light inoculum, on univariate and multivariate analysis. The McIsaac-score-based decision rule had 99% (97%-100%) sensitivity and 52% (48%-57%) specificity. CONCLUSIONS: Variations in RADT sensitivity only occur in patients with light inocula. Because the spectrum effect does not affect the negative predictive value of the test, clinicians who want to rule out GAS can rely on negative RADT results regardless of clinical features if they accept that about 10% of children with negative RADT results will have a positive throat culture. However, such a policy is more acceptable in populations with very low incidence of complications of GAS infection