Erlang Code Evolution Control

During the software lifecycle, a program can evolve several times for different reasons such as the optimisation of a bottle-neck, the refactoring of an obscure function, etc. These code changes often involve several functions or modules, so it can be difficult to know whether the correct behaviour of the previous releases has been preserved in the new release. Most developers rely on a previously defined test suite to check this behaviour preservation. We propose here an alternative approach to automatically obtain a test suite that specifically focusses on comparing the old and new versions of the code. Our test case generation is directed by a sophisticated combination of several already existing tools such as TypEr, CutEr, and PropEr; and other ideas such as allowing the programmer to chose an expression of interest that must preserve the behaviour, or the recording of the sequences of values to which this expression is evaluated. All the presented work has been implemented in an open-source tool that is publicly available on GitHub.Comment: Pre-proceedings paper presented at the 27th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2017), Namur, Belgium, 10-12 October 2017 (arXiv:1708.07854

Impact of multi-metals (Cd, Pb and Zn) exposure on the physiology of the yeast Pichia kudriavzevii

Metal contamination of the environment is frequently associated to the presence of two or more metals. This work aimed to study the impact of a mixture of metals (Cd, Pb and Zn) on the physiology of the non-conventional yeast Pichia kudriavzevii. The incubation of yeast cells with 5 mg/l Cd, 10 mg/l Pb and 5 mg/l Zn, for 6 h, induced a loss of metabolic activity (assessed by FUN-1 staining) and proliferation capacity (evaluated by a clonogenic assay), with a small loss of membrane integrity (measured by trypan blue exclusion assay). The staining of yeast cells with calcofluor white revealed that no modification of chitin deposition pattern occurred during the exposure to metal mixture. Extending for 24 h, the exposure of yeast cells to metal mixture provoked a loss of membrane integrity, which was accompanied by the leakage of intracellular components. A marked loss of the metabolic activity and the loss of proliferation capacity were also observed. The analysis of the impact of a single metal has shown that, under the conditions studied, Pb was the metal responsible for the toxic effect observed in the metal mixture. Intracellular accumulation of Pb seems to be correlated with the metals toxic effects observed.The authors thank the FCT Strategic Project PEst-OE/EQB/LA0023/2013 and the Project "BioInd-Biotechnology and Bioengineering for improved Industrial and Agro-Food processes" (NORTE-07-0124-FEDER-000028), Co-funded by the Programa Operacional Regional do Norte (ON.2-O Novo Norte), QREN, FEDER. Manuela D. Machado gratefully acknowledges the post-doctoral grant from FCT (SFRH/BPD/72816/2010). Vanessa A. Mesquita gratefully acknowledges the grant from Coordenacao de Aperfeicoamento de Pessoal de Nivel Superior (CAPES). The authors also thank to Doctor Rosane Freitas Schwan to offer the yeast strain and to Doctor Helena M.V.M. Soares, from the Faculty of Engineering of Porto University, for the use of analytical facilities (AAS with flame atomization and AAS with electrothermal atomization)

Germline MUTYH (MYH) mutations in Portuguese individuals with multiple colorectal adenomas

Germinal mutations in the base excision repair (BER) gene MUTYH (MYH) have recently been described in association with predisposition to multiple colorectal adenomas and cancer. In contrast to the classic dominant condition of familial adenomatous polyposis (FAP) due to germinal mutations in the APC gene, the MYH polyposis is an autosomal recessive disease. The identification of individuals affected by MYH polyposis brings new and important implications for the diagnostic, screening, genetic counseling, follow up and therapeutic options in these patients. In this study, screening for germinal mutations in the MYH gene was performed in 53 Portuguese individuals with multiple colorectal adenomas or classic adenomatous polyposis, in whom no mutation had been identified in the APC gene. The results revealed the presence of biallelic germline MYH mutations in 21 patients. In addition, we here report 3 mutations (c.340T>C [p.Y114H]; c.503G>A [p.R168H]; and c.1186_1187insGG [p.E396fsX437]) which, to our knowledge, have not been previously describe

Complete mitochondrial DNA sequences provide new insights into the Polynesian motif and the peopling of Madagascar

More than a decade of mitochondrial DNA (mtDNA) studies have given the 'Polynesian motif' renowned status as a marker for tracing the late-Holocene expansion of Austronesian speaking populations. Despite considerable research on the Polynesian motif in Oceania, there has been little equivalent work on the western edge of its expansion - leaving major issues unresolved regarding the motif's evolutionary history. This has also led to considerable uncertainty regarding the settlement of Madagascar. In this study, we assess mtDNA variation in 266 individuals from three Malagasy ethnic groups: the Mikea, Vezo, and Merina. Complete mtDNA genome sequencing reveals a new variant of the Polynesian motif in Madagascar; two coding region mutations define a Malagasy-specific sub-branch. This newly defined 'Malagasy motif' occurs at high frequency in all three ethnic groups (13-50%), and its phylogenetic position, geographic distribution, and estimated age all support a recent origin, but without conclusively identifying a specific source region. Nevertheless, the haplotype's limited diversity, similar to those of other mtDNA haplogroups found in our Malagasy groups, best supports a small number of initial settlers arriving to Madagascar through the same migratory process. Finally, the discovery of this lineage provides a set of new polymorphic positions to help localize the Austronesian ancestors of the Malagasy, as well as uncover the origin and evolution of the Polynesian motif itself

New insights into the distribution and conservation status of the Golden-White Tassel-Ear Marmoset Mico chrysoleucos (Primates, Callitrichidae)

Among the 13 Mico species recognized by the IUCN Red List of Threatened Species, six are listed as "Data Deficient". The geographic range of most of the Mico species has been estimated from only a few records. We report new localities and the geographic extension of Mico chrysoleucos. In addition, we confirmed the presence of the species in two distinct protected areas. We modeled the habitat suitability of M. chrysoleucos using the maximum entropy method and including new records obtained by the authors in the state of Amazonas, Brazil. From the total area of occurrence calculated for the species, 22.8% is covered by protected areas and indigenous lands. The annual mean deforestation rate estimated between 2000 and 2015 was 2.95%, and the total area deforested by 2015 was 3354 km2 or 8.6% of the total distribution limits of the species. The habitat lost between 2000 and 2015 was 3.2% (1131 km2 ) of the total potential distribution, while the habitat loss area legally protected was 31 km2, and the habitat loss in settlements was equal to 691 km2. Our results extend the geographic distribution of the species about 100 km farther south, with the Maracanã River being a possible geographic barrier for the species. The significantly low rate of habitat loss inside protected areas and indigenous land, when compared to unprotected areas, points out the importance of these areas to M. chrysoleucos conservation. The species is relatively wide-ranging, legally protected, and resilient to regional anthropic threats. However, the hydroelectric schemes and the improvement of the road system in southern Amazonia pose an imminent threat to the species

Celecoxib exerts protective effects in the vascular endothelium via COX-2-independent activation of AMPK-CREB-Nrf2 signalling

Although concern remains about the athero-thrombotic risk posed by cyclo-oxygenase (COX)-2-selective inhibitors, recent data implicates rofecoxib, while celecoxib appears equivalent to NSAIDs naproxen and ibuprofen. We investigated the hypothesis that celecoxib activates AMP kinase (AMPK) signalling to enhance vascular endothelial protection. In human arterial and venous endothelial cells (EC), and in contrast to ibuprofen and naproxen, celecoxib induced the protective protein heme oxygenase-1 (HO-1). Celecoxib derivative 2,5-dimethyl-celecoxib (DMC) which lacks COX-2 inhibition also upregulated HO-1, implicating a COX-2-independent mechanism. Celecoxib activated AMPKα(Thr172) and CREB-1(Ser133) phosphorylation leading to Nrf2 nuclear translocation. Importantly, these responses were not reproduced by ibuprofen or naproxen, while AMPKα silencing abrogated celecoxib-mediated CREB and Nrf2 activation. Moreover, celecoxib induced H-ferritin via the same pathway, and increased HO-1 and H-ferritin in the aortic endothelium of mice fed celecoxib (1000 ppm) or control chow. Functionally, celecoxib inhibited TNF-α-induced NF-κB p65(Ser536) phosphorylation by activating AMPK. This attenuated VCAM-1 upregulation via induction of HO-1, a response reproduced by DMC but not ibuprofen or naproxen. Similarly, celecoxib prevented IL-1β-mediated induction of IL-6. Celecoxib enhances vascular protection via AMPK-CREB-Nrf2 signalling, a mechanism which may mitigate cardiovascular risk in patients prescribed celecoxib. Understanding NSAID heterogeneity and COX-2-independent signalling will ultimately lead to safer anti-inflammatory drugs

The association between stress and mood across the adult lifespan on default mode network

Aging of brain structure and function is a complex process characterized by high inter- and intra-individual variability. Such variability may arise from the interaction of multiple factors, including exposure to stressful experience and mood variation, across the lifespan. Using a multimodal neuroimaging and neurocognitive approach, we investigated the association of stress, mood and their interaction, in the structure and function of the default mode network (DMN), both during rest and task-induced deactivation, throughout the adult lifespan. Data confirmed a decreased functional connectivity (FC) and task-induced deactivation of the DMN during the aging process and in subjects with lower mood; on the contrary, an increased FC was observed in subjects with higher perceived stress. Surprisingly, the association of aging with DMN was altered by stress and mood in specific regions. An increased difficulty to deactivate the DMN was noted in older participants with lower mood, contrasting with an increased deactivation in individuals presenting high stress, independently of their mood levels, with aging. Interestingly, this constant interaction across aging was globally most significant in the combination of high stress levels with a more depressed mood state, both during resting state and task-induced deactivations. The present results contribute to characterize the spectrum of FC and deactivation patterns of the DMN, highlighting the crucial association of stress and mood levels, during the adult aging process. These combinatorial approaches may help to understand the heterogeneity of the aging process in brain structure and function and several states that may lead to neuropsychiatric disorders.The work was supported by SwitchBox-FP7-HEALTH-2010-Grant 259772-2 and by ON.2, O NOVO NORTE, North Portugal Regional Operational Programme 2007/2013, of the National strategic Reference Framework (NSRF) 2007/2013, through the European Regional Development Fund (ERDF)info:eu-repo/semantics/publishedVersio

Performance of the CMS Cathode Strip Chambers with Cosmic Rays

The Cathode Strip Chambers (CSCs) constitute the primary muon tracking device in the CMS endcaps. Their performance has been evaluated using data taken during a cosmic ray run in fall 2008. Measured noise levels are low, with the number of noisy channels well below 1%. Coordinate resolution was measured for all types of chambers, and fall in the range 47 microns to 243 microns. The efficiencies for local charged track triggers, for hit and for segments reconstruction were measured, and are above 99%. The timing resolution per layer is approximately 5 ns

The sudden change phenomenon of quantum discord

Even if the parameters determining a system's state are varied smoothly, the behavior of quantum correlations alike to quantum discord, and of its classical counterparts, can be very peculiar, with the appearance of non-analyticities in its rate of change. Here we review this sudden change phenomenon (SCP) discussing some important points related to it: Its uncovering, interpretations, and experimental verifications, its use in the context of the emergence of the pointer basis in a quantum measurement process, its appearance and universality under Markovian and non-Markovian dynamics, its theoretical and experimental investigation in some other physical scenarios, and the related phenomenon of double sudden change of trace distance discord. Several open questions are identified, and we envisage that in answering them we will gain significant further insight about the relation between the SCP and the symmetry-geometric aspects of the quantum state space.Comment: Lectures on General Quantum Correlations and their Applications, F. F. Fanchini, D. O. Soares Pinto, and G. Adesso (Eds.), Springer (2017), pp 309-33

Aboriginal Australian mitochondrial genome variation - An increased understanding of population antiquity and diversity

Aboriginal Australians represent one of the oldest continuous cultures outside Africa, with evidence indicating that their ancestors arrived in the ancient landmass of Sahul (present-day New Guinea and Australia) ∼55 thousand years ago. Genetic studies, though limited, have demonstrated both the uniqueness and antiquity of Aboriginal Australian genomes. We have further resolved known Aboriginal Australian mitochondrial haplogroups and discovered novel indigenous lineages by sequencing the mitogenomes of 127 contemporary Aboriginal Australians. In particular, the more common haplogroups observed in our dataset included M42a, M42c, S, P5 and P12, followed by rarer haplogroups M15, M16, N13, O, P3, P6 and P8. We propose some major phylogenetic rearrangements, such as in haplogroup P where we delinked P4a and P4b and redefined them as P4 (New Guinean) and P11 (Australian), respectively. Haplogroup P2b was identified as a novel clade potentially restricted to Torres Strait Islanders. Nearly all Aboriginal Australian mitochondrial haplogroups detected appear to be ancient, with no evidence of later introgression during the Holocene. Our findings greatly increase knowledge about the geographic distribution and phylogenetic structure of mitochondrial lineages that have survived in contemporary descendants of Australia's first settlers. © The Author(s) 2017