BSC-LT/ACAData huggingface dataset:
[en] Mass tourism, of sun and beach, continues being one of the most active sectors in both urban and regional scales. However, despite its importance, it has not been properly integrated as a study field in the training education of future architects. The School of Architecture of the University of Malaga (Spain), since its foundation, identified this lack and included the tourism as a subject in its Study Programme. The objective was to create an approach to the touristic territory from architecture and landscape. This decision has represented an exercise of teaching innovation and its experiences are the central part of this paper.

[es] El turismo de masas, de sol y de playa, continúa siendo uno de los sectores más activos a escala urbana y territorial. Sin embargo, a pesar de su importancia, no se ha integrado como tema de estudio en la formación de los futuros arquitectos. La Escuela de Arquitectura de la Universidad de Málaga identificó estas carencias en su fundación e incluyó al turismo como materia de su Plan de Estudios. El objetivo fue acercarse al territorio turístico desde la arquitectura y el paisaje. Una decisión que también supuso un ejercicio de innovación docente y cuya experiencia centra el interés de este artículo.
[en] The approximate member query problem is a problem related to Big Data that consists of asserting if an element belongs to a dataset. In this thesis, we are going to study and implement some probabilistic data structures designed to face the approximate member query problem.

[es] El approximate member query problem es un problema relacionado con el Big Data que consiste en ver si un elemento forma parte de un dataset. En este trabajo de fin de grado, estudiaremos e implementaremos estructuras de datos probabilísticos diseñadas para afrontar el approximate member query problem.
[en] This work provides a vision from the global perspective of the increasing water pressure, the unconventional water resources and desalination, the evolution of desalination technology throughout the globe, the main costs and most common forms of public private participation, the development of energy recovery systems and use of renewable energy and the advantages, disadvantages and challenges of desalination technology in the coming years. Likewise, it also carries out an analysis from the Spanish perspective of the geographical, demographic and economic characterization of the territory, the evolution of water consumption and main water resources, the regulatory framework of hydrological planning and European framework directive, the evolution of desalination technology on the Spanish Mediterranean coast and the future of desalination in the context of the third cycle of hydrological planning. With all this, it is intended to answer the question of what should be the role of desalination as a source of water on the Spanish Mediterranean coast in the future.

[es] Este trabajo proporciona una visión desde la perspectiva global de la creciente presión hídrica, de los recursos hídricos no convencionales y la desalinización, de la evolución de la tecnología de la desalinización a lo largo del globo, de los principales costes y formatos más habituales de participación público privada, del desarrollo de sistemas de recuperación de energía y uso de energías renovables y de las ventajas, desventajas y retos de la tecnología de la desalinización en los próximos años. Asimismo, también lleva a cabo un análisis desde la perspectiva española de la caracterización geográfica, demográfica y económica del territorio, de la evolución del consumo de agua y de los principales recursos hídricos, del marco regulatorio de la planificación hidrológica y la directiva marco europea, de la evolución de la tecnología de la desalinización en el litoral mediterráneo español y del futuro de la desalinización en el contexto del tercer ciclo de planificación hidrológica. Con todo ello, se pretende dar respuesta a la pregunta de cuál debe ser el rol de la desalinización como fuente de recursos hídricos en el litoral mediterráneo español en el futuro.
[en] Due to its status as a port city, Guayaquil has undergone significant changes over the years. Defined by the importance of the Guayas River to the east, the city became a strategic point for the import and export of agricultural products, with the necessary infrastructure for this (docks, customs and places of sale and exchange). All this commercial movement led to an increase in population and urban fabric, mainly to the south and west. This generated a connection with Estero Salado and its different branches, which would give the city a new spatial conformation, providing spaces for activities of distraction, contemplation and sharing (hunting, spas and boating). The study of the evolution and impact of Estero Salado in the morphological development of Guayaquil is vital for the understanding of socio-spatial dynamics, which have generated a "modern" city with complex challenges and situations.

