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.

Bases fisiológicas del crecimiento diferencial en especies de almeja del género Ruditapes: estudio de alometrías

La coexistencia de las especies R. philippinarum y R. decussatus en la costa atlántica, empleando los mismos recursos y con tasas de crecimiento diferenciadas, parece indicio de estrategias fisiológicas diferentes. Dichas estrategias pueden identificarse mediante la cuantificación de parámetros fisiológicos que intervienen en el crecimiento, el cual es resultante del balance energético. En el presente estudio, se ha hecho una aproximación a ello, eligiendo como parámetros a analizar, la tasa de aclaramiento (componente de ganancia energética) y la tasa metabólica (componente de pérdida energética). El crecimiento diferencial viene determinado por diferentes combinaciones de comportamientos fisiológicos, recogidos en modelos fisiológicos de crecimiento (modelo de adquisición de energía, de limitación de costes basales y de eficiencia metabólica). Con el objetivo de realizar una comparación inter-específica entre ambas especies, se ha estudiado además la relación alométrica de estos parámetros con el tamaño, ya que la distribución de tamaños es una característica de la población y constituye la base sobre la que se construyen curvas de crecimiento. De acuerdo a informes emitidos por la FAO, R. philippinarum presenta mayores tasas de crecimiento por lo que cabría esperar mayor tasa de aclaramiento y menor tasa metabólica en esta especie. Sin embargo los resultados no se corresponden con ello, siendo la tasa de aclaramiento mayor para R. decussatus y no encontrándose diferencias en la tasa metabólica. Las relaciones alométricas tampoco difieren entre especies. No se puede asociar la mayor tasa de crecimiento de R. philippinarum a ninguno de los modelos de crecimiento, ya que las diferencias inter-específicas en los parámetros estudiados son nulas o contrarias a lo esperado. La falta de disponibilidad de semillas de la especie R. decussatus para este estudio limita en parte estas conclusiones, ya que los patrones de crecimiento diferencial pueden diferir profundamente entre estadíos juvenil y adulto. Alternativamente las anomalías comentadas podrían explicarse por la presencia de híbridos de ambas especies entre los ejemplares estudiados y donde la heterosis del crecimiento podría disipar las diferencias entre especies.

Proyecto no concluido para la Alhóndiga de Bilbao. Una propuesta sobre la Estética objetiva de Jorge Oteiza como método de investigación.

785p. -- De forma paralela al proceso de investigación para esta Tesis el investigador llevó a cabo un documental de 80 minutos de duración, titulado "Oteiza y el Centro Cultural Alhóndiga. Proyecto estético para Bilbao". Este documental está elaborado a partir de las entrevistas arriba señaladas, así como de material audiovisual inédito sobre este proyecto. El documental está expuesto de forma permanente en el Museo Jorge Oteiza (Alzuza, Navarra)

II Workshop en Modelización Farmacocinética y Farmacodinámica. Aplicación del NONMEM para el desarrollo e interpretación de modelos FC/FD

Sesión I: Modelos FC/FD: Desarrollo e implementación de modelos. Sesión de exposición teórica seguida de realización y evaluación práctica: - Introducción al análisis farmacocinético con NONMEM: construcción de una base de datos y archivos control (Carmen Navarro Fontestad, Universitat de València). - Introducción al análisis farmacocinético con NONMEM: exploración, evaluación y validación de resultados de los modelos (Víctor Mangas Sanjuán, Universidad Miguel Hernández de Elche). Sesión II: Implementación de modelos farmacodinámicos en la modelización farmacocinética/farmacodinámica. Sesión de exposición teórica seguida de realización y evaluación práctica: - Iniciación al modelado de la respuesta farmacológica a través de NONMEM (Zinnia Parra-Guillén, Iñaki F. Trocóniz, Mª Jesús Garrido, Universidad de Navarra). - Iniciación al modelado de la respuesta farmacológica a través de NONMEM. Sesión práctica (Zinnia Parra-Guillén, Iñaki F. Trocóniz, Mª Jesús Garrido, Universidad de Navarra). Sesión III: Modelos FC/FD: Aplicaciones prácticas: - Modelos FC/FD para describir el efecto de antitumorales en el tamaño del tumor en modelos xenograft (Carlos Fernández Teruel, PharmaMar). - Modelos FC/FD en antibioterapia. Aplicación en profilaxis quirúrgica y pacientes críticos sometidos a técnicas continuas de reemplazo renal (Arantxa Isla, Universidad del País Vasco UPV/EHU). - Modelos FC/FD antihistamínicos. Caso práctico bilastina (Ignacio Ortega, FAES FARMA)

