BSC-LT/ACAData huggingface dataset:
[ca] El treball presentat en aquesta tesi està centrat en el disseny i desenvolupament d'un mètode formal per a construir un sistema de control de missió per a vehicles submarins autònoms, que aporta principis sistemàtics de disseny per a la descripció formal de missions. La metodologia proposada parteix d'uns blocs elementals de construcció, descrits mitjançant xarxes de Petri. La composició d'aquests blocs entre si genera un pla de missió per el qual diverses propietats, com ara accessibilitat o reutilització, són garantides sempre i quan aquestes mateixes propietats siguin també garantides per a cada un dels blocs elementals de construcció. Per simplificar la definició d'aquests blocs, així com per simplificar-ne la seva composició, s'ha desenvolupat un llenguatge d'alt nivell anomenat Mission Control Language. A més, s'ha inclòs una metodologia per assegurar la coordinació de restriccions entre equips de múltiples robots. També s'ha establert una interfície entre el sistema proposat i un planificador a bord del vehicle capaç de planificar/replanificar seqü_encies de plans de missió prèviament definits. Per tal de demostrar les capacitats del sistema, s'han presentat resultats d'experiments amb diversos vehicles submarins reals, així com simulacions amb vehicles autònoms submarins i en superfície.

[en] The presented work focuses on the theoretical and practical aspects concerning the design and development of a formal method to build a mission control system for autonomous underwater vehicles bringing systematic design principles for the formal description of missions using Petri nets. The proposed methodology compounds Petri net building blocks within it to de_ne a mission plan for which it is proved that formal properties, such as reachability and reusability, hold as long as these same properties are also guaranteed by each Petri net building block. To simplify the de_nition of these Petri net blocks as well as their composition, a high level language called Mission Control Language has been developed. Moreover, a methodology to ensure coordination constraints for teams of multiple robots as well as the de_nition of an interface between the proposed system and an on-board planner able to plan/replan sequences of prede_ned mission plans is included as well. Results of experiments with several real underwater vehicles and simulations involving an autonomous surface craft and an autonomous underwater vehicles are presented to show the system's capabilities.
[ca] La present investigació és un acostament al valor de la marca des de la perspectiva de la direcció general, afirmant que una marca no és un simple valor comercial; el d'un producte adreçat a un mercat -menys encara, una retòrica pública de correcció política- sinó més aviat un actiu patrimonial transversal que dona resposta, a través d'una identitat pròpia i d'una cultura d'organització -i per tant dins del seu àmbit d'actuació-, als debats i reptes de la societat local, però també global. En aquest sentit, considerant la marca com un intangible en la gestió, que es troba al llarg de tota la cadena de valor i productivitat i que té influència sobre els processos d'innovació actuals i de futur, que alhora en redundaran. Operant sota un nou paradigma de context, la marca es converteix en patrimoni (valor total), més enllà -i sense excloure- el brand equity1 (valor financer); ampliant les atribucions de la marca per significar-la sota una responsabilitat cultural corporativa (RCC)2 basada en el coneixement, en el reconeixement de la pròpia identitat corporativa, i involucrant i fent partícips a múltiples agents externs que permeten anticipar-se i gestionar els riscos que actuen sobre la reputació. L'aportació principal, fruit de la investigació, i basat en l'experiència empírica, situa a la marca com un element clau de la gestió empresarial, i no només del màrqueting, alhora que contribueix a donar pautes sobre les funcions practiques essencials que cal assolir des de la disciplina de la comunicació corporativa.

