Towards workflow ecosystems through standard representations

Workflows are increasingly used to manage and share scientific computations and methods. Workflow tools can be used to design, validate, execute and visualize scientific workflows and their execution results. Other tools manage workflow libraries or mine their contents. There has been a lot of recent work on workflow system integration as well as common workflow interlinguas, but the interoperability among workflow systems remains a challenge. Ideally, these tools would form a workflow ecosystem such that it should be possible to create a workflow with a tool, execute it with another, visualize it with another, and use yet another tool to mine a repository of such workflows or their executions. In this paper, we describe our approach to create a workflow ecosystem through the use of standard models for provenance (OPM and W3C PROV) and extensions (P-PLAN and OPMW) to represent workflows. The ecosystem integrates different workflow tools with diverse functions (workflow generation, execution, browsing, mining, and visualization) created by a variety of research groups. This is, to our knowledge, the first time that such a variety of workflow systems and functions are integrated.

SMART Protocols: seMAntic represenTation for experimental protocols

Two important characteristics of science are the ?reproducibility? and ?clarity?. By rigorous practices, scientists explore aspects of the world that they can reproduce under carefully controlled experimental conditions. The clarity, complementing reproducibility, provides unambiguous descriptions of results in a mechanical or mathematical form. Both pillars depend on well-structured and accurate descriptions of scientific practices, which are normally recorded in experimental protocols, scientific workflows, etc. Here we present SMART Protocols (SP), our ontology-based approach for representing experimental protocols and our contribution to clarity and reproducibility. SP delivers an unambiguous description of processes by means of which data is produced; by doing so, we argue, it facilitates reproducibility. Moreover, SP is thought to be part of e-science infrastructures. SP results from the analysis of 175 protocols; from this dataset, we extracted common elements. From our analysis, we identified document, workflow and domain-specific aspects in the representation of experimental protocols. The ontology is available at http://purl.org/net/SMARTprotocol

Workflow reuse in practice: a study of neuroimaging pipeline users

Workflow reuse is a major benefit of workflow systems and shared workflow repositories, but there are barely any studies that quantify the degree of reuse of workflows or the practical barriers that may stand in the way of successful reuse. In our own work, we hypothesize that defining workflow fragments improves reuse, since end-to-end workflows may be very specific and only partially reusable by others. This paper reports on a study of the current use of workflows and workflow fragments in labs that use the LONI Pipeline, a popular workflow system used mainly for neuroimaging research that enables users to define and reuse workflow fragments. We present an overview of the benefits of workflows and workflow fragments reported by users in informal discussions. We also report on a survey of researchers in a lab that has the LONI Pipeline installed, asking them about their experiences with reuse of workflow fragments and the actual benefits they perceive. This leads to quantifiable indicators of the reuse of workflows and workflow fragments in practice. Finally, we discuss barriers to further adoption of workflow fragments and workflow reuse that motivate further work.

A Semantic Approach to Problem-Based Learning with Conceptual Models

El aprendizaje basado en problemas se lleva aplicando con éxito durante las últimas tres décadas en un amplio rango de entornos de aprendizaje. Este enfoque educacional consiste en proponer problemas a los estudiantes de forma que puedan aprender sobre un dominio particular mediante el desarrollo de soluciones a dichos problemas. Si esto se aplica al modelado de conocimiento, y en particular al basado en Razonamiento Cualitativo, las soluciones a los problemas pasan a ser modelos que representan el compotamiento del sistema dinámico propuesto. Por lo tanto, la tarea del estudiante en este caso es acercar su modelo inicial (su primer intento de representar el sistema) a los modelos objetivo que proporcionan soluciones al problema, a la vez que adquieren conocimiento sobre el dominio durante el proceso. En esta tesis proponemos KaiSem, un método que usa tecnologías y recursos semánticos para guiar a los estudiantes durante el proceso de modelado, ayudándoles a adquirir tanto conocimiento como sea posible sin la directa supervisión de un profesor. Dado que tanto estudiantes como profesores crean sus modelos de forma independiente, estos tendrán diferentes terminologías y estructuras, dando lugar a un conjunto de modelos altamente heterogéneo. Para lidiar con tal heterogeneidad, proporcionamos una técnica de anclaje semántico para determinar, de forma automática, enlaces entre la terminología libre usada por los estudiantes y algunos vocabularios disponibles en la Web de Datos, facilitando con ello la interoperabilidad y posterior alineación de modelos. Por último, proporcionamos una técnica de feedback semántico para comparar los modelos ya alineados y generar feedback basado en las posibles discrepancias entre ellos. Este feedback es comunicado en forma de sugerencias individualizadas que el estudiante puede utilizar para acercar su modelo a los modelos objetivos en cuanto a su terminología y estructura se refiere. ABSTRACT Problem-based learning has been successfully applied over the last three decades to a diverse range of learning environments. This educational approach consists of posing problems to learners, so they can learn about a particular domain by developing solutions to them. When applied to conceptual modeling, and particularly to Qualitative Reasoning, the solutions to problems are models that represent the behavior of a dynamic system. Therefore, the learner's task is to move from their initial model, as their first attempt to represent the system, to the target models that provide solutions to that problem while acquiring domain knowledge in the process. In this thesis we propose KaiSem, a method for using semantic technologies and resources to scaffold the modeling process, helping the learners to acquire as much domain knowledge as possible without direct supervision from the teacher. Since learners and experts create their models independently, these will have different terminologies and structure, giving rise to a pool of models highly heterogeneous. To deal with such heterogeneity, we provide a semantic grounding technique to automatically determine links between the unrestricted terminology used by learners and some online vocabularies of the Web of Data, thus facilitating the interoperability and later alignment of the models. Lastly, we provide a semantic-based feedback technique to compare the aligned models and generate feedback based on the possible discrepancies. This feedback is communicated in the form of individualized suggestions, which can be used by the learner to bring their model closer in terminology and structure to the target models.

Image processing methods for human brain connectivity analysis from in-vivo diffusion MRI

