Search

Aquest projecte, elaborat a l'inLab FIB UPC, aporta una nova solució al marc de la navegació per espais d'interior basada en la predicció del moviment de l'usuari a partir de les lectures de la unitat inercial d'un telèfon intel·ligent, és a dir, eines com l'acceleròmetre o el giroscopi. Juntament amb l'Autoritat del Transport Metropolità (ATM), s'ha aconseguit un sistema que permet guiar amb precisió als usuaris per les seves instal·lacions sense necessitat de geolocalització. No només això, sinó que el sistema resultant és modular i es pot fer servir com a mòdul de detecció de moviment a qualsevol aplicació mòbil. El sistema, basat en un model d'Intel·ligència Artificial, pot donar suport a tota mena de moviments, des de caminar a Persones amb Mobilitat Reduïda en cadira de rodes, si se l'entrena en el tipus de moviment corresponent. A més a més, és prou lleuger i eficient per poder executar-se fàcilment en un dispositiu mòbil, mostrant a l'usuari el seu moviment en temps real. Competeix amb sistemes similars desenvolupats per empreses del sector de la navegació per una fracció del cost i els recursos. A més d'això té l'objectiu de fer-se públic, permetent a altres desenvolupadors entrenar els seus propis models i poder integrar-ho amb les seves aplicacions., This project, developed at inLab FIB UPC, provides a new solution for indoor navigation based on predicting user movement from the readings of a smartphone's inertial unit, such as accelerometers or gyroscopes. In collaboration with the Autoritat del Transport Metropolità (ATM), a system has been achieved that allows users to be guided accurately through their facilities without the need for geolocation. Not only that, but the resulting system is modular and can be used as a motion detection module in any mobile application. The system, based on an Artificial Intelligence model, can support all kinds of movements, from walking to assisting Persons with Reduced Mobility in wheelchairs, if trained on the corresponding type of movement. Furthermore, it is lightweight and efficient enough to run easily on a mobile device, displaying the user's movement in real-time. It competes with similar systems developed by companies in the navigation sector at a fraction of the cost and resources. Additionally, it aims to be made public, allowing other developers to train their own models and integrate it into their applications.

Zinklar és una empresa del sector dels estudis de mercat que obté informació dels consumidors a través d'enquestes breus en dispositius mòbils. Sovint es troben amb dificultats estimant el nombre de panelistes que necessiten per obtenir la mostra demanada pels clients i omplir de forma fluïda les quotes requerides. Des de l'inLab FIB s'han analitzat les dades dels projectes realitzats per Zinklar per dissenyar un simulador d'enquestes que permeti obtenir resultats artificials de manera instantània. Això permetrà valorar i comparar els efectes de diferents estratègies en gestió de l'arribada de panelistes. Aquest treball es centra en el disseny i el desenvolupament d'aquest simulador d'enquestes, però també en la posterior calibració i validació, ja que la seva utilitat depèn de la seva capacitat de produir resultats realistes. Addicionalment, inclou l'encapsulament de la solució obtinguda en un microservei per poder ser integrat en l'ecosistema de Zinklar., Zinklar is a company dedicated to market research that gathers information on consumers through brief surveys on mobile devices. They often have trouble estimating the number of panelists needed to reach the sample requested by the clients and filling the required quotas fluently. In inLab FIB, Zinklar's past projects have been analyzed so as to design a survey simulator capable of producing artificial results instantaneously. This will allow Zinklar to analyze and compare the effects of different strategies in managing the panelists' arrival. This project is focused on the design and the development of said survey simulator, but also on its posterior tuning and validation, since its utility depends on its capability to produce realistic results. Additionally, it includes the encapsulation of the obtained solution in a microservice in order to be integrated in Zinklar's ecosystem.

Projecte centrat en el desenvolupament i desplegament d'un sistema d'extracció de certs camps clau d'un tiquet d'incidències. Aquest sistema s'anomena "TSC" (Ticket System Collector) i no només conté la part d'extracció d'informació sinó que també es desenvolupa la part de l'extracció i preprocessament del tiquet abans de l'extracció i l'anonimització i emmagatzematge del resultat. Els tiquets estan emmagatzemats en un sistema de gestió de tiquets de codi obert: OTRS, es guarden a una base de dades: Elasticsearch i s'anonimitzen amb un filtre Logstash. L'extracció dels camps ha sigut la part més rellevant del desenvolupament del projecte i també la que ha requerit més temps. S'ha provat molts models del llenguatge natural i s'ha fine-tunejat amb diverses tècniques i conjunts de dades., Aquest informe descriu un projecte desenvolupat per millorar la gestió d'incidents en una empresa de ciberseguretat mitjançant l'ús d'un model de Processament del Llenguatge Natural (NLP). L'objectiu principal és l'extracció de certs camps dels tiquets d'incidents, completant un sistema automàtic per la millor experiència d'usuari. El projecte aborda els reptes del volum creixent i complexitat dels incidents de ciberseguretat, utilitzant un model de NLP que ha estat perfeccionat per comprendre els matisos lingüístics i contextuals dels textos d'entrada, tenint en compte les limitacions tècniques presents. La solució implementada inclou un procés complet de l'extracció de la informació, que inclou la recuperació dels tiquets, les tècniques de preprocessament adaptades i l'extracció de característiques clau. S'emfatitza la seguretat i la confidencialitat de la informació delicada durant tot el procés. La implementació d'aquest sistema no només millora l'eficiència operativa, sinó que també contribueix a millorar la resposta a les amenaces cibernètiques en constant evolució i enforteix la postura de ciberseguretat de l'empresa i la comunitat en general.

Ontology-based data access (OBDA) és un model d'integració de dades àmpliament utilitzat per gestionar sistemes amb múltiples fonts de dades. La seva abstracció de les implementacions concretes de les bases de dades a usar permet crear sistemes més grans alhora que més usables i mantenibles. Malgrat l'extensa bibliografia relacionada amb els sistemes d'OBDA i les abundants solucions que usen aquest model d'integració de les dades, a dia d'avui encara no existeixen eines ni procediments per fer testing integral d'aquest tipus de sistemes. En aquesta memòria presentem IMP-Reasoner, un raonador sobre lògica de primer ordre que permet atendre a les necessitats de testing integral dels sistemes d'OBDA tant en la fase de disseny com en la d'implementació. En aquest informe es presenta el problema en qüestió en la profunditat necessària, així com els fonaments teòrics i la implementació concreta d'aquesta solució que aspira a oferir als desenvolupadors un mecanisme fiable per comprovar la correctesa dels seus productes. Per demostrar el valor de la solució proposada, s'acompanyen les reduccions teòriques necessàries i la documentació respecte la implementació feta d'aquest enginy de raonament amb un conjunt d'experiments que mostren la factibilitat i utilitat de la nostra proposta., Ontology-based data access (OBDA) is a widely used data integration model for managing systems with multiple data sources. Its abstraction from the implementations of the databases to be used allows for the creation of larger systems that are easier to use and maintain. Despite the extensive literature related to OBDA systems and the abundant solutions that use this data integration model, there are still no tools or procedures for comprehensive testing of this type of system. In this report, we present IMP-Reasoner, a first-order logic reasoner that addresses the needs for integral testing of OBDA systems in both the design and implementation phases. This report provides an in-depth presentation of the problem at hand, as well as the theoretical foundations and concrete implementation of this solution, which aims to offer developers a reliable mechanism to ensure their products operate correctly. To demonstrate the value of the proposed solution, the necessary theoretical reductions and the documentation regarding the implementation of this reasoning engine are accompanied by a set of experiments that showcase the feasibility and utility of our proposal.

Avui en dia, l'automatització empresarial s'ha convertit en un element crucial per tal de millorar l'eficiència i la competitivitat dins les organitzacions. En reduir la intervenció manual i optimitzar cada cop més processos, les empreses poden adquirir una productivitat molt més elevada, una major precisió i una disminució en els seus costos. En aquest context neix la idea d'aquest projecte, "Evolució i automatització de dades estàtiques per al NXDst", el qual, desenvolupat en col·laboració amb Omron, té com a objectiu dissenyar, implementar i gestionar un sistema que permeti a Omron millorar la traçabilitat i gestió de les seves dades. La solució inclou l'adaptació d'un software existent i implementació d'un sistema de base de dades amb una aplicació web conjunta. Aquest projecte aborda diferents reptes i riscos, a través d'una planificació curosa i segueix una metodologia i avaluació de sostenibilitat per aportar beneficis econòmics i socials a l'empresa., Today, business automation has become a crucial element in order to improve efficiency and competitiveness within organizations. By reducing manual intervention and optimizing more and more processes, companies can acquire much higher productivity, greater precision and a decrease in their costs. In this context, the idea of this project, "Evolution and automation of static data for the NXDst", was born, which, developed in collaboration with Omron, aims to design, implement and manage a system that allows Omron to improve the traceability and management of its data. The solution includes the adaptation of an existing software and implementation of a database system with a joint web application. This project addresses different challenges and risks, through careful planning and follows a methodology and sustainability evaluation to bring economic and social benefits to the company.

