BSC-LT/ACAData huggingface dataset:
[en] ABSTRACT: This project involves the construction of a footbridge next to the train station in Nueva Montaña, between the commercial centers of El Corte Inglés and Peñacastillo. The performance also partially includes the connection of the footbridge with a ramp at one end and an elevator, with the appropriate dimensions for wheelchairs and bicycles, and stairs on the other.

[es] RESUMEN: El presente proyecto plantea la construcción de una pasarela peatonal y ciclista situada junto a la estación de tren de Nueva Montaña, entre los centros comerciales de El Corte Inglés y Peñacastillo. La actuación también abarca parcialmente la conexión de la pasarela mediante una rampa en un extremo y un ascensor, con las dimensiones apropiadas para sillas de ruedas y bicicletas, y escaleras en el otro.
[en] ABSTRACT: From the analysis of the origins and creation of the International University Menéndez Pelayo (UIMP) and the International Festival of Santander (FIS), it delves into the knowledge of the history of both institutions during the early Franco and the relationship that they were between politics, science, culture and national identity, as well as demonstrated the essential role of international political legitimacy to the dictatorship of General Franco assigned to culture in order to combat the diplomatic isolation of Spain weighed between equators decades of the forties and fifties of last century. Also, other issues addressed in this paper are those related to the history of Spanish courses for foreigners and the history of music festivals, both concerning our country, and the historical approach to the cultural life of Santander in the immediate post-Civil War.

[es] RESUMEN: A partir del análisis de los orígenes y de la creación de la Universidad Internacional Menéndez Pelayo (UIMP) y del Festival Internacional de Santander (FIS), se profundiza en el conocimiento de la historia de ambas instituciones durante el primer franquismo y la relación que en ellas hubo entre política, ciencia, cultura e identidad nacional, a la vez que se demuestra el papel primordial de legitimación política internacional que la dictadura del general Franco asignó a la cultura con el fin de combatir el aislamiento diplomático que sobre España pesaba entre los ecuadores de las décadas cuarenta y cincuenta del pasado siglo. Asimismo, otros aspectos abordados en este trabajo son los referidos a la historia de los cursos de español para extranjeros y la historia de los festivales de música, relativas ambas a nuestro país, así como a la aproximación histórica a la vida cultural de Santander en la inmediata posguerra civil.
[en] This study describes the different legal instruments that exist at the international level to try Vladimir Putin for his crimes stemming from the invasion of Ukraine. It examines, in particular, the capacity of the International Criminal Court (ICC) to do so, its limitations, and the possibility of creating an ad hoc International Criminal Court that could reach where the ICC cannot, especially to prosecute the crime of aggression. This study clearly takes the side of the establishment of such a tribunal and reviews existing precedents, in particular the International Criminal Tribunals in Nuremberg, Tokyo, the former Yugoslavia and Rwanda. There is an unavoidable problem posed by the creation of such an ex post facto Special International Court and the application of new criminal legislation applicable to crimes committed prior to its entry into force, which entails a violation of the principle of nonretroactivity of criminal laws. The last part of the study is devoted to legitimating this violation using legal logic, elements of positive law, elements of common law and elements of "supralegal" law or natural law

[es] Este estudio describe los distintos instrumentos jurídicos existentes a nivel internacional para juzgar a Vladimir Putin por sus crímenes derivados de la invasión de Ucrania. Examina, en particular, la capacidad de la Corte Penal Internacional (CPI) para hacerlo, sus limitaciones y la posibilidad de crear un Tribunal Penal Internacional Especial ad hoc que pueda llegar hasta donde la CPI no puede, en especial para juzgar el crimen de agresión. Se toma claramente partido en este estudio por la creación de tal tribunal y se pasa revista a los precedentes existentes, en particular, los Tribunales Penales Internacionales de Nuremberg, Tokio, ex Yugoslavia y Ruanda. Se constata el ineludible problema que plantea la creación de un Tribunal Internacional Especial ex post facto y la aplicación de nueva legislación penal aplicable a crímenes cometidos con anterioridad a su vigencia, lo que supone la vulneración del principio de irretroactividad de las leyes penales. La última parte del estudio está consagrada a legitimar esta vulneración utilizando la lógica jurídica, elementos de derecho positivo, elementos del Common Law y elementos de derecho "supralegal" o derecho natural
[en] Lean is an interactive theorem prover and a very expressive functional programming language, which can be used to formalize and verify mathematical proofs and build tools to interact with these in a single environment. In this document, we present the Calculus of Inductive Constructions on which Lean's axiomatic foundation is based, we briefly present some of the language's capabilities of interest, and introduce Mathlib, a collective effort to formalize contemporary mathematics in Lean. Finally, we present our own formalization of the multivariate division algorithm in Lean 4, along with a proof of its correctness.

[es] Lean es un asistente de demostración interactivo y un lenguaje de programación funcional muy expresivo, que permite formalizar y verificar demostraciones matemáticas, y construir herramientas para interactuar con estas en un mismo entorno. En este trabajo, presentamos el Cálculo de las Construcciones Inductivas sobre el que se fundamenta la axiomática de Lean, introduciremos brevemente algunas de las capacidades del lenguaje que serán de utilidad, e introduciremos Mathlib, un esfuerzo colectivo por formalizar las matemáticas contemporáneas en Lean. Finalmente, presentaremos una formalización propia del algoritmo de división multivariada en Lean 4, junto con una prueba de su corrección.
[en] ABSTRACT: In this paper we study the conditions of service, and the process that occurs at ground breaking in fast load on clays: a) Development of elastic-plastic model in which to play the pushover of the material, defining a new failure criterion which may include factors represent the behavior of the clay, including the anisotropy and heterogeneity of the same were not considered previously. b) Introduction of the rheological model in a new finite element model. Among the different possibilities we have chosen a hybrid model stresses and strains for which starting from the Reissner variational principle has been generalized to study the plastic phase. The discretization was made with triangular and quadrangular elements hybrids. c) Model was applied in a strip footing on indefinite acting on a layer of deformable clay on a rock hard smooth interface, by varying all the parameters involved in it and deduction of a number of conclusions about the influence of the factors studied the behavior of the clay.

[es] RESUMEN: En presente trabajo se estudian las condiciones de servicio, así como el proceso que ocurre al producirse la rotura del suelo en cargas rápidas sobre arcillas: a) Elaboración de un modelo elasto-plástico, en el cual se reproduzca la plastificación progresiva del material, definiendo un nuevo criterio de rotura que pueda incluir los factores más representativos del comportamiento de la arcilla, incluso la anisotropía y la heterogeneidad de la misma que no eran considerados anteriormente. b)Introducción de este modelo reológico en un nuevo modelo de elementos finitos. De entre las diferentes posibilidades se ha elegido un modelo híbrido en tensiones y deformaciones, para lo cual partiendo del principio variacional de REISSNER, se ha generalizado para estudiar la fase plástica. La discretización se ha efectuado con los elementos triangulares y cuadrangulares híbridos. c) Se aplica el modelo en una zapata en faja indefinida actuando sobre una capa de arcilla deformable sobre una base rocosa rígida con interfaz lisa, variándose todos los parámetros que en él intervienen y deducción de una serie de conclusiones sobre la influencia de los factores estudiados en el comportamiento de la arcill
[en] Hydrological alteration caused by dams, changing climates, and land use-cover changes produce pervasive effects on freshwater ecosystems and undermine the delivery of essential ecosystem services. Riverine ecosystems are particularly vulnerable to these stressors, with alarming biodiversity loss rates. In this context, the primary goal of this PhD thesis is to explore spatial biodiversity patterns in Spanish rivers and how dams and reservoirs modify them. Using the taxonomy and traits of diatom, macroinvertebrate, and fish communities, we evaluated the role of key environmental gradients and spatial distances (i.e. dispersal-related processes) in structuring biological communities in near-pristine streams throughout Spain. In streams impacted by irrigation and hydropower dams in the north of the country, we investigated the ecological responses in mountain areas and in a control-impact design. The study's findings provide useful insights into the development of effective conservation efforts directed towards global change drivers and the different dams' operational schemes.

[es] La alteración hidrológica provocada por presas, el cambio climático y cambios en el uso del suelo producen efectos generalizados en los ecosistemas de agua dulce y ponen en riesgo servicios ecosistémicos esenciales. Los ecosistemas fluviales son especialmente vulnerables a estos factores de estrés, con tasas de pérdida de biodiversidad alarmantes. En este contexto, el objetivo principal de esta tesis doctoral es explorar los patrones espaciales de biodiversidad en los ríos españoles y cómo las presas y embalses los modifican. Utilizando taxonomía y rasgos de diatomeas, macroinvertebrados y peces, evaluamos el papel de los gradientes ambientales y las distancias espaciales (es decir, procesos relacionados con la dispersión) en la estructura de las comunidades biológicas en ríos prístinos de toda España. En ríos afectados por presas de regadío e hidroeléctricas en el norte del país, investigamos las respuestas ecológicas en zonas de montaña y en un diseño de control-impacto. Las conclusiones del estudio aportan una perspectiva útil para el desarrollo de estrategias de conservación eficaces dirigidos a los impulsores del cambio global y adaptados a los diferentes esquemas operativos de las presas.
[en] Gastrointestinal stromal tumors (GIST) are the most common digestive tract sarcomas and they have particular anatomopathological characteristics (CD117 and DOG1 expression) and molecular features (mutations in KIT or PDGFRα) which condition their approach and treatment. Localized tumors are treated with surgery and imatinib based on prognostic factors (location, size and mitotic index). Systemic disease is treated with sequential tyrosine-kinase inhibitors (TKI): starting with imatinib, sunitinib after progression, regorafenib as third line and finally ripretinib. The surgery is reserved to resistant clone resection, complication control or TKI responsive oligometastasic disease. A retrospective analysis was realized on 28 patients with advanced GIST treated with sunitinib at Marqués de Valdecilla University Hospital (HUMV), resulting in a median progression-free survival (PFS) of 39,9 weeks (95% confidence interval (95CI) 31-48,7) and a median overall survival (OS) of 96 weeks (95CI 35,1-156,9). Furthermore, a retrospective analysis was performed on 13 patients with advanced GIST treated with regorafenib at HUMV obtaining a median PFS of 24,4 weeks (95CI 15,7-33,2) and a median OS of 46,9 weeks (95CI 15,7-78). The toxicities reported with sunitinib and regorafenib are as expected, except for a higher percentage of cardiovascular toxicity. As exploratory objectives, the efficacy is analyzed according to mutational analysis and neutrophil to lymphocyte ratio as a prognostic factor.