The structural connectivity of the brain is considered to encode species-wise and subject-wise patterns that will unlock large areas of understanding of the human brain. Currently, diffusion MRI of the living brain enables to map the microstructure of tissue, allowing to track the pathways of fiber bundles connecting the cortical regions across the brain. These bundles are summarized in a network representation called connectome that is analyzed using graph theory. The extraction of the connectome from diffusion MRI requires a large processing flow including image enhancement, reconstruction, segmentation, registration, diffusion tracking, etc. Although a concerted effort has been devoted to the definition of standard pipelines for the connectome extraction, it is still crucial to define quality assessment protocols of these workflows. The definition of quality control protocols is hindered by the complexity of the pipelines under test and the absolute lack of gold-standards for diffusion MRI data. Here we characterize the impact on structural connectivity workflows of the geometrical deformation typically shown by diffusion MRI data due to the inhomogeneity of magnetic susceptibility across the imaged object. We propose an evaluation framework to compare the existing methodologies to correct for these artifacts including whole-brain realistic phantoms. Additionally, we design and implement an image segmentation and registration method to avoid performing the correction task and to enable processing in the native space of diffusion data. We release PySDCev, an evaluation framework for the quality control of connectivity pipelines, specialized in the study of susceptibility-derived distortions. In this context, we propose Diffantom, a whole-brain phantom that provides a solution to the lack of gold-standard data. The three correction methodologies under comparison performed reasonably, and it is difficult to determine which method is more advisable. We demonstrate that susceptibility-derived correction is necessary to increase the sensitivity of connectivity pipelines, at the cost of specificity. Finally, with the registration and segmentation tool called regseg we demonstrate how the problem of susceptibility-derived distortion can be overcome allowing data to be used in their original coordinates. This is crucial to increase the sensitivity of the whole pipeline without any loss in specificity.

Hacia un Lexicón Unificado de Sentimientos basado en Unidades de Procesamiento Gráfico

Esta tesis presenta un modelo, una metodología, una arquitectura, varios algoritmos y programas para crear un lexicón de sentimientos unificado (LSU) que cubre cuatro lenguas: inglés, español, portugués y chino. El objetivo principal es alinear, unificar, y expandir el conjunto de lexicones de sentimientos disponibles en Internet y los desarrollados a lo largo de esta investigación. Así, el principal problema a resolver es la tarea de unificar de forma automatizada los diferentes lexicones de sentimientos obtenidos por el crawler CSR, porque la unidad de medida para asignar la intensidad de los valores de la polaridad (de forma manual, semiautomática y automática) varía de acuerdo con las diferentes metodologías utilizadas para la construcción de cada lexicón. La representación codificada de la estructura de datos de los términos presenta también una variación en la estructura de lexicón a lexicón. Por lo que al unificar en un lexicón de sentimientos se hace posible la reutilización del conocimiento recopilado por los diferentes grupos de investigación y se incrementa, a la vez, el alcance, la calidad y la robustez de los lexicones. Nuestra metodología LSU calcula un valor unificado de la intensidad de la polaridad para cada entrada léxica que está presente en al menos dos de los lexicones de sentimientos que forman parte de este estudio. En contraste, las entradas léxicas que no son comunes en al menos dos de los lexicones conservan su valor original. El coeficiente de Pearson resultante permite medir la correlación existente entre las entradas léxicas asignándoles un rango de valores de uno a menos uno, donde uno indica que los valores de los términos están perfectamente correlacionados, cero indica que no existe correlación y menos uno significa que están inversamente correlacionados. Este procedimiento se lleva acabo con la función de MetricasUnificadas tanto en la CPU como en la GPU. Otro problema a resolver es el tiempo de procesamiento que se requiere para realizar la tarea de unificación de la intensidad de la polaridad y con ello alcanzar una cobertura mayor de lemas en los lexicones de sentimientos existentes. Asimismo, la metodología LSU utiliza el procesamiento paralelo para unificar los 155 802 términos. El algoritmo LSU procesa mediante cargas iguales el subconjunto de entradas léxicas en cada uno de los 1344 núcleos en la GPU. Los resultados de nuestro análisis arrojaron un total de 95 430 entradas léxicas donde 35 201 obtuvieron valores positivos, 22 029 negativos y 38 200 neutrales. Finalmente, el tiempo de ejecución fue de 2,506 segundos para el total de las entradas léxicas, lo que permitió reducir el procesamiento de cómputo hasta en una tercera parte con respecto al algoritmo secuencial. De estos resultados se concluye que al lograr un lexicón de sentimientos unificado que permite homogeneizar la intensidad de la polaridad de las unidades léxicas (con valores positivos, negativos y neutrales) deriva no sólo en el análisis semántico del corpus basado en los términos con una mayor carga de polaridad, o del resumen de las valoraciones o las tendencias de neuromarketing, sino también en aplicaciones como el etiquetado subjetivo de sitios web o de portales sintácticos y semánticos, por mencionar algunas. ABSTRACT This thesis presents an approach to create what we have called a Unified Sentiment Lexicon (USL). This approach aims at aligning, unifying, and expanding the set of sentiment lexicons which are available on the web in order to increase their robustness of coverage. One problem related to the task of the automatic unification of different scores of sentiment lexicons is that there are multiple lexical entries for which the classification of positive, negative, or neutral P, N, Z depends on the unit of measurement used in the annotation methodology of the source sentiment lexicon. Our USL approach computes the unified strength of polarity of each lexical entry based on the Pearson correlation coefficient which measures how correlated lexical entries are with a value between 1 and - 1 , where 1 indicates that the lexical entries are perfectly correlated, 0 indicates no correlation, and -1 means they are perfectly inversely correlated and so is the UnifiedMetrics procedure for CPU and GPU, respectively. Another problem is the high processing time required for computing all the lexical entries in the unification task. Thus, the USL approach computes a subset of lexical entries in each of the 1344 GPU cores and uses parallel processing in order to unify 155,802 lexical entries. The results of the analysis conducted using the USL approach show that the USL has 95,430 lexical entries, out of which there are 35,201 considered to be positive, 22,029 negative, and 38,200 neutral. Finally, the runtime was 2.505 seconds for 95,430 lexical entries; this allows a reduction of the time computing for the UnifiedMetrics by 3 times with respect to the sequential implementation. A key contribution of this work is that we preserve the use of a unified sentiment lexicon for all tasks. Such lexicon is used to define resources and resource-related properties that can be verified based on the results of the analysis and is powerful, general and extensible enough to express a large class of interesting properties. Some applications of this work include merging, aligning, pruning and extending the current sentiment lexicons.