Garantir l'accessibilitat als serveis a tots els ciutadans és primordial per construir una societat inclusiva i equitativa. Només a Espanya, 1.4 milions de Persones amb Mobilitat Reduïda (PMR) afirmen tindre dificultats amb el transport. Únicament amb aquesta dada, es posa de manifest la necessitat de continuar invertint en tecnologies i sistemes que siguin accessibles per a totes les persones, independentment de les seves capacitats físiques, amb el fi de millorar la qualitat de vida de qui més ho necessita. La nostra aportació, en forma d'aquest projecte, a favor d'una societat més inclusiva que pren en compte les necessitats de les persones que utilitzen cadires de rodes, és el desenvolupament d'un sistema de guiatge per aquest col·lectiu. Al llarg d'aquest document, presentem un model que permet el monitoratge de la posició d'una cadira de rodes mitjançant sensors, fins i tot, on no tenim senyal GPS, així com, el guiatge per rutes definides. Pel seu ús, el model ha sigut integrat en l'aplicació Enllaç ATM, una aplicació mòbil de visualització de rutes en Realitat Augmentada, amb l'objectiu de fer accessible aquesta eina als usuaris de cadires de rodes. L'entorn on aquesta nova solució serà aplicada és al guiatge dins d'estacions de la xarxa de transports públics de Barcelona administrades per ATM, on s'inclou la xarxa de metro i tram de Barcelona i la xarxa de tren ADF. Aquest Treball de Fi de Grau, realitzat en el marc d'un conveni de cooperació amb l'inLab FIB, laboratori d'innovació i recerca de la Facultat d'Informàtica de Barcelona, compta com a col·laborador amb l'Autoritat de Transport Metropolità de Barcelona. Aquesta relació neix del desig de millorar l'accessibilitat de les PMR a la xarxa de transports públics on ATM és l'empresa encarregada d'articular la cooperació entre organismes públics i privats que operen aquests serveis., Ensuring accessibility to services for all citizens is essential to build an inclusive and equitable society. In Spain alone, 1.4 million People with Reduced Mobility (PRM) claim to have difficulties with transportation. This fact alone already highlights the need to continue investing in technologies and systems that are accessible to all people, regardless of their physical abilities, in order to improve the quality of life of those who need it most. Our contribution, in the form of this project, is in favor of a more inclusive society that takes into account the needs of people who use wheelchairs. To archive this goal, we have developed a guidance system for this group. Throughout this document, we present a model that allows the monitoring of the position of a wheelchair by sensors, even where there is no GPS signal, as well as the guidance for given routes. For its use, the model has been integrated into the application Enllaç ATM, a mobile application for visualization of routes in Augmented Reality, with the aim of making this tool accessible to wheelchair users. The environment where this new solution will be applied is the guidance within the stations of the public transport network of Barcelona managed by ATM, which includes the metro and tramway network of Barcelona and the ADF train network. This Bachelor's thesis, or Treball de Fi de Grau, carried out within the framework of a cooperation agreement with inLab FIB, innovation and research laboratory of the Faculty of Informatics of Barcelona, has as a collaborator the Autoritat de Transport Metropolità of Barcelona (ATM). This relationship stems from the desire to improve the accessibility of PRM in the public transport network where ATM is the company in charge of articulating the cooperation between public and private organizations that operate these services.

L'Anorèxia Nerviosa és una malaltia mental que afecta una gran part de la població. Hi ha estudis i tractaments de tota mena encarats a curar aquesta malaltia, que fan ús de tècniques molt diverses. Un tractament que està sorgint últimament fa ús de la Realitat Virtual (RV). Aquest projecte presenta un mètode per a millorar un d'aquests tractaments en RV, creant un mòdul que realitza un seguiment del cos sencer, creant una experiència més immersiva i millorant els efectes de l'eina. Addicionalment, es proposa i desenvolupa una nova eina, que fa ús de tècniques de Realitat Augmentada (RA) per dur a terme la mateixa tasca que en RV, però sense la molèstia d'usar un casc de RV., Anorexia Nervosa is a mental illness that affects a great number of the population. There are studies and treatments of many types that try to cure this disease using all kinds of tools. One type of treatment that is emerging lately uses virtual reality (VR). This thesis presents a method to improve one of these treatments in VR, creating a module that performs Full Body Tracking, creating a more immersive experience and improving the effectiveness of the tool. Additionally, a new tool for treatment is proposed and developed, which uses augmented reality (AR) technologies to perform the same task as in VR, but without the nuisance of wearing a Head Mounted Display.

La gestió dels horaris en els centres educatius consisteix a relacionar totes les unitats estructurals del funcionament del centre: alumnes, professors, espais, assignatura, recursos, hora, dia... Tot plegat un trencaclosques per a tots els equips directius. Gwido és una aplicació web que gestiona centres educatius, especialitzada en centres de música. L'objectiu d'aquest treball és desenvolupar un editor d'horaris interactiu, eficient i fàcil d'utilitzar per a la plataforma de gestió educativa Gwido. Actualment, els horaris s'editen modificant les dades en un formulari. L'alternativa que hem implementat mostra els horaris amb una línia de temps multipista, semblant als editors de produccions audiovisuals. D'aquesta manera els horaris apareixen horitzontalment en diferents franges per cada espai. Això permet editar els horaris en aquesta visualització, d'una manera més còmoda només amb accions del ratolí (arrossegar, redimensionar i dividir)., The management of schedules in educational centers involves relating all the structural units of the center's operation: students, teachers, room, subjects, material, time, day... A complete puzzle for all management teams. Gwido is a web application that manages educational centers, specialized in music schools. The objective of this work is to develop an interactive, efficient, and easy-to-use schedule editor for the Gwido educational management platform. Currently, schedules are edited by modifying the data in a form. The alternative we have implemented displays the schedules with a multi-track timeline, similar to audiovisual production editors. In this way, the schedules appear horizontally in different lines for each room. This allows editing the schedules in this view more comfortably with mouse actions only (dragging, resizing, and splitting).

En aquests últims anys, la manera de realitzar estudis de mercat ha canviat radicalment. La informació que s'aconseguia abans en una setmana, demanant l'opinió de la gent pel carrer o a través de trucades telefòniques, ara es pot fer en qüestió d'hores a través d'aplicacions de mòbil. A més, permet aconseguir molta més informació valuosa que abans era impossible sense fer una inversió molt gran, com aconseguir opinions de persones d'un altre país. Ara bé, aquest canvi comporta també nous reptes que s'han de superar per mantenir la qualitat dels estudis. Un d'aquests reptes és assegurar que els demogràfics de la mostra utilitzada en l'estudi estan distribuïts correctament. En aquest treball, s'estudia aquest problema en concret, buscant tant la solució òptima fent un seguit d'assumpcions, com una solució per al cas real que pugui ser utilitzada sense alentir el procés ni haver de malgastar molts recursos. Per aconseguir-ho, s'han utilitzat les dades d'una empresa espanyola del sector, Zinklar, qui està interessada a utilitzar els resultats obtinguts per millorar la gestió del servei que ofereixen., In recent years, the way market research is conducted has changed dramatically. The information that used to be obtained in a week, by asking people on the street or through phone calls, can now be gathered in a matter of hours via mobile applications. Furthermore, it allows for the collection of much more valuable information that was previously impossible without making a significant investment, such as obtaining opinions from people in another country. However, this change also brings new challenges that must be overcome to maintain the quality of the studies. One of these challenges is ensuring that the demographics of the sample used in the study are correctly distributed. This TFG is focused on this problem, seeking both the optimal solution making a series of assumptions, and a solution for the real case that can be used without slowing down the process or wasting many resources to achieve it. To achieve this, Zinklar, a Spanish company in the sector who is interested in using the obtained results to improve the management of the service they offer, has provided the needed data.

El model de resolució de problemes científics definits per equacions diferencials parcials PGD és molt utilitzat en el sector d'investigació. A LaCàN fa anys que estudien i desenvolupant un model que anomenen encapsulated PGD que apunta a extendre les capacitats de l'algorisme. Per a això, proposen un seguit de procediments per a realitzar càlculs entre tensors separats, els objectes principals amb els quals la PGD treballa. L'objectiu del projecte és portar aquests anys d'estudi a la realitat en format de codi obert. Per a funcionar correctament, tots els algorismes han de ser el màxim d'eficients possibles, ja que estem parlant de matrius de magnituds de milions de files i columnes. A més, es proposa l'ús de tècniques de paral·lelisme per tal de donar oportunitat d'executar problemes de grans dimensions en el menor temps possible., The model for solving scientific problems defined by partial differential equations PGD is widely used in the research sector. At LaCàN they have been studying and developing a different approach called encapsulated PGD that aims to extend the capabilities of the algorithm. For this, they propose a series of procedures to perform calculations between separated tensors, the main objects which the PGD works with. The goal for the project is to bring these years of study to reality in open source format. To properly work, all algorithms must be as efficient as possible, since we are talking about matrices with millions of rows and columns. In addition, the use of parallelism techniques is proposed in order to give the opportunity to execute large problems in the shortest possible time.

