On the Construction of Sorted Reactive Systems

We develop a theory of sorted bigraphical reactive systems. Every application of bigraphs in the literature has required an extension, a sorting, of pure bigraphs. In turn, every such application has required a redevelopment of the theory of pure bigraphical reactive systems for the sorting at hand. Here we present a general construction of sortings. The constructed sortings always sustain the behavioural theory of pure bigraphs (in a precise sense), thus obviating the need to redevelop that theory for each new application. As an example, we recover Milner’s local bigraphs as a sorting on pure bigraphs. Technically, we give our construction for ordinary reactive systems, then lift it to bigraphical reactive systems. As such, we give also a construction of sortings for ordinary reactive systems. This construction is an improvement over previous attempts in that it produces smaller and much more natural sortings, as witnessed by our recovery of local bigraphs as a sorting

An Algebra of Hierarchical Graphs

We define an algebraic theory of hierarchical graphs, whose axioms characterise graph isomorphism: two terms are equated exactly when they represent the same graph. Our algebra can be understood as a high-level language for describing graphs with a node-sharing, embedding structure, and it is then well suited for defining graphical representations of software models where nesting and linking are key aspects

Cauliflower mosaic virus protein P6 inhibits signaling responses to salicylic acid and regulates innate immunity

Cauliflower mosaic virus (CaMV) encodes a multifunctional protein P6 that is required for translation of the 35S RNA and also acts as a suppressor of RNA silencing. Here we demonstrate that P6 additionally acts as a pathogenicity effector of an unique and novel type, modifying NPR1 (a key regulator of salicylic acid (SA)- and jasmonic acid (JA)-dependent signaling) and inhibiting SA-dependent defence responses We find that that transgene-mediated expression of P6 in Arabidopsis and transient expression in Nicotiana benthamiana has profound effects on defence signaling, suppressing expression of representative SA-responsive genes and increasing expression of representative JA-responsive genes. Relative to wild-type Arabidopsis P6-expressing transgenics had greatly reduced expression of PR-1 following SA-treatment, infection by CaMV or inoculation with an avirulent bacterial pathogen Pseudomonas syringae pv tomato (Pst). Similarly transient expression in Nicotiana benthamiana of P6 (including a mutant form defective in translational transactivation activity) suppressed PR-1a transcript accumulation in response to Agrobacterium infiltration and following SA-treatment. As well as suppressing the expression of representative SA-regulated genes, P6-transgenic Arabidopsis showed greatly enhanced susceptibility to both virulent and avirulent Pst (titres elevated 10 to 30-fold compared to non-transgenic controls) but reduced susceptibility to the necrotrophic fungus Botrytis cinerea. Necrosis following SA-treatment or inoculation with avirulent Pst was reduced and delayed in P6-transgenics. NPR1 an important regulator of SA/JA crosstalk, was more highly expressed in the presence of P6 and introduction of the P6 transgene into a transgenic line expressing an NPR1:GFP fusion resulted in greatly increased fluorescence in nuclei even in the absence of SA. Thus in the presence of P6 an inactive form of NPR1 is mislocalized in the nucleus even in uninduced plants. These results demonstrate that P6 is a new type of pathogenicity effector protein that enhances susceptibility to biotrophic pathogens by suppressing SA- but enhancing JA-signaling responses

1H NMR-based profiling reveals differential immune-metabolic networks during influenza virus infection in obese mice

Obese individuals are at greater risk for death from influenza virus infection. Paralleling human evidence, obese mice are also more susceptible to influenza infection mortality. However, the underlying mechanisms driving greater influenza severity in the obese remain unclear. Metabolic profiling has been utilized in infectious disease models to enhance prognostic or diagnostic methods, and to gain insight into disease pathogenesis by providing a more global picture of dynamic infection responses. Herein, metabolic profiling was used to develop a deeper understanding of the complex processes contributing to impaired influenza protection in obese mice and to facilitate generation of new explanatory hypotheses. Diet-induced obese and lean mice were infected with influenza A/Puerto Rico/8/34. 1H nuclear magnetic resonance-based metabolic profiling of urine, feces, lung, liver, mesenteric white adipose tissue, bronchoalveolar lavage fluid and serum revealed distinct metabolic signatures in infected obese mice, including perturbations in nucleotide, vitamin, ketone body, amino acid, carbohydrate, choline and lipid metabolic pathways. Further, metabolic data was integrated with immune analyses to obtain a more comprehensive understanding of potential immune-metabolic interactions. Of interest, uncovered metabolic signatures in urine and feces allowed for discrimination of infection status in both lean and obese mice at an early influenza time point, which holds prognostic and diagnostic implications for this methodology. These results confirm that obesity causes distinct metabolic perturbations during influenza infection and provide a basis for generation of new hypotheses and use of this methodology in detection of putative biomarkers and metabolic patterns to predict influenza infection outcome