Mining Abstractions in Scientific Workows

Los flujos de trabajo científicos han sido adoptados durante la última década para representar los métodos computacionales utilizados en experimentos in silico, así como para dar soporte a sus publicaciones asociadas. Dichos flujos de trabajo han demostrado ser útiles para compartir y reproducir experimentos científicos, permitiendo a investigadores visualizar, depurar y ahorrar tiempo a la hora de re-ejecutar un trabajo realizado con anterioridad. Sin embargo, los flujos de trabajo científicos pueden ser en ocasiones difíciles de entender y reutilizar. Esto es debido a impedimentos como el gran número de flujos de trabajo existentes en repositorios, su heterogeneidad o la falta generalizada de documentación y ejemplos de uso. Además, dado que normalmente es posible implementar un mismo método utilizando algoritmos o técnicas distintas, flujos de trabajo aparentemente distintos pueden estar relacionados a un determinado nivel de abstracción, basándose, por ejemplo, en su funcionalidad común. Esta tesis se centra en la reutilización de flujos de trabajo y su abstracción mediante la exploración de relaciones entre los flujos de trabajo de un repositorio y la extracción de abstracciones que podrían ayudar a la hora de reutilizar otros flujos de trabajo existentes. Para ello, se propone un modelo simple de representación de flujos de trabajo y sus ejecuciones, se analizan las abstracciones típicas que se pueden encontrar en los repositorios de flujos de trabajo, se exploran las prácticas habituales de los usuarios a la hora de reutilizar flujos de trabajo existentes y se describe un método para descubrir abstracciones útiles para usuarios, basadas en técnicas existentes de teoría de grafos. Los resultados obtenidos exponen las abstracciones y prácticas comunes de usuarios en términos de reutilización de flujos de trabajo, y muestran cómo las abstracciones que se extraen automáticamente tienen potencial para ser reutilizadas por usuarios que buscan diseñar nuevos flujos de trabajo. Abstract Scientific workflows have been adopted in the last decade to represent the computational methods used in in silico scientific experiments and their associated research products. Scientific workflows have demonstrated to be useful for sharing and reproducing scientific experiments, allowing scientists to visualize, debug and save time when re-executing previous work. However, scientific workflows may be difficult to understand and reuse. The large amount of available workflows in repositories, together with their heterogeneity and lack of documentation and usage examples may become an obstacle for a scientist aiming to reuse the work from other scientists. Furthermore, given that it is often possible to implement a method using different algorithms or techniques, seemingly disparate workflows may be related at a higher level of abstraction, based on their common functionality. In this thesis we address the issue of reusability and abstraction by exploring how workflows relate to one another in a workflow repository, mining abstractions that may be helpful for workflow reuse. In order to do so, we propose a simple model for representing and relating workflows and their executions, we analyze the typical common abstractions that can be found in workflow repositories, we explore the current practices of users regarding workflow reuse and we describe a method for discovering useful abstractions for workflows based on existing graph mining techniques. Our results expose the common abstractions and practices of users in terms of workflow reuse, and show how our proposed abstractions have potential to become useful for users designing new workflows.

An ICT-based closed-loop model to improve care for heart failure patients