Proficiency, Attitude and Conventions in Minority Languages

In this paper we study a simple mathematical model of a bilingual community in which all agents are f luent in the majority language but only a fraction of the population has some degree of pro ficiency in the minority language. We investigate how different distributions of pro ficiency, combined with the speaker´attitudes towards or against the minority language, may infl uence its use in pair conversations.

La Educación Física como medio de inclusión para el alumnado con parálisis cerebral.

[ES] El presente trabajo ha estudiado la eficacia de la asignatura de Educación Física dentro del Sistema Educativo Español como método de inclusión para el alumnado con Parálisis Cerebral. Hemos realizado la Fundamentación Teórica sobre la Educación Física y la Parálisis Cerebral y hemos explicado la metodología utilizada hasta ahora en las clases (LOCE 2002 y LOMCE 2014) con el objetivo de lograr la integración de estas personas en las clases de E. Física y en la sociedad. Además, hemos llevado a cabo un caso práctico en el que se asistió a una clase de Educación Física con un paralítico cerebral en el Instituto Valle del Ebro (Tudela, Navarra), con el fin de analizar, tanto la clase impartida por el profesor, como la situación que vivía el alumno dentro de la misma. Los resultados de algunas investigaciones avalan que aún queda mucho camino por recorrer en esta área de intervención, Orta Tierra, J.; Badia Corbella, M.; Mayán, Núñez Mª Teresa entre otros. Por último, hemos propuesto el modelo de intervención metodológica por proyectos (procesos) en la EF de la próxima década, con vistas a su posible utilización con alumnos que presenten este trastorno.

Planificación estratégica de una asociación orientada a la gestión de actividades y servicios recreativo-deportivos en el medio natural

La idea del proyecto consiste en crear una asociación orientada a la gestión de actividades recreativo-deportivas en el medio natural. En un enclave puramente rural, la asociación tendrá su sede en Jaurrieta, un pueblo del Pirineo Navarro con menos de 200 habitantes. La intención es que el pueblo de Jaurrieta y el propio Valle de Salazar, formen parte de esta asociación, involucrando a un gran número de personas. Se considera que la unión y la heterogeneidad de cada una de estas personas, potenciarán positivamente la propuesta. Con el objetivo de ofrecer actividades recreativo-deportivas y servicios complementarios, se aprovecharán los recursos naturales del entorno para proporcionar al visitante un mayor conocimiento de la zona y su estilo de vida rural. La oferta de actividades recreativo-deportivas en el medio natural, estará dirigida a aquellas personas que decidan pasar su tiempo de ocio en el Pirineo Navarro. Por esto, surge la necesidad de elaborar un “Plan Estratégico” que facilite la creación y desarrollo de esta asociación. Como misión o fin último de la propuesta, se pretende contribuir en el desarrollo rural del Valle de Salazar; desde una perspectiva de progreso económico y social.

Estudio de la estructura de migración en los países europeos de la OCDE utilizando metodología de análisis de redes sociales

[ES] El TFG consiste en analizar los datos de migración en los países europeos de la OCDE utilizando para ello el análisis de las redes sociales. Se seleccionan los datos de interés, se crea la red direccional y se le pide al programa que calcule las métricas. Con estos datos se intenta concluir cuál es la estructura migratoria entre los países. El TFG está hecho en español.

Washington Irving traducido: Cuentos de la Alhambra

Antonio Garnica Silva; María Losada Friend; Eloy Navarro Domínguez (eds)

Konposatu bioaktiboen ustiapenerako metodo analitikoen garapena

221 p.

Dependencia térmica del disponible metabólico para la actividad en bivalvos aclimatados a distintas temperaturas

