EMFtoCSP: A Tool for the Lightweight Verification of EMF Models

International audienceThe increasing popularity of MDE results in the creation of larger models and model transformations, hence converting the specification of MDE artefacts in an error-prone task. Therefore, mechanisms to ensure quality and absence of errors in models are needed to assure the reliability of the MDE-based development process. Formal methods have proven their worth in the verification of software and hardware systems. However, the adoption of formal methods as a valid alternative to ensure model correctness is compromised for the inner complexity of the problem. To circumvent this complexity, it is common to impose limitations such as reducing the type of constructs that can appear in the model, or turning the verification process from automatic into user assisted. Since we consider these limitations to be counterproductive for the adoption of formal methods, in this paper we present EMFtoCSP, a new tool for the fully automatic, decidable and expressive verification of EMF models that uses constraint logic programming as the underlying formalism

Solucionando Necesidades Especificas con GNU/LINUX

En gran parte de la migración de sistemas operativos puestos en marcha en seguridad de infraestructura de red se da solución con las siguientes 5 temáticas planteadas para la implementación de servicios de infraestructura en tecnología informática y se busca instalar y configurar la plataforma GNU/Linux Zentyal Server 5.0 como sistema operativo base junto con el sistema operativo Ubuntu destok 18.04 donde se desarrollan configuraciones en servidores, DHCP Server, DNS Server y Controlador de Dominio, Proxy no transparente, cortafuegos, File Server y Print Server y VPN donde se demuestran todas las configuraciones pertinentes al dar una solución sobre red que genera conocimiento tanto a estudiantes como lectores de este documento.A large part of the migration of operating systems implemented in network infrastructure security is solved with the following 5 themes proposed for the implementation of infrastructure services in computer technology and seeks to install and configure the GNU / Linux Zentyal Server platform 5.0 as the base operating system together with the Ubuntu destok 18.04 operating system where configurations are developed on servers, DHCP Server, DNS Server and Domain Controller, Non-transparent proxy, firewall, File Server and Print Server and VPN where all relevant configurations are demonstrated by giving a network solution that generates knowledge to both students and readers of this document

Stress-related coping styles, anxiety, and neuroticism in university students with myalgia temporomandibular: A case control study

Los pacientes que sufren dolor debido a trastornos temporomandibulares (TTM) presentan mayores niveles de distrés psicológico, estrés ambiental, síntomas somáticos, ansiedad, depresion, cogniciones de catastrofización, y otras estrategias de afrontamiento al dolor alteradas, comparados con personas libres de dolor. Sin embargo, poco se conoce acerca de los factores psicológicos involucrados en diferentes tipos de TTM. Además, independientemente de la gravedad o el tipo de TTM, el papel de los estilos y estrategias de afrontamiento al estrés en los TTM todavía no está claro. El principal objetivo de este trabajo es estudiar los estilos de afrontamiento al estrés, ansiedad y rasgos de personalidad en un grupo de estudiantes de odontología que sufren mialgia temporomandibular. Una muestra de 102 estudiantes universitarios fue inicialmente reclutada para este estudio. Tras una evaluación clínica, se formaron un grupo de estudiantes con mialgia (24 participantes) y un grupo de estudiantes control (24 participantes). Los participantes de ambos grupos fueron posteriormente evaluados en ansiedad, estrategias de afrontamiento al estrés, y rasgos de personalidad. El grupo con mialgia mostró mayor rasgo de ansiedad y neuroticismo que el grupo control. Los participantes con mialgia también mostraron un mayor uso de estrategias de afrontamiento evitativas. Las estrategias evitativas generalmente se han considerado como desadaptativas, y se ha visto que incrementan el estrés percibido, un fuerte predictor de TTM.Patients suffering pain-related temporomandibular disorders (TMD) exhibit greater levels of psychological distress, environmental stress, somatic symptoms, anxiety, depression, pain catastrophizing, and impaired pain coping strategies compared to pain-free controls. However, little is known about psychological factors involved in the different TMD types. Furthermore, regardless of severity or TMD type, the role of stress-related coping strategies and styles in TMD is not yet well understood. The main goal of this study was to investigate stress-related coping styles, anxiety, and personality traits in a group of dentistry students suffering from temporomandibular disorder with myalgia. A cohort of 102 university students was initially recruited for this study. Following clinical evaluation, a myalgia group (24 participants) and a control group (25 participants) were formed. Participants were later assessed in anxiety, stress coping strategies, and personality measures. The myalgia group presented greater levels of trait anxiety and neuroticism in comparison to the control group. Participants with myalgia also showed higher levels of avoidance coping. Avoidance coping strategies are generally considered maladaptive, as they seem to increase perceived stress, a robust predictor of TM

Reworked remains of mosasauroids (Pythonomorpha, Squamata) in the Pleistocene of Pinilla del Valle (Madrid, Spain)