A l'hora de mudar-se a una ciutat o país nou, poden haver-hi diferents aspectes del procés de mudança que puguin ser desconeguts i difícils per una persona - cada lloc pot requerir tenir certs documents nous dels quals un no sap res, potser s'ha de tenir un compte bancari d'un banc local, igual que és possible que buscar habitatge en una àrea desconeguda sigui difícil. Moltes vegades tot aquest procés de reubicació també conté barrera lingüística. Aquí és on els serveis de reubicació entren en joc. La feina d'un agent de reubicació es basa a ajudar a persones que passen per aquest procés. La feina inclou traducció de documents, proporcionar explicacions sobre els processos necessaris que s'han de seguir perquè una persona pugui viure a una ciutat nova, ajudar a les persones amb la cerca d'habitatge i amb les firmes de contractes, entre d'altres. Tots aquests processos s'han de gestionar de forma eficient pels agents de reubicació - si feta correctament, és una feina que requereix un alt grau d'organització. El propòsit d'aquest projecte és especificar, dissenyar i implementar la lògica d'una aplicació que es farà servir com a eina de gestió pels agents de reubicació, proporcionant un espai on tenir la informació de cada un dels seus clients., When people move to a different city or even country, there are many aspects of the moving process that can be new and unknown - living in a new place may require having documents one has never heard of before, a new bank account, having to find a new place to live without having any real knowledge of the area. Sometimes this transition is also harder due to a language barrier. This is where the relocation services come into play. A relocation agent's job is based on helping people with the whole relocation process. That includes translating documents, explaining the necessary procedures that need to be followed for the person that is moving to be able to live in the city they're moving to, helping the client with apartment/house search and contract signatures, etc. All these procedures need to be managed correctly and efficiently by the relocation agent, and if done correctly, it's a highly organized job. The aim of this project is to specify, design and develop the logic of an application that is to be used as a management tool by relocation agents, by allowing them to have all their clients' information in one place.

One of the most difficult, time-consuming and error-prone tasks during software testing is that of manually generating the data required to properly run the test. This is even harder when we need to generate data of a certain size and such that it satisfies a set of conditions, or business rules, specified over an ontology. To solve this problem, some proposals exist to automatically generate database sample data. However, they are only able to generate data satisfying primary or foreign key constraints but not more complex business rules in the ontology. We propose here a more general solution for generating test data which is able to deal with expressive business rules. Our approach, which is entirely based on the chase algorithm, first generates a small sample of valid test data (by means of an automated reasoner), then clones this sample data, and finally, relates the cloned data with the original data. All the steps are performed iteratively until a valid database of a certain size is obtained. We theoretically prove the correctness of our approach, and experimentally show its practical applicability., This work is partially supported by the SUDOQU project, PID2021-126436OB-C21 from MCIN/AEI, 10.13039/501100011033, FEDER, UE and by the Generalitat de Catalunya, Spain (under 2017-SGR-1749); Sergi Nadal is partly supported by the Spanish Ministerio de Ciencia e Innovación , as well as the European Union - NextGenerationEU, under project FJC2020-045809-I., Peer Reviewed, Postprint (published version)

