Aluminum Tolerance QTL in Diploid Alfalfa

Aluminum (Al) toxicity associated with acid soils greatly inhibits alfalfa (Medicago sativa L.) productivity throughout much of the world’s major grassland areas. In this paper, we report the identification of quantitative trait loci (QTL) controlling aluminum tolerance in diploid alfalfa (Medicago sativa L). An in vitro callus growth bioassay was used to select aluminum tolerant and aluminum sensitive parents, and to screen an F2 population for aluminum tolerance. Fifty-eight cDNA probes were mapped to nine linkage groups, and the F2 genotypic classes were contrasted with means from the callus growth bioassay using ANOVA. We also used Mapmaker-QTL to identify markers associated with aluminum tolerance. Four markers, UGAc044, UGAc053, UGAc141, and UGAc782, were found to be associated with aluminum tolerance. UGAc044 had the greatest effect, accounting for 15% (LOD 2.3) of the variation in aluminum tolerance

Economic Potential of Substituting Legumes for Synthetic Nitrogen in Warm Season Perennial Grasses used for Stocker Cattle Grazing

Stocker cattle grazing warm season perennial grasses is an important economic activity in the southern Great Plains. Substantial increases in the price of nitrogen fertilizer is negatively affecting forage producers’ profitability. Two alternative nitrogen management systems that use annual and perennial legumes have been developed for bermudagrass pastures. The goal of the study is to determine if the legumes systems are more profitable than the conventional practice of applying synthetic sources of nitrogen. Results of the two-year grazing study show that the legume systems could not compete economically with the common practice.economics, grazing, legumes, bermudagrass, nitrogen fertilizer, stocker cattle, Crop Production/Industries, Farm Management, Production Economics,

Correlates of Christian Religious Identification and Deidentification Among Sexual and Gender Minorities: A U.S. Probability Sample

Using a U.S. nationally representative sample of 1,529 sexual and gender minorities (SGMs), we examined the demographic and developmental correlates of Christian religious deidentification. We found that SGMs who were older, Black, cisgender men, and/or lived in the American South were more likely to identify as Christian in adulthood, relative to other SGMs. Those who were never Christian reported being more out to family and friends at earlier ages than those who were raised Christian. SGMs who were raised Christian, but did not identify as Christian in adulthood reported, more adverse childhood experiences and bullying than other SGMs. Sexual minorities who identified as Christian in adulthood reported more internalized homophobia in adulthood than other sexual minorities. Finally, sexual minorities who were raised Christian, regardless of their adulthood religious identification, reported experiencing more stigma than sexual minorities who were not raised Christian. No differences were noted in measures of adulthood resilience or health. Taken together, results indicate that identifying as Christian—in childhood and/or adulthood—is associated with greater experiences of stigma and stress than not identifying as Christian in adulthood

Regulation of lamellipodial persistence, adhesion turnover, and motility in macrophages by focal adhesion kinase

Macrophages are a key component of the innate immune system. In this study, we investigate how focal adhesion kinase (FAK) and the related kinase Pyk2 integrate adhesion signaling and growth factor receptor signaling to regulate diverse macrophage functions. Primary bone marrow macrophages isolated from mice in which FAK is conditionally deleted from cells of the myeloid lineage exhibited elevated protrusive activity, altered adhesion dynamics, impaired chemotaxis, elevated basal Rac1 activity, and a marked inability to form stable lamellipodia necessary for directional locomotion. The contribution of FAK to macrophage function in vitro was substantiated in vivo by the finding that recruitment of monocytes to sites of inflammation was impaired in the absence of FAK. Decreased Pyk2 expression in primary macrophages also resulted in a diminution of invasive capacity. However, the combined loss of FAK and Pyk2 had no greater effect than the loss of either molecule alone, indicating that both kinases function within the same pathway to promote invasion

The nuclear receptors of Biomphalaria glabrata and Lottia gigantea: Implications for developing new model organisms

© 2015 Kaur et al. This is an open access article distributed under the terms of the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original author and source are creditedNuclear receptors (NRs) are transcription regulators involved in an array of diverse physiological functions including key roles in endocrine and metabolic function. The aim of this study was to identify nuclear receptors in the fully sequenced genome of the gastropod snail, Biomphalaria glabrata, intermediate host for Schistosoma mansoni and compare these to known vertebrate NRs, with a view to assessing the snail's potential as a invertebrate model organism for endocrine function, both as a prospective new test organism and to elucidate the fundamental genetic and mechanistic causes of disease. For comparative purposes, the genome of a second gastropod, the owl limpet, Lottia gigantea was also investigated for nuclear receptors. Thirty-nine and thirty-three putative NRs were identified from the B. glabrata and L. gigantea genomes respectively, based on the presence of a conserved DNA-binding domain and/or ligand-binding domain. Nuclear receptor transcript expression was confirmed and sequences were subjected to a comparative phylogenetic analysis, which demonstrated that these molluscs have representatives of all the major NR subfamilies (1-6). Many of the identified NRs are conserved between vertebrates and invertebrates, however differences exist, most notably, the absence of receptors of Group 3C, which includes some of the vertebrate endocrine hormone targets. The mollusc genomes also contain NR homologues that are present in insects and nematodes but not in vertebrates, such as Group 1J (HR48/DAF12/HR96). The identification of many shared receptors between humans and molluscs indicates the potential for molluscs as model organisms; however the absence of several steroid hormone receptors indicates snail endocrine systems are fundamentally different.The National Centre for the Replacement, Refinement and Reduction of Animals in Research, Grant Ref:G0900802 to CSJ, LRN, SJ & EJR [www.nc3rs.org.uk]

Satisfiability Checking and Symbolic Computation

Symbolic Computation and Satisfiability Checking are viewed as individual research areas, but they share common interests in the development, implementation and application of decision procedures for arithmetic theories. Despite these commonalities, the two communities are currently only weakly connected. We introduce a new project SC-square to build a joint community in this area, supported by a newly accepted EU (H2020-FETOPEN-CSA) project of the same name. We aim to strengthen the connection between these communities by creating common platforms, initiating interaction and exchange, identifying common challenges, and developing a common roadmap. This abstract and accompanying poster describes the motivation and aims for the project, and reports on the first activities.Comment: 3 page Extended Abstract to accompany an ISSAC 2016 poster. Poster available at http://www.sc-square.org/SC2-AnnouncementPoster.pd

Extending SMT Solvers to Higher-Order Logic

International audienceSMT solvers have throughout the years been able to cope with increasingly expressive formulas, from ground logics to full first-order logic (FOL). In contrast, the extension of SMT solvers to higher-order logic (HOL) is mostly un-explored. We propose a pragmatic extension for SMT solvers to support HOL reasoning natively without compromising performance on FOL reasoning, thus leveraging the extensive research and implementation efforts dedicated to efficient SMT solving. We show how to generalize data structures and the ground decision procedure to support partial applications and extensionality, as well as how to reconcile quantifier instantiation techniques with higher-order variables. We also discuss a separate approach for redesigning an HOL SMT solver from the ground up via new data structures and algorithms. We apply our pragmatic extension to the CVC4 SMT solver and discuss a redesign of the veriT SMT solver. Our evaluation shows they are competitive with state-of-the-art HOL provers and often outperform the traditional encoding into FOL