[en] The present investigation is an approach to brand value from a top-management perspective, asserting that a brand is not merely a commercial value portrayed by a product placed in a market; even less so, a public relations rhetoric avowing a political correctness, but rather a full-length ascribed patrimonial asset that conveys an organization's cultural response to the societal issues within its activity-bound. In such, considering the brand as an intangible in-management attribute that is portrayed across the entire chain of productivity whilst influencing current and future innovation processes, in return. Operating under a new context paradigm, the brand becomes patrimony (overall value), beyond –and not excluding- (financial) equity. In all, a hypertext practical vision on the attributions of the brand to signify knowledge-based corporate culture responsibility, amidst identity acknowledgement, multi-stakeholders engagement and reputation's risk management and anticipation. Focus of this research, sets forth to upgrade the brand as a significant element of business management, and not just of marketing, and shares guided contribution to the key tasks and tools currently at stake in the development of well-grounded corporate communications.
[ca] La present tesi doctoral es centra en investigar com les representacions visuals, el suport tecnològic i l'analítica de dades poden ajudar al professorat a dissenyar processos d'ensenyament-aprenentatge complexos que combinen l'ús de diferents espais, eines i recursos tecnològics, com per exemple els Cursos Massius i Oberts en Línia (MOOCs). Les contribucions s'emmarquen en el camp de la investigació en Tecnologies per a l'educació i, més concretament, en els camps de Tecnologies per al Disseny d'aprenentatge, Analítiques de dades i Aprenentatge combinat. En particular, la tesi contribueix amb principis de disseny, reptes i implicacions per a dissenyar pedagogies combinades que inclouen l'ús de tecnologia, així com amb una metàfora visual i una representació teòrica d'aquests escenaris complexos. A més a més, contribueix al disseny i al desenvolupament de l'edCrumble, una eina de disseny d'aprenentatge visual enriquit en dades per al professorat. La tesi segueix un enfocament de recerca basat en el disseny, que inclou processos de co-creació. En fer-ho, la tesi també contribueix amb un estudi de cas de co-creació aportant les lliçons apreses i els reptes que s'han trobat durant la seva implementació.

[en] This doctoral thesis focuses on a gap identified in the literature by investigating how visual representations, authoring support, and data analytics can aid teachers in designing for learning in complex scenarios that blend the use of different spaces for learning and different types of technological tools and resources, e.g. Massive Open Online Courses. The contributions lie in the research domain of Learning Technologies, and more specifically in the domains of Learning Design, Authoring Tools, Data Analytics, and Blended Learning. In particular, the thesis presents and discusses design principles, challenges, and implications for designing complex blended pedagogies, a visual analogy, and theoretical representation of these complex scenarios. Moreover, it advances the design and development of edCrumble, a data-enriched visual learning design authoring tool for educators. The thesis follows a design-based research approach involving co-creation processes. In doing so, the thesis also contributes with a co-creation case study that brings to light lessons learnt and challenges encountered during its implementation.
[ca] Aquesta tesi tracta sobre el disseny i la implementació de sistemes informàtics per a l'execució musical expressiva (CSEMP), explorant diferents mètodes de l'aprenentatge automàtic i reflexionant sobre el paper de l'estructura musical en el descobriment de patrons d'actuació, així com l'aplicabilitat de cada sistema en un entorn pedagògic. Es descriuen i s'avaluen tres models: el primer d'ells utilitza una mesura de similitud de frases; el segon, una evolució de l'anterior amb característiques d'actuació parametritzades; i l'últim, un model d'aprenentatge profund amb codificació seqüencial de la informació musical. Els resultats demostren que els enfocaments més senzills a nivell de frase poden generar actuacions estimulants amb conjunts de dades petits i que l'enfocament d'aprenentatge profund pot aconseguir prediccions d'alta precisió sobre la interpretació de peces musicals. Les seves anàlisis també destaquen els reptes de dissenyar sistemes per a instruments més enllà del piano. El potencial pedagògic dels entorns tecnològicament millorats s'aborda amb la proposta i l'avaluació pilot d'un mètode de pràctica d'actuació mitjançant el programari SkyNote.

