Procedimiento de refutación para un conjunto de restricciones sobre documentos XML

We present a prototype that implements a set of logical rules to prove the satis ability for a class of speci cations on XML documents. Speci cations are given by means of constraints built on Boolean XPath patterns. The main goal of this tool is to test if a given speci cation is satis able or not, showing the history of the execution. It can also be used to test if a given document is a model of a given speci cation and, as a subproduct, it allows to look for all the relations (monomorphisms) between two patterns or the result of doing some operations by combining patterns in di erent ways. The results of these operations are visually shown and therefore the tool makes these operations more understandable. The implementation of the algorithm has been written in Prolog but the prototype has a Java interface for an easy and friendly use.

Herramienta de creación de modelos STL parametrizables mediante Processing

Este Proyecto de Fin de Carrera ha sido realizado en colaboración con la empresa Ultra-Lab y el centro Arteleku y trata sobre el diseño, desarrollo e implementación de una interfaz visual para la creación, manipulación, transformación y visualización de diferentes figuras en un entorno 3D. Estas herramientas visuales dan soporte al usuario para que este pueda realizar múltiples modificaciones de las figuras con las que está trabajando de una forma fácil, intuitiva y eficiente.

Procesamiento de Imágenes Satelitales Multiespectrales

En este proyecto se ha realizado el procesamiento de una imagen satelital multiespectral de México concretamente centrada en la región del Lago de Chapala. Este proceso tiene como objetivo la distinción de tierra y agua mediante un proceso semi-automático utilizando distintos software o herramientas informáticas. Dentro del proyecto podemos destacar ciertas fases u operaciones como el preprocesado realizado a la imagen satelital donde se han aplicado una serie de transformaciones, la aplicación de técnicas de clasificación supervisada mediante la realización de entrenamiento y testeo con regiones de interés extraídas de la imagen satelital para la obtención de clasificadores o la aplicación de estos clasificadores en la binarización de la imagen, obteniendo una imagen binaria donde un valor representa agua y otro tierra. También podemos destacar el empleo de índices de agua y vegetación como una herramienta fundamental en la detección y en el análisis de cuerpos de agua. Éstos han marcado la calidad de los resultados obtenidos en el proyecto.

Lipidoen oxidazio maximoa, 50km martxa probaren errendimendu mugatzailea

Gradu amaierako lan honetan 50km - ak aztertuko da, eta batez ere beraien errendimendurako hain baldintzakorra den prozesu metaboliko bat, lipidoen oxidazioa. Honekin, azterketa bibliografiko bat egin ostean aspektu praktikoak iradokituko dira lipidoen oxidazioa handitzeko eta 50km martxan errendimendu hobea lortzeko.

Principios de programación de actividad física para personas adultas con artritis reumatoide

Breve descripción de la artritis reumatoide, etiología, causas y sintomas mas comunes. Tras ello, se realiza una revisión bibliográfica sobre el impacto de la actividad fisica en personas adultas con esta patología y que ejercicios son susceptibles de realizarse con el objetivo de determinar que practicas son las más efectivas para mejorar su estado de salud, además de detectar los efectos negativos que estas pueden tener. Posteriormete se establecen unas conclusiones que nos permitirán diseñar un correcto plan de ejercicio fisico totalmente seguro para mejorar la salud de las personas adultas con artritis reumatoide.

Bonaparte printzearen inguruko hizkuntz eztabaidak

Lan hau UPV/EHUko Donostiako VII. Udako Ikastaroetan ("Euskalaritza XVIII eta XIX. mendeetan", 1988ko iraila) emandako hitzaldiaren testu zuzendu eta osatua da.

Euskal testu ahantzi bat frantses komedia batean

[EN] In this paper a short basque text included in a french comedy from XVIIth century is published and analyzed. That text appears in the second scene ofthe Raymond Poisson's comedy, "Le Poète Basque". It seems difficult to specify which variety of Basque is used by Poisson; anyway, I try to demonstrate that text shows characteristics of the dialects of Labourd and Low Navarre.

