A weakness measure for GR(1) formulae

In spite of the theoretical and algorithmic developments for system synthesis in recent years, little effort has been dedicated to quantifying the quality of the specifications used for synthesis. When dealing with unrealizable specifications, finding the weakest environment assumptions that would ensure realizability is typically a desirable property; in such context the weakness of the assumptions is a major quality parameter. The question of whether one assumption is weaker than another is commonly interpreted using implication or, equivalently, language inclusion. However, this interpretation does not provide any further insight into the weakness of assumptions when implication does not hold. To our knowledge, the only measure that is capable of comparing two formulae in this case is entropy, but even it fails to provide a sufficiently refined notion of weakness in case of GR(1) formulae, a subset of linear temporal logic formulae which is of particular interest in controller synthesis. In this paper we propose a more refined measure of weakness based on the Hausdorff dimension, a concept that captures the notion of size of the omega-language satisfying a linear temporal logic formula. We identify the conditions under which this measure is guaranteed to distinguish between weaker and stronger GR(1) formulae. We evaluate our proposed weakness measure in the context of computing GR(1) assumptions refinements

Cross-calibration of CO- versus dust-based gas masses and assessment of the dynamical mass budget in Herschel-SDSS Stripe82 galaxies

We present a cross-calibration of CO- and dust-based molecular gas masses at z ≤ 0.2. Our results are based on a survey with the IRAM 30-m telescope collecting CO(1–0) measurements of 78 massive (logM⋆/M⊙> 10) galaxies with known gas-phase metallicities and with IR photometric coverage from Wide-field Infrared Survey Explorer(WISE; 22 μm) and Herschel Spectral and Photometric Imaging Receiver (SPIRE; 250, 350, 500μm). We find a tight relation (∼0.17 dex scatter) between the gas masses inferred from CO and dust continuum emission, with a minor systematic offset of 0.05 dex. The two methods can be brought into agreement by applying a metallicity-dependent adjustment factor (∼0.13 dex scatter). We illustrate that the observed offset is consistent with a scenario in which dust traces not only molecular gas but also part of the HI reservoir, residing in the H2-dominated region of the galaxy. Observations of the CO(2–1) to CO(1–0) line ratio for two-thirds of the sample indicate a narrow range in excitation properties, with a median ratio of luminosities ⟨R21⟩ ∼ 0.64. Finally, we find dynamical mass constraints from spectral line profile fitting to agree well with the anticipated mass budget enclosed within an effective radius, once all mass components (stars, gas, and dark matter) are accounted for

Immature and Maturation-Resistant Human Dendritic Cells Generated from Bone Marrow Require Two Stimulations to Induce T Cell Anergy In Vitro

Immature dendritic cells (DC) represent potential clinical tools for tolerogenic cellular immunotherapy in both transplantation and autoimmunity. A major drawback in vivo is their potential to mature during infections or inflammation, which would convert their tolerogenicity into immunogenicity. The generation of immature DC from human bone marrow (BM) by low doses of GM-CSF (lowGM) in the absence of IL-4 under GMP conditions create DC resistant to maturation, detected by surface marker expression and primary stimulation by allogeneic T cells. This resistence could not be observed for BM-derived DC generated with high doses of GM-CSF plus IL-4 (highGM/4), although both DC types induced primary allogeneic T cell anergy in vitro. The estabishment of the anergic state requires two subsequent stimulations by immature DC. Anergy induction was more profound with lowGM-DC due to their maturation resistance. Together, we show the generation of immature, maturation-resistant lowGM-DC for potential clinical use in transplant rejection and propose a two-step-model of T cell anergy induction by immature DC

Effect of Differential N-linked and O-linked Mannosylation on Recognition of Fungal Antigens by Dendritic Cells

