Automated migration of build scripts using dynamic analysis and search-based refactoring

The efficiency of a build system is an important factor for developer productivity. As a result, developer teams have been increasingly adopting new build systems that allow higher build parallelization. However, migrating the existing legacy build scripts to new build systems is a tedious and error-prone process. Unfortunately, there is insufficient support for automated migration of build scripts, making the migration more problematic. We propose the first dynamic approach for automated migration of build scripts to new build systems. Our approach works in two phases. First, from a set of execution traces, we synthesize build scripts that accurately capture the intent of the original build. The synthesized build scripts are typically long and hard to maintain. Second, we apply refactorings that raise the abstraction level of the synthesized scripts (e.g., introduce functions for similar fragments). As different refactoring sequences may lead to different build scripts, we use a search-based approach that explores various sequences to identify the best (e.g., shortest) build script. We optimize search-based refactoring with partial-order reduction to faster explore refactoring sequences. We implemented the proposed two phase migration approach in a tool called METAMORPHOSIS that has been recently used at Microsoft

A review of NAFO 3LMN roughhead grenadier (Macrourus berglax Lacepède, 1801) reproductive biology including the evaluation of maturity ogive estimates.

A collection of 4770 histological slides collected in NAFO divisions 3LMN in a depth range from 200 to 1500 m and covering a time period between 2001 and 2015, has been reviewed to obtain information on reproductive biology of Macrourus berglax. Especial attention has been paid in atresia because its potential impact on stock productivity. Spatial and temporal variability of size and age at maturity of female roughhead grenadier was analyzed in NAFO divisions 3LMN based on microscopic maturity staging and individual age readings. Spawning capable females are homogeneously distributed nearly year-round, but in scarce numbers what prevent to define a spawning season. This statement united to the high levels of atresia could indicate a reproductive migration. We observed a clear decrease in length at first maturity (L50) of females from 27.8 cm in the period 2005-2011 to 25.6 cm in the last four years. The age at first maturity, A50, varied between 13.1 and 15 years, and there is not an evident trend of change over the years.Postprint0,000

Search based software engineering: Trends, techniques and applications

© ACM, 2012. This is the author's version of the work. It is posted here by permission of ACM for your personal use. Not for redistribution. The definitive version is available from the link below.In the past five years there has been a dramatic increase in work on Search-Based Software Engineering (SBSE), an approach to Software Engineering (SE) in which Search-Based Optimization (SBO) algorithms are used to address problems in SE. SBSE has been applied to problems throughout the SE lifecycle, from requirements and project planning to maintenance and reengineering. The approach is attractive because it offers a suite of adaptive automated and semiautomated solutions in situations typified by large complex problem spaces with multiple competing and conflicting objectives. This article provides a review and classification of literature on SBSE. The work identifies research trends and relationships between the techniques applied and the applications to which they have been applied and highlights gaps in the literature and avenues for further research.EPSRC and E

Neutron capture measurement at the n TOF facility of the 204Tl and 205Tl s-process branching points

Neutron capture cross sections are one of the fundamental nuclear data in the study of the s (slow) process of nucleosynthesis. More interestingly, the competition between the capture and the decay rates in some unstable nuclei determines the local isotopic abundance pattern. Since decay rates are often sensible to temperature and electron density, the study of the nuclear properties of these nuclei can provide valuable constraints to the physical magnitudes of the nucleosynthesis stellar environment. Here we report on the capture cross section measurement of two thallium isotopes, 204Tl and 205Tl performed by the time-of-flight technique at the n TOF facility at CERN. At some particular stellar s-process environments, the decay of both nuclei is strongly enhanced, and determines decisively the abundance of two s-only isotopes of lead, 204Pb and 205Pb. The latter, as a long-lived radioactive nucleus, has potential use as a chronometer of the last s-process events that contributed to final solar isotopic abundances

EuroGuiDerm Guideline on the systemic treatment of Psoriasis vulgaris – : Part 1: treatment and monitoring recommendations

Peer reviewe

EuroGuiDerm Guideline on the systemic treatment of Psoriasis vulgaris - Part 2 : specific clinical and comorbid situations

This evidence- and consensus-based guideline on the treatment of psoriasis vulgaris was developed following the EuroGuiDerm Guideline and Consensus Statement Development Manual. The second part of the guideline provides guidance for specific clinical and comorbid situations such as treating psoriasis vulgaris patient with concomitant psoriatic arthritis, concomitant inflammatory bowel disease, a history of malignancies or a history of depression or suicidal ideation. It further holds recommendations for concomitant diabetes, viral hepatitis, disease affecting the heart or the kidneys as well as concomitant neurological disease. Advice on how to screen for tuberculosis and recommendations on how to manage patients with a positive tuberculosis test result are given. It further covers treatment for pregnant women or patients with a wish for a child in the near future. Information on vaccination, immunogenicity and systemic treatment during the COVID-19 pandemic is also provided.Peer reviewe

Determinación de ácidos grasos en leche bubalina (Bubalus bubalis) producida en Corrientes, Argentina

El objetivo del estudio fue determinar los valores de ácidos grasos saturados e insaturados, especialmente ácido linoleico conjugado (CLA) y ácidos omega 3 y 6, en leche de búfalas de la Provincia de Corrientes. Se emplearon 16 búfalas multíparas de raza Murrah y mestizas Murrah x Mediterránea, distribuidas en 2 grupos integrados por 8 animales cada uno (4 Murrah y 4 mestizas). El primero fue alimentado con pasturales naturales ad libitum y el segundo con pasturas naturales y un suplemento diario de 2 kg de maíz molido por animal. El ensayo duró 35 días. En los días 1 y 35 se obtuvieron muestras de leche de todas las búfalas (32 muestras). Para la dieta de pastura natural con y sin suplementación, los ácidos grasos saturados fueron de 56,91 y 57,10%, en tanto que los insaturados fueron de 43,68 y 42,89% respectivamente. De estos últimos, el 37,24 y 36,92% correspondieron a monoinsaturados y el 5,84 y 5,97% a polinsaturados respectivamente. Entre los ácidos grasos saturados predominó el C16:0 y entre los insaturados el C18:1. El ácido C14:0 reveló diferencias significativas según época de muestreo y dieta (p<0,05), resultando mayor al día 35 y en animales suplementados. El nivel de CLA en búfalas no suplementadas fue de 10,29 mg/g de grasa láctea. Existió una correlación positiva entre CLA y acido vaccénico en la grasa láctea (r = 0.87). La relación de ácidos grasos omega 6 y omega 3 fue de 2,07/1 al final del ensayo. En conclusión, se establecen valores de referencia para ácidos grasos en leche bubalina y se espera que estos datos asuman importancia al momento de compararlos con los obtenidos mediante otras estrategias dietarias, con el propósito de incrementar el contenido de CLA y omega 3 en la leche de búfalas