[en] This thesis deals with the design and implementation of computer systems for expressive music performance (CSEMP), exploring different methods from machine learning and reflecting on the role of musical structure in the emergence of performance patterns, as well as the applicability of each approach in a pedagogical setting. Three models are described and evaluated: a lazy learning approach using a phrase similarity measure, an evolution of the previous with parameterized performance features, and a deep-learning model with sequential encoding of musical information. Results demonstrate that the simpler phrase-level approaches can generate stimulating performances with small datasets, and that the deep-learning approach can achieve high accuracy predicting performance information. Their analyses also highlight the challenges of designing systems for instruments beyond the piano. The pedagogical potential of technologically-enhanced settings is addressed with the proposal and pilot evaluation of a performance practice method using the SkyNote software.
[ca] Determinar les necessitats de suport de les famílies de persones en edats primerenques amb discapacitat intel·lectual i del desenvolupament, pel que fa a qualitat de vida, és fonamental per a la planificació i avaluació de programes d'Atenció Primerenca (AT). Costa Rica no compta amb estudis, ni amb escales adaptades, per a tal fi. En conseqüència, la doctoranda considera de gran importància, pel que fa a la presa de decisions sobre disseny, avaluació i inversió en programes i serveis, a nivell nacional per a aquesta població, tant el desenvolupament d'estudis que determinin les necessitats de suport d'aquestes famílies, com la validació d'escales específiques que permetin la recollida de dades

[en] Identifying the support needs of families of people with intellectual and developmental disabilities, in terms of quality of life, is essential for the planning and evaluation of Early Childhood Intervention (ECI) programs. Costa Rica does not have studies, nor with adapted scales, for that purpose. Consequently, the candidate considers of great importance, in terms of making decisions about design, evaluation and investment in programs and services, at the national level for this population, both the development of studies that identify the support needs of these families, as well the validation of specific scales that allow data collection.
[ca] Les proteïnes de la família de Sprouty (Spry1-4) són reguladores de la senyalització mediada per receptors tirosina cinasa. La seva funció és important durant el desenvolupament embrionari i també pel manteninent de l'homeòstasi cel•lular durant l'edat adulta. La deleció de Spry1 en ratolí provoca l'aparició de defectes durant el desenvolupament del sistema genitourinari. També s'ha descrit la funció dels gens Spry com a supressors tumorals en diverses patologies canceroses. En aquesta tesi proposem una funció de Spry1 com a gen supressor tumoral en el carcinoma fol•licular de tiroide a través de la inducció de senescència cel•lular. En quant al mecanisme molecular de Spry implicat en la regulació d'aquests processos exhisteix una gran controvèrsia. Estudis in vitro han descrit la importància de la tirosina N-terminal de Spry tant per la seva funció i regulació. En aquest context, per disposar d'una eina in vivo que ens permiti elucidar els mecanismes moleculars de Spry, hem generat la línia de ratolí knockin Spry1Y53A. Aquests ratolins a part de fenocopiar els defectes renals de la línia knockout per Spry1, ens han revelat un nou rol de Spry en el desenvolupament dels genitals interns i la funció de dominant negatiu de la forma Spry1Y53A in vivo.

[en] Sprouty proteins (Spry1-4) are feedback inhibitors of receptor tyrosine kinase signaling pathway. Sprouty genes have been implicated in various physiological and developmental processes. Deletion of Spry1 in mice leads to defects in the development of the genitourinary system. As such, they restrain proliferation of many cell types and have been proposed as tumor suppressor genes in certain types of cancer where physiological homeostasis is altered. In this thesis, we have proposed a role of Spry1 as a tumor suppressor gene in follicular thyroid carcinoma through the induction of cellular senescence. The molecular mechanism underlying these functions has not been defined and the mechanisms of action of Sprouty proteins are poorly understood. In vitro studies show an important role of a N-terminal tyrosine in modulating Spry1 function. In this context, we have generated Spry1Y53A knockin mice to shed light on this complex scenario. Analysis of Spry1Y53A knockin mice beside confirm the relevance of Tyr53 during kidney morphogenesis, reveals us a new role of Spry in internal genitalia development and uncovers its in vivo dominant negative function.
[ca] L'oxidació de la histona H3 (H3K4ox) per la lisil-oxidasa 2 (LOXL2) és important en les cèl·lules de càncer de mama triple-negatives (TNBC) per generar regions d'heterocromatina compactades. Tot i així, els mecanismes moleculars mitjançant els quals s'estableix la compactació de la cromatina encara no han estat caracteritzats. En aquesta tesi, hem demostrat que la LOXL2 interacciona amb RUVBL1, RUVBL2, BAF53A i DMAP1, proteïnes que formen complexes implicats en l'intercanvi de la variant d'histona H2A.Z. Experiments de seqüenciació del genoma van demostrar que l'H2A.Z, el RUVBL2 i la H3K4ox co-localitzen a les regions d'heterocromatina a les cèl·lules TNBC. A més, hem trobat que l'oxidació de la histona H3 està associada amb el al reclutament de DDB1 a la cromatina i a la ubiqüitinació de l'H2A a través de RBX1. Curiosament, la interacció entre aquesta sèrie d'esdeveniments és necessària per mantenir les regions heterocromatina enriquides amb H3K4ox. La pèrdua d'H3K4ox disminueix els nivells de H3K9me3 i altera la compactació de la cromatina, tot comprometent les propietats oncogèniques de les cèl·lules TNBC. Les nostres dades revelen una relació directa entre el manteniment de l'H3K4ox, la compactació de la cromatina i les capacitats tumorigèniques, així com suggereixen noves dianes potencials per a la teràpia contra el càncer.