The Internet of Things (IoT) involves the use of devices that exchange information about the state of things in the real world. In IoT, monitoring is regarded to be the most fully researched use case. However, research on the use and manipulation of control and maintenance applications has not yet been fully addressed. An important step forward in this direction may be provided by executing automatic context-aware actuations. These may be achieved by delivering responses based on the context gathered with components endowed in some device. In this paper, we propose a solution that uses ontological knowledge for this purpose, thus improving the interoperability of IoT devices. We focus on real-time data collection to fully automate monitoring, context gathering, and appropriate responses. Our proposal is illustrated via the lens of a railroad use case, where maintaining track safety is critical to avoid accidents., This work is partially funded by Industrial Doctorates from Generalitat de Catalunya (2019 DI 001), the SUDOQU project, PID2021-126436OB-C21 from MCIN/AEI, 10.13039/ 501100011033, FEDER, UE, and the Grup de Recerca Consolidat IMP, 2021-SGR-01252., Peer Reviewed, Postprint (author's final draft)

The Internet of Things (IoT) represents a powerful new paradigm for connecting and communicating with the world around us. It has the potential to transform the way we live, work, and interact with our surroundings. IoT devices are transmitting information over the Internet, most of them with different data formats, despite they may be communicating similar concepts. This often leads to data incompatibilities and makes it difficult to extract the knowledge underlying that data. Because of the heterogeneity of IoT devices and data, interoperability is a challenge, and efforts are underway to overcome this through research and standardization. While data collection and monitoring in IoT systems are becoming more prevalent, contextualizing the data and taking appropriate actions to address issues in the monitored environment is still an ongoing concern. Context Awareness is a highly relevant topic in IoT, as it aims to provide a deeper understanding of the data collected and enable more informed decision-making. In this paper, we propose a semantic ontology designed to monitor global entities in the IoT. By leveraging semantic definitions, it enables end-users to model the entire process from detection to action, including context-aware rules for taking appropriate actions. The advantages of using semantic definitions include more accurate and consistent data interpretation, which improves the overall monitoring process and enables more effective decision-making based on the collected insights. Our proposal includes semantic models for defining the entities responsible for monitoring and executing actions, as well as the elements that need to be considered for an effective monitoring process. Additionally, we provide a new definition for the components known as gateways, which enable the connection and communication between devices and the Internet. Finally, we show the benefits of our ontology by applying it to a critical infrastructure domain where a rapid response i, This work is partially funded by Industrial Doctorates from Generalitat de Catalunya (2019 DI 001), the SUDOQU project, PID2021-126436OB-C21 from MCIN/AEI, 10.13039/501100011033, FEDER, UE, and the Grup de Recerca Consolidat IMP, 2021 SGR-01252., Peer Reviewed, Postprint (published version)

SQL és el principal llenguatge utilitzat per consultar i interactuar amb dades de bases de dades relacionals. Tot i això, SQL no permet raonar sobre les consultes tal com es pot fer des del càlcul relacional, que permet expressar consultes sobre el model relacional directament amb lògica de primer ordre. Gràcies a l'equivalència d'expressivitat entre l'àlgebra relacional i el càlcul relacional, però, es poden fer traduccions d'expressions entre SQL i lògica de primer ordre. Això és molt útil perquè permet raonar sobre consultes SQL sense haver de dependre dels matisos sintàctics de les seves implementacions. En aquesta tesi es presenta IMP-BLAST, un traductor automàtic i bidireccional entre expressions d'SQL i lògica de primer ordre. El traductor compta amb dues estratègies de traducció diferents i es centren concretament a poder expressar assercions SQL com a restriccions lògiques i viceversa. També forma part del projecte l'especificació d'un metamodel d'SQL estàndard, necessari per al traductor, i la seva implementació amb l'eina IMP-SQL. Finalment, i per demostrar el valor de les eines desenvolupades s'han integrat amb l'eina de comprovació incremental d'assercions SQL TINTIN, substituint les traduccions antigues per les ofertes per IMP-BLAST., SQL is the main language used to query data in relational databases and interact with them. However, languages like relational calculus are far superior at reasoning and interacting with relational queries due to the proximity with first order logic. Thanks to the equivalence in expression power between relational algebra and relational calculus, expressions can be translated between SQL and first-order logic. This is very useful as it allows you to reason about SQL queries without having to depend on the nuances of their implementations. This thesis presents IMP-BLAST, an automatic and bidirectional translator between SQL expressions and first-order logic. The translator has two different translation strategies and they focus specifically on mapping SQL assertions as logical constraints and vice versa. The specification of a standard SQL metamodel is also included in the project since it is needed by the translator. Its implementation, the IMP-SQL tool, is also documented. Finally, and to demonstrate the value of the developed tools, both have been integrated with the incremental integrity checking tool over SQL assertions TINTIN, replacing the old translations with the ones offered by IMP-BLAST.

Avui dia el paisatge urbà es troba en procés de transformació per adaptar-se a tots els transeünts, incloent les Persones amb Mobilitat Reduïda (PMR) que fan ús d'ajuts i vehicles de mobilitat personal. La demogràfica en la qual s'ha centrat aquest projecte, els usuaris de cadires de rodes, pot trobar-se amb obstacles a la via que els faci minvar l'autonomia, o que senzillament no puguin superar (ja siguin desnivells que les rodes no siguin capaces de sobrepassar, forats on es quedin encallats, pendents massa acusades que els faci bolcar). Si bé ja s'està innovant en aquest camp, introduint cadires de rodes motoritzades cada cop més accessoritzades per ser el màxim d'autònomes possible i vehicles elèctrics de dues rodes que poden fins i tot pujar escales, les solucions no són accessibles per la majoria. Són cares, exigeixen un manteniment alt i poden resultar aparatoses perquè tendeixen a engrandir les cadires de rodes amb apèndixs i components voluminosos. Amb l'objectiu de contribuir a la millora de la qualitat de vida de les PMRs, almenys en l'àmbit del seu desplaçament quotidià, aquest projecte es proposa oferir un disseny d'un robot acoblable a cadires de rodes no motoritzades: capaç de ser encaixat al vehicle que ho necessiti, de fàcil control mitjançant una interfície acomodable a l'usuari i equipat amb sistemes per elevar el seient i adaptar el sistema de motorització al terreny per poder salvar els obstacles que les erugues que l'impulsen no puguin per si soles., Nowadays the cityscape finds itself in a transformation process to adapt to all pedestrians, including People with Reduced Mobility (PMR) that use assistance and personal transporters. The demographic in which this project has focused, the wheelchair users, can find obstacles in the way that diminish their autonomy, or that they simply cannot overcome (unevennesses the wheels are not able to top, holes in which they might get stuck, slopes that are too steep and might make them overturn). Although this area is already undergoing an innovation process, introducing motorised wheelchairs ever more accessorised so they are as autonomous as possible and two-wheeled electric vehicles even able to climb stairs, the solutions are hardly accessible to most. They are expensive, call for high maintenance and can be bulky as they tend to enlarge the wheelchairs with appendixes and voluminous components. With the objective of contributing to the bettering of the PMRs' quality of life, at the very least within their quotidian movement, this project aims to offer a design of a robot that couples to non motorised wheelchairs: capable of being fitted to the vehicle needing it, easily controllable through an interface adaptable to the user and equipped with systems to elevate the seat and adapt the motorising system to the terrain in order to be able to overcome the obstacles the tracks that power it might find themselves unable to go over on their own.

En aquesta memòria es presenten totes les anàlisis resultants del treball dut a terme en el meu treball final de grau en el marc de la col·laboració entre l'inLab FIB i KaptureIO, per millorar l'eficiència i la qualitat en línies de producció de les Indústries 4.0. Actualment, es realitza un control de qualitat a partir de la combinació de dos mètodes ben diferenciats. Per començar, s'executa un control de toleràncies en les quals, a partir de la mesura de múltiples punts en el vehicle, es detecten possibles errates en el procés productiu. Tot seguit, si es detecta alguna errata, es du a terme una parada en la línia i s'elabora una anàlisi manual, el qual permetrà concloure les modificacions a dur a terme. En aquest projecte s'han analitzat les diferents variables que intervenen en el control de qualitat, buscant desenvolupar algorismes capaços d'anticipar-se a les possibles futures errates. A partir de la implementació d'algorismes d'aprenentatge automàtic s'ha assolit l'anticipació, virtualment, del 71.4% d'errates. Així doncs, els resultats d'aquest projecte suposen un pas endavant en la millora de l'eficiència i la qualitat en les línies de producció, gràcies al fet que es detecten amb anticipació les possibles errates o desviacions en la fabricació dels vehicles. Finalment, gràcies als resultats assolits, l'empresa vol continuar col·laborant amb nosaltres amb objectius més ambiciosos., This report presents all the analyzes resulting from the work carried out in my final degree work in the framework of the collaboration between the inLab FIB and KaptureIO, to improve the efficiency and quality in production lines of Industries 4.0. Currently, quality control is carried out using a combination of two distinct ways. To begin, a tolerance control is performed in which probable mistakes in the manufacturing process are recognized based on measurements of several points on the vehicle. If a mistake is identified, the line is stopped and a manual analysis is performed, allowing the alterations to be carried out to be completed. In this study, the various variables involved in quality control were examined in order to develop algorithms capable of anticipating potential future faults. Based on the application of machine learning techniques, a virtual prediction of 71.4% of mistakes has been obtained. As a result, the outcomes of this study constitute a step forward in improving efficiency and quality in production lines, because potential errors or deviations in car manufacturing are spotted in advance. Finally, as a result of the achievements obtained, the company want to continue partnering with us on more ambitious aims.

Les fòbies són un trastorn comú de l'ansietat que afectes a milions de persones d'arreu del món i que rarament són tractades. Gairebé tots sabem d'algú que té alguna por irracional, si no la tenim nosaltres mateixos, i aquest treball pretén donar una solució a la gent que pateix de talassofòbia, la por al mar. Potser per a alguns aquesta por sols suposa un obstacle més gran que per d'altres, però, en qualsevol cas, limita la seva capacitat de fer activitats que involucrin cossos d'aigua profunds. Els sistemes de realitat virtual són cada cop més populars en tots els àmbits, especialment ara que el Metavers ha passat a ser primera plana en telenotícies i diaris, prometent la nova tecnologia d'interacció amb la xarxa i el contingut virtual. No obstant, la realitat virtual s'ha estat utilitzant per altres propòsits des de ja fa temps, i un d'aquests és com a eina de suport a la teràpia d'exposició, el tractament més comú per a les fòbies. Aquest treball, doncs, es centra en crear un programa en realitat virtual que serveixi com a una eina més per a que els terapeutes puguin dur a terme la teràpia d'exposició per a la talassofòbia des de la seva consulta., Phobias are a common anxiety disorder that affects millions of people around the world, but rarely are they treated. Almost everyone knows of someone who has some irrational fear if we do not have it ourselves. This project aims to provide a solution for people suffering from thalassophobia, the fear of the sea. Even though this fear is an obstacle that may hinder some more than others, it limits one's ability to do activities that involve deep bodies of water regardless. Virtual reality systems are increasingly popular across the board, especially now that the Metaverse has become front page in news channels and newspapers alike. It promises a new way of interacting with the web and virtual content and it is expected to become even more popular in the next few years. However, virtual reality has been used for other purposes for some time now. One of the uses it has been given is supporting exposure therapy treatments, the most common practise for phobias. This thesis, then, presents the making of a virtual reality program that serves as another tool for therapists to carry out exposure therapy for thalassophobia from their own office.

Efforts to improve Internet of Things (IoT) device interoperability for monitoring are still required. This demo paper proposes monitoring infrastructure safety and security with the use of semantics. We make use of an ontology we proposed for interoperability in the IoT, the Connectivity Management Tool Semantics (CMTS) ontology. We demonstrate its use and the advantages it provides by monitoring a bridge, a crucial infrastructure that must be verified in near real-time. Two Raspberry Pi devices with sensors are used to monitor the inclination and vibration of the bridge, sending the data to a cloud server, which handles the ontology data-model. We also provide a web visualization tool, developed to assist users of the ontology to comprehend the status of the system's entities., Peer Reviewed, Postprint (author's final draft)

Les noves normatives de la Unió Europea, en relació amb la mobilitat urbana i les emissions contaminants, afavoreixen un entorn on les empreses poden innovar i deixar anar la seva creativitat en la recerca de tecnologies que ajudin a incrementar l'ús del transport públic urbà com a principal mitjà de transport pels habitants de les grans ciutats, que són també les més contaminants. Per veure com podem fomentar aquesta transició cap a una mobilitat més sostenible, proposem el disseny d'un entorn d'edició de continguts de Realitat Augmentada, on es podrà dissenyar un entorn augmentat a tota la xarxa de transport públic de la ciutat de Barcelona que li aporti un valor afegit, per tal de fer més senzilla pels usuaris la transició del transport privat al públic. Aquest entorn consta d'una aplicació web, on els dissenyadors de l'empresa encarregada de la seva gestió podran preparar els continguts augmentables que després seran disponibles a la xarxa de transport, i d'una aplicació mòbil, oberta al públic general, que serà la que permetrà als usuaris de la xarxa de transport metropolità consumir els continguts augmentats prèviament dissenyats a l'aplicació web. El repte principal al qual ens hem enfrontat al llarg del procés de desenvolupament del sistema ha estat principalment trobar la millor manera de detectar les marques de referència necessàries per poder mostrar el contingut de Realitat Augmentada a l'aplicació mòbil. Per solucionar-ho, s'ha optat per implementar un sistema addicional de detecció de caràcters, que ens servirà per detectar textos i mostrar el contingut associat. Aquest projecte ha estat possible gràcies a la col·laboració, dintre del marc d'un Conveni de Cooperació Educativa, de dues empreses: l'inLab FIB i l'Autoritat del Transport Metropolità de Barcelona. El Treball de Fi de Grau, per tant, ha estat realitzat en modalitat B, i tenia l'objectiu d'aportar un valor afegit a la Xarxa de Transport Metropolità mitjançant contingut augmentat disponible en, The new regulations of the European Union, in relation to urban mobility and polluting emissions, favor an environment where companies can innovate and unleash their creativity in the search for technologies that help increase the use of urban public transport as the main means of transport for the inhabitants of the big cities, which are also the most polluting. To see how we can encourage this transition towards a more sustainable mobility, we propose the design of an Augmented Reality Content Design Environment, where it will be possible to design an augmented environment throughout the public transport network of the city of Barcelona that provide added value, in order to make the transition from private to public transport easier for users. This environment consists of a web application, where the designers of the company in charge of its management will be able to prepare the augmentable contents that will then be available on the transport network, and a mobile application, open to the public, which will allow users of the metropolitan transport network to consume augmented content previously designed in the web application. The main challenge we faced throughout the system development process was mainly to find the best way to detect the necessary reference marks to be able to display the Augmented Reality content in the mobile application. To solve this, it has been decided to implement an additional text detection system, which will be used to detect texts and display the associated content. This project has been possible thanks to the collaboration, within the framework of an Educational Cooperation Agreement, of two companies: inLab FIB and the Autoritat del Transport Metropolità de Barcelona. This Final Project, therefore, has been carried out in mode B, and had the objective of bringing added value to the Metropolitan Transport Network through augmented content available in real time, which helps users to have more and better information while using th