Larramendiren gramatika eta gramatikagintzaren historia

Reed. in J. A. Lakarra (ed.) 1992, Manuel de Larramendi. Hirugarren mendeurrena (1690-1990), Andoain: Andoaingo Udala [etc], 193-205 & in R. Gómez & J. A. Lakarra (arg.) 1992, Euskalaritzaren historiaz, I: XVI-XIX. mendeak, Donostia-San Sebastián: Gipuzkoako Foru Aldundia & UPV/EHU, 261-274.

Erronkarierazko dotrina argitaragabe bat: edizioa eta azterketa

[EU] Gure diputazioetako artxiboetan gordetzen diren eskuizkribu anitzetarik bat ematen dut lan honetan argitara: Nafarroako Artxibo Nagusiko Bonaparte Ondarean B-118 signatura daraman "Doctrina Uscaraz", erronkarieraz idatzitako dotrina osatugabea. Testu honen edizioa paratzeaz gain, iruzkina ere eransten dut, hala testuko puntu ilunak hobeki ulertarazteko nola kontu askotan hain bitxi gertatzen zaigun erronkariera ezagutzeko aurrerapauso txiki bat egiteko asmoz.

Euskalaritzaren historia eta historiografia: ikerketa-arloaren egoeraz

[EN] This paper attempts to summarize what is currently known about the History of Basque Linguistics. The first section tries to explain what is precisely meant by the term “euskalaritza" (Bascology) and proposes a provisional periodization of the History of Basque Linguistics. The second section outlines the factors which triggered the development of Basque Linguistic Historiography from the mid 80's --mainly the new interpretation of the 18th century Jesuit M. Larramendi's works-- and shows some of its consequences. The third section carries out the chief goal of the paper; the principal authors' works, and ideas emerging from the History of Basque Linguistics are there briefly noticed, and historiographical works concerning each one of them are mentioned along; special emphasis is laid on the most recent findings. Finally, a bibliographical appendix is provided containing the works by the old authors referred to throughout the paper.

Euskalaritzaren historiaren ikerketa-norabideak: zenbait proposamendu

[EN] The aim of this paper is to propose some lines of investigation and new methods that can be followed in order to increase our knowledge of the History of Basque Linguistics. The main claim put forward here is that we must profit from the new methodological innovations developed by the H istoriography of Linguistics since the 60's. In the first section, different aspects are mentioned of the relevance of the study of Basque Linguistic Historiography. The second section comments on the boom of the Historiography of Linguistics from the 60's, its causes and its consequences; furthermore, it reports on the methodological models emerged from the discussions since then (as shown in works by Koerner, Swiggers, and many others). The third section points out some difficulties and challenges of the study of the History of Basque Linguistics, and suggests both some priorities for that study and possible lines of investigation. In order to illustrate the different points made throughout the paper, the reader is referred, when possible, to examples chosen from recent investigations or from future topics of research.

Los inicios de la vascología en Holanda: El Essai de grammaire de la langue basque de Willem J. van Eys (1865, 1867)

Ed. by Xabier Artiagoitia, Patxi Goenaga & Joseba A. Lakarra.

Darrigolen gramatikaz

Published in 2008.

Textos antiguos vascos en Internet

Bilbao, Gidor y Ricardo Gómez, «Textos antiguos vascos en Internet», en Humanidades Digitales: desafíos, logros y perspectivas de futuro, Sagrario López Poza y Nieves Pena Sueiro (editoras), Janus [en línea], Anexo 1 (2014), 111-121, publicado el 11/04/2014, consultado el 12/04/2014. URL: .

Gestión de datos de investigación en repositorios de acceso abierto: una visión panorámica y un caso práctico en la UPV/EHU

[ES] Los siguientes enlaces proporcionan información adicional sobre este texto: