BSC-LT/ACAData huggingface dataset:
[en] Tourist cities have, as a common denominator, tourist attractions, which are usually measured according to the number of visits. But how do these visits impact places? What happens if we quantify the attractions concerning the tourist flows it hosts? To analyze this relationship between attractions and flows, heatmaps of various European tourist cities and Barcelona are reviewed, identifying through Eric Fischer Heatmapsthe "main" and "secondary" attractions. Next, more up-to-date maps are introduced, which allow to deepen into two specific cases: the Sagrada Familia and Park Güell. Differentiating them allows looking at the attractions as crucial pieces of the city and to the tourist flows as an x-ray of the tourist presence on the physical space. In this way it is possible to identify particularities of the main attractionsand see their integration into the urban fabric, verifying that, although the number of visitors measures the success of the attractions, their presence and adaptation with the environment could be measured according to the footprint of its flows.

[es] Las ciudades turísticas tienen como común denominador a los atractivos turísticos, que suelen medirse según número de visitas. Pero ¿cómo impactan estas visitas sobre el espacio? ¿Qué sucede si medimos los atractivos en relación con los flujos turísticos que acogen? Para analizar esta relación entre atractivos y flujos se revisan losHeatmaps o mapas de calor de Eric Fischer (2010),de las principales ciudades turísticas europeasincluidaBarcelona.Identificandoasí las formas de los atractivos "principales" y "secundarios". Diferenciarlos permite mirar los atractivos como piezas clave de la ciudad, y a los flujos turísticos como una radiografía de la presencia turística sobre el espacio físico. A continuación, se introducen mapas más actualizados, que permiten profundizar en dos casos específicos: la Sagrada Familia y del Parque Güell.De esta forma es posible identificar particularidades de los atractivos icónicos,y ver su integración en el tejido urbano, verificando que, si bien el éxito de los atractivos se mide por el número de visitantes, su presencia y adaptación con el entorno podría medirse según la huella de sus flujos.
[en] The project is based on the study and analysis of various drought indicators over the past 60 years. To conduct the analysis, four regions within the Iberian Peninsula were selected, representing the most humid, dry, cold, and warm areas. The tools used for data analysis are also detailed to understand the historical changes in these indicators and identify patterns. This analysis aims to study the evolution of several drought indicators in different climate types, such as humid, dry, warm, and cold climates. The goal is to understand the trends of each indicator over time, as well as how they relate to each other, in order to make predictions for the next 5 years

[es] El proyecto se basa en el estudio y análisis de los diferentes indicadores de sequía de los últimos 60 años. Para llevar a cabo el análisis, se han escogido cuatro regiones dentro de la Península Ibérica, que representan las zonas más húmedas, secas, frías y cálidas. También se detallan las herramientas utilizadas para el análisis de datos con el fin de comprender los cambios históricos de estos indicadores y buscar patrones. Este análisis tiene como objetivo estudiar la evolución de varios indicadores de sequía en diferentes tipos de climas, como los climas húmedos, secos, cálidos y fríos. Se busca comprender las tendencias de cada indicador en el tiempo y también cómo se relacionan entre sí, con el fin de realizar una predicción de los próximos 5 años.
[en] Central functions, as buildings and other urban materials have moved, from established urban cores to suburb. This move - which is both cause and as effect of the increase of private mobility and new spatial behaviours of their inhabitants - it transforms the territory. The question is if we will be able, as researchers of the city, to face it. This essay try to demonstrate the loss of effectiveness of the conceptual tools of urbanism, still based on functionalism with the sample of centrality, which is a feature of different kinds of space and not a homogeneous expression. This is the reason why in this essay we focus on the different aggregations of central functions, we study those proprieties and on the role of the places of centrality in the territorial pattern.

