Characterizing Van Kampen Squares via Descent Data

Categories in which cocones satisfy certain exactness conditions w.r.t. pullbacks are subject to current research activities in theoretical computer science. Usually, exactness is expressed in terms of properties of the pullback functor associated with the cocone. Even in the case of non-exactness, researchers in model semantics and rewriting theory inquire an elementary characterization of the image of this functor. In this paper we will investigate this question in the special case where the cocone is a cospan, i.e. part of a Van Kampen square. The use of Descent Data as the dominant categorical tool yields two main results: A simple condition which characterizes the reachable part of the above mentioned functor in terms of liftings of involved equivalence relations and (as a consequence) a necessary and sufficient condition for a pushout to be a Van Kampen square formulated in a purely algebraic manner.Comment: In Proceedings ACCAT 2012, arXiv:1208.430

Bisimulation of Labeled State-to-Function Transition Systems of Stochastic Process Languages

Labeled state-to-function transition systems, FuTS for short, admit multiple transition schemes from states to functions of finite support over general semirings. As such they constitute a convenient modeling instrument to deal with stochastic process languages. In this paper, the notion of bisimulation induced by a FuTS is proposed and a correspondence result is proven stating that FuTS-bisimulation coincides with the behavioral equivalence of the associated functor. As generic examples, the concrete existing equivalences for the core of the process algebras ACP, PEPA and IMC are related to the bisimulation of specific FuTS, providing via the correspondence result coalgebraic justification of the equivalences of these calculi.Comment: In Proceedings ACCAT 2012, arXiv:1208.430

Integrating Science and Policy Through Stakeholder-Engaged Scenarios

Scenario development for integrated analysis focuses on adopting an interdisciplinary approach covering key elements of the biophysical environment as well as changes in livelihoods, education, economics and governance both locally and internationally. Most importantly, the development of these scenarios generates a dialogue across institutions, stakeholders and sectors, with the use of common data and agreement on shared qualitative and quantitative futures. The scenarios adopted combine three alternative future climates and three socio-economic development pathways. Quantification of these issues included estimation based on published data, expert knowledge and stakeholder engagement, particularly where data are most uncertain or unknown. This chapter demonstrates this approach for coastal Bangladesh

The Depletion of Nuclear Glutathione Impairs Cell Proliferation in 3t3 Fibroblasts

BACKGROUND:Glutathione is considered essential for survival in mammalian cells and yeast but not in prokaryotic cells. The presence of a nuclear pool of glutathione has been demonstrated but its role in cellular proliferation and differentiation is still a matter of debate. PRINCIPAL FINDINGS:We have studied proliferation of 3T3 fibroblasts for a period of 5 days. Cells were treated with two well known depleting agents, diethyl maleate (DEM) and buthionine sulfoximine (BSO), and the cellular and nuclear glutathione levels were assessed by analytical and confocal microscopic techniques, respectively. Both agents decreased total cellular glutathione although depletion by BSO was more sustained. However, the nuclear glutathione pool resisted depletion by BSO but not with DEM. Interestingly, cell proliferation was impaired by DEM, but not by BSO. Treating the cells simultaneously with DEM and with glutathione ethyl ester to restore intracellular GSH levels completely prevented the effects of DEM on cell proliferation. CONCLUSIONS:Our results demonstrate the importance of nuclear glutathione in the control of cell proliferation in 3T3 fibroblasts and suggest that a reduced nuclear environment is necessary for cells to progress in the cell cycle

Reduction of Cross-Reactive Carbohydrate Determinants in Plant Foodstuff: Elucidation of Clinical Relevance and Implications for Allergy Diagnosis

Background: A longstanding debate in allergy is whether or not specific immunoglobulin-E antibodies (sIgE), recognizing cross-reactive carbohydrate determinants (CCD), are able to elicit clinical symptoms. In pollen and food allergy, $20% of patients display in-vitro CCD reactivity based on presence of a1,3-fucose and/or b1,2-xylose residues on N-glycans of plant (xylose/fucose) and insect (fucose) glycoproteins. Because the allergenicity of tomato glycoallergen Lyc e 2 was ascribed to N-glycan chains alone, this study aimed at evaluating clinical relevance of CCD-reduced foodstuff in patients with carbohydrate-specific IgE (CCD-sIgE). Methodology/Principal Findings: Tomato and/or potato plants with stable reduction of Lyc e 2 (tomato) or CCD formation in general were obtained via RNA interference, and gene-silencing was confirmed by immunoblot analyses. Two different CCD-positive patient groups were compared: one with tomato and/or potato food allergy and another with hymenopteravenom allergy (the latter to distinguish between CCD- and peptide-specific reactions in the food-allergic group). Nonallergic and CCD-negative food-allergic patients served as controls for immunoblot, basophil activation, and ImmunoCAP analyses. Basophil activation tests (BAT) revealed that Lyc e 2 is no key player among other tomato (glyco)allergens. CCDpositive patients showed decreased (re)activity with CCD-reduced foodstuff, most obvious in the hymenoptera venomallergic but less in the food-allergic group, suggesting that in-vivo reactivity is primarily based on peptide- and not CCDsIgE. Peptide epitopes remained unaffected in CCD-reduced plants, because CCD-negative patient sera showed reactivity similar to wild-type. In-house-made ImmunoCAPs, applied to investigate feasibility in routine diagnosis, confirmed BAT results at the sIgE level. Conclusions/Significance: CCD-positive hymenoptera venom-allergic patients (control group) showed basophil activation despite no allergic symptoms towards tomato and potato. Therefore, this proof-of-principle study demonstrates feasibility of CCD-reduced foodstuff to minimize ‘false-positive results’ in routine serum tests. Despite confirming low clinical relevance of CCD antibodies, we identified one patient with ambiguous in-vitro results, indicating need for further component-resolved diagnosis