Durante las últimas décadas se ha producido un fenómeno global de envejecimiento en la población. Esta tendencia se puede observar prácticamente en todos los países del mundo y se debe principalmente a los avances en la medicina, y a los descensos en las tasas de fertilidad y mortalidad. El envejecimiento de la población tiene un gran impacto en la salud de los ciudadanos, y a menudo es la causa de aparición de enfermedades crónicas. Este tipo de enfermedades supone una amenaza y una carga importantes para la sociedad, especialmente en aspectos como la mortalidad o los gastos en los sistemas sanitarios. Entre las enfermedades cardiovasculares, la insuficiencia cardíaca es probablemente la condición con mayor prevalencia y afecta a 23-26 millones de personas en todo el mundo. Normalmente, la insuficiencia cardíaca presenta un mal pronóstico y una tasa de supervivencia bajas, en algunos casos peores que algún tipo de cáncer. Además, suele ser la causa de hospitalizaciones frecuentes y es una de las enfermedades más costosas para los sistemas sanitarios. La tendencia al envejecimiento de la población y la creciente incidencia de las enfermedades crónicas están llevando a una situación en la que los sistemas de salud no son capaces de hacer frente a la demanda de la sociedad. Los servicios de salud existentes tendrán que adaptarse para ser efectivos y sostenibles en el futuro. Es necesario identificar nuevos paradigmas de cuidado de pacientes, así como mecanismos para la provisión de servicios que ayuden a transformar estos sistemas sanitarios. En este contexto, esta tesis se plantea la búsqueda de soluciones, basadas en las Tecnologías de la Información y la Comunicación (TIC), que contribuyan a realizar la transformación en los sistemas sanitarios. En concreto, la tesis se centra en abordar los problemas de una de las enfermedades con mayor impacto en estos sistemas: la insuficiencia cardíaca. Las siguientes hipótesis constituyen la base para la realización de este trabajo de investigación: 1. Es posible definir un modelo basado en el paradigma de lazo cerrado y herramientas TIC que formalice el diseño de mejores servicios para pacientes con insuficiencia cardíaca. 2. El modelo de lazo cerrado definido se puede utilizar para definir un servicio real que ayude a gestionar la insuficiencia cardíaca crónica. 3. La introducción, la adopción y el uso de un servicio basado en el modelo definido se traducirá en mejoras en el estado de salud de los pacientes que sufren insuficiencia cardíaca. a. La utilización de un sistema basado en el modelo de lazo cerrado definido mejorará la experiencia del usuario de los pacientes. La definición del modelo planteado se ha basado en el estándar ISO / EN 13940- Sistema de conceptos para dar soporte a la continuidad de la asistencia. Comprende un conjunto de conceptos, procesos, flujos de trabajo, y servicios como componentes principales, y representa una formalización de los servicios para los pacientes con insuficiencia cardíaca. Para evaluar el modelo definido se ha definido un servicio real basado en el mismo, además de la implementación de un sistema de apoyo a dicho servicio. El diseño e implementación de dicho sistema se realizó siguiendo la metodología de Diseño Orientado a Objetivos. El objetivo de la evaluación consistía en investigar el efecto que tiene un servicio basado en el modelo de lazo cerrado sobre el estado de salud de los pacientes con insuficiencia cardíaca. La evaluación se realizó en el marco de un estudio clínico observacional. El análisis de los resultados ha comprendido métodos de análisis cuantitativos y cualitativos. El análisis cuantitativo se ha centrado en determinar el estado de salud de los pacientes en base a datos objetivos (obtenidos en pruebas de laboratorio o exámenes médicos). Para realizar este análisis se definieron dos índices específicos: el índice de estabilidad y el índice de la evolución del estado de salud. El análisis cualitativo ha evaluado la autopercepción del estado de salud de los pacientes en términos de calidad de vida, auto-cuidado, el conocimiento, la ansiedad y la depresión, así como niveles de conocimiento. Se ha basado en los datos recogidos mediante varios cuestionarios o instrumentos estándar (i.e. EQ-5D, la Escala de Ansiedad y Depresión (HADS), el Cuestionario de Cardiomiopatía de Kansas City (KCCQ), la Escala Holandesa de Conocimiento de Insuficiencia Cardíaca (DHFKS), y la Escala Europea de Autocuidado en Insuficiencia Cardíaca (EHFScBS), así como cuestionarios dedicados no estandarizados de experiencia de usuario. Los resultados obtenidos en ambos análisis, cuantitativo y cualitativo, se compararon con el fin de evaluar la correlación entre el estado de salud objetivo y subjetivo de los pacientes. Los resultados de la validación demostraron que el modelo propuesto tiene efectos positivos en el cuidado de los pacientes con insuficiencia cardíaca y contribuye a mejorar su estado de salud. Asimismo, ratificaron al modelo como instrumento válido para la definición de servicios mejorados para la gestión de esta enfermedad. ABSTRACT During the last decades we have witnessed a global aging phenomenon in the population. This can be observed in practically every country in the world, and it is mainly caused by the advances in medicine, and the decrease of mortality and fertility rates. Population aging has an important impact on citizens’ health and it is often the cause for chronic diseases, which constitute global burden and threat to the society in terms of mortality and healthcare expenditure. Among chronic diseases, Chronic Heart Failure (CHF) or Heart Failure (HF) is probably the one with highest prevalence, affecting between 23 and 26 million people worldwide. Heart failure is a chronic, long-term and serious condition with very poor prognosis and worse survival rates than some type of cancers. Additionally, it is often the cause of frequent hospitalizations and one of the most expensive conditions for the healthcare systems. The aging trends in the population and the increasing incidence of chronic diseases are leading to a situation where healthcare systems are not able to cope with the society demand. Current healthcare services will have to be adapted and redefined in order to be effective and sustainable in the future. There is a need to find new paradigms for patients’ care, and to identify new mechanisms for services’ provision that help to transform the healthcare systems. In this context, this thesis aims to explore new solutions, based on ICT, that contribute to achieve the needed transformation within the healthcare systems. In particular, it focuses on addressing the problems of one of the diseases with higher impact within these systems: Heart Failure. The following hypotheses represent the basis to the elaboration of this research: 1. It is possible to define a model based on a closed-loop paradigm and ICT tools that formalises the design of enhanced healthcare services for chronic heart failure patients. 2. The described closed-loop model can be exemplified in a real service that supports the management of chronic heart failure disease. 3. The introduction, adoption and use of a service based on the outlined model will result in improvements in the health status of patients suffering heart failure. 4. The user experience of patients when utilizing a system based on the defined closed-loop model will be enhanced. The definition of the closed-loop model for health care support of heart failure patients have been based on the standard ISO/EN 13940 System of concepts to support continuity of care. It includes a set of concept, processes and workflows, and services as main components, and it represent a formalization of services for heart failure patients. In order to be validated, the proposed closed-loop model has been instantiated into a real service and a supporting IT system. The design and implementation of the system followed the user centred design methodology Goal Oriented Design. The validation, that included an observational clinical study, aimed to investigate the effect that a service based on the closed-loop model had on heart failure patients’ health status. The analysis of results comprised quantitative and qualitative analysis methods. The quantitative analysis was focused on determining the health status of patients based on objective data (obtained in lab tests or physical examinations). Two specific indexes where defined and considered in this analysis: the stability index and the health status evolution index. The qualitative analysis assessed the self-perception of patients’ health status in terms of quality of life, self-care, knowledge, anxiety and depression, as well as knowledge levels. It was based on the data gathered through several standard instruments (i.e. EQ-5D, the Hospital Anxiety and Depression Scale, the Kansas City Cardiomyopathy Questionnaire, the Dutch Heart Failure Knowledge Scale, and the European Heart Failure Self-care Behaviour Scale) as well as dedicated non-standardized user experience questionnaires. The results obtained in both analyses, quantitative and qualitative, were compared in order to assess the correlation between the objective and subjective health status of patients. The results of the validation showed that the proposed model contributed to improve the health status of the patients and had a positive effect on the patients’ care. It also proved that the model is a valid instrument for designing enhanced healthcare services for heart failure patients.

Un estudio del adjetivo en un corpus de textos escritos en inglés y español pertenecientes al discurso de especialidad de las Tecnologías de la Información y las Comunicaciones

Esta investigación se enmarca dentro de los denominados lenguajes de especialidad que para esta tesis será el de las Tecnologías de la Información y la Comunicación (TIC). De todos los aspectos relacionados con el estudio de estos lenguajes que pudieran tener interés lingüístico ha primado el análisis del componente terminológico. Tradicionalmente la conceptualización de un campo del saber se representaba mayoritariamente a través del elemento nominal, así lo defiende la Teoría General de la Terminología (Wüster, 1968). Tanto la lexicología como la lexicografía han aportado importantes contribuciones a los estudios terminológicos para la identificación del componente léxico a través del cual se transmite la información especializada. No obstante esos primeros estudios terminológicos que apuntaban al sustantivo como elmentos denominativo-conceptual, otras teorías más recientes, entre las que destacamos la Teoría Comunicativa de la Terminología (Cabré, 1999) identifican otras estructuras morfosintácticas integradas por otros elementos no nominales portadores igualmente de esa carga conceptual. A partir de esta consideración, hemos seleccionado para este estudio el adjetivo relacional en tanto que representa otra categoría gramatical distinta al sustantivo y mantiene un vínculo con éste debido a su procedencia. Todo lo cual puede suscitar cierto interés terminológico. A través de esta investigación, nos hemos propuesto demostrar las siguientes hipótesis: 1. El adjetivo relacional aporta contenido especializado en su asociación con el componente nominal. 2. El adjetivo relacional es portador de un valor semántico que hace posible identificar con más precisión la relación conceptual de los elementos -adjetivo y sustantivo - de la combinación léxica resultante, especialmente en algunas formaciones ambiguas. 3. El adjetivo relacional, como modificador natural del sustantivo al que acompaña, podría imponer cierta restricción en sus combinaciones y, por tanto, hacer una selección discriminada de los integrantes de la combinación léxica especializada. Teniendo en cuenta las anteriores hipótesis, esta investigación ha delimitado y caracterizado el segmento léxico objeto de estudio: la ‘combinación léxica especializada (CLE)’ formalmente representada por la estructura sintáctica [adjR+n], en donde adjR es el adjetivo y n el sustantivo al que acompaña. De igual forma hemos descrito el marco teórico desde el que abordar nuestro análisis. Se trata de la teoría del Lexicón Generatvio (LG) y de la representación semántica (Pustojovsky, 1995) que propone como explicación de la generación de significados. Hemos analizado las distintas estructuras de representación léxica y en especial la estructura qualia a través de la cual hemos identificado la relación semántica que mantienen los dos ítems léxicos [adjR+n] de la estructura sintáctica de nuestro estudio. El estudio semántico de las dos piezas léxicas ha permitido, además, comprobar el valor denominativo del adjetivo en la combinación. Ha sido necesario elaborar un corpus de textos escritos en inglés y español pertenecientes al discurso de especialidad de las TIC. Este material ha sido procesado para nuestros fines utilizando distintas herramientas electrónicas. Se ha hecho uso de lexicones electrónicos, diccionarios online generales y de especialidad y corpus de referencia online, estos últimos para poder eventualmente validad nuetros datos. Asimismo se han utilizado motores de búsqueda, entre ellos WordNet Search 3.1, para obtener la información semántica de nuestros elementos léxicos. Nuestras conclusiones han corroborado las hipótesis que se planteaban en esta tesis, en especial la referente al valor denominativo-conceptual del adjetivo relacional el cual, junto con el sustantivo al que acompaña, forma parte de la representación cognitiva del lenguaje de especialidad de las TIC. Como continuación a este estudio se proponen sugerencias sobre líneas futuras de investigación así como el diseño de herramientas informáticas que pudieran incorporar estos datos semánticos como complemento de los ítems léxicos dotados de valor denominativo-conceptual. ABSTRACT This research falls within the field of the so-called Specialized Languages which for the purpose of this study is the Information and Communication Technology (ICT) discourse. Considering their several distinguishing features terminology concentrates our interest from the point of view of linguistics. It is broadly assumed that terms represent concepts of a subject field. For the classical view of terminology (Wüster, 1968) these terms are formally represented by nouns. Both lexicology and terminology have made significant contributions to the study of terms. Later research as well as other theories on Terminology such as the Communicative Theory of Terminology (Cabré, 1993) have shown that other lexical units can also represent knowledge organization. On these bases, we have focused our research on the relational adjective which represents a functional unit different from a noun while still connected to the noun by means of its nominal root. This may have a potential terminological interest. Therefore the present research is based on the next hypotheses: 1. The relational adjective conveys specialized information when combined with the noun. 2. The relational adjective has a semantic meaning which helps understand the conceptual relationship between the adjective and the noun being modified and disambiguate certain senses of the resulting lexical combination. 3. The relational adjective may impose some restrictions when choosing the nouns it modifies. Considering the above hypotheses, this study has identified and described a multi-word lexical unit pattern [Radj+n] referred to as a Specialized Lexical Combination (SLC) linguistically realized by a relational adjective, Radj, and a noun, n. The analysis of such a syntactic pattern is addressed from the framework of the Generative Lexicon (Pustojovsky, 1995). Such theory provides several levels of semantic description which help lexical decomposition performed generatively. These levels of semantic representation are connected through generative operations or generative devices which account for the compositional interpretation of any linguistic utterance in a given context. This study analyses these different levels and focuses on one of them, i.e. the qualia structure since it may encode the conceptual meaning of the syntactic pattern [Radj+n]. The semantic study of these two lexical items has ultimately confirmed the conceptual meaning of the relational adjective. A corpus made of online ICT articles from magazines written in English and Spanish – some being their translations - has been used for the word extraction. For this purpose some word processing software packages have been employed. Moreover online general language and specialized language dictionaries have been consulted. Search engines, namely WordNet Search 3.1, have been also exploited to find the semantic information of our lexical units. Online reference corpora in English and Spanish have been used for a contrastive analysis of our data. Finally our conclusions have confirmed our initial hypotheses, i.e. relational adjectives are specialized lexical units which together with the nouns are part of the knowledge representation of the ICT subject field. Proposals for new research have been made together with some other suggestions for the design of computer applications to visually show the conceptual meaning of certain lexical units.

Conservation of Computational Scientific Execution Environments for Workflow-based Experiments Using Ontologies

La reproducibilidad de estudios y resultados científicos es una meta a tener en cuenta por cualquier científico a la hora de publicar el producto de una investigación. El auge de la ciencia computacional, como una forma de llevar a cabo estudios empíricos haciendo uso de modelos matemáticos y simulaciones, ha derivado en una serie de nuevos retos con respecto a la reproducibilidad de dichos experimentos. La adopción de los flujos de trabajo como método para especificar el procedimiento científico de estos experimentos, así como las iniciativas orientadas a la conservación de los datos experimentales desarrolladas en las últimas décadas, han solucionado parcialmente este problema. Sin embargo, para afrontarlo de forma completa, la conservación y reproducibilidad del equipamiento computacional asociado a los flujos de trabajo científicos deben ser tenidas en cuenta. La amplia gama de recursos hardware y software necesarios para ejecutar un flujo de trabajo científico hace que sea necesario aportar una descripción completa detallando que recursos son necesarios y como estos deben de ser configurados. En esta tesis abordamos la reproducibilidad de los entornos de ejecución para flujos de trabajo científicos, mediante su documentación usando un modelo formal que puede ser usado para obtener un entorno equivalente. Para ello, se ha propuesto un conjunto de modelos para representar y relacionar los conceptos relevantes de dichos entornos, así como un conjunto de herramientas que hacen uso de dichos módulos para generar una descripción de la infraestructura, y un algoritmo capaz de generar una nueva especificación de entorno de ejecución a partir de dicha descripción, la cual puede ser usada para recrearlo usando técnicas de virtualización. Estas contribuciones han sido aplicadas a un conjunto representativo de experimentos científicos pertenecientes a diferentes dominios de la ciencia, exponiendo cada uno de ellos diferentes requisitos hardware y software. Los resultados obtenidos muestran la viabilidad de propuesta desarrollada, reproduciendo de forma satisfactoria los experimentos estudiados en diferentes entornos de virtualización. ABSTRACT Reproducibility of scientific studies and results is a goal that every scientist must pursuit when announcing research outcomes. The rise of computational science, as a way of conducting empirical studies by using mathematical models and simulations, have opened a new range of challenges in this context. The adoption of workflows as a way of detailing the scientific procedure of these experiments, along with the experimental data conservation initiatives that have been undertaken during last decades, have partially eased this problem. However, in order to fully address it, the conservation and reproducibility of the computational equipment related to them must be also considered. The wide range of software and hardware resources required to execute a scientific workflow implies that a comprehensive description detailing what those resources are and how they are arranged is necessary. In this thesis we address the issue of reproducibility of execution environments for scientific workflows, by documenting them in a formalized way, which can be later used to obtain and equivalent one. In order to do so, we propose a set of semantic models for representing and relating the relevant information of those environments, as well as a set of tools that uses these models for generating a description of the infrastructure, and an algorithmic process that consumes these descriptions for deriving a new execution environment specification, which can be enacted into a new equivalent one using virtualization solutions. We apply these three contributions to a set of representative scientific experiments, belonging to different scientific domains, and exposing different software and hardware requirements. The obtained results prove the feasibility of the proposed approach, by successfully reproducing the target experiments under different virtualization environments.

Onomástica, ecología y territorio. La toponimia de La Rioja como indicador biogeográfico y de la dinámica del paisaje forestal

Se presenta un trabajo de investigación toponímica en La Rioja con enfoque geobotánico. La premisa de partida es que la toponimia relacionada con especies y agrupaciones vegetales, productos forestales y usos del suelo proporciona información valiosa sobre la corología y la dinámica de la vegetación al ser clasificada y analizada con criterios biogeográficos y ecológicos. Se ha elegido la región riojana como zona piloto, al concurrir distintos tipos fisonómicos de vegetación y un conjunto muy diverso de comunidades vegetales representativas del paisaje peninsular. Se añade una larga historia de usos agrícolas en la llanura del Ebro que contrasta con la predominante actividad forestal en las zonas montañosas, en particular la potenciación de los pastos para ganadería trashumante. La Rioja tiene carácter de encrucijada no sólo fitocorológica: es también tierra de fronteras políticas y transiciones lingüísticas. En el léxico y la toponimia conviven variantes puras del castellano, rasgos del romance navarro-aragonés, elementos genuinos de una variante medieval riojana, palabras mozárabes y un numeroso y significativo elenco de topónimos de origen vasco. El trabajo se inicia con unas consideraciones epistemológicas. Se establece un planteamiento de la Toponimia como ciencia interdisciplinar, la etiología de los nombres geográficos, así como su valor apelativo descriptor de los atributos del paisaje. Se enumeran los condicionantes metodológicos de la investigación toponímica y se desarrolla una reflexión sobre las particularidades de la toponimia geobotánica. Se dedica un epígrafe a reseñar estudios precedentes de toponimia botánica y ecológica y el estado actual de conocimientos sobre la toponimia de La Rioja. La delimitación superficial de los parajes designados por los nombres geográficos es clave para un análisis orientado a detectar la correspondencia entre los elementos aludidos por el topónimo y las especies y comunidades vegetales. Las áreas de distribución y presencia, así como las transformaciones del paisaje, quedan definidas en superficies acotadas territorialmente. La metodología seguida se basa en la revisión exhaustiva de fuentes toponímicas ya existentes; destacadamente, los datos procedentes de la cartografía del Castro de Rústica, adscritos a polígonos con dimensión espacial. Las denominaciones de las parcelas catastrales se han complementado con los nombres geográficos del Diccionario de Toponimia Actual de La Rioja (DTALR) (González Blanco, 1987), el nomenclátor NomGeo del IGN, y algunas recopilaciones toponímicas municipales. De la base de datos conjunta se han seleccionado los topónimos con significado geobotánico. Se propone una taxonomía de grupos semánticos basada en categorías de estructura (arbolado, matorral, cubiertas herbáceas y áreas de vegetación escasa o rala) y en la adscripción a tipos de vegetación potencialmente dominantes, ordenados según una escala de higrofilia decreciente). También se reseñan topónimos referentes a usos y aprovechamientos en el medio rural: dehesas, ganadería, productos forestales y algunos cultivos agrícolas. El trabajo reúne en un repertorio sistemático los datos toponímicos, acopiados por comarcas y términos municipales. Se incluye la relación de nombres geográficos encontrados por campos nocionales y se comentan los nombres vernáculos que les han dado origen y su etimología. Quedan señalados los topónimos georreferenciados y asignados a entidades superficiales en la cartografía digital catastral, que se ha superpuesto a mapas forestales a escalas 1:200.000 y 1:50.000, en cuya elaboración participamos. El análisis ha permitido definir “topónimo externo” como el recinto catastral en que la especie o agrupación aludida no tiene presencia en la vegetación actual, al menos como dominante. Los topónimos externos más significativos de cada grupo han sido analizados describiendo la cubierta vegetal actual correspondiente, lo que permite interpretar, junto con las características fisiográficas del paraje, las causas posibles de ausencia del elemento aludido, teniendo en cuenta criterios generales de mesología, de dinámica de la vegetación y de la historia de la acción humana. El trabajo se cierra con un capítulo de conclusiones generales, conceptuales y metodológicas, así como una relación de líneas de profundización de la investigación que quedan apuntadas. Se completa con una relación de fuentes y referencias bibliográficas fundamentales. ABSTRACT This paper presents a study of the toponymy of La Rioja with a specific focus on place names reflecting the region’s geobotany. Its underlying premise is that the toponymy associated with plant species and communities, forest products and land uses can provide valuable information about the chorology and vegetation dynamics when classified and analysed using biogeographical and ecological criteria. La Rioja has been chosen for this pilot study because it concentrates vegetation types of distinct physiognomy and a highly diverse set of plant communities that can be considered representative of the vegetation of the peninsula’s landscapes. This combines with a long history of different agricultural uses on the Ebro plain that contrast with the predominance of forestry activity in the more mountainous areas, in particular the promotion of pasture for livestock transhumance. Indeed, La Rioja is not only a crossroads in terms of its phytochorology, but it is also a land of political boundaries and language transitions. Coexisting in its lexicon and toponymy, we find pure Castilian variants, features from the Romance language of Navarro-Aragonese, genuine elements of the medieval variant of the Riojan dialect, words of Mozarabic and a large and significant list of place names of Basque origin. The paper begins by outlining a number of epistemological considerations and establishes an interdisciplinary approach to toponymy, the aetiology of geographical names, and their value in the descriptive naming of the features of a landscape. It continues by enumerating the methodological determinants of toponymic research and reflects on the specific characteristics of geobotanical toponyms. The next section is dedicated to examining previous studies of botanical and ecological place names and providing a state-of-the-art review of the toponymy of La Rioja. Delimiting the sites designated by the geographical names is essential to any analysis designed to detect the correspondence between the elements alluded to by the toponyms and plant species and communities. These areas of distribution and presence, as well as the landscape changes, are defined in terms of spatially delimited surface areas. The methodology adopted involves an exhaustive review of existing toponymic sources; in particular, data obtained from the maps of the Rustic Cadastre, assigned to spatial polygons. The names of these cadastral parcels are complemented by the geographical names taken from the Diccionario de Toponimia Actual de La Rioja (DTALR) (González Blanco, 1987); the gazetteer – NomGeo, published by Spain’s Instituto Geográfico Nacional; and, various municipal list of toponyms. Place names with a geobotanical meaning were then selected from this joint database. The paper proposes a taxonomy of semantic groups based on structural categories (namely wooded areas, brushland, grassy areas and areas of scanty or sparse vegetation) and assignment to the potentially dominant type of vegetation (ordered on a scale of decreasing hygrophilic trends). Place names referring to land uses and practices in rural areas – including, pasture, livestock, forest products and some agricultural crops – are also described. The study produces a systematic list of toponyms ordered by counties and municipalities. The geographical names are organised by notional fields and the vernacular names that have given rise to them and their etymology are discussed. The toponyms are georeferenced and assigned to surface elements on the digital cadastral map, superimposed on forest maps at scales of 1:200,000 and 1:50,000, in the production of which the authors participated. The analysis has allowed us to define “external toponyms” as those cadastral parcels in which the plant species or group alluded to is no longer present in the vegetation, at least as the dominant type. The most significant external toponyms in each group have been analysed by describing the corresponding, present-day vegetation cover, which allows us to interpret, along with the physiographic features of the site, the possible causes of the absence of the aforementioned element, bearing in mind general criteria of mesology, vegetation dynamics and the history of human action. The paper finishes by offering a number of general conceptual and methodological conclusions, and a list of areas that future research can usefully examine. The study is supplemented with a list of sources and key references.

