ROSA Analyser: An automatized approach to analyse processes of ROSA

In this work we present the first version of ROSA Analyser, a tool designed to get closer to a fully automatic process of analysing the behaviour of a system specified as a process of the Markovian Process Algebra ROSA. In this first development stage, ROSA Analyser is able to generate the Labelled Transition System, according to ROSA Operational Semantics. ROSA Analyser performance starts with the Syntactic Analysis so generating a layered structure, suitable to then, apply the Operational Semantics Transition rules in the easier way. ROSA Analyser is able to recognize some states identities deeper than the Syntactic ones. This is the very first step in the way to reduce the size of the LTS and then to avoid the state explosion problem, so making this task more tractable. For the sake of better illustrating the usefulness of ROSA Analyser, a case study is also provided within this work.Comment: In Proceedings WS-FMDS 2012, arXiv:1207.1841. Formal model's too

Identification and quantification of carotenoids from sarsaparilla (Smilax aspera L.) berries.

The sarsaparilla (Smilax aspera L.) is an evergreen perennial climbing plant of the Liliaceae family and typical of the Mediterranean basin. The plant grows and climbs from a rhizome and forms many extended branches - up to 15m in length - and numerous leaves around shrubs and trees. Stems are semi-woody and possess several prickles. The shiny leaves are generally heart-shaped with a few, tiny, translucent prickles along the margin. Flowers are associated as branched clusters. The fruits are juicy berries, which are initially green, turning red through ripening, sometimes becoming black. The berries are rather soft, having a spherical shape, 7-9mm across, and each holding a maximum of 3 seeds. The popularity of this plant is due to the ancient medicinal uses of the rhizomes, having depurative, diaphoretic, diuretic, stimulant and tonic properties (1, 2), so that they have been used as an ingredient in soft drinks. These therapeutic actions are mainly attributed to the high content in steroidal saponins (3). Most of the attention has been given to the rhizomes of the Smilax genus, and no extensive works have been carried out on the chemical characterisation of the fruits. Recently the anthocyanin composition of S. aspera berries has been described as responsible of the fruit colour (4). However some preliminary studies in our laboratory have demonstrated that carotenoid pigments are also involved in the red coloration of these berries, and to our knowledge, the carotenoid composition of S. aspera berries has never been study and described. Therefore, the present work was aimed to isolate, identify and quantify the carotenoid pigments occurring in the S. aspera berries (5).This work was supported by the Project AGL2007-60092/ALI, Ministerio de Ciencia e Innovación (Spanish Government) and by the Project P08-AGR3477, Consejería de Economía, Innovación y Ciencia (Junta de Andalucía)

Energy efficiency in a single-family home

RESUMEN: En los últimos años, el aumento poblacional ha condicionado una fuerte demanda energética. Países subdesarrollados, para abastecer dicha demanda, han sobreexplotado los recursos naturales, cuya consecuencia principal, es un aumento desmedido de las emisiones de gases de efecto invernadero. El sector residencial es un gran de consumidor, y, por tanto, de forma indirecta un gran emisor de gases de efecto invernadero. Para combatir este hecho, se exige la aplicación del concepto de ‘eficiencia energética’, que viene acreditado por el certificado energético. La eficiencia energética es la actividad que tiene por objetivo mejorar el uso de fuentes de energía, o, dicho de otra forma, la utilización de manera eficiente de la energía para la obtención de un cierto resultado. Este concepto puede llevarse a cabo en edificios de nueva construcción, o bien, en edición ya existentes por medio de una rehabilitación. Esta última es muy importante en España, ya que, más del 80% de las viviendas españolas tienen más de 18 años y cerca de la mitad tienen más de 40. En el presente trabajo se plantea la mejora energética de una vivienda unifamiliar, cuya calificación energética inicial es aceptable, C. Sin embargo, para cumplir con lo establecido en el Código Técnico de la Edificación (CTE) y obtener la mejor calificación energética posible, es necesario llevar a cabo una serie de propuestas con las que reducir la demanda energética, que, por ende, supone una disminución de las emisiones de CO2. Estas propuestas abarcan diferentes ámbitos; asociadas a la envolvente térmica, consumo eléctrico, y a las instalaciones de calefacción y ACS. Propuesta 1: Introducción de fibra de celulosa como aislante de la envoltura térmica. Propuesta 2: Introducción de poliuretano como aislante de la envoltura térmica. Propuesta 3: Sustitución total de la iluminación de la vivienda por LED. Propuesta 4: Sustitución parcial de los electrodomésticos por otros más eficientes. Propuesta 5: Sustitución de la caldera de gas natural por una caldera de biomasa. Propuesta 6: Sustitución de la caldera de gas natural por una de condensación y de los radiadores convencionales por suelo radiante. Propuesta 7: Sustitución de la caldera de gas natural por una bomba de calor (aerotermia), incluyendo la implantación del suelo radiante. Propuesta 8: Sustitución de la caldera de gas natural por una bomba de calor (aerotermia), incluyendo la implantación de radiadores de baja temperatura. Tras el estudio, técnicamente dichas propuestas resultaron viables. Desde un punto de vista económico, y teniendo en cuenta que los rangos de aplicación son diferentes, los resultados en algunos casos son desfavorable, dificultándola recuperación de las inversiones. Sin embargo, la elección final dependerá de la disposición que tenga el cliente para asumir dichas inversiones. Para concluir se presentan las siguientes alternativas: Si el cliente está dispuesto de asumir una elevada inversión, lo más recomendable sería aplicar una bomba de calor, tanto combinado con suelo radiante como con radiadores de baja temperatura. Si el cliente no está dispuesto hacer a asumir una elevada inversión, entonces, la mejor solución sería instalar una caldera de biomasa. En ambos casos, se recomienda que la propuesta seleccionada se combine con una sustitución total de luminarias por LED y una sustitución parcial de los electrodomésticos más consumidores.ABSTRACT: In recent years, population growth has conditioned a strong energy demand. Underdeveloped countries, to supply this demand, have overexploited resources, the main consequence of which is an excessive increase in greenhouse gas emissions. The residential sector is a large consumer, and therefore indirectly a large emitter of greenhouse gases. To combat this, the concept of 'energy efficiency' is required, which is accredited by the energy certificate. Energy efficiency is the activity that aims to improve the use of energy sources, or in other words, the efficient use of energy to obtain a certain result. This concept can be implemented in new buildings, or in existing editions by means of a renovation. The latter is very important in Spain, as more than 80% of Spanish homes are over 18 years old and almost half are over 40. In this work, the energy improvement of a single-family house is considered, whose initial energy rating is acceptable, C. However, in order to comply with the Technical Building Code (CTE) and to obtain the best possible energy rating, it is necessary to carry out a series of proposals with which to reduce the energy demand, which, therefore, means a reduction in CO2 emissions. These proposals cover different areas; associated with the thermal envelope, electrical consumption, and heating and domestic hot water installations. Proposal 1: Introduction of cellulose fibre as an insulator of the thermal envelop. Proposal 2: Introduction of polyurethane as an insulator of the thermal envelope. Proposal 3: Total replacement of the lighting in the house with LEDs. Proposal 4: Partial replacement of household appliances by more efficient ones. Proposal 5: Replacement of the natural gas boiler by a biomass boiler. Proposal 6: Replacement of the natural gas boiler by a condensing boiler and of conventional radiators by floor heating. Proposal 7: Replacement of the natural gas boiler by a heat pump (aerothermal), including the installation of floor heating. Proposal 8: Replacement of the natural gas boiler by a heat pump (aerothermal), including the installation of low temperature radiators. Following the study, these proposals proved technically feasible. From an economic point of view, and considering that the ranges of application are different, the results in some cases are unfavourable, making it difficult to recover the investments. However, the final choice will depend on the client's willingness to take on these investments. To conclude, the following alternatives are presented: If the customer is prepared to make a large investment, the best option is to use a heat pump, either in combination with underfloor heating or with low-temperature radiators. If the customer is not prepared to make a high investment, then the best solution would be to install a biomass boiler. In both cases, it is recommended that the selected proposal be combined with a total replacement of the luminaires with LEDs and a partial replacement of the most common household appliances.Grado en Ingeniería de los Recursos Energético