[es] Debido a su condición de ciudad – puerto, Guayaquil ha sufrido cambios significativos a través de los años. Definida por la importancia del Río Guayas hacia el este, la ciudad se tornó en un punto estratégico para la importación y exportación de productos agrícolas, contando con la infraestructura necesaria para esto (muelles, aduana y plazas de venta e intercambio). Todo este movimiento comercial propició un incremento poblacional y de la trama urbana, principalmente hacia el sur y oeste. Esto generó una conexión con el Estero Salado y sus diferentes ramales, lo que daría a la ciudad una nueva conformación espacial, brindando espacios para actividades de distracción, contemplación y compartir (caza, balnearios y paseos en bote). El estudio de la evolución e impacto del Estero Salado en el desarrollo morfológico de Guayaquil es vital para el entendimiento de las dinámicas socio-espaciales, que han generado una ciudad "moderna" con retos y situaciones complejas.
[en] This master's final project makes a contribution to an automatization of a medium power electric motor test bench. In first place the background of the Project is presented, the goals set, the working methodology and the structure that follows thsi document. In second place a compilation of test benches technical information is carried out, with the state of the art. The diferent existing types of test bench configurations are presented and which one is the most suitable for En segundo lugar luego se realiza una recopilación de información teórica sobre los bancos de ensayo mediante un estado del arte, se presentan las diferentes configuraciones the project needs. In third place the models of the different automatization options are built and described as from the state of the art technical information. In fourth place different simulations of the models are carried out to study and analize their behaviour and to debate later on the results of the two models, one in relation to the other so a final unique solution is obtained to later on be implemented in the test bench. In fifth place the procedures to implement the automatization are described, the required components are listed and a protocol is established as a guidelines for the set up of the automatization. In sixth place a list of the project developement costs is presented. Finally the conclusions future lines of investigation are presented.

[es] En este trabajo de final de máster de realiza una aportación sobre la automatización de un banco de ensayos para motores eléctricos de media potencia. En primer lugar se presentan los antecedentes de la línea de trabajo, los objetivos marcados, la metodología de trabajo y la estructura que sigue el documento. En segundo lugar luego se realiza una recopilación de información teórica sobre los bancos de ensayo mediante un estado del arte, se presentan las diferentes configuraciones de bancos existentes y se debate que tipo se adapta a las necesidades del proyecto. En tercer lugar se realiza un modelado de las diferentes propuestas de automatización obtenidas a partir de la información del estado del arte describiendo las características de cada modelo. En cuarto lugar se llevan a cabo diferentes simulaciones para estudiar el comportamiento de los modelos y posteriormente discutir los resultados obtenidos unos respecto de los otros para acabar con una sola propuesta final que sirva de solución para ser implementada. En quinto lugar se describe los procedimientos para implementar la propuesta final, se describe el equipamiento necesario y se establece un protocolo para la configuración de la automatización. En sexto lugar se hace una recopilación de los costes de desenvolupamiento del proyecto. Finalmente se exponen las conclusiones del proyecto y las futuras líneas de trabajo.
[en] It is no secret that computer software programs, computer hardware designs, and computer sys- tems in general exhibit errors. Testing and simulation methods can identify many significant problems, but for systems that have safety or economically critical requirements, exhaustive ver- ification is indispensable. Such exhaustive analysis can be performed with the use of formal verification methods. One approach to formal verification is model checking, which is a fully automated process based on the construction of abstract models to represent systems. These models are then checked against desired properties defining a specification, usually expressed in some temporal logic, such as linear temporal logic (LTL). Temporal properties can describe the ordering of events in time without introducing time explicitly, thereby being useful when verifying the possible executions of a system. This project aims to implement model checking algorithms that determine whether an LTL formula expressing a desired property is satisfied in a computing system.

[es] No es ningún secreto que tanto los sistemas software como hardware generalmente presentan errores. Los métodos de testeo y simulación pueden identificar muchos problemas importantes, pero para sistemas que tienen requerimientos de seguridad o que son económicamente críticos, es indispensable llevar a cabo una verificación exhaustiva. Tal análisis se puede realizar utilizando métodos de verificación formal. Un enfoque de la verificación formal es la verificación de modelos, que es un proceso totalmente automático basado en la construcción de modelos abstractos para representar sistemas. Poste- riormente, sobre estos modelos se comprueban propiedades deseadas del sistema, normalmente expresadas en alguna lógica temporal, como por ejemplo lógica linear temporal. Las propiedades expresadas con fórmulas de lógica linear temporal pueden describir el orden de los eventos en el tiempo sin describir el tiempo explícitamente. Por eso mismo, son útiles a la hora de verificar las posibles ejecuciones de un sistema. Este proyecto pretende implementar algoritmos de verificación de modelos que determinen si una fórmula de lógica linear temporal que exprese una propiedad de un cierto sistema es satisfecha por éste.
[en] This bachelor&#8217;s thesis states and economically quantifies the hydraulic elements and systems required in an enlargement of an industrial Water Resource Recovery Facility (WRRF or EDAR in Catalan) in a meat processing factory located in the Garrotxa region in Catalonia (Spain). The aforementioned enlargement is necessary due to the latest amplifications in the factory, which have overloaded the current WRRF and have caused its inability to process the residual waters to the quality standards required. Waste water treatment not only has to be bound by the boundaries and limitations established in the &#8220;ordenanca d&#8217;abocament d&#8217;aigues residuals de la Garrotxa&#8221;, but it also has to permit the obtainment of an effluent of quality to reduce the water rate that is currently being paid by the factory company. This proposal implies the incorporation of 4 sequential aerobic biological reactors (SBR) of 500 m3 each (2.000 m3 in total). The working capacity of the treatment plant is currently of around 480 m3/day. Furthermore, the enlargement will guarantee a working capacity of around 1.000m3/day with an organic load of 1.245 kg BODs/day and with an efficiency rate of more than 90%. Therefore, this engineering project describes the dimension of the biological treatment phase; the characterization of the systems and mechanisms that intervene in this new enlargement; the design and planning of the proposal; and, finally, the future automatic functioning of the Water Resource Recovery Facility.

[es] El presente proyecto final de grado propone y cuantifica economicamente los elementos hidraulicos y los automatismos que se requeriran en una ampliacion de una Estacion Depuradora de Aguas Residuales (EDAR) industriales dedicada al sector carnico situada en la Garrotxa. La ampliacion es necesaria debido a las ultimas ampliaciones de fabrica, ya que han ocasionado que la depuradora actual no sea capaz de tratar las aguas residuales producidas hasta la calidad requerida. El agua residual tratada no solamente debe cumplir con los lindares impuestos por la &#8220;ordenanca d&#8217;abocament d&#8217;aigues residuals de la Garrotxa&#8221;, tambien debe permitir obtener una calidad del efluente que reduzca el canon del agua que actualmente paga la industria. Esta propuesta conlleva la incorporacion de 4 reactores biologicos aerobios del tipo secuencial (SBR) de 500 m? cada reactor (2.000 m? totales). La capacidad de trabajo de la planta esta, actualmente, cerca de los 480 m?/dia. Con la ampliacion se garantiza una capacidad de trabajo de 1.000 m?/dia con una carga organica de 1.245 kg DBO&#8325;/dia y una eficiencia de mas del 90%. Asi, en este proyecto de ingenieria se describe el dimensionamiento de la fase del tratamiento biologico, la caracterizacion de los equipos y automatismos que intervienen en esta nueva ampliacion, el diseño y la planificacion de la propuesta y, finalmente, el futuro funcionamiento automatico de la depuradora.
[en] The project Web Platform for Auditing as a Service (WPAaaS) of inLabFIB - esCERT is in charge of the installation, configuration, and development of a server that serves a web platform through which external users can access to an ensemble of pre-configured auditing tools (SQL Injections, Cross-Site Scripting (XSS), etc,...) in a easy and comfortable way, and without any required specific knowledge about them, to audit different services or systems without having to install and configure the environment of the appropriate tools, and with the advantage of being tested from outside of the user environment. Furthermore, with the guarantee and security that esCERT provides to their auditing tools. This external users, through a contract or cession, will have access to specific users, to be able of monitoring bad usages of the platform, and know what have they done, as restricting access to the platform to them. That is why security has to be present and has an essential role on all the fields (network, access service, platform development, ...) of this new tool that esCERT will offer as web application.

