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

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

Agglomeration, Inequality and Economic Growth (WP)

The impact of income inequality on economic growth is dependent on several factors, including the time horizon considered, the initial level of income and its initial distribution. Yet, as growth and inequality are also uneven across space, it is also pertinent to consider the effects of the geographical agglomeration of economic activity. Moreover, it would also seem pertinent to consider not just the levels of inequality and agglomeration, but also the changes they undergo -i.e., their within-country evolution- and how these two processes interact with each other. By applying different econometric specifications and by introducing different measures of agglomeration at country level -specifically, urbanization and urban concentration rates-, this study analyzes how inequality and agglomeration -both their levels and their evolution- influence economic growth in function of the country’s level of development and its initial income distribution. Our results suggest, in line with previous studies, that while high inequality levels are a limiting factor for long-run growth, increasing inequality and increasing agglomeration have the potential to enhance growth in low-income countries where income distribution remains relatively equal, but can result in congestion diseconomies in high-income countries, especially if income distribution becomes particularly unequal

NOXA as critical mediator for drug combinations in polychemotherapy

During polychemotherapy, cytotoxic drugs are given in combinations to enhance their anti-tumor effectiveness. For most drug combinations, underlying signaling mechanisms responsible for positive drug–drug interactions remain elusive. Here, we prove a decisive role for the Bcl-2 family member NOXA to mediate cell death by certain drug combinations, even if drugs were combined which acted independently from NOXA, when given alone. In proof-of-principle studies, betulinic acid, doxorubicin and vincristine induced cell death in a p53- and NOXA-independent pathway involving mitochondrial pore formation, release of cytochrome c and caspase activation. In contrast, when betulinic acid was combined with either doxorubicine or vincristine, cell death signaling changed considerably; the drug combinations clearly depended on both p53 and NOXA. Similarly and of high clinical relevance, in patient-derived childhood acute leukemia samples the drug combinations, but not the single drugs depended on p53 and NOXA, as shown by RNA interference studies in patient-derived cells. Our data emphasize that NOXA represents an important target molecule for combinations of drugs that alone do not target NOXA. NOXA might have a special role in regulating apoptosis sensitivity in the complex interplay of polychemotherapy. Deciphering the differences in signaling of single drugs and drug combinations might enable designing highly effective novel polychemotherapy regimens