Carotenoid composition of strawberry tree (Arbutus unedo L.) fruits

41 páginas; 5 figuras; 1 tablaThe carotenoid composition of strawberry tree (Arbutus unedo) fruits has been characterised in detail and quantified for the first time. According to the total carotenoid content (over 340 μg/g dw), mature strawberry tree berries can be classified as fruits with very high carotenoid content (>20 μg/g dw). (all-E)-Violaxanthin and 9Z-violaxanthin were found to be the major carotenoid pigments, accounting for more than 60%, responsible for the bright colour of the flesh of ripe fruits. In addition other 5,6-epoxide carotenoids, such as (all-E)-neoxanthin, (9′Z)-neoxanthin (all-E)-antheraxanthin and lutein 5,6-epoxide, together with (all-E)-lutein, (all-E)-zeaxanthin and (all-E)-β-carotene were found at high levels (>5–20 μg/g dw). The LC–MS (APCI+) analysis of the xanthophyll fraction in their native state (direct extract) revealed that most of them (>90%) were totally esterified with saturated fatty acids (capric, lauric, myristic, palmitic and stearic). Monoesters, homodiesters and heterodiesters of (all-E)-violaxanthin and 9Z-violaxanthin were the major pigments.This work was supported by funding from the Ministerio de Ciencia e Innovación (Spanish Government, Project AGL2010-14850/ALI) and the Consejería de Economía, Innovación, Ciencia y Empleo (Junta de Andalucía, Project P08-AGR-03477). Raúl Delgado Pelayo holds a predoctoral grant from Junta de Andalucía (Proyecto de Excelencia P08-AGR-3477). Authors are members of the IBERCAROT Network, funded by CYTED (ref. 112RT0445).Peer reviewe

Gestión institucional y satisfacción laboral en la Defensoría del Pueblo de la Región Pasco, 2015

La presente investigación busca establecer la relación existente entre la Gestión Institucional y la Satisfacción Laboral en la Defensoría del Pueblo de la región Pasco; equilibrando la relación entre la sociedad civil y el Estado. Eligiendo como objeto de estudio a los trabajadores de esta institución, en donde la cultura organizacional y la calidad de vida laboral y profesional cada vez se relacionan; siendo la gestión institucional y la satisfacción laboral su núcleo. Es así que a partir de una investigación busca conocer cómo es que influye en el interior de esta organización. La primera fase de la presente investigación consiste en analizar la ley de creación de esta organización en la constitución política, así como de los documentos de gestión y control las cuales están conformados por: la ley orgánica, el estatuto de la institución, el manual de organización y funciones, el reglamento de organización y funciones, las directivas en materia de recursos humanos, lineamientos de actuación defensorial, políticas y procedimientos, así como también la revisión de conceptos y teorías generales sobre gestión por objetivos y resultados, Gestión estratégica, Liderazgo, cultura organizacional, clima organizacional, motivación. Para ello, se han extraído de distintas bases de datos y se ha recorrido a bibliografía adicional para completar la información en aquellas situaciones que se consideran necesarios. La presente investigación es de tipo correlacional, que tiene como propósito conocer la relación existente entre la variable dependiente e independiente. Así también en el análisis de la hipótesis se utilizaron la prueba de medias, para ello se ha seleccionado una muestra representativa mediante la técnica no probabilística compuesta por una población finita de 08 trabajadores de la Defensoría del Pueblo de la región Pasco. Asimismo, la técnica utilizada para la recolección de datos es la encuesta, cuyo instrumento es el cuestionario de preguntas en donde a través de un conjunto de preguntas formuladas por escrito se nos ha permitido obtener opiniones de los involucrados, sirviendo de base para la consolidación en el cuadro estadístico, permitiéndonos graficar y analizar los datos obtenidos. De los resultados obtenidos queda demostrado que, la investigación concluye que la percepción de satisfacción laboral de los trabajadores se manifiesta inicialmente de forma intrínseca estimuladas por el puesto en cuanto asumen el cargo. Estas percepciones, tienen que ver con las oportunidades que tienen para asumir retos y aprender competencias. Sin embargo, son muchos los componentes que ocasiona insatisfacción laboral en los factores de contexto laboral referidos a la ausencia de reconocimiento social, salario, condiciones y carga laboral, relación con colegas, subordinados, compensación, liderazgo de la dirección, las mismas que influyen y afectan de modo desfavorable en la vida personal y la salud de los colaboradores

