Merging cloned alloy models with colorful refactorings

Likewise to code, clone-and-own is a common way to create variants of a model, to explore the impact of different features while exploring the design of a software system. Previously, we have introduced Colorful Alloy, an extension of the popular Alloy language and toolkit to support feature-oriented design, where model elements can be annotated with feature expressions and further highlighted with different colors to ease understanding. In this paper we propose a catalog of refactorings for Colorful Alloy models, and show how they can be used to iteratively merge cloned Alloy models into a single feature-annotated colorful model, where the commonalities and differences between the different clones are easily perceived, and more efficient aggregated analyses can be performed.This work is financed by the ERDF — European Regional Development Fund through the Operational Programme for Competitiveness and Internationalisation – COMPETE 2020 Programme and by National Funds through the Portuguese funding agency, FCT – Fundação para a Ciência e a Tecnologia within project PTDC/CCI-INF/29583/2017 – POCI-01-0145-FEDER-029583

Cleidocranial dysplasia presenting with retained deciduous teeth in a 15-year-old girl: a case report

<p>Abstract</p> <p>Introduction</p> <p>Cleidocranial dysplasia is a rare congenital defect of autosomal dominant inheritance caused by mutations in the <it>Cbfa1 </it>gene, also called <it>Runx2</it>, located on the short arm of chromosome 6. It primarily affects bones which undergo intramembranous ossification. This condition is of clinical significance to dentistry due to the involvement of the facial bones, altered eruption patterns and multiple supernumerary teeth.</p> <p>Case presentation</p> <p>Our patient, a 15-year-old Indian girl, presented with the typical features of prolonged retention of deciduous dentition and delayed eruption of permanent teeth, that is, mandibular prognathism along with other skeletal abnormalities like shrugged shoulder and the absence of clavicles. A multidisciplinary approach was followed, comprising orthodontic, surgical and pedodontic teams for management.</p> <p>Conclusion</p> <p>Successful treatment of such a case lies in a holistic approach that takes care of all aspects, including the primary pathology, the deformity itself and even the psychological angle.</p

Comprehensive resequence analysis of a 136 kb region of human chromosome 8q24 associated with prostate and colon cancers