[es] Las funciones centrales, así como los edificios y otros materiales urbanos se han desplazado de los núcleos consolidados hacia el espacio rural. Este movimiento -que es a la vez causa y efecto de la mayor movilidad privada y de las nuevas formas de colonización el espacio, típicas de la sociedad contemporánea- genera una serie de transformaciones del territorio. Cabe preguntarse ¿acaso estamos preparados a ello como investigadores de la ciudad? En este artículo se utiliza el ejemplo del concepto de "centro" para demostrar la pérdida de efectividad del aparato conceptual del urbanismo. La centralidad hoy se manifiesta de muchas formas: ella es un carácter que pertenece a distintos ámbitos espaciales, no solo a los núcleos urbanos consolidados. Por ello en este artículo se reflexiona sobre las diferentes agregaciones de funciones centrales, se estudian sus caracteres y se detecta el papel de los lugares de centralidad en el territorio.
[en] A great number of problems, some of them well known, like the Travelling Salesman, or the Isoperimetric Problem, are shown to be equivalent, in the sense that if one of them has a fast solution, (in polinomic time with respect to the number of variables of the input of the problem), all the other have fast solutions too. The underlying theory, started by Cook and Karp with the help of Turing machines, is redeveloped using the simpler Combinational machine of Harper and Savage.

[es] Un gran número de problemas entre los que se encuentran problemas tan conocidos como el del viajante de comercio, o el problema isoperimétrico, se muéstran como equivalentes en el sentido de que si uno de ellos admite una solución "rápida", en tiempo polinómico respecto el número de variables, todos los restantes también la admiten. Esta teoría, desarrollada en sus principios por S. Cook y R. Karp, usando el modelo de la máquina de Turing, se vuelve a desarrollar aquí usando el modelo más simple de la máquina Combinatoria, debido a K. Harper y J.E. Savage.
[en] Manifestations are a right that many citizens use to express their disagreement with an injustice; their form is through the expression of a message that is expressed in many ways, including visual supports. The art of protest is a work that explores and studies what the possibilities of visual supports are within a peaceful framework and what repercussions they have. It is the generation of resources that allow the visibility of these supports to be maximized so that the message that is communicated is understood and seen by the maximum number of people possible.

[es] Las manifestaciones son un derecho que muchos ciudadanos usan para expresar su disconformidad ante una injusticia, su forma es mediante la expresión de un mensaje que se plasma de muchas formas, entre ellas los soportes visuales. El arte de la protesta es un trabajo que explorar y estudia cuales son las posibilidades de los soporte visuales dentro de un marco pacífico y que repercusiones tienen. Es la generación de recursos que permitan maximizar la visibilidad de estos soportes para que el mensaje que se comunica se entienda y sea visto por el máximo numero de personas posible.
[en] This final project aims to explore the viability of using solar panels for powering measurement chains in concrete structures reinforced with fiber-reinforced polymer bars (FRP). The main objectives of the thesis are to carry out in-depth research to understand the operation of each element that makes up the system, assess various alternatives, identify aspects to take into account regarding the configuration of the model, design a custom solar energy system and carry out experimental tests. The experiment involves a 3-point bending test, where the FRP rebar has been subjected to different load conditions. The strain measurement has been the primary focus, considering its sensitivity to temperature, environmental factors, and load variations. The test reveals differences between a direct load suspension and sequential suspensions, highlighting the impact of load magnitude, distribution, and structural response on strain values. The results have demonstrated the effectiveness of solar panels in providing sustainable energy for measurement chains. The analysis of alternatives shows the potential of solar energy in this type of set ups and therefore the possible contribution to the sustainable development of measurement systems in the construction sector

[es] Este trabajo de fin de grado tiene como objetivo explorar la viabilidad de utilizar placas solares para alimentar cadenas de medida en estructuras de hormigón fortalecidas con barras de polímero reforzado con fibra (FRP). Los principales objetivos son: llevar a cabo una investigación profunda para entender el funcionamiento de cada elemento que conforma el sistema, valorar diversas alternativas, identificar aspectos a tener en cuenta respecto a la configuración del modelo, diseñar un sistema de energía solar a medida y realizar pruebas experimentales. El experimento implica una prueba de flexión de 3 puntos, donde la barra de FRP se ha sometido a distintas condiciones de carga. La medida de la tensión ha sido el principal objetivo, teniendo en cuenta su sensibilidad a la temperatura, factores ambientales y variaciones de carga. La prueba revela diferencias entre una suspensión de carga directa y suspensiones secuenciales, destacando el impacto de la magnitud de la carga, distribución y respuesta estructural en los valores de deformación. Los resultados han demostrado la eficacia de los paneles solares para proporcionar energía sostenible a las cadenas de medida. El análisis de alternativas muestra el potencial de la energía solar en este tipo de montajes y como consecuencia de la posible contribución al desarrollo sostenible de los sistemas de medida en el sector de la construcción
[en] The Pont del Treball was a structure, from the early twentieth century, located in Barcelona. Unlike the historical works related to the world of architecture, on which we can find plenty of information, and most of them are cataloged, documentation related to engineering structures in many cases is scarce or nonexistent. There are a lot of cases in which structures are demolished without being reported. The Pont del Treball is a clear example of an structure that could be forgotten if any study or document is written. In this way, this minor thesis aims of studying the mentioned structure, which had social impact, since its construction in the Sagrera neighborhood. In this sense a historical view is done, including all the periods of the service life of the bridge, from the original project until its demolition and substitution.

[es] El Pont del Treball era una estructura ubicada en Barcelona, de principios del siglo XX. A diferencia de las obras históricas relacionadas con el mundo de la arquitectura, sobre las cuales se puede encontrar abundante información, y la gran mayoría de ellas están catalogadas, la documentación asociada a obra civil, especialmente la de los primero puentes de hormigón armado, en muchos casos es escasa o incluso inexistente. Se podrían mencionar numerosos casos en los que, estructuras históricas, desaparecen sin que nadie deje constancia de ellas. Esto supone, en cierto modo, dejar en el olvido una parte de nuestra historia. El Pont del Treball, actualmente ya demolido, era un claro ejemplo de ello, que merecía un estudio y análisis. Así pues, el presente trabajo tiene por objeto ahondar en esta estructura particular, que no sólo ha sido un elemento funcional y que ha cumplido su misión para la que fue proyectada, sino que además ha tenido un impacto social desde su construcción en el barrio de la Sagrera. En este sentido se hace un recorrido histórico pasando por todas las etapas de su vida, desde el proyecto hasta su demolición y sustitución.
[en] SUMMARY -- Formal verification of algorithms, taught in Computer Engineering studies as part of programming subjects, is usually explained in a "theoretical" way introducing the different axioms of Hoare logic and doing (by hand) various exercises of verificacion of small programs. Although students are supposed to have previously acquired the necessary logic concepts, many of them have serious difficulties to formally express the different steps of the considered correction proofs. In this experience we have decided to explain formal verification of algorithms by using, as a support tool, an automatic theorem prover called Krakatoa. This tool will allow students to interactively visualize the various steps required to prove the correctness of a program, to think about the used reasoning and to understand the importance of verification of algorithms to improve the reliability of our programs.

