Groundwater pollution in quaternary aquifer of Vitoria - Gasteiz (Basque Country, Spain)

As a result of diverse changes in land use and in water-resource management in the high basin of the Zadorra River (Basque Country), an important loss of water resources and an intense contamination by nitrogen compounds has taken place. The purpose of this paper is to detail the land transformations that have taken place on the aquifer since the 1950s: increase of drainage network, change from dry to irrigated farming, and diversion of rivers at the aquifer unit inlet. Furthermore, we analyze the impact of these transformations on the hydrodynamics and water quality of this aquifer system

Seminal characterization of the menorquina sheep

Menorquina sheep is included in the group of breeds in danger of extinction according the Offcial Spanish Catalogue of Livestock Breeds. In 2003, 2000 animals were enclosed in the herd book, all them belonging to 52 farms. Presently, the breed has, in the ex situ conservation program, a germplasm bank which started in 2008 and continues completing yearly. This paper exposes the preliminary results of the semen characte-rization of the Menorquina sheep breed male, studying variables such as volume, concentration, basal and progressive motility, in relation to the year of collection. A total of 41 ejaculates from 8 males were studied. Preliminary data offered the following means and standard deviations: concentration, 3 897x106±2,74 espermatozoa/ml; 4 456x106±4,43 total spermatozoa; progressive motility 50±16,77 (0-100%); volume 1,06±0,66 ml; basal motility 3,58±1,01 (1-5). The variables shown differences statistically significant among years of collection.La oveja Menorquina está incluida en el grupo de razas en peligro de extinción según el Catálogo Oficial de Razas de Ganado de España. En el año 2003 estaban inscritos en el Libro Genealógico unos 2000 animales pertenecientes a 52 ganaderías. Actualmente, la raza cuenta, dentro del Programa de Conservación ex situ, con un banco de germoplasma que comenzó en 2008 y sigue completándose anualmente. Este trabajo expone los primeros resultados de la caracterización seminal del morueco de raza ovina Menorquina, en el que se ha estudiado el efecto de variables tales como volumen y concentración seminal, así como la motilidad masal y progresiva, en relación al año de la extracción seminal. En total se analizaron 41 eyaculados de 8 sementales. Los datos preliminares ofrecieron las siguientes medias y desviaciones típicas: concentración, 3 897x106±2,74 espermatozoides/ml; 4 456x106±4,43 esperma-tozoides totales; motilidad progresiva 50±16,77 (0-100%); volumen 1,06±0,66 ml; motilidad masal 3,58±1,01 (1-5). Todas las variables mostraron diferencias significativas en relación al año

On duality relations for session types

Session types are a type formalism used to describe communication protocols over private session channels. Each participant in a binary session owns one endpoint of a session channel. A key notion is that of duality: the endpoints of a session channel should have dual session types in order to guarantee communication safety. Duality relations have been independently defined in different ways and different works, without considering their effect on the type system. In this paper we systematically study the existing duality relations and some new ones, and compare them in order to understand their expressiveness. The outcome is that those relations are split into two groups, one related to the na¨ıve inductive duality, and the other related to a notion of mutual compliance, which we borrow from the literature on contracts for web-services

Study of sperm parameters in the retuertas horse

Geographical concentration and scarce census of the Retuertas horse force to design a complete conservation plan. One of the used tools as a mean of ex situ conservation was the creation of a germplasm bank. Previously, a study of the se-minal quality and its aptitude for freezing was developed. Results were: volume 23,25±12,72 ml; concentration 335,83±135,60x106 spermatozoa/ml; basal motility 3,83±0,98 (1-5) and progressive motility 60,42±15,42 (0-100%); all of them shown significant differences among stallions.La concentración geográfica y el reducido censo del Caballo de las Retuertas obligaron a diseñar un Plan de Conservación integral. Una de las herramientaspara la conservación ex situ fue la creación de un banco de germoplasma. Previamente, se estudió la calidad seminal y aptitud para congelación. Los resultados obtenidos fueron: volumen 23,25±12,72 ml, concentración 335,83±135,60x106 espermatozoides/ml; motilidad masal 3,83±0,98 (1-5) y motilidad progresiva 60,42±15,42 (0-100%), mostrando todas diferencias significativas en relación al semental

Testing M2T/T2M Transformations

Presentado en: 16th International Conference on Model Driven Engineering Languages and Systems (MODELS 2013). Del 29 de septiembre al 4 de octubre. Miami, EEUU.Testing model-to-model (M2M) transformations is becoming a prominent topic in the current Model-driven Engineering landscape. Current approaches for transformation testing, however, assume having explicit model representations for the input domain and for the output domain of the transformation. This excludes other important transformation kinds, such as model-to-text (M2T) and text-to-model (T2M) transformations, from being properly tested since adequate model representations are missing either for the input domain or for the output domain. The contribution of this paper to overcome this gap is extending Tracts, a M2M transformation testing approach, for M2T/T2M transformation testing. The main mechanism we employ for reusing Tracts is to represent text within a generic metamodel. By this, we transform the M2T/T2M transformation specification problems into equivalent M2M transformation specification problems. We demonstrate the applicability of the approach by two examples and present how the approach is implemented for the Eclipse Modeling Framework (EMF). Finally, we apply the approach to evaluate code generation capabilities of several existing UML tools.Universidad de Málaga. Campus de Excelencia Internacional Andalucía Tech. Proyecto TIN2011-2379

