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

Intensive Blood Pressure Treatment Reduced Stroke Risk in Patients With Albuminuria in the SPRINT Trial

Background and Purpose- Albuminuria is associated with stroke risk among individuals with diabetes. However, the association of albuminuria with incident stroke among nondiabetic patients is less clear. Methods- We performed a post hoc analysis of the SPRINT (Systolic Blood Pressure Intervention Trial), which examined the effect of higher versus lower intensity blood pressure management on mortality in 8913 participants without diabetes. We fit unadjusted and adjusted Cox proportional hazards models to estimate the association of baseline albuminuria (urinary albumin-to-creatinine ratio ≥30 mg/g versus<30 mg/g) with stroke risk. We also assessed effect modification according to treatment arms. Results- Mean age was 68±9 years, 35% were female, and 30% were black. Median follow-up was 3.2 years, and 19% patients had baseline albuminuria. Incident stroke occurred in 129 individuals during follow-up. Albuminuria was associated with increased stroke risk (unadjusted hazard ratio, 2.24; 95% CI, 1.55-3.23; adjusted hazard ratio 1.73; 95% CI, 1.17-2.56). The association of albuminuria with incident stroke differed according to the randomized treatment arm (P interaction=0.03). In the intensive treatment arm, the association of albuminuria and stroke was nonsignificant (unadjusted hazard ratio, 1.25; 95% CI, 0.69-2.28), whereas, in the standard treatment arm, it was significant (unadjusted hazard ratio, 3.44; 95% CI, 2.11-5.61). Conclusions- In a post hoc analysis of SPRINT, baseline albuminuria (versus not) was associated with a higher risk of incident stroke, but this relationship appeared to be restricted to those in the standard treatment arm. Further studies are required to conclusively determine if reduction of albuminuria in itself is beneficial in reducing stroke risk. Clinical Trial Registration- URL: https://www.clinicaltrials.gov. Unique identifier: NCT01206062.info:eu-repo/semantics/publishedVersio

Determinants of health care utilisation: The case of Timor-Leste

© The Author(s) 2018. Background: Health financing and delivery reforms designed to achieve universal health coverage (UHC) need to be informed by an understanding of factors that both promote access to health care and undermine it. This study examines the level of health care utilisation in Timor-Leste and the factors that drive it. Methods: Data from a nationally representative cross-sectional survey of health care utilisation in 1712 households were used to develop multilevel models exploring how need and predisposing and enabling factors explain health care utilisation at both primary and secondary care facilities. Results: Need was found to be the key driver in seeking both primary care and hospital services. Rural households were less likely to go to hospital (odds ratio 0.7) than urban households. The poorest quintile was also less likely to use more expensive hospital services than other socio-economic groups. Conclusions: Understanding the determinants of seeking health care in Timor-Leste is of considerable policy significance, because health care is free at the point of use. Our findings indicate that the public resources for health care are subsidising the rich more than the poor. Health care reforms in Timor-Leste need to reduce the 'other' costs of health care, such as distance barriers, to address these inequities

Resolving the ancestry of Austronesian-speaking populations

There are two very different interpretations of the prehistory of Island Southeast Asia (ISEA), with genetic evidence invoked in support of both. The “out-of-Taiwan” model proposes a major Late Holocene expansion of Neolithic Austronesian speakers from Taiwan. An alternative, proposing that Late Glacial/postglacial sea-level rises triggered largely autochthonous dispersals, accounts for some otherwise enigmatic genetic patterns, but fails to explain the Austronesian language dispersal. Combining mitochondrial DNA (mtDNA), Y-chromosome and genome-wide data, we performed the most comprehensive analysis of the region to date, obtaining highly consistent results across all three systems and allowing us to reconcile the models. We infer a primarily common ancestry for Taiwan/ISEA populations established before the Neolithic, but also detected clear signals of two minor Late Holocene migrations, probably representing Neolithic input from both Mainland Southeast Asia and South China, via Taiwan. This latter may therefore have mediated the Austronesian language dispersal, implying small-scale migration and language shift rather than large-scale expansion

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

Admission of advanced lung cancer patients to intensive care unit: A retrospective study of 76 patients