En qualsevol sistema d'informació existeix un conjunt de regles de negoci que les dades han de complir per constituir un estat vàlid. L'estàndard SQL defineix les assercions com una manera d'expressar aquestes regles directament a la base de dades, tanmateix, els Sistemes Gestors de Bases de Dades Relacionals moderns no donen suport a les assercions a causa de la baixa eficiència en temps d'execució. La validació d'integritat es pot fer de forma incremental, assumint que la base de dades és consistent i només tenint en compte el conjunt de modificacions de dades al avaluar si provocarien la violació d'una asserció. En aplicacions reals, es gestionen múltiples connexions d'usuaris simultàniament, i per tant es generen molts conjunts de modificacions de dades que s'han de comprovar. Aquesta tesi de final de grau parteix d'un mètode incremental capaç de comprovar, eficientment, els efectes d'una sola transacció, i l'amplia per introduir la capacitat de comprovar concurrentment si múltiples transaccions poden provocar una violació per si soles o conjuntament. Això s'aconsegueix proposant un algorisme que transforma regles que es comproven de forma serial en regles que poden ser comprovades de forma concurrent. A la segona part del treball, s'implementa l'algorisme suggerit en una eina que, donat un conjunt d'assercions en SQL estàndard i un esquema de base de dades, compila automàticament la infraestructura necessària dins la base de dades i genera una sèrie de vistes SQL que poden comprovar, eficientment, la integritat de conjunts de modificacions de dades provinents de múltiples transaccions concurrents. L'eina també permet als seus usuaris modificar assercions existents o introduir-ne de noves, per tant, es tracta d'una eina per a gestionar la comprovació d'integritat incremental concurrent d'assercions en SQL., Any information system has a defined set of business rules that the data must satisfy to constitute a valid state. The SQL standard defines assertions as a way to express these rules directly into the database, however, modern Relational Database Management Systems do not support assertions due to lack of efficiency in execution time. Integrity checking can be performed in an incremental manner, where the database is assumed to be consistent and only the set of data modifications are considered when evaluating if they would produce an assertion violation. In real world applications, multiple user connections are handled simultaneously, generating many sets of data modifications that need to be checked. This thesis extends an incremental approach that was capable of efficiently checking the effects of a single transaction, and introduces the capability of concurrently checking if multiple transactions can produce a violation by themselves or combined. This is achieved by proposing an algorithm that transforms the serially-checked constraints of the previous method into concurrently-checked ones. In the second part of the thesis such algorithm is implemented into a tool that can receive a set of standard SQL assertions and a target database schema as an input, and automatically compile the necessary infrastructure into the database and generate a series of SQL views that efficiently check the integrity of data modifications from multiple concurrent transactions. The tool also enables its users to modify any existing assertions or introduce new ones, which makes it a management tool for concurrent incremental integrity checking of SQL assertions.

