On Detecting Concurrency Defects Automatically at the Design Level

We describe an automated approach for detecting concurrency defects from design diagrams of a software, in particular, sequence diagrams. From a given sequence diagram, we automatically infer a formal, parallel specification that generalizes the communication behavior that is designed informally and incompletely in the diagram. We model-check the parallel specification against generic concurrency defect patterns. No additional specification of the software is needed. We present several case-studies to evaluate our approach. The results show that our approach is technically feasible, and effective in detecting nasty concurrency defects at the design level

Los anuncios de juguetes en televisión: diferenciación sexual en la asignación de juguetes e imagen del niño

La televisión ha cobrado, en nuestros días, una gran importancia como agente de socialización y fuente potencial de modelos infantiles. La publicidad dirigida a los niños, especialmente la publicidad de juguetes, puede estar preparando y condicionando una distribución sexista de roles y tareas ya desde los primeros años de la infancia. La investigación que aquí presentamos tiene por objeto dilucidar esta cuestión. Nuestros resultados muestran que la publi cidad de juguetes en televisión propone una imagen reduccionista del niño y de la niña (especialmente de ésta última), asignándoles los tipos de juguetes que les proveerán de las habilidades necesarias únicamente para la ejecución de los roles tradicionales repartidos para el hombre y para la mujer

Targeted gold-coated iron oxide nanoparticles for CD163 detection in atherosclerosis by MRI

CD163 is a membrane receptor expressed by macrophage lineage. Studies performed in atherosclerosis have shown that CD163 expression is increased at inflammatory sites, pointing at the presence of intraplaque hemorrhagic sites or asymptomatic plaques. Hence, imaging of CD163 expressing macrophages is an interesting strategy in order to detect atherosclerotic plaques. We have prepared a targeted probe based on gold-coated iron oxide nanoparticles vectorized with an anti-CD163 antibody for the specific detection of CD163 by MRI. Firstly, the specificity of the targeted probe was validated in vitro by incubation of the probe with CD163(+) or (−) macrophages. The probe was able to selectively detect CD163(+) macrophages both in human and murine cells. Subsequently, the targeted probe was injected in 16 weeks old apoE deficient mice developing atherosclerotic lesions and the pararenal abdominal aorta was imaged by MRI. The accumulation of probe in the site of interest increased over time and the signal intensity decreased significantly 48 hours after the injection. Hence, we have developed a highly sensitive targeted probe capable of detecting CD163-expressing macrophages that could provide useful information about the state of the atheromatous lesionsThis work was funded by Spanish Government through a Plan Nacional (CTQ2011–27268), FEDER funds through the Fondo de Investigación Sanitaria (PI10/00072, PI13/00051, PI13/00395, PI13/00802, PI14/00883 and PI14/00386), CIBERDEM group, RETICS RD12/0042/0038, Programa Miguel Servet (CP10/00479) and cvREMOD CENIT project (CEN-20091044), the Basque Government through Etortek 2011 (IE11–301), and Fundacion Lilly, Spanish Society of Atherosclerosis, Spanish Society of Nephrology and Fundacion Renal Iñigo Alvarez de Toled

Pd-catalysed amidation of 2,6-dihalopurine nucleosides. Replacement of iodine at 0 ºC

Pd-catalysed reactions of 2-Cl, 2-Br and 2-I derivatives of a 6-chloropurine nucleoside with benzamide have been compared, using Pd2dba3, Xantphos and Cs2CO3 in toluene, between 20 and 80 °C. The reactivity order was 2-I > 2-Br > 6-Cl ≫ 2-Cl. The 2-I substituent could be replaced even at 0 °C, under conditions disclosed here for the first time. On the other hand, the replacement of the chlorine atom at position 2 (2-Cl) required 110 °C

Emotions and Sport Management: A Bibliometric Overview

Emotions are considered a fundamental aspect of sport scenarios, and within sports, consumer behavior is a very popular area of research in the sport management field. Thus, in recent years, there has been a growing interest for sport managers regarding the role that emotions play in sport consumer behavior. Thus, the aim of this paper is to provide an overview of the academic research on emotions in the sport management field using two techniques: a bibliometric performance analysis and a graphic mapping of the references in this field. This analysis focuses on authors, journals, papers, institutions and countries. Bibliometric indicators including the h-index measure, productivity and the number of citations were used to perform the performance analysis. Then, VOSviewer software was used to perform co-citation, bibliographic coupling and co-occurrence of keyword analysis (mapping analysis). The results of both types of analysis are consistent, with the United States being the most influential country in emotions in sport management research because the main authors and institutions in this research field belong to this country. The overall results indicate that the literature on this research topic has grown significantly in recent years in all scientific disciplines; however, the research topic is incipient, and therefore, the number of articles is still limited. Thus, this research presents the key aspects in the topic of emotions in sport management that could be helpful for researchers and policy makers in the field of sport management to make future decisions