El Parque Científico UC3M, gestor de los derechos de propiedad industrial e intelectual

Audiovisulaes: Entrevista a Esther Arias, Oficina Española de Patentes y Marcas. Disponible en https://www.youtube.com/watch?v=K38IC0NDctE .La gestión interna de los derechos de propiedad industrial e intelectual procedentes de los resultados de la investigación desarrollada en la Universidad Carlos III de Madrid es competencia de su Parque Científico. Dependiente del vicerrectorado de Investigación, es el responsable de la transferencia de tecnología y conocimiento a las empresas.Un servicio de la UC3M es la plataforma ORIÓN-UC3M, en que la persona investigadora o gestora del grupo de investigación introduce, a medida que se producen, sus ofertas en la plataforma.Contiene: El Parque Científico UC3M, gestor de los derechos de propiedad industrial e intelectual (p. 22) .Los inventores opinan. La experiencia de proteger sus resultados con el Parque Científico UC3M / Valentín Miguel Moreno, Ana García–Armada (p. 23) .-- Más opiniones / Raúl Sánchez–Reíllo, Manuel Armenteros (p. 24)

Sensitivity Analysis of Tool Wear in Drilling of Titanium Aluminides

In the aerospace industry, a large number of holes need to be drilled to mechanically connect the components of aircraft engines. The working conditions for such components demand a good response of their mechanical properties at high temperatures. The new gamma TiAl are in the transition between the 2nd and 3rd generation, and several applications are proposed for that sector. Thus, NASA is proposing the use of the alloys in the Revolutionary Turbine Accelerator/Turbine-Based Combined Cycle (RTA/TBCC) Program for the next-generation launch vehicle, with gamma TiAl as a potential compressor and structural material. However, the information and datasets available regarding cutting performance in titanium aluminides are relatively scarce. So, a considerable part of the current research efforts in this field is dedicated to process optimization of cutting parameters and tool geometries. The present work is framed in the study of wear when machining holes in these difficult-to-cut alloys. In particular, the work presents the results from drilling tests on three types of gamma TiAl alloys, extruded MoCuSi, ingot MoCuSi, and TNB type, to define an optimal set of cutting parameters. Maintaining uniform, gradual wear is key to avoiding tool breakage and enabling good hole dimensional accuracy. So, this paper proposes a model based on ANOVA analysis to identify the relationships between cutting conditions and resulting wear and estimate tool life. The best cutting parameters were found at v(c) = 10-15 m/min and f(n) = 0.025 mm/rev.Thanks are addressed to the UFI in Mechanical Engineering of the UPV/EHU for its support to this project, and to Spanish project DPI2016-74845-R, ESTRATEGIAS AVANZADAS DE DEFINICION DE FRESADO EN PIEZAS ROTATIVAS INTEGRALES, CON ASEGURAMIENTO DE REQUISITO DE FIABILIDAD Y PRODUCTIVIDAD and project RTC-2014-1861-4, INNPACTO DESAFIO II

Factores pronósticos no radiológicos de conversión a esclerosis múltiple y discapacidad de los síndromes clínicamente aislados