Recently, genome-wide association studies have identified loci across a segment of chromosome 8q24 (128,100,000–128,700,000) associated with the risk of breast, colon and prostate cancers. At least three regions of 8q24 have been independently associated with prostate cancer risk; the most centromeric of which appears to be population specific. Haplotypes in two contiguous but independent loci, marked by rs6983267 and rs1447295, have been identified in the Cancer Genetic Markers of Susceptibility project (http://cgems.cancer.gov), which genotyped more than 5,000 prostate cancer cases and 5,000 controls of European origin. The rs6983267 locus is also strongly associated with colorectal cancer. To ascertain a comprehensive catalog of common single-nucleotide polymorphisms (SNPs) across the two regions, we conducted a resequence analysis of 136 kb (chr8: 128,473,000–128,609,802) using the Roche/454 next-generation sequencing technology in 39 prostate cancer cases and 40 controls of European origin. We have characterized a comprehensive catalog of common (MAF > 1%) SNPs within this region, including 442 novel SNPs and have determined the pattern of linkage disequilibrium across the region. Our study has generated a detailed map of genetic variation across the region, which should be useful for choosing SNPs for fine mapping of association signals in 8q24 and investigations of the functional consequences of select common variants

Match running performance and physical capacity profiles of U8 and U10 soccer players

Aim This study aimed to characterize match running performance of very young soccer players and evaluate the relationship between these data and physical capacities and technical skills. Methods Distances covered at different speed thresholds were measured during 31 official matches using GPS technology in U10 (n = 12; age 10.1 ± 0.1 years) and U8 (n = 15; age 7.9 ± 0.1 years) national soccer players. Counter movement jump performance (CMJ), 20 m shuttle running (20 m-SR), linear sprint performance (10, 20, 30 m), shuttle (SHDT) and slalom dribble tests (SLDT) were performed to determine the players physical capacities and technical skills. Results Physical capacities and technical skills were higher in U10 versus U8 players [P 0.05, ES: 0.74). The U10 players covered more total (TD) and high-intensity running distance (HIRD) than their younger counterparts did (P 0.05, ES: 0.99). TD and HIRD covered across the three 15 min periods of match play did not decline (P > 0.05, ES: 0.02–0.55). Very large magnitude correlations were observed between the U8 and U10 players performances during the 20 m-SR versus TD (r = 0.79; P < 0.01) and HIRD (r = 0.82; P < 0.01) covered during match play. Conclusions Data demonstrate differences in match running performance and physical capacity between U8 and U10 players, and large magnitude relationships between match play measures and physical test performances. These findings could be useful to sports science staff working within the academies

Decrease in coccolithophore calcification and CO2 since the middle Miocene

International audienceMarine algae are instrumental in carbon cycling and atmospheric carbon dioxide (CO2) regulation. One group, coccolithophores, uses carbon to photosynthesize and to calcify, covering their cells with chalk platelets (coccoliths). How ocean acidification influences coccolithophore calcification is strongly debated, and the effects of carbonate chemistry changes in the geological past are poorly understood. This paper relates degree of coccolith calcification to cellular calcification, and presents the first records of size-normalized coccolith thickness spanning the last 14 Myr from tropical oceans. Degree of calcification was highest in the low-pH, high-CO2 Miocene ocean, but decreased significantly between 6 and 4 Myr ago. Based on this and concurrent trends in a new alkenone εp record, we propose that decreasing CO2 partly drove the observed trend via reduced cellular bicarbonate allocation to calcification. This trend reversed in the late Pleistocene despite low CO2, suggesting an additional regulator of calcification such as alkalinity

GM-CSF Production Allows the Identification of Immunoprevalent Antigens Recognized by Human CD4+ T Cells Following Smallpox Vaccination

The threat of bioterrorism with smallpox and the broad use of vaccinia vectors for other vaccines have led to the resurgence in the study of vaccinia immunological memory. The importance of the role of CD4+ T cells in the control of vaccinia infection is well known. However, more CD8+ than CD4+ T cell epitopes recognized by human subjects immunized with vaccinia virus have been reported. This could be, in part, due to the fact that most of the studies that have identified human CD4+ specific protein-derived fragments or peptides have used IFN-γ production to evaluate vaccinia specific T cell responses. Based on these findings, we reasoned that analyzing a large panel of cytokines would permit us to generate a more complete analysis of the CD4 T cell responses. The results presented provide clear evidence that TNF-α is an excellent readout of vaccinia specificity and that other cytokines such as GM-CSF can be used to evaluate the reactivity of CD4+ T cells in response to vaccinia antigens. Furthermore, using these cytokines as readout of vaccinia specificity, we present the identification of novel peptides from immunoprevalent vaccinia proteins recognized by CD4+ T cells derived from smallpox vaccinated human subjects. In conclusion, we describe a “T cell–driven” methodology that can be implemented to determine the specificity of the T cell response upon vaccination or infection. Together, the single pathogen in vitro stimulation, the selection of CD4+ T cells specific to the pathogen by limiting dilution, the evaluation of pathogen specificity by detecting multiple cytokines, and the screening of the clones with synthetic combinatorial libraries, constitutes a novel and valuable approach for the elucidation of human CD4+ T cell specificity in response to large pathogens

Mitochondrial physiology

As the knowledge base and importance of mitochondrial physiology to evolution, health and disease expands, the necessity for harmonizing the terminology concerning mitochondrial respiratory states and rates has become increasingly apparent. The chemiosmotic theory establishes the mechanism of energy transformation and coupling in oxidative phosphorylation. The unifying concept of the protonmotive force provides the framework for developing a consistent theoretical foundation of mitochondrial physiology and bioenergetics. We follow the latest SI guidelines and those of the International Union of Pure and Applied Chemistry (IUPAC) on terminology in physical chemistry, extended by considerations of open systems and thermodynamics of irreversible processes. The concept-driven constructive terminology incorporates the meaning of each quantity and aligns concepts and symbols with the nomenclature of classical bioenergetics. We endeavour to provide a balanced view of mitochondrial respiratory control and a critical discussion on reporting data of mitochondrial respiration in terms of metabolic flows and fluxes. Uniform standards for evaluation of respiratory states and rates will ultimately contribute to reproducibility between laboratories and thus support the development of data repositories of mitochondrial respiratory function in species, tissues, and cells. Clarity of concept and consistency of nomenclature facilitate effective transdisciplinary communication, education, and ultimately further discovery

Chronic oxytocin-driven alternative splicing of Crfr2α induces anxiety

The neuropeptide oxytocin (OXT) has generated considerable interest as potential treatment for psychiatric disorders, including anxiety and autism spectrum disorders. However, the behavioral and molecular consequences associated with chronic OXT treatment and chronic receptor (OXTR) activation have scarcely been studied, despite the potential therapeutic long-term use of intranasal OXT. Here, we reveal that chronic OXT treatment over two weeks increased anxiety-like behavior in rats, with higher sensitivity in females, contrasting the well-known anxiolytic effect of acute OXT. The increase in anxiety was transient and waned 5 days after the infusion has ended. The behavioral effects of chronic OXT were paralleled by activation of an intracellular signaling pathway, which ultimately led to alternative splicing of hypothalamic corticotropin-releasing factor receptor 2α (Crfr2α), an important modulator of anxiety. In detail, chronic OXT shifted the splicing ratio from the anxiolytic membrane-bound (mCRFR2α) form of CRFR2α towards the soluble CRFR2α (sCRFR2α) form. Experimental induction of alternative splicing mimicked the anxiogenic effects of chronic OXT, while sCRFR2α-knock down reduced anxiety-related behavior of male rats. Furthermore, chronic OXT treatment triggered the release of sCRFR2α into the cerebrospinal fluid with sCRFR2α levels positively correlating with anxiety-like behavior. In summary, we revealed that the shifted splicing ratio towards expression of the anxiogenic sCRFR2α underlies the adverse effects of chronic OXT treatment on anxiety