Estudio cycEVA: casos y controles para la estimación de la efectividad de la vacuna antigripal en España, 2008-2013

Fundamentos: Desde 2008-09 la efectividad de la vacuna (EV) antigripal en España se estima con el estudio de casos y controles para la evaluación de la EV antigripal (cycEVA), componente español de la red europea (Influenza-Monitoring Vaccine Effectiveness (I-MOVE). El objetivo es describir la evolución del estudio cycEVA durante las cinco temporadas del período 2008/09– 2012/13. Métodos: Se analizaron los siguientes indicadores: 1) participación de los médicos/pediatras centinela (MP); 2) población y periodo de estudio, 3) calidad de los datos y 4) difusión de los resultados mediantes publicaciones. Se calculó el porcentaje anual de cambio constante de los indicadores analizándose su tendencia mediante el test de Cochran-Armitage. Resultados: El número de MP participantes aumentó de 164 en 2008-09 hasta 246 en ediciones posteriores. El porcentaje de médicos que reclutaron al menos un paciente experimentó un cambio anual significativo (PCA) del 15,33%. El porcentaje de pacientes reclutados incluidos en el análisis aumen- tó del 77% en 2008-09 a más del 95% en las siguientes ediciones (PCA=5,91%). El porcentaje de casos y controles participantes en cycEVA sobre el total de pacientes que contribuyeron al estudio europeo I-MOVE osciló entre el 23% en la edición piloto y 30% en la temporada 2011-12. Los resultados finales se difundieron en revistas científicas con un factor de impacto situado en el cuartil 2 y en 2010-11 y 2011-12 se publicaron resultados preliminares en revistas con un factor de impacto situado en el cuartil 1 (97 citas). Conclusiones: La experiencia del estudio cycEVA se reflejó en una mejora en la oportunidad e impacto de sus resultados, cruciales para orientar las recomendaciones anuales de vacunación antigripal

Interim 2017/18 influenza seasonal vaccine effectiveness: Combined results from five European studies

Between September 2017 and February 2018, influenza A(H1N1)pdm09, A(H3N2) and B viruses (mainly B/Yamagata, not included in 2017/18 trivalent vaccines) co-circulated in Europe. Interim results from five European studies indicate that, in all age groups, 2017/18 influenza vaccine effectiveness was 25 to 52% against any influenza, 55 to 68% against influenza A(H1N1)pdm09, -42 to 7% against influenza A(H3N2) and 36 to 54% against influenza B. 2017/18 influenza vaccine should be promoted where influenza still circulates

Newton 2.0: Diseño de un kit y metodología docente innovadores para el modelado de "sistemas cambiantes" con ladrillos-N

Fac. de Ciencias BiológicasFALSEsubmitte

Bioeconomy based on Scientific Research and Entrepreneurship

The bioeconomy can be defined as an activity that provides solutions to problems arising from the imbalance between increasing world population and the availability of resources and difficulties in supplying those needs. Bioeconomy is based on best and new uses of natural resources among which are important and essential plant species in areas such as agriculture, food industry, cosmetics and pharmaceutical industry, textile industry, landscaping and architecture, design of interior and exterior gardens, bioenergy, and the conservation and restoration of soils and natural ecosystems. Once checked problems, how to propose solutions in the context of the Bioeconomy? The universities base their activity in teaching and learning and scientific research. Furthermore, human societies and the habitats they occupy are social structures in which problems occur. If scientific research provides results that may constitute solutions to problems, it is necessary to build bridges between the academic activity and problems of society, bridges to convert research results in an entrepreneurial activity that allows its application as a solution to a given problem. That bridge is entrepreneurship to develop spin-offs and start-up. Something else to consider? The entrepreneurship is a process, it is learned, tested and developed, but solves nothing if not based on an entrepreneur, so the bridge is the entrepreneur instead of entrepreneurship. Consequently we must devote the effort to form new mindsets and attitudes to modern societies. If we have the necessary tools, learn to use them to be resolute and ask governments environments and mechanisms necessary to carry out the task