[en] Oxidation of histone H3 (H3K4ox) by lysyl oxidase-like 2 (LOXL2) is important in triple-negative breast cancer (TNBC) cells to generate compacted heterochromatin regions. However, the molecular mechanisms by which it establishes chromatin compaction have not yet been characterized. In this thesis, we found that LOXL2 interacts with RUVBL1, RUVBL2, BAF53A, and DMAP1, which are proteins that form complexes involved in the exchange of the histone variant H2A.Z. Genome-wide experiments showed that H2A.Z, RUVBL2, and H3K4ox colocalize in heterochromatin regions in TNBC cells. Moreover, we demonstrated that oxidation of histone H3 is linked to DDB1 recruitment to chromatin and the ubiquitination of H2A through RBX1. Interestingly, the interplay between these series of events is required to maintain H3K4ox-enriched heterochromatin regions. Loss of H3K4ox decreases the levels of H3K9me3 and alters chromatin compaction, thereby compromising the oncogenic properties of TNBC cells. Our data revealed a direct link between H3K4ox maintenance, chromatin compaction, and tumorigenic capacities and suggest novel potential targets for cancer therapy.
[ca] La tesi es centra en la reformulació de problemes de satisfacció de restriccions (CSP) a SAT Mòdul Teories (SMT). SMT és una extensió de SAT on els literals que apareixen a la fórmula no estan limitats a contenir només variables Booleanes, sinó que poden tenir-hi predicats d'altres teories, e.g., aritmètica lineal entera. Presenta dos sistemes desenvolupats per reformular CSPs a SMT (fzn2smt i WSimply). El primer llegeix instàncies CSPs escrites en FlatZinc que són resoltes mitjançant un resoledor SMT extern, i s'ha estès per resoldre problemes d'optimització (COP) que per defecte no són suportats pels resoledors SMT. El segon llegeix instàncies CSPs, COP i CSP amb pesos (WCSP) escrites en el seu propi llenguatge declaratiu d'alt nivell, que a més a més de reformular-les a SMT es poden reformular a format pseudo-Booleà i programació lineal. Presenta un algorisme d'optimització incremental basat en diagrames de decisió binaris per a resoldre WCSPs.

