Looking Over the Research Literature on Software Engineering from 2016 to 2018

This paper carries out a bibliometric analysis to detect (i) what is the most influential research on software engineering at the moment, (ii) where is being published that relevant research, (iii) what are the most commonly researched topics, (iv) and where is being undertaken that research (i.e., in which countries and institutions). For that, 6,365 software engineering articles, published from 2016 to 2018 on a variety of conferences and journals, are examined.This work has been funded by the Spanish Ministry of Science, Innovation, and Universities under Project DPI2016-77677-P, the Community of Madrid under Grant RoboCity2030-DIH-CM P2018/NMT-4331, and grant TIN2016-75850-R from the FEDER funds

Modelling of surface and inner wall temperatures in the analysis of courtyard thermal performances in Mediterranean climates

Courtyards are an effective passive strategy for improving the energy performance of buildings. However, there is a lack of accurate simulation tools for their thermal performance due to their complex thermodynamics. This paper’s contribution is the coupling of a CFD model with a system of differential equations at the walls, governing surface and inner wall temperatures, providing an accurate computation of courtyard thermal performance. On this basis, boundary conditions for the standard Boussinesq equations governing temperatures, wind velocity, and pressure within the courtyard are established. Modelling results are compared with monitored data in two days of different months in a courtyard in Seville (Spain). Simultaneously, simulations carried out by existing software were performed. Resulting data showed more accuracy than existing tools, with a Root Mean Square Error of 1.19 (August) and 1.59 (October), while the corresponding values with ENVI-met were 3.31-3.4, and with Ladybug Tools 2.59-4.49.Ministerio de Economía y Competitividad MTM2015-64577-C2-1-RMinisterio de Economía y Competitividad MTM2015-64577-C2-2-RMinisterio de Ciencia, Innovación y Universidades RTI2018-093521-B-C31Ministerio de Ciencia, Innovación y Universidades RTI2018-093521-B-C33Ministerio de Educación, Cultura y Deporte FPU17/0503

The potential of discrimination methods in a high pressure xenon TPC for the search of the neutrinoless double-beta decay of Xe-136

In the search for the neutrinoless double beta decay of 136Xe, a high pressure xenon time projection chamber (HPXe-TPC) has two advantages over liquid xenon TPCs: a better energy resolution and the access to topological features, which may provide extra discrimination from background events. The PandaX-III experiment has recently proposed a 200 kg HPXe-TPC based on Micromegas readout planes, to be located at the Jinping Underground Laboratory in China. Its detection concept is based on two results obtained within the T-REX project: Micromegas readouts can be built with extremely low levels of radioactivity; and the operation in xenon-trimethylamine at 10 bar in realistic experimental conditions has proven an energy resolution of 3% FWHM at the region of interest. In this work, two discrimination methods are applied to simulated signal and background data in a generic 200 kg HPXe-TPC, based on two well-known algorithms of graph theory: the identification of connections and the search for the longest path. Rejection factors greater than 100 are obtained for small pixel sizes and a signal efficiency of 40%. Moreover, a new observable (the blob charge density) rejects better surface contaminations, which makes the use of a trigger signal (T0) not imperative in this experiment

Low Background Micromegas in CAST

Solar axions could be converted into x-rays inside the strong magnetic field of an axion helioscope, triggering the detection of this elusive particle. Low background x-ray detectors are an essential component for the sensitivity of these searches. We report on the latest developments of the Micromegas detectors for the CERN Axion Solar Telescope (CAST), including technological pathfinder activities for the future International Axion Observatory (IAXO). The use of low background techniques and the application of discrimination algorithms based on the high granularity of the readout have led to background levels below 10$^{-6}$ counts/keV/cm$^2$/s, more than a factor 100 lower than the first generation of Micromegas detectors. The best levels achieved at the Canfranc Underground Laboratory (LSC) are as low as 10$^{-7}$ counts/keV/cm$^2$/s, showing good prospects for the application of this technology in IAXO. The current background model, based on underground and surface measurements, is presented, as well as the strategies to further reduce the background level. Finally, we will describe the R&D paths to achieve sub-keV energy thresholds, which could broaden the physics case of axion helioscopes.Comment: 6 pages, 3 figures, Large TPC Conference 2014, Pari

Influence of the ripening chamber's geographical location on dry-cured Iberian ham's key odorants