Complexidade, Espiritualidade e Educação: por uma educabilidade do espírito humano

O tema desta pesquisa, Complexidade, Espiritualidade e Educação: por uma educabilidade do espírito humano, sugere que a problemática do conhecimento sobre o espírito e a espiritualidade humanos está enraizada não apenas nos redutos religiosos, mas também no próprio interstício da ciência e também no coração da sociedade moderna. Apostamos neste tema não apenas pela sua atualidade, mas porque vem assumindo nestes últimos anos o status de indispensável no conjunto dos saberes, das realizações e do ethos humanos. Mas, para nos infiltrarmos neste assunto, é preciso uma nova lente epistemológica capaz de fazer uma leitura crítica, complexa e multidimensional a respeito da espiritualidade humana. A gênese do problema levantada para esta pesquisa parte do conflito entre as várias percepções sobre a condição humana, que ocorre a partir mesmo da crise experimentada hoje por muitos matizes científicos. A aproximação entre a teoria da complexidade, a espiritualidade humana com a educação, nos permite criar um cenário enriquecedor que acrescenta qualidade aos discursos e práticas educacionais na escola, na família, nas pastorais, na educação religiosa e ainda, em outras atividades afins. A nossa pergunta nuclear e que servirá de norte para o esforço desta pesquisa, é a seguinte: o espírito humano existe e, se existe, é educável? Para um melhor aproveitamento e compreensão desta dissertação, a pesquisa foi dividida em três capítulos, sistematizados da seguinte forma: No primeiro capítulo fizemos a exposição de algumas dificuldades de infiltração na temática sobre o espírito e da espiritualidade humanos. Essa exposição foi feita em dois momentos: o primeiro discute alguns pressupostos conceituais e semânticos sobre o espírito humano e, em seguida, aponta a necessidade de superar o conhecimento fragmentado em favor da recomposição do cariz humano. No segundo momento, discorremos sobre a rasoura científica que tem deixado de lado algumas dimensões humanas, sob pesado ônus para a existência humana como um todo. No segundo capítulo discutimos a atualidade do tema, que também pode ser visto em duas partes: na primeira dialogamos com algumas teorias sobre a complexidade e a multidimensionalidade da condição humana. Em seguida, focamos a partir dos novos humores antropológicos a dimensão simbólica e espiritual do humano. Na segunda parte, pontuamos sobre o desencantamento e crise da sociedade prometéica e a emergência e interfaces dos assuntos sobre a espiritualidade humana nestas últimas décadas. No terceiro e último capítulo, discorremos sobre as funções do espírito e as possibilidades reais de uma educação para o espírito humano. Semelhantemente, dividimos o capítulo em dois momentos de discussão: no primeiro, fazemos uma abordagem sobre a dimensão do espírito e a expressão da consciência como função de sentido. No segundo e último momento, levantamos a questão da educação do espírito humano. Seguindo este raciocínio, propomos uma pedagogia voltada também para o espírito humano. Deixamos por fim algumas sugestões que sinalizam uma educação para a ecologia do humano.