[es] La verificación formal de algoritmos, impartida en los estudios de Ingeniería Informática como parte de las asignaturas de programación, se suele explicar de manera "teórica" introduciendo los axiomas de la lógica de Hoare y realizando diversos ejercicios de verificación (a mano) de pequeños programas. Aunque los alumnos han debido adquirir previamente los conocimientos de Lógica necesarios, muchos de ellos presentan serias dificultades para expresar formalmente los distintos pasos de las pruebas de corrección planteadas. En esta experiencia se ha decidido utilizar como herramienta de apoyo para explicar la verificación formal de algoritmos un demostrador automático de teoremas llamado Krakatoa. Esta herramienta permitirá a los estudiantes visualizar de manera interactiva los distintos pasos necesarios para probar la corrección de un programa, reflexionar sobre los razonamientos seguidos y comprender la importancia de la verificación de algoritmos para mejorar la fiabilidad de nuestros programas.
[en] In this work we consider the problem of allocating a set of T indivisible goods to a set of n agents in an online manner, with the goal of maximizing the Nash social welfare (NSW) to balance both fairness and efficiency. In the online setting, goods arrive in a sequential fashion and the value of each good is revealed only at the time of arrival, with these values generally selected by an adversary. We examine the NSW problem within the identical and binary valuation settings, as well as mild generalizations to each. We present lower and upper bounds on the competitive ratio for each scenario. We highlight the exponential lower bound for the binary and general case, and good guarantees for the greedy algorithm in several settings. In the equal setting, we find an almost tight lower and upper ratio in line with the work of Barman et al. (EC'18). We also study the setting where a large number of binary items arrive getting asymptotically tight guarantees. Lastly we use some ideas from the "bipartite maximum matching" for deriving lower bounds in the bivalue setting.

[es] En este trabajo consideramos el problema online de asignar un conjunto de T bienes indivisibles a un conjunto de n agentes, con el objetivo de maximizar el Nash Social Welfare (NSW) para equilibrar tanto la equidad como la eficiencia. En el modelo de problema online, los bienes llegan de forma secuencial y el valor de cada bien solo se revela en el momento de su llegada, con estos valores seleccionados normalmente por un adversario. Examinamos el problema cuando los agentes valoran los items de manera igual y binaria, así como generalizaciones a cada caso. Presentamos cotas inferiores y superiores para el competitive ratio para cada escenario. Destacamos la cota inferior exponencial para el caso binario y general, y buenas garantías para el algoritmo greedy en varios escenarios. En el escenario con valoraciones iguales, encontramos un competitive ratio en línea con el trabajo de Barman et al. (EC'18). También estudiamos el escenario en el que llega un gran número de bienes con valoración binaria y obtenemos garantías asintóticamente ajustadas. Por último, utilizamos algunas ideas del problema "bipartite maximum matching" para derivar límites inferiores en el escenario bivaluado.
[en] Throughout the pages of this work, a study is carried out on the design of a heat exchanger. An approximation of the design is made based on the selection of construction materials, the system cost estimate and the mechanical design requirements. With this aim, an improvement of the production process based on the introduction of a heat exchanger in order to control the viscosity of the products is investigated, using different books as a bibliographic source. Subsequently, this theory is exemplified summarized in a specific process, based on an already existing system. Specifically, a recirculation system is designed where the exchanger is placed after the reactor, just before packaging the product.

[es] A lo largo de las páginas de este trabajo, se realiza un estudio en el diseño de un intercambiador de calor. Se realiza una aproximación del diseño en base a la selección de materiales de construcción, la estimación de coste del sistema y los requerimientos del diseño mecánico. Con este objetivo se investiga, utilizando distintos libros como fuente bibliográfica, una mejora del proceso de producción en base a la introducción de un intercambiador de calor con el fin de controlar la viscosidad de los productos. Posteriormente, se ejemplifica esta teoría resumida en un proceso concreto, basado en un sistema ya existente. Concretamente, se diseña un sistema con recirculación donde se ubica el intercambiador después del reactor, justo antes de envasar el producto.
[en] The rearticulation of territorial social movements in defense of their urban habitat, on the one hand, and the incorporation of concepts such as social integration within the housing policy, on the other hand, has made visible the crisis of access to decent housing in a country that for years it has been characterized by demonstrating the scope of its housing policy. Interviews with public actors show that the invasive model of housing production has pushed even the MPL to reinvent its collective action practices to access housing. This lack of willingness to change the modus operandi within politics has built an anti-systemic movement to the Chilean one, where being part of the institutional structure seems to be a requirement to have a voice.

[es] La rearticulación de movimientos sociales territoriales en defensa de su hábitat urbano, por un lado, y la incorporación de conceptos como integración social dentro de la política de vivienda, por otro lado, ha visibilizado la crisis de acceso a una vivienda digna en un país que durante años se ha caracterizado por demostrar el alcance de su política habitacional. Las entrevistas a actores públicos demuestran que el invasivo modelo de producción habitacional ha presionado inclusive al MPL a reinventar sus prácticas de acción colectiva para acceder a la vivienda. La voluntad por cambiar el modus operandi dentro de la política, ha construido un movimiento anti sistémico a la chilena, en donde ser parte de la estructura institucional parece ser un requisito para tener voz.
[en] This project aims at developing a 2 vs 2 football video game, in which human players can interact and compete alongside AI-controlled agents, specifically trained using advanced reinforcement learning techniques. Throughout the game, the agents have been designed to progressively improve their performance, adapting to the dynamics of the match and offering an ever-increasing challenge to human players. The main focus of the project is to integrate autonomous agents capable of learning and evolving their strategies, providing a dynamic and personalized gaming experience, in which users face increasing levels of difficulty. This not only allows for a fluid and balanced interaction between humans and machines, but also drives innovation in the development of AI-based video games.

[es] Este proyecto tiene como objetivo el desarrollo de un videojuego de fútbol 2 contra 2, en el cual los jugadores humanos pueden interactuar y competir junto a agentes controlados por inteligencia artificial, específicamente entrenados mediante el uso de técnicas avanzadas de aprendizaje por refuerzo. A lo largo del juego, los agentes han sido diseñados para mejorar su rendimiento progresivamente, adaptándose a las dinámicas del partido y ofreciendo un desafío cada vez mayor a los jugadores humanos. El enfoque principal del proyecto es integrar agentes autónomos capaces de aprender y evolucionar en sus estrategias, brindando una experiencia de juego dinámica y personalizada, en la que los usuarios se enfrenten a niveles crecientes de dificultad. Esto no solo permite una interacción fluida y equilibrada entre humanos y máquinas, sino que también impulsa la innovación en el desarrollo de videojuegos basados en inteligencia artificial.
[en] The commercial and office area of ​​the Alameda neighborhood is current and traditional, located in the town of Sata Fé (Bogotá, Colombia) and whose core is made up of the traditional center of the city. Santa Fe includes the area of ​​government and corporate buildings on Carrera Séptima and Centro Internacional, the banking sector on Avenida Jiménez, as well as the traditional commercial district of San Victorino, which is one of the hubs of Bogotá's commerce. In addition, the sector also has some of the main universities in the country. The design of the construction project of an underground parking in the area aims to structure a project that guarantees the population that works, studies, carries out tourism or sporadic commercial exchanges in the area, an increase in the supply of parking spaces, providing comfort and security when disposing of their private vehicles. The developed project has legal, architectural and engineering standards in accordance with Colombian national standards.

[es] La zona comercial y de oficinas del barrio Alameda es actual y tradicional, ubicado en la localidad de Sata Fé (Bogotá, Colombia) y cuyo núcleo esta conformado por el centro tradicional de la ciudad. Santa Fe incluye la zona de los edificios gubernamentales y corporativos de la carrera Séptima y del Centro Internacional, el sector bancario de la avenida Jiménez, así como el tradicional barrio comercial de San Victorino, que es uno de los ejes del comercio bogotano. Además, el sector también cuenta con algunas de las principales universidades del país. El diseño del proyecto constructivo de un parking subterráneo en la zona tiene como objetivo estructurar un proyecto que garantice a la población que labora, estudia, realiza turismo o intercambios comerciales esporádicos en la zona, un aumento en la oferta de plazas de parking, brindando comodidad y seguridad al momento de la disposición de sus vehículos particulares. El proyecto desarrollado cuenta con estándares legales, arquitectonicos y de ingeniería acordes a normas nacionales colombianas.