La resonancia magnética (RM) se ha convertido en la herramienta básica para el diagnóstico de la esclerosis múltiple (EM) y establecer el riesgo de conversión a la misma y de discapacidad de los síndromes clínicamente aislados (SCA). No obstante, pueden existir otros factores (clínicos, neurofisiológicos o marcadores serológicos y de líquido cefalorraquídeo) con capacidad potencial de aumentar su capacidad predictiva . La presente tesis se basa en un compendio de tres artículos en los que se estudian algunos de estos factores no radiológicos, incidiendo en tres ejemplos: uno de la esfera clínica, otro de la neurofisiológica y finalmente en la de los marcadores serológicos. En el primero de los artículos se evalúa la frecuencia de los síndromes hemisféricos y polirregionales en una cohorte de 320 SCA consecutivos: doce de los mismos fueron clasificados como polirregionales y 6 como hemisféricos. Aunque la baja frecuencia de estas formas de presentación hacen difícil un análisis estadístico adecuado, aparentemente su comportamiento en cuanto al riesgo de conversión a EM parece similar al de otras formas más comunes como las mielitis o los síndromes de fosa posterior (el grupo de neuritis óptica mostró una tasa de conversión menor). Finalmente se realiza una disertación sobre la falta de acuerdo en la definición de estos SCA atípicos, enfatizándose la necesidad de un consenso. En el siguiente artículo se intenta esclarecer si los potenciales evocados multimodales (PE05s) añaden información a la RM en los SCA en cuanto a riesgo de conversión a EM y de discapacidad a medio plazo. Se analizó para ello una cohorte de 245 pacientes a los que se les habían realizado potenciales evocados visuales, somatoestésicos y auditivos de tronco. Posteriormente se evaluó el tiempo transcurrido hasta el segundo brote y en llegar a una puntuación en la escala EDSS de 3,0. Con una media de seguimiento de 76 meses, 71 pacientes (29%) mostraron tres PEs normales, 115 (47%) tenían uno alterado, 40 (16%) dos y 19 (8%) los tres. Al analizar los resultados, los PE05s finalmente no añadían información a los hallazgos de la RM craneal en cuanto a la conversión en EM clínicamente definida (EMCD). No obstante, la presencia de los 3 PEs alterados suponían un riesgo mayor de desarrollar discapacidad moderada (EDSS 3,0), independientemente de los hallazgos de la RM (hazard ratio 7,0 (0,7-69,6)). En resumen, podemos concluir que la presencia de 3 PEs alterados puede ayudarnos a identificar pacientes con un SCA con alto riesgo en desarrollar discapacidad, de forma independiente a los hallazgos radiológicos. No obstante, su utilidad se ve limitada por el bajo porcentaje de pacientes con un SCA que presentaron de forma basal una anormalidad en los 3 PEs. El artículo anexo es un intento de reproducir los hallazgo de un estudio (Berger et al, N Engl J Med 2003) en el que se concluía que la presencia de anticuerpos anti-MOG y anti-MBP en suero de pacientes con un SCA se relacionaba con un mayor riesgo en la aparición de un segundo brote. Se buscó replicar estos resultados en una cohorte mayor, utilizando la misma técnica de detección de los anticuerpos y con el mismo criterio de selección de los pacientes que en el estudio origen. Finalmente 114 pacientes fueron incluidos en el estudio, con una media de seguimiento de 47 meses. Como conclusión, los pacientes con anticuerpos antimielina positivos no presentaron más riesgo de conversión a EMCD que aquellos sin la presencia de los mismos, por lo que no queda demostrado que la presencia de dichos anticuerpos sea un marcador de riesgo de conversión a EMCD.Magnetic resonance imaging (MRI) has become the basic tool for the diagnosis of multiple sclerosis (MS) and to establish the risk of conversion to MS and disability of the clinically isolated syndromes (CIS). However, other factors (clinical, neurophysiological and serological or cerebrospinal fluid markers) could have the potential capacity to increase its predictive capacity. This thesis is based on a compendium of three articles on some of these non-radiological factors are studied, focusing on three examples: one of the clinical sphere, another neurophysiological and finally in a serological marker. In the first article, the frequency of the polyregional and hemispheric syndromes are evaluated in a cohort of 320 consecutive SCA: twelve of them were classified as polyregional and 6 as hemispheric. Although the low frequency of these presentations makes it difficult to an appropriate statistical analysis, their risk of conversion to MS seems similar to other more common forms such as myelitis or posterior fossa syndromes (the group of optic neuritis he showed a lower rate of conversion). Finally, a dissertation on the lack of agreement on the definition of these atypical SCA is made, emphasizing the need for consensus. The following article attempts to clarify whether multimodal evoked potentials (MMEPs) add information to MRI in SCA in risk of conversion to MS and medium term disability. A cohort of 245 patients who had undergone visual evoked, somatosensory and auditory brain stem potentials was analysed. Subsequently, time until the second relapse and to reach a score of 3.0 EDSS was evaluated. With a mean follow up of 76 months, 71 patients (29%) showed three normal PEs, 115 (47%) had one altered, 40 (16%) two and 19 (8%) three. Finally PEMMs did not add information to the brain MRI findings concerning the conversion into clinically definite MS (CDMS). However, the presence of three altered PEs involved a greater risk of developing moderate disability (EDSS 3.0), regardless of the MRI findings (hazard ratio 7.0 (0.7 to 69.6)). In summary, we can conclude that the presence of 3 altered PEs can help us identify CIS patients with a high risk of developing disability independently radiological findings. However, its usefulness is limited by the low percentage of CIS patients that presented at baseline an abnormality in the 3 PEs. The annex article is an attempt to reproduce the finding of a study (Berger et al, N Engl J Med 2003) in which was concluded that the presence of anti-myelin oligodendrocyte glycoprotein (anti-MOG) and anti-myelin basic protein (anti-MBP) antibodies in serum of patients with CIS was associated with an increased risk in the occurrence of a second relapse. We try to replicate these findings in a larger cohort, using the same technique for detecting antibodies with the same criteria for selection of patients. Finally 114 patients were included in the study, with a mean follow up of 47 months. In conclusion, patients with positive antibodies antimyelin did not show an increased risk of conversion to CDMS compared with those without their presence, so it is not shown that the presence of such antibodies is a marker of risk of conversion to CDMS