Complexidade, Espiritualidade e Educação: por uma educabilidade do espírito humano

O tema desta pesquisa, Complexidade, Espiritualidade e Educação: por uma educabilidade do espírito humano, sugere que a problemática do conhecimento sobre o espírito e a espiritualidade humanos está enraizada não apenas nos redutos religiosos, mas também no próprio interstício da ciência e também no coração da sociedade moderna. Apostamos neste tema não apenas pela sua atualidade, mas porque vem assumindo nestes últimos anos o status de indispensável no conjunto dos saberes, das realizações e do ethos humanos. Mas, para nos infiltrarmos neste assunto, é preciso uma nova lente epistemológica capaz de fazer uma leitura crítica, complexa e multidimensional a respeito da espiritualidade humana. A gênese do problema levantada para esta pesquisa parte do conflito entre as várias percepções sobre a condição humana, que ocorre a partir mesmo da crise experimentada hoje por muitos matizes científicos. A aproximação entre a teoria da complexidade, a espiritualidade humana com a educação, nos permite criar um cenário enriquecedor que acrescenta qualidade aos discursos e práticas educacionais na escola, na família, nas pastorais, na educação religiosa e ainda, em outras atividades afins. A nossa pergunta nuclear e que servirá de norte para o esforço desta pesquisa, é a seguinte: o espírito humano existe e, se existe, é educável? Para um melhor aproveitamento e compreensão desta dissertação, a pesquisa foi dividida em três capítulos, sistematizados da seguinte forma: No primeiro capítulo fizemos a exposição de algumas dificuldades de infiltração na temática sobre o espírito e da espiritualidade humanos. Essa exposição foi feita em dois momentos: o primeiro discute alguns pressupostos conceituais e semânticos sobre o espírito humano e, em seguida, aponta a necessidade de superar o conhecimento fragmentado em favor da recomposição do cariz humano. No segundo momento, discorremos sobre a rasoura científica que tem deixado de lado algumas dimensões humanas, sob pesado ônus para a existência humana como um todo. No segundo capítulo discutimos a atualidade do tema, que também pode ser visto em duas partes: na primeira dialogamos com algumas teorias sobre a complexidade e a multidimensionalidade da condição humana. Em seguida, focamos a partir dos novos humores antropológicos a dimensão simbólica e espiritual do humano. Na segunda parte, pontuamos sobre o desencantamento e crise da sociedade prometéica e a emergência e interfaces dos assuntos sobre a espiritualidade humana nestas últimas décadas. No terceiro e último capítulo, discorremos sobre as funções do espírito e as possibilidades reais de uma educação para o espírito humano. Semelhantemente, dividimos o capítulo em dois momentos de discussão: no primeiro, fazemos uma abordagem sobre a dimensão do espírito e a expressão da consciência como função de sentido. No segundo e último momento, levantamos a questão da educação do espírito humano. Seguindo este raciocínio, propomos uma pedagogia voltada também para o espírito humano. Deixamos por fim algumas sugestões que sinalizam uma educação para a ecologia do humano.