An Equine Herpesvirus Type 1 (EHV-1) Expressing VP2 and VP5 of Serotype 8 Bluetongue Virus (BTV-8) Induces Protection in a Murine Infection Model

Bluetongue virus (BTV) can infect most species of domestic and wild ruminants causing substantial morbidity and mortality and, consequently, high economic losses. In 2006, an epizootic of BTV serotype 8 (BTV-8) started in northern Europe that caused significant disease in cattle and sheep before comprehensive vaccination was introduced two years later. Here, we evaluate the potential of equine herpesvirus type 1 (EHV-1), an alphaherpesvirus, as a novel vectored DIVA (differentiating infected from vaccinated animals) vaccine expressing VP2 of BTV-8 alone or in combination with VP5. The EHV-1 recombinant viruses stably expressed the transgenes and grew with kinetics that were identical to those of parental virus in vitro. After immunization of mice, a BTV-8-specific neutralizing antibody response was elicited. In a challenge experiment using a lethal dose of BTV-8, 100% of interferon-receptor-deficient (IFNAR−/−) mice vaccinated with the recombinant EHV-1 carrying both VP2 and VP5, but not VP2 alone, survived. VP7 was not included in the vectored vaccines and was successfully used as a DIVA marker. In summary, we show that EHV-1 expressing BTV-8 VP2 and VP5 is capable of eliciting a protective immune response that is distinguishable from that after infection and as such may be an alternative for BTV vaccination strategies in which DIVA compatibility is of importance

Synthetic Nanoparticles for Vaccines and Immunotherapy

The immune system plays a critical role in our health. No other component of human physiology plays a decisive role in as diverse an array of maladies, from deadly diseases with which we are all familiar to equally terrible esoteric conditions: HIV, malaria, pneumococcal and influenza infections; cancer; atherosclerosis; autoimmune diseases such as lupus, diabetes, and multiple sclerosis. The importance of understanding the function of the immune system and learning how to modulate immunity to protect against or treat disease thus cannot be overstated. Fortunately, we are entering an exciting era where the science of immunology is defining pathways for the rational manipulation of the immune system at the cellular and molecular level, and this understanding is leading to dramatic advances in the clinic that are transforming the future of medicine.1,2 These initial advances are being made primarily through biologic drugs– recombinant proteins (especially antibodies) or patient-derived cell therapies– but exciting data from preclinical studies suggest that a marriage of approaches based in biotechnology with the materials science and chemistry of nanomaterials, especially nanoparticles, could enable more effective and safer immune engineering strategies. This review will examine these nanoparticle-based strategies to immune modulation in detail, and discuss the promise and outstanding challenges facing the field of immune engineering from a chemical biology/materials engineering perspectiveNational Institutes of Health (U.S.) (Grants AI111860, CA174795, CA172164, AI091693, and AI095109)United States. Department of Defense (W911NF-13-D-0001 and Awards W911NF-07-D-0004

Over-expression of mitochondrial creatine kinase in the murine heart improves functional recovery and protects against injury following ischaemia–reperfusion

Aims Mitochondrial creatine kinase (MtCK) couples ATP production via oxidative phosphorylation to phosphocreatine in the cytosol, which acts as a mobile energy store available for regeneration of ATP at times of high demand. We hypothesized that elevating MtCK would be beneficial in ischaemia–reperfusion (I/R) injury. Methods and results Mice were created over-expressing the sarcomeric MtCK gene with αMHC promoter at the Rosa26 locus (MtCK-OE) and compared with wild-type (WT) littermates. MtCK activity was 27% higher than WT, with no change in other CK isoenzymes or creatine levels. Electron microscopy confirmed normal mitochondrial cell density and mitochondrial localization of transgenic protein. Respiration in isolated mitochondria was unaltered and metabolomic analysis by 1 H-NMR suggests that cellular metabolism was not grossly affected by transgene expression. There were no significant differences in cardiac structure or function under baseline conditions by cine-MRI or LV haemodynamics. In Langendorff-perfused hearts subjected to 20 min ischaemia and 30 min reperfusion, MtCK-OE exhibited less ischaemic contracture, and improved functional recovery (Rate pressure product 58% above WT; P < 0.001). These hearts had reduced myocardial infarct size, which was confirmed in vivo: 55 ± 4% in WT vs. 29 ± 4% in MtCK-OE; P < 0.0001). Isolated cardiomyocytes from MtCK-OE hearts exhibited delayed opening of the mitochondrial permeability transition pore (mPTP) compared to WT, which was confirmed by reduced mitochondrial swelling in response to calcium. There was no detectable change in the structural integrity of the mitochondrial membrane. Conclusions Modest elevation of MtCK activity in the heart does not adversely affect cellular metabolism, mitochondrial or in vivo cardiac function, but modifies mPTP opening to protect against I/R injury and improve functional recovery. Our findings support MtCK as a prime therapeutic target in myocardial ischaemia