A Functional Safety OpenMP∗ for Critical Real-Time Embedded Systems

OpenMP* has recently gained attention in the embedded domain by virtue of the augmentations implemented in the last specification. Yet, the language has a minimal impact in the embedded real-time domain mostly due to the lack of reliability and resiliency mechanisms. As a result, functional safety properties cannot be guaranteed. This paper analyses in detail the latest specification to determine whether and how the compliant OpenMP implementations can guarantee functional safety. Given the conclusions drawn from the analysis, the paper describes a set of modifications to the specification, and a set of requirements for compiler and runtime systems to qualify for safety critical environments. Through the proposed solution, OpenMP can be used in critical real-time embedded systems without compromising functional safety.This work was funded by the EU project P-SOCRATES (FP7-ICT-2013- 10) and the Spanish Ministry of Science and Innovation under contract TIN2015- 65316-P.Peer ReviewedPostprint (author's final draft

Safe Parallelism: Compiler Analysis Techniques for Ada and OpenMP

There is a growing need to support parallel computation in Ada to cope with the performance requirements of the most advanced functionalities of safety-critical systems. In that regard, the use of parallel programming models is paramount to exploit the benefits of parallelism. Recent works motivate the use of OpenMP for being a de facto standard in high-performance computing for programming shared memory architectures. These works address two important aspects towards the introduction of OpenMP in Ada: the compatibility of the OpenMP syntax with the Ada language, and the interoperability of the OpenMP and the Ada runtimes, demonstrating that OpenMP complements and supports the structured parallelism approach of the tasklet model. This paper addresses a third fundamental aspect: functional safety from a compiler perspective. Particularly, it focuses on race conditions and considers the fine-grain and unstructured capabilities of OpenMP. Hereof, this paper presents a new compiler analysis technique that: (1) identifies potential race conditions in parallel Ada programs based on OpenMP or Ada tasks or both, and (2) provides solutions for the detected races.This work was supported by the Spanish Ministry of Science and Innovation under contract TIN2015-65316-P, and by the FCT (Portuguese Foundation for Science and Technology) within the CISTER Research Unit (CEC/04234).Peer ReviewedPostprint (author's final draft

Steroid avoidance or withdrawal for kidney transplant recipients

Background: Steroid-sparing strategies have been attempted in recent decades to avoid morbidity from long-term steroid intake among kidney transplant recipients. Previous systematic reviews of steroid withdrawal after kidney transplantation have shown a significant increase in acute rejection. There are various protocols to withdraw steroids after kidney transplantation and their possible benefits or harms are subject to systematic review. This is an update of a review first published in 2009. OBJECTIVES: To evaluate the benefits and harms of steroid withdrawal or avoidance for kidney transplant recipients. SEARCH METHODS: We searched the Cochrane Kidney and Transplant Specialised Register to 15 February 2016 through contact with the Information Specialist using search terms relevant to this review. SELECTION CRITERIA: All randomised and quasi-randomised controlled trials (RCTs) in which steroids were avoided or withdrawn at any time point after kidney transplantation were included. DATA COLLECTION AND ANALYSIS: Assessment of risk of bias and data extraction was performed by two authors independently and disagreement resolved by discussion. Statistical analyses were performed using the random-effects model and dichotomous outcomes were reported as relative risk (RR) and continuous outcomes as mean difference (MD) with 95% confidence intervals. MAIN RESULTS: We included 48 studies (224 reports) that involved 7803 randomised participants. Of these, three studies were conducted in children (346 participants). The 2009 review included 30 studies (94 reports, 5949 participants). Risk of bias was assessed as low for sequence generation in 19 studies and allocation concealment in 14 studies. Incomplete outcome data were adequately addressed in 22 studies and 37 were free of selective reporting.The 48 included studies evaluated three different comparisons: steroid avoidance or withdrawal compared with steroid maintenance, and steroid avoidance compared with steroid withdrawal. For the adult studies there was no significant difference in patient mortality either in studies comparing steroid withdrawal versus steroid maintenance (10 studies, 1913 participants, death at one year post transplantation: RR 0.68, 95% CI 0.36 to 1.30) or in studies comparing steroid avoidance versus steroid maintenance (10 studies, 1462 participants, death at one year after transplantation: RR 0.96, 95% CI 0.52 to 1.80). Similarly no significant difference in graft loss was found comparing steroid withdrawal versus steroid maintenance (8 studies, 1817 participants, graft loss excluding death with functioning graft at one year after transplantation: RR 1.17, 95% CI 0.72 to 1.92) and comparing steroid avoidance versus steroid maintenance (7 studies, 1211 participants, graft loss excluding death with functioning graft at one year after transplantation: RR 1.09, 95% CI 0.64 to 1.86). The risk of acute rejection significantly increased in patients treated with steroids for less than 14 days after transplantation (7 studies, 835 participants: RR 1.58, 95% CI 1.08 to 2.30) and in patients who were withdrawn from steroids at a later time point after transplantation (10 studies, 1913 participants, RR 1.77, 95% CI 1.20 to 2.61). There was no evidence to suggest a difference in harmful events, such as infection and malignancy, in adult kidney transplant recipients. The effect of steroid withdrawal in children is unclear. AUTHORS' CONCLUSIONS: This updated review increases the evidence that steroid avoidance and withdrawal after kidney transplantation significantly increase the risk of acute rejection. There was no evidence to suggest a difference in patient mortality or graft loss up to five year after transplantation, but long-term consequences of steroid avoidance and withdrawal remain unclear until today, because prospective long-term studies have not been conducted

Steroid avoidance or withdrawal for kidney transplant recipients

Background: Steroid-sparing strategies have been attempted in recent decades to avoid morbidity from long-term steroid intake among kidney transplant recipients. Previous systematic reviews of steroid withdrawal after kidney transplantation have shown a significant increase in acute rejection. There are various protocols to withdraw steroids after kidney transplantation and their possible benefits or harms are subject to systematic review. This is an update of a review first published in 2009. OBJECTIVES: To evaluate the benefits and harms of steroid withdrawal or avoidance for kidney transplant recipients. SEARCH METHODS: We searched the Cochrane Kidney and Transplant Specialised Register to 15 February 2016 through contact with the Information Specialist using search terms relevant to this review. SELECTION CRITERIA: All randomised and quasi-randomised controlled trials (RCTs) in which steroids were avoided or withdrawn at any time point after kidney transplantation were included. DATA COLLECTION AND ANALYSIS: Assessment of risk of bias and data extraction was performed by two authors independently and disagreement resolved by discussion. Statistical analyses were performed using the random-effects model and dichotomous outcomes were reported as relative risk (RR) and continuous outcomes as mean difference (MD) with 95% confidence intervals. MAIN RESULTS: We included 48 studies (224 reports) that involved 7803 randomised participants. Of these, three studies were conducted in children (346 participants). The 2009 review included 30 studies (94 reports, 5949 participants). Risk of bias was assessed as low for sequence generation in 19 studies and allocation concealment in 14 studies. Incomplete outcome data were adequately addressed in 22 studies and 37 were free of selective reporting.The 48 included studies evaluated three different comparisons: steroid avoidance or withdrawal compared with steroid maintenance, and steroid avoidance compared with steroid withdrawal. For the adult studies there was no significant difference in patient mortality either in studies comparing steroid withdrawal versus steroid maintenance (10 studies, 1913 participants, death at one year post transplantation: RR 0.68, 95% CI 0.36 to 1.30) or in studies comparing steroid avoidance versus steroid maintenance (10 studies, 1462 participants, death at one year after transplantation: RR 0.96, 95% CI 0.52 to 1.80). Similarly no significant difference in graft loss was found comparing steroid withdrawal versus steroid maintenance (8 studies, 1817 participants, graft loss excluding death with functioning graft at one year after transplantation: RR 1.17, 95% CI 0.72 to 1.92) and comparing steroid avoidance versus steroid maintenance (7 studies, 1211 participants, graft loss excluding death with functioning graft at one year after transplantation: RR 1.09, 95% CI 0.64 to 1.86). The risk of acute rejection significantly increased in patients treated with steroids for less than 14 days after transplantation (7 studies, 835 participants: RR 1.58, 95% CI 1.08 to 2.30) and in patients who were withdrawn from steroids at a later time point after transplantation (10 studies, 1913 participants, RR 1.77, 95% CI 1.20 to 2.61). There was no evidence to suggest a difference in harmful events, such as infection and malignancy, in adult kidney transplant recipients. The effect of steroid withdrawal in children is unclear. AUTHORS' CONCLUSIONS: This updated review increases the evidence that steroid avoidance and withdrawal after kidney transplantation significantly increase the risk of acute rejection. There was no evidence to suggest a difference in patient mortality or graft loss up to five year after transplantation, but long-term consequences of steroid avoidance and withdrawal remain unclear until today, because prospective long-term studies have not been conducted

Citizens' perception of the Cohesion Policy and support for the European Union

Using a novel database, this study assesses the impact of the perception of the personal benefits of the EU Cohesion Policy on support for the European project. The results show that the gap in support between people who claim to have benefited from the Cohesion Policy and those who feel they have not vanished once differences in individual traits and reverse causality are taken into account. This means that, despite the significant positive effect that the intensity of the Cohesion Policy in the region exerts on the perception of the policy, it does not stimulate support for the EU

Regional research in Spain:Countries ,institutions and authors rankings in regional and urban science for 1991-2000

This article analyzes which has been the evolution of the research in urban and regional science in Spain in the period 1991-2000 situating it in the international context.With this aim,we elaborate rankings of countries,authors and institutions in function of the publications carried out in a sample of nine top regional and urban international journals.The results show that the improvement in the international position of Spanish economic research found by other authors is also observed at the regional and urban level.In fact,this increase is motivated both by an increase of the publication of recognised authors and by the contribution of «new » authors

Assessing the Impact of the Way of Saint James on Psychological Distress and Subjective Well-being: The Ultreya Study

This study aimed to examine the impact of a pilgrimage on the Way of St. James on psychological distress and subjective well-being, and to compare these outcomes with a control group on non-pilgrimage vacations. Additionally, the study explored psychological process variables that may mediate the pilgrimage's beneficial effects. A nonrandomized pretest-posttest design was used, involving 444 pilgrims and 124 controls. Participants completed baseline and post-experience self-reported measures of psychological distress, subjective well-being, and psychological processes (i.e., mindfulness, nonattachment, engaged living). A 3-month follow-up was conducted only in the pilgrim group. Mediation analyses examined psychological processes as potential mediators of pre-post change in the pilgrim group (vs. control). Within-group analyses revealed that the pilgrim group experienced improvements in psychological distress, subjective well-being, and psychological processes immediately post-experience, with most measures sustaining improvement at the 3-month follow-up. Compared to the control group, pilgrims showed significantly greater increases in positive affect, life satisfaction, and valued living, alongside greater reductions in anxiety, depression, and perceived stress. Valued living partially mediated the relationship between pilgrimage and positive affect, and fully mediated the effects on perceived stress, negative affect, life satisfaction, and subjective happiness. Pilgrimage on the Way of St. James effectively reduced psychological distress and enhanced subjective well-being, with greater benefits observed compared to a non-pilgrimage vacation control group. Consistent with the concept of pilgrimage as a transformative experience, significant improvements in valued living were noted, which mediated some of the positive outcomes post-pilgrimage. The Way of St. James may serve as a valuable complementary approach for alleviating distress and promoting well-being. Further studies exploring the effects of this pilgrimage on specific populations and using more robust study designs are warranted. Trial Registration ClinicalTrials.gov Identifier NCT04141813

Study protocol for a three-arm randomized controlled trial investigating the effectiveness, cost-utility, and physiological effects of a fully self-guided digital Acceptance and Commitment Therapy for Spanish patients with fibromyalgia

Objective Fibromyalgia (FM) is a prevalent pain syndrome with significant healthcare and societal costs. The aim of the SMART-FM-SP study is to determine the effectiveness, cost-utility, and physiological effects in patients with FM of a digital intervention (STANZA®) currently marketed in the United States, which delivers smartphone-based, fully self-guided Acceptance and Commitment Therapy (Digital ACT) for treating FM-related symptoms. Methods A single-site, parallel-group, superiority, randomized controlled trial (RCT) will be conducted, including a total of 360 adults diagnosed with FM. Individuals will be randomly allocated (1:1:1) to treatment as usual (TAU), to TAU plus 12 weeks of treatment with Digital ACT, or to TAU plus 12 weeks of treatment with digital symptom tracking (i.e. FibroST). Participants will be assessed at baseline, post-treatment, and 6-month follow-up. An intention-to-treat analysis using linear mixed models will be computed to analyze the effects of Digital ACT on functional impairment (primary outcome), as measured by the Fibromyalgia Impact Questionnaire Revised at 6 months from the inception of the treatment. Secondary outcomes include impression of change, symptoms of distress, pain catastrophising, quality of life, cost-utility, and selected biomarkers (cortisol and cortisone, immune-inflammatory markers, and FKBP5 gene polymorphisms). The role of ACT-related processes of change will be tested with path analyses. Conclusions This study is the first RCT that tests Digital ACT for Spanish patients with FM. Results will be important not only for patients and clinicians, but also for policy makers by examining the cost-utility of the app in a public healthcare context

Revista de Vertebrados de la Estación Biológica de Doñaña

Comportamiento reproductor del camaleón común (Chamaeleo chamaeleon L.) en el sur de EspañaDistribución de los reptiles en la provincia de Granada (SE. Península Ibérica)Datos sobre la reproducción y el crecimientode Psammodromus hispanicus Fitzinger, 1826 en un medio adehesado de la España CentralVariación en la colocación y orientación del nido del Alzacola (Cercotrichas galactotes) en dos especies de árbolesOrganización de la comunidad de aves reproductora en las landas montanas del País Vasco AtlánticoEcología de una población ibérica de lobos (Canis Lupus)Etude biométrique des Crosidures (Soricidae, Insectivora) de la región de Massa (Souss, Maroe).Variación geográfica del género Eliomys en la Península IbéricaTendencias gregarias del Ciervo (Cervus elaphus) en Doñana.Data on the autumn diet of the red deer (Cervus elaphus L. 1758) in the Montes de Toledo (Central Spain)Nota sobre la coexistencia de Hyla arborea (L. 1758E Hyla meridionalis (Boettger 1874) rn rl Valle del TiétarCalendario reproductivo y tamaño de las puesta en el galápago leproso, Mauremys leprosa (Shweigger, 1812), en Doñana, HuelvaPelícola (Felicola) inaqualis Piager, 1880 (MALLOPHAGA:TRICHODECTIDAE) parásito deE Herpestes ichneumon L (CARNIVORA: HERPESTIDAE)Abundancia y amplitud de los desplazamientos de Apodemus sylvaticus en cuatro biotopos de Doñana que difieren en cobertura vegetalPeer reviewe

Independent and combined influence of healthy lifestyle factors on academic performance in adolescents: DADOS Study

BACKGROUND. Few studies have analyzed the combined effect of lifestyle factors on academic performance (AP) in adolescents. The aim of this study was to analyze the independent and combined effects of weight status, screen time, sleep quality, daily meal frequency, cardiorespiratory fitness and physical activity (PA) on AP in adolescents. METHODS. A total of 262 adolescents (13.9±0.3 years) from the DADOS study were included in the analysis. Weight status was assessed through body mass index (kg/m 2 ). Participants completed questionnaires to evaluate screen time, sleep quality and daily meal frequency. Cardiorespiratory fitness was assessed by the 20-m shuttle run test. PA was evaluated by a wrist-worn GENEActiv accelerometer. AP was assessed through the final academic grades and a validated questionnaire. RESULTS. Non-overweight status, low screen time, good sleep quality and proper meal frequency showed independent, positive influence on AP. Moreover, adolescents achieving at least 3 healthy lifestyles were more likely to be in the high-performance group for academic grades than those achieving ≤ 1 (math OR: 3.02-9.51, language OR: 3.51-6.76 and grade point average OR: 4.22-9.36). CONCLUSIONS. Although individual healthy lifestyles are independently and positively associated with AP, the cumulative effect of multiple healthy lifestyles have a stronger impact