BACKGROUND. An experimental approach for improving vaccine efficacy involves targeting antigens to mannose receptors (MRs) on dendritic cells (DCs) and other professional antigen presenting cells. Previously, we demonstrated that mannosylated Pichia pastoris-derived recombinant proteins exhibited increased immunogenicity compared to proteins lacking mannosylation. In order to gain insight into the mechanisms responsible for this observation, the present study examined the cellular uptake of the mannosylated and deglycosylated recombinant proteins. METHODOLOGY/PRINCIPAL FINDINGS. Utilizing transfected cell lines, roles for the macrophage mannose receptor (MMR, CD206) and DC-SIGN (CD209) in the recognition of the mannosylated, but not deglycosylated, antigens were demonstrated. The uptake of mannosylated antigens into murine bone marrow-derived DCs (BMDCs) was inhibited by yeast mannans (YMs), suggesting a mannose-specific C-type lectin receptor-dependent process, while the uptake of deglycosylated antigens remained unaffected. In particular, antigens with both N-linked and extensive O-linked mannosylation showed the highest binding and uptake by BMDCs. Finally, confocal microscopy studies revealed that both mannosylated and deglycosylated P. pastoris-derived recombinant proteins localized in MHC class II+ compartments within BMDCs. CONCLUSIONS/SIGNIFICANCE. Taken together with our previous results, these data suggest that increased uptake by mannose-specific C-type lectin receptors is the major mechanism responsible for the enhanced antigenicity seen with mannosylated proteins. These findings have important implications for vaccine design and contribute to our understanding of how glycosylation affects the immune response to eukaryotic pathogens.National Institutes of Health (RO1 AI25780, RO1 AI37532

Educational Homogamy Lowers the Odds of Reproductive Failure

Assortative mating based on education is a common phenomenon. We investigated whether it affected parameters of reproductive performance such as childlessness, offspring number and age at first marriage. On the basis of the US census from 1980 (n = 670,631 married US couples), we find that the proportion of childless individuals is usually minimal in women married to a husband of the same educational level. This holds particularly true in the highest and the lowest educated women. Educational homogamy is also associated with a lower average age at first marriage. No obvious effect of educational homogamy on a woman's average offspring number is found, where mean offspring number generally increases both with decreasing woman's and decreasing husband's educational attainment. We conclude that educational homogamy reduces the likelihood of reproductive failure

Comprehensive Analysis of Transcript Start Sites in Ly49 Genes Reveals an Unexpected Relationship with Gene Function and a Lack Of Upstream Promoters

Comprehensive analysis of the transcription start sites of the Ly49 genes of C57BL/6 mice using the oligo-capping 5′-RACE technique revealed that the genes encoding the “missing self” inhibitory receptors, Ly49A, C, G, and I, were transcribed from multiple broad regions in exon 1, in the intron1/exon2 region, and upstream of exon -1b. Ly49E was also transcribed in this manner, and uniquely showed a transcriptional shift from exon1 to exon 2 when NK cells were activated in vitro with IL2. Remarkably, a large proportion of Ly49E transcripts was then initiated from downstream of the translational start codon. By contrast, the genes encoding Ly49B and Q in myeloid cells, the activating Ly49D and H receptors in NK cells, and Ly49F in activated T cells, were predominantly transcribed from a conserved site in a pyrimidine-rich region upstream of exon 1. An ∼200 bp fragment from upstream of the Ly49B start site displayed tissue-specific promoter activity in dendritic cell lines, but the corresponding upstream fragments from all other Ly49 genes lacked detectable tissue-specific promoter activity. In particular, none displayed any significant activity in a newly developed adult NK cell line that expressed multiple Ly49 receptors. Similarly, no promoter activity could be found in fragments upstream of intron1/exon2. Collectively, these findings reveal a previously unrecognized relationship between the pattern of transcription and the expression/function of Ly49 receptors, and indicate that transcription of the Ly49 genes expressed in lymphoid cells is achieved in a manner that does not require classical upstream promoters

Deletion of the Chd6 exon 12 affects motor coordination

Members of the CHD protein family play key roles in gene regulation through ATP-dependent chromatin remodeling. This is facilitated by chromodomains that bind histone tails, and by the SWI2/SNF2-like ATPase/helicase domain that remodels chromatin by moving histones. Chd6 is ubiquitously expressed in both mouse and human, with the highest levels of expression in the brain. The Chd6 gene contains 37 exons, of which exons 12-19 encode the highly conserved ATPase domain. To determine the biological role of Chd6, we generated mouse lines with a deletion of exon 12. Chd6 without exon 12 is expressed at normal levels in mice, and Chd6 Exon 12 −/− mice are viable, fertile, and exhibit no obvious morphological or pathological phenotype. Chd6 Exon 12 −/− mice lack coordination as revealed by sensorimotor analysis. Further behavioral testing revealed that the coordination impairment was not due to muscle weakness or bradykinesia. Histological analysis of brain morphology revealed no differences between Chd6 Exon 12 −/− mice and wild-type (WT) controls. The location of CHD6 on human chromosome 20q12 is overlapped by the linkage map regions of several human ataxias, including autosomal recessive infantile cerebellar ataxia (SCAR6), a nonprogressive cerebrospinal ataxia. The genomic location, expression pattern, and ataxic phenotype of Chd6 Exon 12 −/− mice indicate that mutations within CHD6 may be responsible for one of these ataxias

Climate Change and American Bullfrog Invasion: What Could We Expect in South America?

BACKGROUND: Biological invasion and climate change pose challenges to biodiversity conservation in the 21(st) century. Invasive species modify ecosystem structure and functioning and climatic changes are likely to produce invasive species' range shifts pushing some populations into protected areas. The American Bullfrog (Lithobates catesbeianus) is one of the hundred worst invasive species in the world. Native from the southeast of USA, it has colonized more than 75% of South America where it has been reported as a highly effective predator, competitor and vector of amphibian diseases. METHODOLOGY/PRINCIPAL FINDINGS: We modeled the potential distribution of the bullfrog in its native range based on different climate models and green-house gases emission scenarios, and projected the results onto South America for the years of 2050 and 2080. We also overlaid projected models onto the South American network of protected areas. Our results indicate a slight decrease in potential suitable area for bullfrog invasion, although protected areas will become more climatically suitable. Therefore, invasion of these sites is forecasted. CONCLUSION/SIGNIFICANCE: We provide new evidence supporting the vulnerability of the Atlantic Forest Biodiversity Hotspot to bullfrog invasion and call attention to optimal future climatic conditions of the Andean-Patagonian forest, eastern Paraguay, and northwestern Bolivia, where invasive populations have not been found yet. We recommend several management and policy strategies to control bullfrog invasion and argue that these would be possible if based on appropriate articulation among government agencies, NGOs, research institutions and civil society