[en] In this thesis we focus on reformulate constraint satisfaction problems (CSP) into SAT Modulo Theories (SMT). SMT is an extension of SAT where the literals appearing in the formulas are not restricted to contain only propositional variables, instead they can have predicates from other theories, e.g., linear integer arithmetic. We present two systems developed to reformulate CSPs into SMT (fzn2smt and WSimply). The first one, reads instances written in FlatZinc and solved using an external SMT solver, and it has been extended to also solve optimization problems (COP) which are not supported by SMT solvers. The second one reads CSP, COP and weighted CSPs (WCSP) written in its own high level declarative language, which in addition to reformulate into SMT also reformulates into pseudo-Boolean and linear programming formats. We also present an incremental optimization algorithm based on using Binary Decision Diagrams (BDD) to solve WCSPs.
[ca] Els resultats d'aquesta tesi van demostrar que és possible una avaluació i millora ambiental constant dels sistemes lactis mitjançant l'ús d'eines especialitzades com CalcPEFDairy, auditories energètiques i indicadors d'economia circular; i que junts són capaços d'identificar i proposar mesures de millora d'alt impacte. Els resultats també demostren la viabilitat de comunicar adequadament els resultats mediambientals obtinguts amb CalcPEFDairy com una estratègia de màrqueting. Ja que la qualitat i fiabilitat dels resultats obtinguts és tal que poden usar-se en un procés de verificació extern per obtenir una declaració ambiental i una Ecoetiqueta per a un producte lacti disponible al mercat. Aquestes credencials mediambientals verificades brinden als productors lactis la possibilitat real d'augmentar els seus guanys econòmics sense afectar la sostenibilitat ambiental del seu sistema productiu i productes.

[en] This thesis results shows that a constant environmental assessment and improvement of dairy systems is possible through the use of specialised tools such as CalcPEFDairy, energy audits and circular economy indicators; which together are capable to identify and propose high impact improvement measures. The results demonstrate the feasibility of properly communicating the CalcPEFDairy environmental assessment outcomes as a marketing strategy since their quality and reliability is such that they can be used in an external verification process to obtain an environmental declaration and eco-label for a market available dairy product. This verified green credentials give dairy producers the real possibility of increasing their economic returns without affecting their system and products environmental sustainability.
[ca] Aquest treball avalua, en primer lloc, la importància del temps que els pares passen amb els fills adoptats entre l'arribada i l'escolarització i com això afecta a l'ajustament psicològic del menor. En segon lloc, valora la importància de l'obertura en la comunicació familiar sobre els orígens i la història prèvia del menor i l'impacte que això té en l'ajustament psicològic d'aquest. Finalment, comprova si l'ajustament psicològic i l'obertura en la comunicació familiar són valiables predictives de l'aferrament segur en l'adolescent adoptat internacionalment. Els resultats reforcen les nostres hipòtesis, concloent que els nens adoptats que passen més temps amb els seus pares abans de ser escolaritzats presenten un millor ajustament psicològic. El mateix passa amb l'obertura en la comunicació familiar: aquells menors que senten o perceben en els seus pares una actitud oberta per parlar temes relacionats amb la seva història adoptiva, presenten millor ajustament psicològic que aquells que perceben dificultats per part dels pares per parlar qüestions del seu passat. Finalment, els resultats també aproven la hipòtesi de que l'obertura en la comunicació familiar i l'ajustament psicològic són variables predictores d'un vincle segur en l'adolescència. Aquests resultats destaquen la importància d'establir un vincle estable i segur entre nen i pares adoptius des del primer moment de l'arribada del menor. Conjuntament amb la comunicació familiar oberta, faciliten que el nen desenvolupi un aferrament segur amb els seus pares, des del qual poder entrar a l'edat adulta amb una base més sòlida.

[en] This dissertation assesses, firstly, the importance of the time that parents spend with their adopted children between arrival and schooling and how this affects on the psychological adjustment of the child. Secondly, values the importance of openness in family communication about the child's origins and previous history and the impact that it has on the psychological adjustment of the child. Finally, checks whether the psychological adjustment and openness in family communication are predictable variables of a secure attachment in the internationally adopted adolescent. The results support our hypotheses, concluding that adopted children who spend more time with their parents before schooling have a better psychological adjustment. Same with the openness in family communication: those menors who feel or perceive in their parents an open attitude to discuss issues related to their adoptive history, present a better psychological adjustment than those who perceive difficulties by the parents to talk about his past. Finally, the results also support the hypothesis that openness in family communication and psychological adjustment are predictive variables of a secure attachment in adolescence. These results highlight the importance of establishing a stable and secure bond between child and adoptive parents from the first moment of the child's arrival. Jointly with the open in family communication make it easier for the child to develop a secure attachment with his parents, from which to enter into adulthood with a more solid base.