[es]Para la realización del presente estudio, se utilizaron 50 ejemplares de Ruditapes Decussatus o almeja fina y otros 50 de Ruditapes Philippinarum o almeja japonesa, recogidas y seleccionadas por mariscadores profesionales de la Bahía de Santoña (Cantabria). La temperatura influye en las tasas fisiológicas, llegando a generar finalmente alteraciones en el metabolismo del organismo. Por ello, una variable de interés para el estudio se trata de la tasa metabólica, la cual puede ser estimada a través de la medición de la tasa de consumo de oxígeno (VO2). El objetivo final de este estudio es, por tanto, observar el efecto cinético de la temperatura y la aclimatación sobre el metabolismo de ambas especies de almejas, distribuidas en cuatro grupos de estudio (almeja fina y japonesa aclimatadas a 12oC y 22oC), midiendo la VO2 a diferentes temperaturas de exposición (7oC, 12oC, 17oC, 22oC y 27oC). Utilizando el la respirometría como medio para calcular la VO2 y el cálculo de la Q10 para determinar las tasas metabólicas. Los resultados ponen de manifiesto que en tres de los cuatro casos no se observaron diferencias significativas entre el metabolismo rutina y el metabolismo estándar. También se comprobó positivamente el efecto cinético de la temperatura sobre la VO2; así como la presencia de un intervalo de temperaturas, en las que se realiza compensación, más amplio para almeja japonesa que para almeja fina.

Estudio comparado del grado de oxidependencia en animales intermareales

Uno de los factores limitantes de la vida animal en la zona intermareal es la disponibilidad de oxígeno. En el presente estudio se ha desarrollado un índice para medir el grado de oxidependencia que ha sido aplicado al comportamiento respiratorio para ejemplares de diferentes tamaños del cangrejo intermareal Pachygrapsus marmoratus, con objeto de realizar una aproximación a la relación existente entre la concentración de oxígeno del medio y la tasa de consumo de oxígeno, por una parte, y de ésta con el tamaño de los ejemplares, por otra. La relación entre la tasa de consumo de oxígeno (VO2) y el peso de los ejemplares de P. marmoratus se ajusta a una función potencial. Del valor de b (exponente de la masa) se desprende que existe alometría negativa (b<1) entre la tasa de consumo de oxígeno y el peso de los ejemplares, con lo que se cumple la ley de Kleiber: la tasa metabólica peso-específica se incrementa al reducirse el tamaño de los animales. Con respecto al índice de oxidependencia, se observa que las diferencias no son significativas entre los ejemplares grandes y los medianos pero si lo son entre los ejemplares grandes-medianos y los pequeños. Los grados de oxidependencia en los ejemplares de P. marmoratus grandes y medianos son mayores que en los pequeños. Es decir, en el curso de la hipoxia, los ejemplares más pequeños de P. marmoratus tienen una mayor capacidad de regulación de la tasa de consumo de oxígeno (son mas “oxirreguladores”), que los ejemplares de mayor tamaño (mas “oxiconcordantes”). Se puede concluir pues que el tamaño es una variable a tener en cuenta para las diferencias en el grado de oxidependencia de los animales intermareales, pero sus resultados pueden ser diferentes dependiendo de otro tipo de variables exógenas, como la temperatura o la salinidad.

Piper and Vismia Species from Colombian Amazonia Differentially Affect Cell Proliferation of Hepatocarcinoma Cells

There is an increasing interest to identify plant-derived natural products with antitumor activities. In this work, we have studied the effects of aqueous leaf extracts from Amazonian Vismia and Piper species on human hepatocarcinoma cell toxicity. Results showed that, depending on the cell type, the plants displayed differential effects; thus, Vismia baccifera induced the selective killing of HepG2, while increasing cell growth of PLC-PRF and SK-HEP-1. In contrast, these two last cell lines were sensitive to the toxicity by Piper krukoffii and Piper putumayoense, while the Piperaceae did not affect HepG2 growth. All the extracts induced cytotoxicity to rat hepatoma McA-RH7777, but were innocuous (V. baccifera at concentrations < 75 mu g/mL) or even protected cells from basal death (P. putumayoense) in primary cultures of rat hepatocytes. In every case, cytotoxicity was accompanied by an intracellular accumulation of reactive oxygen species (ROS). These results provide evidence for the anticancer activities of the studied plants on specific cell lines and suggest that cell killing could be mediated by ROS, thus involving mechanisms independent of the plants free radical scavenging activities. Results also support the use of these extracts of the Vismia and Piper genera with opposite effects as a model system to study the mechanisms of the antitumoral activity against different types of hepatocarcinoma.