Identification of the domains of cauliflower mosaic virus protein P6 responsible for suppression of RNA silencing and salicylic acid signalling

Cauliflower mosaic virus (CaMV) encodes a 520 aa polypeptide, P6, which participates in several essential activities in the virus life cycle including suppressing RNA silencing and salicylic acid-responsive defence signalling. We infected Arabidopsis with CaMV mutants containing short in-frame deletions within the P6 ORF. A deletion in the distal end of domain D-I (the N-terminal 112 aa) of P6 did not affect virus replication but compromised symptom development and curtailed the ability to restore GFP fluorescence in a GFP-silenced transgenic Arabidopsis line. A deletion in the minimum transactivator domain was defective in virus replication but retained the capacity to suppress RNA silencing locally. Symptom expression in CaMV-infected plants is apparently linked to the ability to suppress RNA silencing. When transiently co-expressed with tomato bushy stunt virus P19, an elicitor of programmed cell death in Nicotiana tabacum, WT P6 suppressed the hypersensitive response, but three mutants, two with deletions within the distal end of domain D-I and one involving the N-terminal nuclear export signal (NES), were unable to do so. Deleting the N-terminal 20 aa also abolished the suppression of pathogen-associated molecular pattern-dependent PR1a expression following agroinfiltration. However, the two other deletions in domain D-I retained this activity, evidence that the mechanisms underlying these functions are not identical. The D-I domain of P6 when expressed alone failed to suppress either cell death or PR1a expression and is therefore necessary but not sufficient for all three defence suppression activities. Consequently, concerns about the biosafety of genetically modified crops carrying truncated ORFVI sequences appear unfounded

Toward mountains without permanent snow and ice

The cryosphere in mountain regions is rapidly declining, a trend that is expected to accelerate over the next several decades due to anthropogenic climate change. A cascade of effects will result, extending from mountains to lowlands with associated impacts on human livelihood, economy, and ecosystems. With rising air temperatures and increased radiative forcing, glaciers will become smaller and, in some cases, disappear, the area of frozen ground will diminish, the ratio of snow to rainfall will decrease, and the timing and magnitude of both maximum and minimum streamflow will change. These changes will affect erosion rates, sediment, and nutrient flux, and the biogeochemistry of rivers and proglacial lakes, all of which influence water quality, aquatic habitat, and biotic communities. Changes in the length of the growing season will allow low-elevation plants and animals to expand their ranges upward. Slope failures due to thawing alpine permafrost, and outburst floods from glacier- and moraine-dammed lakes will threaten downstream populations. Societies even well beyond the mountains depend on meltwater from glaciers and snow for drinking water supplies, irrigation, mining, hydropower, agriculture, and recreation. Here, we review and, where possible, quantify the impacts of anticipated climate change on the alpine cryosphere, hydrosphere, and biosphere, and consider the implications for adaptation to a future of mountains without permanent snow and ice

Tissue factor deficiency increases alveolar hemorrhage and death in influenza A virus-infected mice