Proyecto de Investigación: "Evolución de la dieta de los homínidos"Depto. de Geodinámica, Estratigrafía y PaleontologíaFac. de Ciencias GeológicasTRUEComunidad de Madridpu

Constraining stellar assembly and AGN feedback at the peak epoch of star formation

We study stellar assembly and feedback from active galactic nuclei (AGN) around the epoch of peak star formation (1<z<2), by comparing hydrodynamic simulations to rest-frame UV-optical galaxy colours from the Wide Field Camera 3 (WFC3) Early-Release Science (ERS) Programme. Our Adaptive Mesh Refinement simulations include metal-dependent radiative cooling, star formation, kinetic outflows due to supernova explosions, and feedback from supermassive black holes. Our model assumes that when gas accretes onto black holes, a fraction of the energy is used to form either thermal winds or sub-relativistic momentum-imparting collimated jets, depending on the accretion rate. We find that the predicted rest-frame UV-optical colours of galaxies in the model that includes AGN feedback is in broad agreement with the observed colours of the WFC3 ERS sample at 1<z<2. The predicted number of massive galaxies also matches well with observations in this redshift range. However, the massive galaxies are predicted to show higher levels of residual star formation activity than the observational estimates, suggesting the need for further suppression of star formation without significantly altering the stellar mass function. We discuss possible improvements, involving faster stellar assembly through enhanced star formation during galaxy mergers while star formation at the peak epoch is still modulated by the AGN feedback.Comment: 6 pages, 4 figures, accepted for publication in MNRAS Letter

Are luminous radio-loud active galactic nuclei triggered by galaxy interactions?

We present the results of a comparison between the optical morphologies of a complete sample of 46 southern 2Jy radio galaxies at intermediate redshifts (0.05<z<0.7) and those of two control samples of quiescent early-type galaxies: 55 ellipticals at redshifts z<0.01 from the Observations of Bright Ellipticals at Yale (OBEY) survey, and 107 early-type galaxies at redshifts 0.2<z<0.7 in the Extended Groth Strip (EGS). Based on these comparisons, we discuss the role of galaxy interactions in the triggering of powerful radio galaxies (PRGs). We find that a significant fraction of quiescent ellipticals at low and intermediate redshifts show evidence for disturbed morphologies at relatively high surface brightness levels, which are likely the result of past or on-going galaxy interactions. However, the morphological features detected in the galaxy hosts of the PRGs (e.g. tidal tails, shells, bridges, etc.) are up to 2 magnitudes brighter than those present in their quiescent counterparts. Indeed, if we consider the same surface brightness limits, the fraction of disturbed morphologies is considerably smaller in the quiescent population (53% at z<0.2 and 48% at 0.2<z<0.7) than in the PRGs (93% at z<0.2 and 95% at 0.2<z<0.7 considering strong-line radio galaxies only). This supports a scenario in which PRGs represent a fleeting active phase of a subset of the elliptical galaxies that have recently undergone mergers/interactions. However, we demonstrate that only a small proportion (<20%) of disturbed early-type galaxies are capable of hosting powerful radio sources.Comment: 20 pages, 7 figures, accepted for publication in MNRA

Direct Evidence for Termination of Obscured Star Formation by Radiatively Driven Outflows in Reddened QSOs

We present optical to far-infrared photometry of 31 reddened QSOs that show evidence for radiatively driven outflows originating from AGN in their rest-frame UV spectra. We use these data to study the relationships between the AGN-driven outflows, and the AGN and starburst infrared luminosities. We find that FeLoBAL QSOs are invariably IR-luminous, with IR luminosities exceeding 10^{12} Solar luminosities in all cases. The AGN supplies 76% of the total IR emission, on average, but with a range from 20% to 100%. We find no evidence that the absolute luminosity of obscured star formation is affected by the AGN-driven outflows. Conversely, we find an anticorrelation between the strength of AGN-driven outflows, as measured from the range of outflow velocities over which absorption exceeds a minimal threshold, and the contribution from star formation to the total IR luminosity, with a much higher chance of seeing a starburst contribution in excess of 25% in systems with weak outflows than in systems with strong outflows. Moreover, we find no convincing evidence that this effect is driven by the IR luminosity of the AGN. We conclude that radiatively driven outflows from AGN can have a dramatic, negative impact on luminous star formation in their host galaxies. We find that such outflows act to curtail star formation such that star formation contributes less than ~25% of the total IR luminosity. We also propose that the degree to which termination of star formation takes place is not deducible from the IR luminosity of the AGN.Comment: Accepted for publication in Ap

SDSS-IV MaNGA: the spatial distribution of star formation and its dependence on mass, structure, and environment