<p>Abstract</p> <p>Background</p> <p>Criteria for admitting patients with incurable diseases to the medical intensive care unit (MICU) remain unclear and have ethical implications.</p> <p>Methods</p> <p>We retrospectively evaluated MICU outcomes and identified risk factors for MICU mortality in consecutive patients with advanced lung cancer admitted to two university-hospital MICUs in France between 1996 and 2006.</p> <p>Results</p> <p>Of 76 included patients, 49 had non-small cell lung cancer (stage IIIB n = 20; stage IV n = 29). In 60 patients, MICU admission was directly related to the lung cancer (complication of cancer management, n = 30; cancer progression, n = 14; and lung-cancer-induced diseases, n = 17). Mechanical ventilation was required during the MICU stay in 57 patients. Thirty-six (47.4%) patients died in the MICU. Three factors were independently associated with MICU mortality: use of vasoactive agents (odds ratio [OR] 6.81 95% confidence interval [95%CI] [1.77-26.26], p = 0.005), mechanical ventilation (OR 6.61 95%CI [1.44-30.5], p = 0.015) and thrombocytopenia (OR 5.13; 95%CI [1.17-22.5], p = 0.030). In contrast, mortality was lower in patients admitted for a complication of cancer management (OR 0.206; 95%CI [0.058-0.738], p = 0.015). Of the 27 patients who returned home, four received specific lung cancer treatment after the MICU stay.</p> <p>Conclusions</p> <p>Patients with acute complications of treatment for advanced lung cancer may benefit from MCIU admission. Further studies are necessary to assess outcomes such as quality of life after MICU discharge.</p

Propriétés psychométriques de l’échelle de satisfaction des cours académiques (ESCA) chez les étudiants universitaires brésiliens

Academic satisfaction has been studied from different perspectives that considerate distinct ways of measurement. However, the plurality of evaluated facets prevents a more parsimonious assessment of the general students’ academic satisfaction. In the article, we aimed to provide psychometric evidence of the validity and reliability for the AMSS in Brazil in two studies (N = 893). In Study 1, an exploratory factor analysis and item parameters (Item Response Theory) support the one-factor solution and the suitability of the six items. Moreover, evidence for factorial invariance across gender and convergent validity with the PANAS and with the SWLS was also presented in Study 2. In conclusion, the present paper provides evidence of the adequacy of the AMSS to evaluate global satisfaction with the academics course in Brazil.Propiedades psicométricas de la Escala de Satisfacción del Curso Académico (ESCA) en estudiantes universitarios brasileños La satisfacción académica ha sido estudiada bajo diferentes perspectivas, produciendo dife- rentes formas de medición. Sin embargo, la pluralidad de facetas evaluadas impide una evaluación más parsimoniosa de la satisfacción académica de los estudiantes en general. En este artículo, objetivamos proporcionar evidencias psicométricas de la validez y con- fiabilidad para el ESCA en Brasil en dos estudios (N = 893). En el Estudio 1, un análisis factorial exploratorio y los parámetros de los ítems (Teoría de Respuesta al Item) soportan la solución unifatorial y la adecuación de los seis ítems. Además, se presentaron evidencias de invariancia factorial entre género y validez convergente con el PANAS y con el ESV en el Estudio 2. En conclusión, este estudio proporciona evidencias de la adecuación de la ESCA para evaluar la satisfacción global con el curso académico en Brasil.A satisfação acadêmica tem sido estudada sob diferentes perspectivas que contemplam formas distintas de mensuração. Entretanto, a pluralidade de facetas avaliadas impede uma avaliação mais parcimoniosa da satisfação acadêmica dos estudantes em geral. O presente estudo tem por objetivo fornecer evidências psicométricas da validade e confiabilidade para o ESCA no Brasil em dois estudos (N = 893). No Estudo 1, uma análise fatorial exploratória e os parâmetros dos itens (Teoria de Resposta ao Item) suportam a solução unifatorial e a adequação dos seis itens. Além disso, foram apresentadas evidências de invariância fatorial entre gênero e validade convergente com o PANAS e com o ESV no Estudo 2. Em con- clusão, este estudo fornece evidências da adequação da ESCA para avaliar a satisfação global com o curso acadêmico na versão em português.La satisfaction académique a été étudiée sous différentes perspectives qui envisagent différentes formes de mesure. Cependant, la pluralité des facettes évaluées empêche une évaluation plus parcimonieuse de la satisfaction académique des étudiants en général. La pré- sente étude vise à fournir des preuves psychométriques de validité et de fiabilité pour ESCA au Brésil dans deux études (N = 893). Dans l’étude 1, une analyse factorielle exploratoire et les paramètres d’item (Théorie de la réponse à l’item) corroborent la solution à un facteur et l’adéquation des six items. En outre, nous avons présenté des preuves d’invariance factorielle entre le sexe et la validité convergentes avec PANAS et ESV dans l’étude 2. En conclusion, cette étude fournit des preuves de l’aptitude de l’ESCA à évaluer la satisfaction générale à l’égard du cours universitaire dans la version portugaise

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