Olfactometric and sensory analyses have been applied to study the possible influence of the ripening chamber’s geographical location on the aroma sensory profiles and key odorants of Iberian ham. Dry-cured Iberian ham was obtained from 3 acorn-fed pigs and, for the first time, both of the participating production facilities, located in two different Andalusian municipalities with different altitudes above mean sea level, processed one of the two hind legs from each pig. The descriptive sensory profile of orthonasal and retronasal odours was determined by trained panellists, while odour-active compounds were determined by gas chromatography/mass spectrometry-olfactometry (GC/MS-O). The results obtained showed that, separately, both techniques enable Iberian ham samples to be differentiated by their ripening chamber’s geographical location. For sensory analysis, retronasal sensory analysis appeared to be the most suitable for this goal, highlighting the “meat broth odour” and “roasted nuts odour” descriptors which presented significant differences between geographical locations for samples from all pigs. Moreover, ripening chamber’s geographical location characteristics and the initial composition of the raw material seemed to influence the content of some odour-active compounds. The odour-active compound identified as octane/acetone and isobutanol were conditioned by the ripening chamber’s geographical location, while decanal/2-ethyl-1-hexanol, 1-undecanol, 2-furanmethanol and cis-2-nonenal were also influenced by the individual pig itself. This study showed that slight climatological differences due to the location of the ripening chamber seem to have somewhat of an influence on the aromatic profile.Universidad de Sevilla VIPPIT-2019-I

A Method for Compiling and Executing Expressive Assertions

Programming with assertions constitutes an effective tool to detect and correct programming errors. The ability of executing formal specifications is essential in order to test automatically a program with respect to its assertions. However, formal specifications may describe recursive models which are difficult to identify so current assertion checkers limit, in a considerable way, the expressivity of the assertion language. In this paper, we are interested in showing how transformational synthesis can help to execute “expressive” assertions of the form ∀x(r(x) ⇔ QyR(x, y)) where x is a set of variables to be instantiated at execution time, Q is an existential or universal quantifier and R a quantifier free formula in the language of a particular first-order theory A we call assertion context. The class of assertion contexts is interesting because it presents a balance between expressiveness for writing assertions and existence of effective methods for executing them by means of synthesized (definite) logic programs

Clinical and epidemiological characterization of a lymphogranuloma venereum outbreak in Madrid, Spain: co-circulation of two variants

AbstractThe lymphogranuloma venereum (LGV) outbreak described in the Netherlands in 2003, increased the interest in the genotyping of Chlamydia trachomatis. Although international surveillance programmes were implemented, these studies slowly decreased in the following years. Now data have revealed a new accumulation of LGV cases in those European countries with extended surveillance programmes. Between March 2009 and November 2011, a study was carried out to detect LGV cases in Madrid. The study was based on screening of C. trachomatis using commercial kits, followed by real-time pmpH-PCR discriminating LGV strains, and finally ompA gene was sequenced for phylogenetic reconstruction. Ninety-four LGV infections were identified. The number of cases increased from 10 to 30 and then to 54 during 2009–2011. Incidence of LGV was strongly associated with men who have sex with men; but in 2011, LGV cases were described in women and heterosexual men. Sixty-nine patients were also human immunodeficiency virus (HIV) positive, with detectable viral loads at the moment of LGV diagnosis, suggesting a high-risk of co-transmission. In fact, in four patients the diagnosis of HIV was simultaneous with LGV infection. The conventional treatment with doxycycline was prescribed in 75 patients, although in three patients the treatment failed. The sequencing of the ompA gene permitted identification of two independent transmission nodes. One constituted by 25 sequences identical to the L2b variant, and a second node including 37 sequences identical to L2. This epidemiological situation characterized by the co-circulation of two LGV variants has not been previously described, reinforcing the need for screening and genotyping of LGV strains

Primeros datos del magmatismo pérmico medio-superior del SE de la Cordillera Ibérica: caracterización y comparación con magmatismos contemporáneos del Tethys occidental