ESPÍRITOS DO UNIVERSO RESPONSÁVEIS PELO DESTINO: ESTUDO EXEGÉTICO EM COLOSSENSES 2.8-3.4

Esta dissertação de mestrado analisará a expressão grega ta. stoicei/a tou/ ko,smou, “os elementos do mundo”, que ocorre na carta de Colossenses nos versículos 8 e 20 do segundo capítulo. Será feito um estudo exegético na perícope bíblica 2.8-3.4 da referida carta, bem como uma análise histórica especificamente do termo stoicei/a. O estudo desta expressão é importante para poder se compreender a filosofia colossense mencionada em Cl 2.8. A igreja cristã na cidade de Colossos estava inserida em um contexto social religioso sincrético. Esse sincretismo é percebido claramente em textos de magia como os Papiros Mágicos Gregos, muito comuns na região da Ásia Menor, a mesma onde a igreja colossense estava situada. O sincretismo religioso, envolvendo crenças judaicas e pagãs, reflete as bases dessa filosofia. O autor da carta aos Colossenses refuta a crença nos “elementos do mundo”, bem como a subserviência aos mesmos. Dentre outras crenças, acreditava-se que esses “elementos” poderiam influenciar os acontecimentos sobre a terra e o destino das pessoas. Questões que envolvem práticas acéticas, adoração a anjos e observância de calendário litúrgico, dão os contornos dessa filosofia. O autor da carta enfatiza o senhorio de Cristo, bem como as obras dele em favor dos cristãos colossenses, que proporcionavam a eles, segurança quanto a terem um bom destino. E, além disso, é assegurada uma liberdade aos cristãos colossenses que não podia lhes ser cerceada por quaisquer outras crenças religiosas. Então, as obras de Cristo, bem como o seu senhorio, são os principais argumentos utilizados pelo autor da carta, a fim de afirmar aos cristãos em Colossos que eles não precisam mais temer o destino e nem se submeter aos “elementos do mundo”.

A Semantic Workflow Mechanism to Realize Experimental Goals and Constraints

Postprint