Risk Taking in Hospitalized Patients with Acute and Severe Traumatic Brain Injury

Rehabilitation can improve cognitive deficits observed in patients with traumatic brain injury (TBI). However, despite rehabilitation, the ability of making a choice often remains impaired. Risk taking is a daily activity involving numerous cognitive processes subserved by a complex neural network. In this work we investigated risk taking using the Balloon Analogue Risk Task (BART) in patients with acute TBI and healthy controls. We hypothesized that individuals with TBI will take less risk at the BART as compared to healthy individuals. We also predicted that within the TBI group factors such as the number of days since the injury, severity of the injury, and sites of the lesion will play a role in risk taking as assessed with the BART. Main findings revealed that participants with TBI displayed abnormally cautious risk taking at the BART as compared to healthy subjects. Moreover, healthy individuals showed increased risk taking throughout the task which is in line with previous work. However, individuals with TBI did not show this increased risk taking during the task. We also investigated the influence of three patients’ characteristics on their performance at the BART: Number of days post injury, Severity of the head injury, and Status of the frontal lobe. Results indicate that performance at the BART was influenced by the number of days post injury and the status of the frontal lobe, but not by the severity of the head injury. Reported findings are encouraging for risk taking seems to naturally improve with time postinjury. They support the need of conducting longitudinal prospective studies to ultimately identify impaired and intact cognitive skills that should be trained postinjury

Risk Taking in Hospitalized Patients with Acute and Severe Traumatic Brain Injury

Altres ajuts: Fundació La Marató de TV3 (071931)Rehabilitation can improve cognitive deficits observed in patients with traumatic brain injury (TBI). However, despite rehabilitation, the ability of making a choice often remains impaired. Risk taking is a daily activity involving numerous cognitive processes subserved by a complex neural network. In this work we investigated risk taking using the Balloon Analogue Risk Task (BART) in patients with acute TBI and healthy controls. We hypothesized that individuals with TBI will take less risk at the BART as compared to healthy individuals. We also predicted that within the TBI group factors such as the number of days since the injury, severity of the injury, and sites of the lesion will play a role in risk taking as assessed with the BART. Main findings revealed that participants with TBI displayed abnormally cautious risk taking at the BART as compared to healthy subjects. Moreover, healthy individuals showed increased risk taking throughout the task which is in line with previous work. However, individuals with TBI did not show this increased risk taking during the task. We also investigated the influence of three patients' characteristics on their performance at the BART: Number of days post injury, Severity of the head injury, and Status of the frontal lobe. Results indicate that performance at the BART was influenced by the number of days post injury and the status of the frontal lobe, but not by the severity of the head injury. Reported findings are encouraging for risk taking seems to naturally improve with time postinjury. They support the need of conducting longitudinal prospective studies to ultimately identify impaired and intact cognitive skills that should be trained postinjury