A multiple basic to intermediate sill is reported for the first time in the south-eastern Iberian Ranges. It is composed of several tabular to irregular levels intercalated within the fluvial sediments of the Alcotas Formation (Middle-Upper Permian). The sill could represent the youngest Paleozoic subvolcanic intrusion in the Iberian Ranges. The igneous rocks are classified as basaltic andesites. They show a subophitic microstructure constituted by plagioclase (An62 – An6), augite (En48Wo44Fs7 –En46Wo39Fs15), pseudomorphosed olivine, minor amounts of oxides (magnetite and ilmenite) and accessory F-apatite. According to the mineralogy and whole-rock composition, their geochemical affinity is transitional from subalkaline to alkaline. Radiometric dating of the sill is not feasible due to its significant alteration. Field criteria, however, suggest an emplacement coeval to the deposition of the Alcotas Formation (Middle-Upper Permian). This hypothesis is supported by the transitional affinity of these rocks, similar to other Middle-Upper Permian magmatisms in the western Tethys, e.g., from the Pyrenees. Taking into account their isotopic signature (εSr: -6.8 to -9.2; εNd: +1.7 to +8.3), an enriched mantle source with the involvement of a HIMU component has been identified. This interpretation is supported by the trace element contents. Some of these HIMU characteristics have been recognised in the Middle-Upper Permian magmatisms of the Central Pyrenees (Anayet Basin) and the High Atlas (Argana Basin). However, none of these source features are shared with other Middle-Upper Permian magmatisms of the western Tethys (Catalonian Coastal Ranges, Corsica-Sardinia and southern France), nor with the Lower Permian magmatism of the Iberian Ranges. These differences support the presence of a heterogeneous mantle in the western Tethys during the Permian.Se describe por primera vez en el sudeste de la Cordillera Ibérica un sill múltiple de carácter básico a intermedio. Está compuesto por varios cuerpos tabulares a irregulares intercalados entre los sedimentos de origen fluvial de la Formación Alcotas (Pérmico Medio-Superior). El sill podría representar la intrusión subvolcánica paleozoica más reciente en la Cordillera Ibérica. Estas rocas subvolcánicas se clasifican como andesitas basálticas. Muestran una textura subofítica constituida por plagioclasa (An62 – An6), augita (En48Wo44Fs7 –En46Wo39Fs15), pseudomorfos de olivino, minerales opacos (magnetita e ilmenita) y F-apatito accesorio. De acuerdo con su composición mineral y de roca total, su afinidad geoquímica es transicional entre subalcalina y alcalina. La datación radiométrica del sill no es posible debido a su elevado grado de alteración. No obstante, los criterios de campo sugieren un emplazamiento contemporáneo con el depósito de la Formación Alcotas (Pérmico Medio-Superior). Esta hipótesis está apoyada por la afinidad transicional de estas rocas, similar a otros episodios magmáticos del Pérmico Medio-Superior en el Tethys occidental, como los que afloran en los Pirineos. Teniendo en cuenta su signatura isotópica (εSr: -6.8 a -9.2; εNd: +1.7 a +8.3), se propone un origen a partir de un manto enriquecido, con la participación de un componente de tipo HIMU. Esta interpretación está apoyada por sus contenidos en elementos traza. Algunas de estas características del protolito han sido reconocidas en los magmatismos del Pérmico Medio-Superior del Pirineo (cuenca del Anayet) y del Alto Atlas (cuenca de Argana), pero no son habituales en otros magmatismos de edad Pérmico Medio-Superior del Tethys occidental (Cadenas Costero Catalanas, Córcega-Cerdeña y Sur de Francia), ni en el magmatismo Pérmico Inferior de la Cordillera Ibérica. Estas diferencias apoyan la presencia de un manto heterogéneo en el Tethys occidental durante el Pérmico

Performance of micromegas detectors in the CAST Experiment

CERN Axion Solar Telescope (CAST) experiment is searching for axions coming from the Sun. Inside transverse magnetic fields, axions can be converted into X-rays, which can be detected by X-ray detectors. The expected energy of the signal in CAST is in the 1-10 keV range. Low noise and low background detectors are necessary to increase the sensitivity of the experiment. Micro Mesh Gaseous Structure (micromegas) detectors have been used in CAST since the beginning, providing good energy and spatial resolution for CAST's needs. CAST has been intensely studying micromegas detectors to develop new technologies. Initially, CAST detectors consisted of a micromegas, a Time Projection Chamber (TPC) and a Charged Couple Device (CCD), however the improvements in micromegas technologies encouraged CAST to replace the TPC with 2 new micromegas detectors. In some periods during CAST run, ultra low background has been observed in one of the micromegas detectors and it is being investigated through simulations and laboratory tests carried out at Canfranc Underground Laboratory. If this low background is indeed not a systematic effect, it can open new possibilities on rare event searches