Interaction and observation: categorical semantics of reactive systems trough dialgebras

We use dialgebras, generalising both algebras and coalgebras, as a complement of the standard coalgebraic framework, aimed at describing the semantics of an interactive system by the means of reaction rules. In this model, interaction is built-in, and semantic equivalence arises from it, instead of being determined by a (possibly difficult) understanding of the side effects of a component in isolation. Behavioural equivalence in dialgebras is determined by how a given process interacts with the others, and the obtained observations. We develop a technique to inter-define categories of dialgebras of different functors, that in particular permits us to compare a standard coalgebraic semantics and its dialgebraic counterpart. We exemplify the framework using the CCS and the pi-calculus. Remarkably, the dialgebra giving semantics to the pi-calculus does not require the use of presheaf categories

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

Metabolic reprogramming of macrophages: Glucose transporter 1 (GLUT1)-mediated glucose metabolism drives a proinflammatory phenotype

Glucose is a critical component in the proinflammatory response of macrophages (MΦs). However, the contribution of glucose transporters (GLUTs) and the mechanisms regulating subsequent glucose metabolism in the inflammatory response are not well understood. Because MΦs contribute to obesity-induced inflammation, it is important to understand how substrate metabolism may alter inflammatory function. We report that GLUT1 (SLC2A1) is the primary rate-limiting glucose transporter on proinflammatory-polarized MΦs. Furthermore, in high fat diet-fed rodents, MΦs in crown-like structures and inflammatory loci in adipose and liver, respectively, stain positively for GLUT1. We hypothesized that metabolic reprogramming via increased glucose availability could modulate the MΦ inflammatory response. To increase glucose uptake, we stably overexpressed the GLUT1 transporter in RAW264.7 MΦs (GLUT1-OE MΦs). Cellular bioenergetics analysis, metabolomics, and radiotracer studies demonstrated that GLUT1 overexpression resulted in elevated glucose uptake and metabolism, increased pentose phosphate pathway intermediates, with a complimentary reduction in cellular oxygen consumption rates. Gene expression and proteome profiling analysis revealed that GLUT1-OE MΦs demonstrated a hyperinflammatory state characterized by elevated secretion of inflammatory mediators and that this effect could be blunted by pharmacologic inhibition of glycolysis. Finally, reactive oxygen species production and evidence of oxidative stress were significantly enhanced in GLUT1-OEMΦs; antioxidant treatment blunted the expression of inflammatory mediators such as PAI-1 (plasminogen activator inhibitor 1), suggesting that glucose-mediated oxidative stress was driving the proinflammatory response. Our results indicate that increased utilization of glucose induced a ROS-driven proinflammatory phenotype in MΦs, which may play an integral role in the promotion of obesity-associated insulin resistance

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