[es] Los tumores del estroma gastrointestinal (GIST) son los sarcomas de origen digestivo más frecuentes y presentan una serie concreta de características anatomopatológicas (expresión CD117 y DOG1) y moleculares (mutaciones en KIT o PDGFRα) que condicionan su manejo terapéutico. Los tumores localizados se tratan mediante cirugía e imatinib en función de factores pronósticos (localización, tamaño e índice mitótico). La enfermedad sistémica presenta un tratamiento estandarizado con inhibidores de tirosin-kinasas (ITK) de forma secuencial: primero imatinib, sunitinib a la progresión, regorafenib como tercera línea y finalmente ripretinib. La cirugía se reserva para resección de clones resistentes, control de complicaciones o abordaje de enfermedad oligometastásica en respuesta a ITK. Se analizan retrospectivamente 28 pacientes diagnosticados de GIST avanzado tratados con sunitinib en el Hospital Universitario Marqués de Valdecilla (HUMV) obteniéndose una mediana de supervivencia libre de progresión (SLP) de 39,9 semanas (Intervalo de confianza al 95% (IC95 31-48,7) y una mediana de supervivencia global (SG) de 96 semanas (IC95 35,1-156,9). Además, se analizan retrospectivamente 13 pacientes con GIST avanzado tratados con regorafenib en el HUMV obteniéndose una mediana de SLP de 24,4 semanas (IC95 15,7-33,2) y una mediana de SG de 46,9 semanas (IC95 15,7-78). La toxicidad recogida con sunitinib y regorafenib son las esperables, salvo un mayor porcentaje de toxicidad cardiovascular. Como objetivos exploratorios se analiza la eficacia según análisis mutacional y la ratio neutrófilo-linfocito como factor pronóstico.
[en] ABSTRACT This Dissertation intends to deal with the development of creativity during kindergarten, understanding the key role played by the teacher on it. During this stage kids learn through play, that is why we will utilize it as didactic tool. Creativity and Mathematics, are words rarely seen together. Nonetheless, this paper intends to break with the old stereotyped way of teaching maths -which normally induces kids' rejection- and suggests the use of games and activities based on observation, materials handling and self-experimentation, as didactic method. Once understood how crucial creativity and maths are in the integral development of kids, I present a didactic proposal titled "La creatividad y las matemáticas", written during my internship residence in the CEIP Ramón Laza's of Cabezón de la Sal, 4-year-old classroom.

[es] RESUMEN En este trabajo de Fin de Grado, se pretende abordar el desarrollo de la creatividad dentro de las aulas de Educación Infantil, entendiendo el papel fundamental que juega el docente en ello. Durante esta etapa, el niño aprende a través del juego, por lo que utilizaremos este recurso como estrategia didáctica. Creatividad y Matemáticas son palabras que pocas veces se encuentran juntas. A lo largo de este trabajo se pretende romper con la forma estereotipada de enseñar matemáticas -que puede provocar el rechazo de los niños- y se propone el uso del juego y las actividades basadas en la observación, experimentación y manipulación de materiales; como método didáctico. Tras entender la creatividad y las matemáticas como aspectos fundamentales para el desarrollo integral de los niños, se presenta una propuesta didáctica titulada "La creatividad en las matemáticas" desarrollada durante mi periodo de prácticas en el CEIP Ramón Laza de Cabezón de la Sal, en un aula de 4 años.
[en] ABSTRACT During the Second Francoism, the foundations of the Social Security sys-tem, which have determined its subsequent evolution to the present day, were developed in the Spanish State. The evolution of this system was determined by political struggles, within the regime between political families and different social welfare models. They all argued that the subject of the system's protection should be the worker. This is what de-fended the worker's opposition. Therefore, when in the Posfrancoism such opposition and the heirs of the regime negotiated, at this point, the agreements were easily reached

[es] RESUMEN Durante el Segundo Franquismo se desarrollaron en el Estado español los cimientos del sistema de Seguridad Social que han determinado su evolución posterior hasta la actualidad. La evolución de este sistema quedó marcada por las luchas políticas dentro del régimen entre familias políticas y modelos de Previsión Social distintos. Todos ellos defendían que el sujeto de la protección del sistema debía ser el trabajador. Esto mismo defendía la oposición obrera. Por ello, cuando en el Posfranquismo tal oposición y los herederos del régimen negociaron, en este punto, los acuerdos fueron fácilmente alcanzados.
[en] ABSTRACT: The empiric study visualizes the importance of the development of internal auditing under a modern approach; it seeks to know how this function is present in public universities in Spain and Mexico; to what extent and under which circumstances it is developed, and how it should be for its optimal performance. A noticeable lack of empiric researches about internal auditing in the public sector is identified at an international level, and the existence of the function in a medium devolopment level inside the studied universities, not fulfilling many attributes of the modern approach. In the context of the recognition that the function receives and the operational characteristics observed, it is proposed to instrument the International Professional Practices Framework supported by the Internal Auditors Institute; the commitment from those directly responsible to assume the new role of internal auditing; the stregthening of the function within the organization; the effective support of the univeristy's authorities and the greater implication of its steering committees.

[es] RESUMEN: El estudio empírico visualiza la importancia del desarrollo de la auditoría interna bajo un enfoque moderno; busca conocer cómo está presente dicha función en las universidades públicas de España y México; en qué grado en qué circunstancias se desarrolla, y cómo debería estar para su óptimo desempeño. Se identifica una marcada escasez de investigaciones empíricas sobre la auditoría interna en el sector público, a nivel internacional, y la existencia de la función en un nivel medio de desarrollo dentro de las universidades estudiadas, incumpliendo diversos atributos del enfoque moderno. En el contexto del reconocimiento que recibe la función y de las características operativas que se observaron, se propone instrumentar el Marco Internacional para la Práctica Profesional de la Auditoría Interna sustentado por el Instituto de Auditores Internos; el compromiso de los responsables directos para asumir el nuevo rol de la auditoría interna; el fortalecimiento de la función en la organización, el apoyo efectivo de las autoridades universitarias y la mayor implicación de sus órganos colegiados.
[en] In the current context, users constantly demand that network capabilities operate at their highest level of efficiency. This demand leads to a continuous evolution of the technologies used in network management. Given the current advances in artificial intelligence and its application in various fields, its potential application and integration into network management is considered relevant, especially since tasks such as fault management have historically utilized AI tools, such as expert systems. Thus, this work studies the integration of artificial intelligence into the architecture of network management platforms. To achieve this goal, a thorough analysis has been conducted to select the most suitable management platform, whether open-source or commercial, that integrates optimally with AI tools. The primary purpose of this integration is to improve operational efficiency and facilitate decision-making for human managers in the continuous management of communication networks. To illustrate this approach, the use of TensorFlow, a leading artificial intelligence tool, and Zabbix, a versatile and up-to-date network management platform, has been studied. Both technologies have been integrated into a demonstrator as a proof of concept.

[es] En el marco actual, los usuarios demandan constantemente que las capacidades de la red estén en su máximo nivel de eficiencia. Esta exigencia conlleva una evolución constante en las tecnologías utilizadas en la gestión de redes. Dados los avances actuales en inteligencia artificial y su aplicación en diversas áreas, se considera relevante su potencial aplicación e integración en la gestión de redes, más aún cuando históricamente, tareas como la gestión de fallos han hecho uso de herramientas de IA, como los sistemas expertos. Así, en este trabajo se estudia la integración de la inteligencia artificial en la arquitectura de las plataformas de gestión de redes. Para lograr este objetivo, se ha llevado a cabo un análisis exhaustivo con el fin de seleccionar la plataforma de gestión más idónea, siendo de software libre o comercial, que se integre de manera óptima con las herramientas de IA. El propósito primordial de esta integración es mejorar la operatividad y facilitar la toma de decisiones del gestor humano en la gestión continua de las redes de comunicaciones. Para ejemplificar este enfoque, se ha estudiado el uso de TensorFlow, una herramienta líder en inteligencia artificial, y Zabbix, una plataforma de gestión de redes de comunicaciones versátil y actualizada. Ambas tecnologías se han integrado en un demostrador como prueba de concepto.
[en] ABSTRACT The present Final Degree Project focuses on the process of urban decline in Torrelavega (Cantabria, Spain), based on the statistical and cartographic analysis. For this, the use of Geography Information Systems is crucial, showcasing the current scenario in different scales, from municipal to intraurban. Thus, sociodemographic dynamics that have occurred throughout the last two decades, both intraurban and municipal, as well as in the set of municipal terms in the area, are studied. Regarding the central area of Torrelavega, it is important to highlight the current demographic decline of young and adult people, the loss of economic activities due to the process of deindustrialization, and the episodes of economic crisis that have occurred since the beginning of the 21st century, turning Torrelavega into a city in decline.

[es] RESUMEN El presente Trabajo Fin de Grado enfoca el proceso de decrecimiento urbano de Torrelavega (Cantabria, España), sobre la base de análisis estadísticos y cartográficos. El uso de los Sistemas de Información Geográfica ha resultado fundamental al permitir poner en valor el escenario actual a diferentes escalas desde la escala municipal hasta la escala intraurbana. Así, se estudian las dinámicas sociodemográficas que se han producido a lo largo de las dos últimas décadas, tanto a nivel intraurbano, como municipal, así como en el conjunto de términos municipales del área. Respecto al área central de Torrelavega destaca el declive demográfico actualmente experimenta el declive demográfico de jóvenes y adultos, como la pérdida de la actividad económica a causa del proceso de desindustrialización y de los episodios de recesión económica que han ocurrido desde principios de siglo XXI, para convertir a Torrelavega en una ciudad en decrecimiento