We study the spatially resolved star formation of 1494 galaxies in the SDSS-IV MaNGA Survey. Star formation rates (SFRs) are calculated using a two-step process, using H α in star-forming regions and Dn4000 in regions identified as active galactic nucleus/low-ionization (nuclear) emission region [AGN/LI(N)ER] or lineless. The roles of secular and environmental quenching processes are investigated by studying the dependence of the radial profiles of specific star formation rate on stellar mass, galaxy structure, and environment. We report on the existence of ‘centrally suppressed’ galaxies, which have suppressed Specific Star Formation Rate (SSFR) in their cores compared to their discs. The profiles of centrally suppressed and unsuppressed galaxies are distributed in a bimodal way. Galaxies with high stellar mass and core velocity dispersion are found to be much more likely to be centrally suppressed than low-mass galaxies, and we show that this is related to morphology and the presence of AGN/LI(N)ER like emission. Centrally suppressed galaxies also display lower star formation at all radii compared to unsuppressed galaxies. The profiles of central and satellite galaxies are also compared, and we find that satellite galaxies experience lower specific star formation rates at all radii than central galaxies. This uniform suppression could be a signal of the stripping of hot halo gas in the process known as strangulation. We find that satellites are not more likely to be suppressed in their cores than centrals, indicating that the core suppression is an entirely internal process. We find no correlation between the local environment density and the profiles of star formation rate surface density

The XMM deep survey in the CDF-S VI. Obscured AGN selected as infrared power-law galaxies

Context. Accretion onto supermassive black holes is believed to occur mostly in obscured active galactic nuclei (AGN). Such objects are proving rather elusive in surveys of distant galaxies, including those at X-ray energies. Aims. Our main goal is to determine whether the revised IRAC criteria of Donley et al. (2012, ApJ, 748, 142; objects with an infrared (IR) power-law spectral shape), are effective at selecting X-ray type-2 AGN (i.e., absorbed NH > 1022 cm-2). Methods. We present the results from the X-ray spectral analysis of 147 AGN selected by cross-correlating the highest spectral quality ultra-deep XMM-Newton and the Spitzer/IRAC catalogues in the Chandra Deep Field South. Consequently it is biased towards sources with high S/N X-ray spectra. In order to measure the amount of intrinsic absorption in these sources, we adopt a simple X-ray spectral model that includes a power-law modified by intrinsic absorption at the redshift of each source and a possible soft X-ray component. Results. We find 21/147 sources to be heavily absorbed but the uncertainties in their obscuring column densities do not allow us to confirm their Compton-Thick nature without resorting to additional criteria. Although IR power-law galaxies are less numerous in our sample than IR non-power-law galaxies (60 versus 87 respectively), we find that the fraction of absorbed (NHintr > 1022 cm-2) AGN is significantly higher (at about 3 sigma level) for IR-power-law sources (~2/3) than for those sources that do not meet this IR selection criteria (~1/2). This behaviour is particularly notable at low luminosities, but it appears to be present, although with a marginal significance, at all luminosities. Conclusions. We therefore conclude that the IR power-law method is efficient in finding X-ray-absorbed sources. We would then expect that the long-sought dominant population of absorbed AGN is abundant among IR power-law spectral shape sources not detected in X-rays

The andalusian “multiplex families with bipolar disorder “: a revaluation of the cohort study (1997-2013).

Objectives. Bipolar disorder (BD) is highly heritable, and gene identification will elucidate biological factors and gene-environment interactions. Multiplex families represent a promising resource for identifying rare variants and polygenic effects. However, such families are difficult to recruit. In 1997, >100 multiplex Andalusian BD pedigrees - the largest of which contains >20 affected members- were recruited within an Andalusian-German collaboration study. Since then, the Andalusian psychiatric network and biobank facilities have been expanded in order to facilitate psychiatric research. Therefore in 2013, the Andalusian-German collaborators initiated a follow-up study of this cohort in order to identify new genetic and environmental factors for BD aetiology and clinical course. Methods. In 1997, BD patients at Andalusian psychiatric hospitals who reported a family history of BD were asked to inform their families about the study. All consenting family members (N= 937; BPI/II=265; Recurrent Mayor Depression=149) were assessed using a structured psychiatric interview for life-time best estimate psychiatric diagnosis (SADS) and the family history method, and blood was obtained for DNA genetic analysis. Follow-up involves reassessment of diagnosis, neuropsychological testing (CANTAB), and the collection of biomaterials (RNA, Plasma, IPS, hair cortisol, etc.). Written informed consent is obtained for all study procedures and analyses. Results. For the first three families, follow-up assessments and biomaterial-processing have been completed. Follow-up of the remaining families is ongoing. Conclusion. This cohort represents a unique resource for the investigation of BD aetiology and clinical course, and will be available to international researchers from other sciences.Universidad de Málaga. Campus de Excelencia Internacional Andalucía Tech