Essentials H1N1 Influenza A virus (IAV) infection is a hemostatic challenge for the lung. Tissue factor (TF) on lung epithelial cells maintains lung hemostasis after IAV infection. Reduced TF-dependent activation of coagulation leads to alveolar hemorrhage. Anticoagulation might increase the risk for hemorrhages into the lung during severe IAV infection. Summary: Background Influenza A virus (IAV) infection is a common respiratory tract infection that causes considerable morbidity and mortality worldwide. Objective To investigate the effect of genetic deficiency of tissue factor (TF) in a mouse model of IAV infection. Methods Wild-type mice, low-TF (LTF) mice and mice with the TF gene deleted in different cell types were infected with a mouse-adapted A/Puerto Rico/8/34 H1N1 strain of IAV. TF expression was measured in the lungs, and bronchoalveolar lavage fluid (BALF) was collected to measure extracellular vesicle TF, activation of coagulation, alveolar hemorrhage, and inflammation. Results IAV infection of wild-type mice increased lung TF expression, activation of coagulation and inflammation in BALF, but also led to alveolar hemorrhage. LTF mice and mice with selective deficiency of TF in lung epithelial cells had low basal levels of TF and failed to increase TF expression after infection; these two strains of mice had more alveolar hemorrhage and death than controls. In contrast, deletion of TF in either myeloid cells or endothelial cells and hematopoietic cells did not increase alveolar hemorrhage or death after IAV infection. These results indicate that TF expression in the lung, particularly in epithelial cells, is required to maintain alveolar hemostasis after IAV infection. Conclusion Our study indicates that TF-dependent activation of coagulation is required to limit alveolar hemorrhage and death after IAV infection

Role of HGF in obesity-associated tumorigenesis: C3(1)-TAg mice as a model for human basal-like breast cancer

Obesity is associated with basal-like breast cancer (BBC), an aggressive breast cancer subtype. The objective of this study was to determine whether obesity promotes BBC onset in adulthood and to evaluate the role of stromal-epithelial interactions in obesity-associated tumorigenesis. We hypothesized that hepatocyte growth factor (HGF) plays a promoting role in BBC, which express the HGF receptor, c-Met. In C3(1)-TAg mice, a murine model of BBC, we demonstrated that obesity leads to a significant increase in HGF secretion and an associated decrease in tumor latency. By immunohistochemical analysis, normal mammary gland exhibited obesity-induced HGF, c-Met and phospho-c-Met, indicating that the activation of the cascade was obesity-driven. HGF secretion was also increased from primary mammary fibroblasts isolated from normal mammary glands and tumors of obese mice compared to lean. These results demonstrate that obesity-induced elevation of HGF expression is a stable phenotype, maintained after several passages, and after removal of dietary stimulation. Conditioned media from primary tumor fibroblasts from obese mice drove tumor cell proliferation. In co-culture, neutralization of secreted HGF blunted tumor cell migration, further linking obesity-mediated HGF-dependent effects to in vitro measures of tumor aggressiveness. In sum, these results demonstrate that HGF/c-Met plays an important role in obesity-associated carcinogenesis. Understanding the effects of obesity on risk and progression is important given that epidemiologic studies imply a portion of BBC could be eliminated by reducing obesity

Observation of a Coherence Length Effect in Exclusive Rho^0 Electroproduction

Exclusive incoherent electroproduction of the rho^0(770) meson from 1H, 2H, 3He, and 14N targets has been studied by the HERMES experiment at squared four-momentum transfer Q**2>0.4 GeV**2 and positron energy loss nu from 9 to 20 GeV. The ratio of the 14N to 1H cross sections per nucleon, known as the nuclear transparency, was found to decrease with increasing coherence length of quark-antiquark fluctuations of the virtual photon. The data provide clear evidence of the interaction of the quark- antiquark fluctuations with the nuclear medium.Comment: RevTeX, 5 pages, 3 figure

Double-Spin Asymmetry in the Cross Section for Exclusive rho^0 Production in Lepton-Proton Scattering

Evidence for a positive longitudinal double-spin asymmetry = 0.24 +-0.11 (stat) +-0.02 (syst) in the cross section for exclusive diffractive rho^0(770) vector meson production in polarised lepton-proton scattering was observed by the HERMES experiment. The longitudinally polarised 27.56 GeV HERA positron beam was scattered off a longitudinally polarised pure hydrogen gas target. The average invariant mass of the photon-proton system has a value of = 4.9 GeV, while the average negative squared four-momentum of the virtual photon is = 1.7 GeV^2. The ratio of the present result to the corresponding spin asymmetry in inclusive deep-inelastic scattering is in agreement with an early theoretical prediction based on the generalised vector meson dominance model.Comment: 10 pages, 4 embedded figures, LaTe