In this position statement we advocate how the use of ontologies may provide a proper solution for IoT semantic data integration. With this, we will improve IoT interoperability and will facilitate the development of software applications that allow providing management and monitoring of different IoT installations in a generic and homogeneous way., This work is partially funded by: Industrial Doctorates DI-2019 from Generalitat de Catalunya, project TIN2017-87610- R from MCIN/AEI/10.13039/501100011033, FEDER “Una manera de hacer Europa”, and project 2017-SGR-1749 from Generalitat de Catalunya. Also with the support of inLab FIB at UPC and Worldsensing., Peer Reviewed, Postprint (author's final draft)

Tot i l'abundància que hi ha d'eines per generar de ciutats, cap d'aquestes s'adequa a les necessitats dels desenvolupadors de videojocs, en particular pel que fa a la col·locació correcta d'elements que tenen un comportament en el joc, com ara una botiga o un centre de missions. L'objectiu d'aquest treball és desenvolupar un plugin per al motor de videojocs Unity que faciliti la feina dels desenvolupadors proporcionant maneres de generar automàticament una ciutat seguint els paràmetres introduïts. L'eina oferirà diferents opcions a escollir, com per exemple el nombre d'habitants o l'amplada dels carrers, a partir de les quals es crearà una ciutat. El resultat incorporarà correctament els elements que tenen un comportament en el joc sol·licitats, adequant-se als requeriments de l'usuari del plugin., Despite the vast amount of city generation tools available in the market, none of them are tailored to the needs of video game developers, especially in regards to the correct placing of game elements, such as a shop or a mission center. The goal of this project is to develop a plugin for the Unity video game engine that will ease the work of developers by offering ways to automatically generate a city according to the desired values. This tool will offer a variety of value parameters to choose from, like population or road width, based on which a city will be created. The result will follow the user's requirements by containing the appropriate game elements.

Durant els últims anys, la gran quantitat de cotxes que hi ha a les carreteres ha produït d'una banda un impacte negatiu pel medi ambient en termes d'increment d'emissions de gasos d'efecte hivernacle, i d'altra banda ha causat problemes d'aparcament i també l'aparició d'embussos de trànsit, tot augmentant el temps de transport. Aquestes situacions són cada vegada més evidents sobretot a les grans ciutats com per exemple Barcelona i Madrid. Per tal de resoldre aquests problemes, una de les possibles solucions que s'han proposat i bastant de moda actualment és el carpooling, que consisteix a compartir vehicle entre diferents persones per a viatges amb destí comú. I concretament, l'objectiu d'aquest treball final de grau és la creació d'una aplicació mòbil anomenada EcoCar que permeti fer carpooling. El software permet donar d'alta viatges amb un origen i destí, llistar tots els viatges publicats pels conductors per als passatgers, i a més a més, proporciona un sistema de missatgeria pròpia i un de valoració sobre el conductor. L'objectiu del programa no és crear la millor aplicació carpooling per competir amb les ja existents al mercat, sinó proposar una opció alternativa que millori en alguns aspectes existents intentant tenir elements amb els que l'usuari estigui familiaritzat, com per exemple la optimització de la comunicació i gestió entre el conductor i el passatger a través d'un sistema de preferit, i la incorporació d'una agenda intel·ligent, capaç de registrar tant els viatges de l'usuari com els seus esdeveniments personals. I per últim, el projecte és de codi obert i té l'objectiu final de contribuir a millorar els problemes de trànsit i mediambientals., In recent years, the large number of cars on the roads has had a negative impact on the environment in terms of increased greenhouse gas emissions, and on the other hand has caused parking problems and also the appearance of traffic jams, while increasing transport time. These situations are becoming increasingly evident, especially in large cities such as Barcelona and Madrid. In order to solve these problems, one of the possible solutions that has been proposed nowadays is carpooling, which is currently quite fashionable and consists of sharing a vehicle between different people for trips to a common destination. Specifically, the goal of this final degree project is to create a mobile application called EcoCar that allows carpooling. The software allows registering trips with a source and destination, listing all the trips published by drivers for passengers, and also provides its own messaging system and a driver rating system. The aim of the program is not to create the best carpooling application to compete with those already on the market, but to propose an alternative option that improves on some existing aspects trying to have elements with which the user is familiar, such as optimizing communication and management between the driver and the passenger through a system of preference, and the incorporation of a smart agenda, capable of recording both the user's travels and personal events. And finally, the project is open source and its ultimate goal is to help improve traffic and environmental issues.

Supreme és una marca d'skate que comercialitza roba i altres tipus de productes. En els últims anys s'ha tornat molt popular, sobretot entre els adolescents, i ha esdevingut tot un fenomen de masses i un actor influent a la indústria de la moda. La característica més distintiva de Supreme és el seu model de negoci. Els productes de la marca no estan disponibles per comprar en qualsevol moment, en lloc d'això, la marca divideix les seves col·leccions en diversos llançaments («drops») setmanals. Els articles es llancen els dijous de cada setmana, a una hora determinada, amb un estoc molt limitat i quan s'esgoten no tornen a estar disponibles mai més. La majoria d'articles s'esgoten en qüestió de segons, això vol dir que hi ha una diferència notable entre l'oferta de productes i la seva demanda. Fet que ha propiciat l'aparició d'un gran mercat de revenda. Inicialment, els clients utilitzaven scripts rudimentaris i extensions de navegador per aconseguir un avantatge respecte els altres compradors i ser els primers en passar per caixa. Poc a poc, aquests mètodes van anar evolucionant fins als complexos bots de compra que existeixen avui en dia. Aquests bots són capaços de realitzar tot el procés de compra de forma automàtica i d'obtenir el producte desitjat per l'usuari sense la necessitat d'interacció humana. L'ús de bots de compra a Supreme està tan estès que si un usuari vol adquirir un dels articles més cobdiciats d'un llançament, llavors és imprescindible que n'utilitzi un. Al llarg d'aquest treball es descriu el desenvolupament d'un bot de compra basat en emulació del navegador, començant per l'estudi del context del projecte, passant per la definició de l'abast i la metodologia utilitzada, seguint amb l'especificació i el disseny de l'aplicació i acabant amb l'explicació de la implementació i la valoració dels resultats. Els bots basats en emulació interactuen amb la pàgina de Supreme a través del navegador, utilitzant els elements visuals de la interfície web, co, Supreme is a skate brand that sells clothing and other types of products. In recent years it has become very popular, especially among teenagers, and has become a mass phenomenon and an influential actor in the fashion industry. Supreme's most distinctive feature is its business model. The products of the brand are not available all the time, instead the brand divides its collections into several weekly releases ("drops"). The items are released on Thursdays of each week, at a certain time, with a very limited stock and when they run out they are never available again. Most items sell out in a matter of seconds, which means that there is a noticeable difference between product supply and demand. This fact has led to the appearance of a large resale market. Initially, customers used rudimentary scripts and browser extensions to gain an advantage over other shoppers and be the first to checkout. Gradually, these methods evolved into the complex shopping bots that exist today. These bots are capable of carrying out the entire purchase process automatically and obtain the product desired by the user without human interaction. The use of shopping bots on Supreme is so widespread that if a user wants to purchase one of the most coveted items from a drop, then using one is a must. This final thesis describes the development of a shopping bot that is based on browser emulation, starting with the study of the project context, going through the definition of the project scope and the methodology used, continuing with the specification and design of the application and ending with the explanation of the implementation and the evaluation of the results. Emulation-based bots interact with the Supreme page through the browser, using the visual elements of the web interface, as if they were normal buyers. The advantage of this type of bots is that they have the fingerprint of a real browser and they pass unnoticed by the control systems. To implement the application, Java has been

A día de hoy hasta las aplicaciones, programas y páginas web más sencillas utilizan sistemas y estructuras complejas para funcionar. Estos sistemas deben encargarse de gestionar una gran cantidad de datos y estar preparados para cualquier situación que pueda aparecer. Además, la mayoría de estas estructuras suelen utilizar una base muy similar para funcionar, ya que se enfrentan a los mismos problemas que resolver. Aunque dos páginas web sean completamente diferentes, sabemos que ambas deben ser accesibles a través de un navegador y utilizar una dirección URL para entrar a ellas, por ejemplo. Debido a esto es demasiado complicado tener que crear todos estos complejos sistemas sólo para crear una página web sencilla. Además, no sólo lleva tiempo y esfuerzo hacerlo, sino que es necesario implementar las mismas bases una y otra vez para cada uno de estos proyectos. Es por este motivo que existen estructuras genéricas muy completas ya programadas que ya implementan todos estos requisitos que necesita una página web para funcionar. Estas estructuras, conocidas como frameworks, son herramientas que ya contienen la capacidad de gestionar las funcionalidades más básicas del proyecto, y que incluso pueden llegar a ofrecer nuevas capacidades o funciones según la necesidad que tenga cada proyecto. Pese a la gran utilidad que ofrece el uso de frameworks, es importante mantener el código del proyecto actualizado y seguro, ya que con el tiempo se descubren nuevas vulnerabilidades. Aunque es común ver cómo los lenguajes de programación y los diferentes proyectos reciben actualizaciones a lo largo del tiempo para aplicar mejoras y soluciones, también es posible encontrar proyectos que han dejado de actualizarse debido a distintos motivos. Este proyecto tiene como objetivo solucionar el uso de un framework que hace años anunció su descontinuación, modificando todo el código necesario para eliminar esta estructura y reemplazarla por un framework diferente que sí se mantenga al día., Nowadays even the simplest applications, programs and web pages use complex systems and structures to function. These systems must handle a large amount of data and be prepared for any situation that may arise. In addition, most of these structures usually use a very similar basis to function, as they face the same problems to solve. Even if two web pages are completely different, we know that both must be accessible through a browser and use one URL to enter them, for example. Because of this it is too complicated to have to create all these complex systems just to create a simple web page. Moreover, not only does it take time and effort to do so, but it is necessary to implement the same bases over and over again for each of these projects. It is for this reason that there are very complete generic structures already programmed that already implement all these requirements that a web page needs to work. These structures, known as frameworks, are tools that already contain the ability to manage the most basic functionalities of the project, and can even offer new capabilities or functions according to the needs of each project. Despite the great utility offered by the use of frameworks, it is important to keep the project's code updated and secure, since new vulnerabilities are discovered over time. Although it is common to see how programming languages and different projects receive updates over time to apply new improvements and solutions, it is also possible to find projects that have stopped being updated due to different reasons. This project aims to solve the use of a framework that years ago announced its discontinuation, modifying all the necessary code to remove this structure and replace it with a different framework that does keep up to date.

L'evolució tecnològica és un tret característic en l'actualitat, especialment en l'àmbit dels videojocs, que ha experimentat una gran transformació. La raó resideix en què els nous components hardware permeten uns sistemes més complexos, una dinàmica de jocs altament realista, i unes experiències més immersives. Aquest ràpid desenvolupament ha ocasionat que els usuaris esdevinguin més exigents pel que fa a les expectatives que tenen d'un producte, amb l'efecte que les seves demandes cada vegada impliquen un repte més ambiciós. El problema és ben manifest, ja que, per una banda, s'intenta donar una opció que satisfaci aquestes necessitats i que l'usuari pugui gaudir dels reptes que li proporciona el joc. D'altra banda, per tal d'aconseguir el prototip de videojoc que assoleixi els objectius, caldrà invertir molt de temps i diners per materialitzar productes amb aquestes característiques. Així doncs, la dicotomia està servida: divertiment versus inversió. Davant aquesta cruïlla, les empreses han optat per adaptar els jocs al sistema multijugador, amb conseqüències importants: el fet de jugar i/o interactuar un grup de persones, el joc ja és no solament un entreteniment i diversió, sinó que es converteix en un acte social. El multijugador és una estratègia típica que forma part de l'essència dels productes que es troben al mercat: ofereix un model motivador, amb experiències diferents i memorables. No obstant els seus avantatges, l'usuari li demana encara més contingut perquè, s'avorreix a mesura que va superant els obstacles que abans suposen un repte; per contra quan el joc és massa complicat el jugador es frustra, la qual cosa comporta una manca de flexibilitat que sovint provoca desajustos entre la capacitat del jugador i la dificultat general del joc, ja que aquesta es relaciona directament amb la percepció de l'intèrpret. La solució que es proposa per complaure i satisfer el client i també per no encarir el procés de fabricació del producte es fonamenta en la Gen, Technological evolution is a characteristic feature nowadays, especially in the field of video games, which has undergone a great transformation. The reason is that new hardware components allow for more complex systems, highly realistic game dynamics and more immersive experiences. This fast development has caused users to become more demanding in terms of their expectations of a product, with the effect that their demands increasingly imply a more ambitious challenge. The problem is obvious, since on the one hand, an attempt is made to provide an option that satisfies these needs so the user can enjoy the challenges the game provides. On the other hand, to achieve the video game prototype that achieves the objectives, it will be necessary to invest a lot of time and resources to materialize products with these characteristics. Thus, the dichotomy is served: entertainment versus investment. Faced with this dilemma, companies have chosen to adapt games to the multiplayer system, to a great effect: By playing and/or interacting with a group of people, the game is no longer just entertainment and fun, but also becomes a social act. Multiplayer is a common strategy that forms part of the essence of products found on the market: it offers a motivating model, with different and memorable experiences. Despite its advantages, on one side users demands for even more content because they get bored as they overcome the obstacles that were previously a challenge; on the other side, when the game is too complicated, players gets frustrated, which leads to a lack of flexibility that often causes mismatches between the player's ability and the general difficulty of the game, since this is a subjective experience. The proposed solution to please and satisfy customers and also to avoid making the product manufacturing process more expensive is based on Genetics. Specifically on the use of genetic algorithms. In this project, genetic algorithms are explored as a means of creating fl

The inclusion of security aspects in organizations is a crucial aspect to ensure compliance with both internal and external regulations. Business process models are a well-known mechanism to describe and automate the activities of the organizations, which should include security policies to ensure the correct performance of the daily activities. Frequently, these security policies involve complex data which cannot be represented using the standard Business Process Model Notation (BPMN). In this paper, we propose the enrichment of the BPMN with a UML class diagram to describe the data model, that is also combined with security policies defined using the UCONABC framework annotated within the business process model. The integration of the business process model, the data model, and the security policies provides a context where more complex reasoning can be applied about the satisfiability of the security policies in accordance with the business process and data models. To do so, wetransform the original models, including security policies, into the BAUML framework (an artifact-centric approach to business process modelling). Once this is done, it is possible to ensure that there are no inherent errors in the model (verification) and that it fulfils the business requirements (validation), thus ensuring that the business process and the security policies are compatible and that they are aligned with the business security requirements., This work has been supported by Project PID2020-112540RB-C44 funded by MCIN/AEI/ 10.13039/501100011033, Project TIN2017-87610-R funded by MCIN/AEI/10.13039/501100011033 and FEDER “Una manera de hacer Europa”, Project 2017-SGR-1749 by the Generalitat de Catalunya, Projects COPERNICA (P20 01224) and METAMORFOSIS by the Junta de Andalucía., Peer Reviewed, Postprint (published version)

Sempre que una empresa treballa en el desenvolupament de programari, especialment quan aquest treball implica programari incrustat que anirà a un producte físic, es generen moltes dades i informació. Això pot provenir del treball diari, de les proves fetes amb programari en execució, dels resultats dels pull requests en combinar el codi... A més, les pràctiques de DevOps són cada vegada més importants dins de les organitzacions, fins al punt que moltes empreses tenen els seus propis equips dedicats a això. I, entre les seves moltes tasques, un equip de DevOps s'esforça per donar suport als desenvolupadors i ajudar a aconseguir una integració ràpida i contínua. Els desenvolupadors de Danfoss passen molt de temps comprovant moltes fonts d'informació cada dia. De vegades, fins i tot, les dades es perden o s'obliden perquè estan totes separades i fora de l'abast. L'objectiu d'aquest projecte és dissenyar i implementar un nou servei compost per una pantalla d'informació que incorpori diferents fonts de dades, a les quals els desenvolupadors han d'accedir dia a dia, donant-los l'oportunitat de personalitzar i seleccionar la informació important per al seu propi equip. Aquest informe pretén mostrar que el fàcil accés a aquestes dades a través de la pantalla racionalitzarà el seu anàlisi i augmentarà l'eficiència global dels equips de desenvolupadors., Whenever a company works on software development, especially when that work involves embedded software that will go into a physical product, a lot of data and information is generated. This may come from the day-to-day work, from testing done on running software, from results from pull requests when merging code... Furthermore, DevOps practices are becoming increasingly important within organizations, to the point where many firms have their own dedicated teams for this. And, among their many tasks, a DevOps team strives to give support to developers and help achieve fast and continuous integration. Developers at Danfoss spend a lot of time checking many information sources every day. Sometimes, even, data is missed or forgotten about because it is all separated and out of reach. The goal of this project is to design and implement a new service composed of an information screen incorporating different sources of data, which developers need to access every day, giving them the opportunity to customize and select the important information for their own team. This report aims to show that the easy access to this data through the info screen will streamline its analysis and increase overall efficiency of the developer teams.

There are billions of devices worldwide deployed, connected, and communicating to other systems. Sensors and actuators, which can be stationary or movable devices. These Edge devices are considered part of the Internet of Things (IoT) devices, which can be referred to as a tier of the Computing Continuum paradigm. There are two main concerns at stake in the success of this ecosystem. The interoperability between devices and systems is the first. Mainly, because most of them communicate uniquely and differently from each other, leading to heterogeneous data. The second issue is the lack of decision-making capacity to conduct actuations, such as communicating through different computing tiers based on latency constraints due to a certain measured factor. In this article, we propose an ontology to improve device interoperability in the IoT. In addition, we also explain how to ease data communication between Computing Continuum devices, providing tools to enhance data management and decision-making. A use case is also presented, using the automotive industry, where quickness in maneuver determination is key to avoid accidents. It is exemplified using two Raspberry Pi devices, connected using different networks and choosing the appropriate one depending on context-aware conditions., This work is partially funded by: Industrial Doctorates (2019 DI 001) from Generalitat de Catalunya. The SUDOQU project (PID2021-127181OB-I00) from MCIN/AEI. FEDER “Una manera de hacer Europa”; and project 2017-SGR-1749 from Generalitat de Catalunya. Also with the support of inLab FIB at UPC and Worldsensing., Peer Reviewed, Postprint (published version)

Hoy en día es cada vez más frecuente que todo tipo de empresas dispongan de páginas web o aplicaciones móviles, y ofrecer sus servicios a través de ellas. Como resultado de esto la gran mayoría de estas páginas y aplicaciones siempre intentan adaptarse a los intereses de cada cliente para modificar sus precios, y así mejorar su servicio. Dada esta situación es lógico que estas aplicaciones empleen métodos para poder tener un perfil de cada usuario. Este perfil luego es utilizado para tener una idea más clara sobre qué productos o servicios de los que dispone la empresa le puede interesar más al cliente. El problema principal que hace que nuestro proyecto nazca es que no existe un servicio en el mercado que ofrezca esto a las empresas, sino que son estas últimas las que tienen que costearse uno propio. Tener un servicio que hace esta función para las empresas pequeñas o medianas, las denominadas pymes, puede ser de gran ayuda. Pero el desarrollo de un servicio como este supone un coste económico que muchas de ellas no se pueden permitir. Dada esta necesidad, se propone crear un servicio que sea capaz de registrar a los consumidores de una empresa, sus productos y características. A partir de esto el servicio interactuará con los datos de los consumidores y le atribuirá un perfil, e incluso sugerir a la empresa o compañía implicada, productos o artículos para ofrecer a sus consumidores., Nowadays, it is common for all types of companies to have websites or mobile applications, and to offer their services through them. As a result, the vast majority of these websites and apps are always trying to adapt to the interests of each client in order to modify their prices, and thus improve their service. Given this situation, it is logical that these applications employ methods to be able to have a profile of each user. This profile is then used to get a clearer idea of what products or services the company has available that may be of most interest to the customer. The main problem that brings our project into being is that there is no service on the market that offers this to companies, companies have to pay for their own. Having a service that does this function for small or medium-sized companies, the so-called SMEs, can be a great help. But the development of such a service entails a financial cost that many of them cannot afford. Given this need, it is proposed to create a service that is capable of registering a company's consumers, products and characteristics. From this, the service will interact with the consumers' data and will attribute a profile to them, and even suggest to the company or enterprise involved, products or articles to offer to its consumers., Avui dia és cada vegada més freqüent que tot tipus d'empreses disposin de pàgines web o aplicacions mòbils, i oferir els seus serveis a través d'elles. Com a resultat d'això la gran majoria d'aquestes pàgines i aplicacions sempre intenten adaptar-se als interessos de cada client per a modificar els seus preus, i així millorar el seu servei. Donada aquesta situació és lògic que aquestes aplicacions emprin mètodes per a poder tenir un perfil de cada usuari. Aquest perfil després és utilitzat per a tenir una idea més clara sobre quins productes o serveis dels quals disposa l'empresa li pot interessar més al client. El problema principal que fa que el nostre projecte neixi és que no existeix un servei en el mercat que ofereixi això a les empreses, sinó que són aquestes últimes les que han de costejar-se un propi. Tenir un servei que fa aquesta funció per a les empreses petites o mitjanes, les denominades pimes, pot ser de gran ajuda. Però el desenvolupament d'un servei com aquest suposa un cost econòmic que moltes d'elles no es poden permetre. Donada aquesta necessitat, es proposa crear un servei que sigui capaç de registrar als consumidors d'una empresa, els seus productes i característiques. A partir d'això el servei interactuarà amb les dades dels consumidors i li atribuirà un perfil, i fins i tot suggerir a l'empresa o companyia implicada, productes o articles per a oferir als seus consumidors.

Els videojocs cada vegada estan agafant més popularitat i importància. Per fer un bon joc s'han de contemplar molts aspectes, i un d'ells és el sistema d'Elo. Encara que pot tindre altres interessos, aquest s'encarrega de representar l'habilitat del jugador. D'aquesta manera, el videojoc final és més competitiu i entretingut. L'objectiu d'aquest projecte no és crear la millor fórmula d'Elo possible, sinó permetre trobar la que més d'adequa a les necessitats de cada empresa. EloSim és un simulador que permet a l'usuari introduir la seva fórmula d'Elo i comprovar si és la desitjada o no. Per poder fer les simulacions tan personalitzables com sigui possible, el client pot introduir ell mateix els jugadors i les mecàniques de joc. D'aquesta manera es pot simular de la forma més real possible i obtenir millors resultats. A partir de les dades extretes, cada empresa pot trobar la seva fórmula d'Elo i fer un millor videojoc. Com a resultat, aquest tindrà més exit i arribarà a més jugadors, generant així més ingressos., Nowadays, video games are becoming more popular and important. To develop a good game, there are many aspects to be considered. One of them is the Elo system. Although it may have other interests, it is in charge of representing the player's skills. In this way, the final video game is more competitive and enjoyable. This project does not want to create the best Elo formula, but to find the one that suits better the needs of each company. EloSim is a simulator that allows the user to introduce his/her Elo formula and check if it is the one he/she wanted or not. In order to make the simulations as customizable as possible, the customer can insert the players and the game mechanics himself/herself. So it is possible to simulate in a more realistic way and obtain better results. From the extracted data, each company can find its Elo formula and create a better video game. As a result, it will be more successful and more players will play it. Therefore, it will generate more income., Los videojuegos cada vez están teniendo más popularidad e importancia. Para desarrollar un buen juego hay que contemplar muchos aspectos, y uno de ellos es el sistema de Elo. Aunque puede tener otros intereses, este se encarga de representar la habilidad del jugador. De esta manera, el videojuego final es más competitivo y entretenido. El objetivo de este proyecto no es crear la mejor fórmula de Elo posible, sino permitir encontrar la que más se adecua a las necesidades de cada empresa. EloSim es un simulador que permite al usuario introducir su fórmula de Elo y comprobar si es la deseada o no. Para poder hacer las simulaciones lo más personalizables posible, el cliente puede introducir él mismo los jugadores i las mecánicas de juego. De esta manera se logra simular de la forma más real posible y obtener mejores resultados. A partir de los datos extraídos, cada empresa puede encontrar su fórmula de Elo y hacer un mejor videojuego. Como resultado, este tendrá más éxito y llegará a más jugadores, generando así más ingresos.

An SQL assertion is a declarative statement about data that must always be satisfied in any database state. Assertions were introduced in the SQL92 standard but no commercial DBMS has implemented them so far. Some approaches have been proposed to incrementally determine whether a transaction violates an SQL assertion, but they assume that transactions are applied in isolation, hence not considering the problem of concurrent transaction executions that collaborate to violate an assertion. This is the main stopper for its commercial implementation. To handle this problem, we have developed a technique for efficiently serializing concurrent transactions that might interact to violate an SQL assertion., Peer Reviewed, Postprint (author's final draft)

L'any 2020 ha estat marcat per la pandèmia mundial de la COVID-19, una malaltia respiratòria provocada pel SARS-CoV-2, un Coronavirus originat a la Xina. Aquesta malaltia ha suposat canviar completament l'estil de vida de la població, incloent-hi confinaments domiciliaris, quarantenes, l'ús obligatori de mascaretes i restriccions de mobilitat i socials. A mesura que avançava la pandèmia, la velocitat de transmissió del virus ha anat variant, fet que ha provocat diverses relaxacions de les restriccions imposades. Malgrat tot, el virus continua present en la societat i és necessari controlar els contagis, sobretot mentre dura la campanya de vacunació. Un dels factors claus per controlar la propagació del virus és la traçabilitat de contactes estrets, la qual consisteix a determinar les persones que han estat en contacte amb un positiu i que es poden haver contagiat. Per aquest motiu, els òrgans governamentals han desenvolupat aplicacions per a dispositius mòbils, juntament amb Google i Apple, que permeten detectar si una persona ha tingut alguna interacció amb un positiu. Malgrat tot, aquestes no han tingut una bona acollida en la societat. En aquest projecte s'analitza el mètode que utilitzen aquestes aplicacions per detectar els contactes estrets i es proposa una manera alternativa mitjançant grups d'usuaris prèviament definits, anomenats xarxes de contactes. En concret, es desenvolupa una aplicació per a dispositius Android que realitza la traçabilitat de contactes estrets i una aplicació web per mostrar informació de les dades recollides de forma anònima., The year 2020 has been marked by the COVID-19 Global Pandemic, a respiratory disease caused by SARS-CoV-2, a Coronavirus originating in China. The disease has completely changed the lifecycle of the population, including home confinements, quarantines, compulsory use of face masks, and mobility and social restrictions. As the pandemic progressed, the virus speed transmission has varied, which had led to several relaxations of the imposed restrictions. However, the virus is still present in society, and it is necessary to control the infections, especially during the vaccination campaign. One of the critical factors in controlling the spread of the virus is close contact tracing, which involves determining people who have been in contact with a positive and who may have been infected. For this reason, governmental institutions have developed applications for mobile devices, along with Google and Apple, that can detect if any person has had an interaction with a positive. However, this has not been well received in society. This project analyses the method used to detect close contacts and suggests an alternative way with pre-defined user groups called contact networks. Specifically, an application is developed for Android devices that perform the traceability of close contacts and a web application to display statistics of the data collected anonymously., El año 2020 ha estado marcado por la pandemia mundial de la COVID-19, una enfermedad respiratoria provocada por el SARS-CoV-2, un Coronavirus originado en China. Esta enfermedad ha supuesto cambiar completamente el estilo de vida de la población, incluyendo confinamientos domiciliarios, cuarentenas, el uso obligatorio de mascarillas y restricciones de movilidad y sociales. A medida que avanzaba la pandemia, la velocidad de transmisión del virus ha ido variando, cosa que ha provocado varias relajaciones de las restricciones impuestas. Sin embargo, el virus continúa presente en la sociedad y es necesario controlar los contagios, sobre todo mientras dura la campaña de vacunación. Uno de los factores claves para controlar la propagación del virus es la trazabilidad de contactos estrechos, la cual consiste en determinar las personas que han estado en contacto con un positivo y que se pueden haber contagiado. Por este motivo, los órganos gubernamentales han desarrollado aplicaciones para dispositivos móviles, junto a Google y Apple, que permiten detectar si una persona ha tenido alguna interacción con un positivo. Sin embargo, estas no han tenido una buena acogida en la sociedad. En este proyecto se analiza el método que utilizan estas aplicaciones para detectar los contactos estrechos y se propone una manera alternativa mediante grupos de usuarios previamente definidos, llamados redes de contactos. En concreto, se desarrolla una aplicación para dispositivos Android que realiza la trazabilidad de contactos estrechos y una aplicación web para mostrar información de los datos recogidos de forma anónima.

In artifact-centric business process models it is usually assumed that the specification of the activities requires stating all the effects of the activity execution over the information base (i.e. over the artifacts it handles). In particular, these effects have to deal with integrity constraint enforcement to ensure a proper treatment of integrity constraints during activity execution. Manually specifying this treatment is a difficult, expensive and error-prone task, because of the inherent difficulty of getting rid of all the implication entailed by the constraints and also of the way to properly handle it. In this paper, we advocate for separating constraint handling from the specification of activities in such a way that only the effects of the activity over the artifacts have to be defined (without needing to care about the constraints). Then, we propose an approach to automatically generate an extension to the original business process model that allows identifying at run-time the additional updates that have to be applied to the information base to repair all constraint violations caused by the activity execution., This work is partially supported by the REMEDiAL project,funded by Ministerio de Economia, Industria y Competitividad, Spain (TIN2017-87610-R); by the Generalitat de Catalunya, Spain (under 2017-SGR-1749); and by European Research Council under the European Unions Horizon 2020 Programme through the ERC Advanced Grant WhiteMech (No. 834228) and the ICT-48 2020 project TAILOR (No. 952215)., Peer Reviewed, Postprint (author's final draft)

Para innovar en las posibilidades de los conjuros del jugador de los videojuegos, este proyecto propone crear un sistema de magia basado en la estructura de un nuevo lenguaje. En él, los hechizos hacen el papel de oración y, como tal, están formados por la unión de diversos sintagmas (que determinan su comportamiento) regidos por una gramática que les aporta significado. Para poder probar este modelo en acción, se ha programado también un juego prototipo que lo implementa. Esto implica plantear ciertos aspectos, como por ejemplo los apartados de visualización y de audio, que tendrán que configurarse en tiempo real., In order to be innovative in the possibilities of sorcery for the videogame's player, this project proposes the creation of a magic system based on the structure of a new language. As such, spells play the role of phrase and are formed by the union of various syntagms (which determine their behaviour) while being governed by a grammar that gives them meaning. As a means to test this model in action, a prototype game based around the model has also been programmed. This implies raising certain aspects, such as the visualization and audio sections, which will have to be configured in real time., Per innovar en les possibilitats dels conjurs del jugador en els videojocs, aquest projecte proposa crear un sistema de màgia basat en l’estructura d’un nou llenguatge. En ell, els encantaments fan el paper d’oració i, com a tal, estan formats per la unió de diversos sintagmes (que determinen el seu comportament) regits per una gramàtica que els hi aporta significat. Per poder provar aquest model en acció, s’ha programat també un joc prototip que l’implementa. Això implica plantejar alguns aspectes, com per exemple els apartats de visualització y d’àudio, que s’hauran de configurar en temps real.