[es] El proyecto Web Platform for Auditing as a Service (WPAaaS) de l'inLabFIB - esCERT se encarga de la instalación, configuración, y desarrollo de un servidor que sirva una plataforma web a través de la cual usuarios externos puedan acceder a un conjunto de herramientas de auditoria pre-configuradas (SQL Injections, Cross-Site Scripting (XSS), etc,...) de manera fácil y cómoda y sin conocimientos específicos de ´estas, para auditar diferentes servicios o sistemas sin tener que instalar y configurar el entorno y las herramientas adecuadas, y con la ventaja de ser testeado desde fuera del entorno del usuario. Además, con la garantía y seguridad que esCERT proporciona sobre sus herramientas de auditoría. Estos usuarios externos, a través de un contrato o cesión, tendrán acceso a usuarios concretos para poder, en caso de un mal uso de la plataforma, monitorizar fácilmente quién, cómo, y qué han hecho, así como restringir el acceso a la herramienta. Por eso la seguridad ha de estar presente y tiene un papel esencial en todos los ámbitos (red, servicio de acceso, desarrollo de la plataforma,...) de esta nueva herramienta que ofrecerá esCERT en forma de aplicación web.
[en] This study seeks to frame the digital gap related to the innovative mobility solutions in the region of Barcelona Metropolitan Area. To that end, the study applies a mixed-method approach, combining a literature review and a quantitative survey data analysis. The project results allow to advance on the understanding of the factors leading to the existing digital gap between mobility service provision and uptake. The literature review provides insight into the digital mobility-related gap which affects mainly groups at risk of exclusion, aggravating situations of poverty and social injustice. Furthermore, the project reports on findings from the user survey conducted in Barcelona, which forms part of the work done within the European project DIGNITY H2020. The results reveal gaps in the use of technology, highlighting particularly low levels of access and uptake among older people and those with low education levels, caused mainly by lack of confidence in using technologies, lack of digital skills, as well as limitations regarding safety and cost of the transport services. Finally, the study marks out some potential policy recommendations that can help urban planners, practitioners and transport services providers head towards sustainable, future-proof and inclusive urban mobility ecosystem.

[es] Este estudio busca enmarcar la brecha digital relacionada con las soluciones innovadoras de movilidad en la región del Área Metropolitana de Barcelona. Para ello, el estudio aplica un enfoque de método mixto, combinando una revisión de la literatura y un análisis de datos de una encuesta cuantitativa. Los resultados del proyecto permiten avanzar en la comprensión de los factores que conducen a la brecha digital existente entre la provisión de servicios de movilidad y su adopción. La revisión de la literatura proporciona una fotografía de la brecha digital relacionada con la movilidad que afecta principalmente a los grupos en riesgo de exclusión, agravando las situaciones de pobreza e injusticia social. Por otra parte, el proyecto analiza los resultados de la encuesta realizada en Barcelona, que forma parte del trabajo realizado dentro del proyecto europeo DIGNITY H2020. Las respuestas revelan brechas en el uso de la tecnología, destacando especialmente los bajos niveles de acceso y uso entre las personas mayores y las de bajo nivel educativo, provocados principalmente por la falta de confianza en el uso de las tecnologías, la falta de habilidades digitales, así como las limitaciones relacionadas con la seguridad y el coste de los servicios de transporte. Por último, el estudio señala algunas recomendaciones para potenciales políticas que pueden ayudar a los planificadores urbanos, a los profesionales y a los proveedores de servicios de transporte a avanzar hacia un futuro ecosistema de movilidad urbana sostenible e inclusivo.
[en] Coastal territories have historically been attractive cultural, economic and administrative centers. Guayaquil, Ecuador located in the Gulf of Guayaquil- the largest estuarine system in the pacific coast of south America- is the country´s main port and economic center. From the 1950s, urban growth has been clearly determined by private real estate investments that have led to strong territorial fragmentation, environmental deterioration, and acute socio-spatial segregation. The new expansion area of the city is debated between the private and the protected. The intense subdivision of its territory gives way to an ever-increasing construction private neighborhood that not only threatens the presence of nature reserves, watercourses, forests and hills, but also accentuate the exclusive and segregated character of the city. Based on information obtained during fieldwork, this article aims to demonstrate through a series of interpretive maps, the spatial transformation of this territory revealing the socio-environmental conflicts inherent in the current expansion model in relation to areas of high ecological value.

[es] Los territorios litorales han sido históricamente atractivos como centros culturales, económicos y administrativos. Guayaquil, Ecuador es el centro económico y puerto principal del país está localizada en la Cuenca del Guayas y el Golfo de Guayaquil que son respectivamente, la cuenca y el sistema estuarino más grande de la costa del Pacifico en América del Sur. Desde 1950, el crecimiento urbano ha estado claramente determinado por inversiones inmobiliarias privadas que han llevado a una fuerte fragmentación territorial, deterioro ambiental y aguda segregación socioespacial. El crecimiento urbano en la nueva zona de expansión al oeste de la ciudad se debate entre lo privado y lo protegido. La intensa parcelación de su territorio da paso a la creciente construcción de urbanizaciones cerradas que no solo amenaza la presencia de reservas naturales, cursos de agua, bosques y cerros, sino que acentúan el carácter excluyente de la ciudad. Basados en información obtenida durante trabajo de campo, este articulo pretende evidenciar a través una serie de mapas interpretativos, la transformación espacial de este territorio revelando los conflictos socioambientales inherentes al actual modelo de expansión en relación con áreas de alto valor ecológico.
[en] Currently our society is based on the transfer of information and the Internet is the main cause of achieving a fully globalized world. This work deals with the transmission of data via WiFi and mobile data to a database implemented in a virtual machine at a server in the UPC. To achieve this, two Arduino boards linked with an ultrasonic sensor and a photoresistor sensor have been used. The first board used was the MKR WiFi 1010, which is the responsible for WiFi connectivity, and the second one was the MKR GSM 1400 board, which is the one that allows connection via mobile data. In addition, since this project develops a service, the simulation of the creation of a company called "YourData" has been carried out, which offers its services through an informative website.

[es] Actualmente, nuestra sociedad se basa en el traspaso de información y es Internet el mayor causante de lograr un mundo plenamente globalizado. Este trabajo trata sobre la transmisión de datos vía WiFi y datos móviles a una base de datos implementada en una máquina virtual en un servidor de la UPC. Para lograrlo, se han utilizado dos placas Arduino enlazadas con un sensor ultrasónico y uno fotorresistor. La primera placa empleada ha sido la MKR WiFi 1010, que es la que se encarga de la conectividad WiFi y la segunda ha sido la placa MKR GSM 1400, que es la que permite la conexión mediante datos móviles. Finalmente, dado que este proyecto desarrolla un servicio, se ha llevado a cabo la simulación de la creación de un negocio llamado "YourData" el cual ofrece sus servicios a través de una web informativa.