Objetos didáctico-poéticos para desarrollar el pensamiento crítico y artístico en discentes del Grado de Magisterio en Educación Primaria.

El pensamiento crítico artístico del alumnado del Grado de Magisterio en Educación Primaria se construye a partir de experiencias didácticas duales: a) educación perceptiva del mundo visual y objetual que les rodea y b) educación creadora de imágenes y objetos personales. Entre las posibilidades prácticas está la elaboración de lo que denominamos en este artículo como “dispositivos didáctico-poéticos” que servirán a los futuros docentes de Educación Primaria para trabajar con los niños y las niñas en las aulas su pensamiento crítico. Presentamos los resultados del proyecto “Metáforas visuales tridimensionales: estirar hasta dar la vuelta” elaborado durante los cursos 2019-2020 y 2020-2021. En este proyecto se aplicó la metodología docente del Aprendizaje Basado en Proyectos (ABP) en combinación con el Aprendizaje Basado en la Creación (ABC) donde convergen la didáctica y la creación. Los resultados desvelan cómo el alumnado es capaz de comprender las narrativas mediáticas y objetuales materializándolas en objetos físicos didáctico-poéticos que servirán para educar en pensamiento crítico a niños y niñas de Educación Primaria

Objetos didáctico-poéticos para desarrollar el pensamiento crítico y artístico en discentes del grado de magisterio en educación primaria

El pensamiento crítico artístico del alumnado del Grado de Magisterio en Educación Primaria se construye a partir de experiencias didácticas duales: a) educación perceptiva del mundo visual y objetual que les rodea y b) educación creadora de imágenes y objetos personales. Entre las posibilidades prácticas está la elaboración de lo que denominamos en este artículo como “dispositivos didáctico-poéticos” que servirán a los futuros docentes de Educación Primaria para trabajar con los niños y las niñas en las aulas su pensamiento crítico. Presentamos los resultados del proyecto “Metáforas visuales tridimensionales: estirar hasta dar la vuelta” elaborado durante los cursos 2019-2020 y 2020-2021. En este proyecto se aplicó la metodología docente del Aprendizaje Basado en Proyectos (ABP) en combinación con el Aprendizaje Basado en la Creación (ABC) donde convergen la didáctica y la creación. Los resultados desvelan cómo el alumnado es capaz de comprender las narrativas mediáticas y objetuales materializándolas en objetos físicos didáctico-poéticos que servirán para educar en pensamiento crítico a niños y niñas de Educación Primaria. The artistic critical thinking of the students of the Degree in Teaching in Primary Education is built from dual didactic experiences: a) perceptive education of the visual and object world that surrounds them and b) creative education of images and personal objects. Among the practical possibilities is the development of what we call in this article "didactic- poetic devices" that will serve future Primary Education teachers to work with children in the classroom their critical thinking. We present the results of the project "Three-dimensional visual metaphors: Stretching to the point of turning" developed during the 2019-2020 and 2020-2021 school years. In this project we applied the teaching methodology of Project Based Learning (PBL) in combination with Creation Based Learning (CBA) where didactics and creation converge. The results reveal how students are able to understand media and object narratives, materializing them into didactic-poetic physical objects that will serve to educate elementary school children in critical thinking

Hacia un enfoque semántico para la catalogación de métricas

En los últimos lustros han surgido numerosas propuestas que definen conjuntos de métricas de calidad para la evaluación de productos y procesos de software en distintos dominios de aplicación. Un trabajo reciente sobre métricas [3, 7] propone un marco conceptual para la definición, documentación y explotación de dichas métricas desde una perspectiva integradora, y define los requisitos y la arquitectura que debe tener un repositorio de métricas con fines de consulta y reuso. En este paper introducimos el diseño de una capa semántica para tal repositorio que facilitará la explotación e intercambio consistente de información de métricas entre usuarios a partir de repositorios, como así también la explotación y uso por parte de aplicaciones, agentes y herramientas automáticas en la Web.Eje: Ingeniería de softwareRed de Universidades con Carreras en Informática (RedUNCI

Hacia un enfoque semántico para la catalogación de métricas

En los últimos lustros han surgido numerosas propuestas que definen conjuntos de métricas de calidad para la evaluación de productos y procesos de software en distintos dominios de aplicación. Un trabajo reciente sobre métricas [3, 7] propone un marco conceptual para la definición, documentación y explotación de dichas métricas desde una perspectiva integradora, y define los requisitos y la arquitectura que debe tener un repositorio de métricas con fines de consulta y reuso. En este paper introducimos el diseño de una capa semántica para tal repositorio que facilitará la explotación e intercambio consistente de información de métricas entre usuarios a partir de repositorios, como así también la explotación y uso por parte de aplicaciones, agentes y herramientas automáticas en la Web.Eje: Ingeniería de softwareRed de Universidades con Carreras en Informática (RedUNCI