Líneas TFM Coordinadas por UOC:
- System Simulation and Optimization: This proposal brings students the possibility of completing their Master thesis on the collaborative development of new simulation-optimization algorithms (e.g. simheuristics) which implement practical solutions to different combinatorial optimization problems in the service and manufacturing industries (e.g. logistics, transportation, health systems, etc.). These solutions will be implemented using Java, C#, or C/C++. More info: Dr. Angel A. Juan (ajuanp[at]uoc.edu).
- Knowledge Representation and Reasoning: This proposal brings students the possibility of completing their Master thesis on the representation of different forms of knowledge and reasoning, focusing on their logical foundations. Theoretical properties of knowledge representation and reasoning formalisms are studied, developed and applied to real problems. Description Logics, Temporal Representation, Formal Ontology, Knowledge Representation for Artificial Intelligence, in particular, are considered. It is both a pre-doctoral and professional online and students can choose the prefered orientation in her/his Master's thesis. More info: Dr. M. Antonia Huertas (mhuertass[at]uoc.edu).
- Optimal assignment of resources in large-scale distributed systems: This proposal brings students the possibility of completing their Master thesis on the design and implementation of mechanisms for an optimal assignment of resources in large-scale distributed systems. The mechanisms will be implemented in Java. More info: Dr. Joan Manuel Marquès (jmarquesp[at]uoc.edu).
- Computer Vision and Statistical Pattern Recognition: This proposal brings students the possibility of completing their Master thesis on the design and implementation of computer vision technologies applied to object recognition, scene understanding, facial expression, gesture and non verbal analysis.More info: Dra. Àgata Lapedriza Garcia (alapedriza[at]uoc.edu), Dr. David Masip Rodó (dmasipr[at]uoc.edu).
- Formal methods: This proposal considers the application of techniques to model and verify complex systems, allowing the automatic detection of errors. Depending on the specific problem being considered, a variety of techniques will be used (theorem provers, SAT solvers, constraint programming, etc.). More info: Dr Robert Clarisó (rclariso[at]uoc.edu).
- High Performance Computing: This proposal brings students the possibility of completing their Master thesis on the area of studyng, applying, and analyzing HPC solutions for scientific problems. And how design, implement, and analyze different possibilities in hardware, software and middleware for the performance of parallel/multicore applications in diferent scientific fields of research. More info: Dr. Josep Jorba (jjorbae[at]uoc.edu).
Líneas TFM Coordinadas por URV:
- Anonymization and transparency: Anonymization methods are used to protect data sets containing sensitive information on individuals before releasing the data. The goal is to prevent an intruder from linking a record in the anonymized data to a particular identified individual (identity disclosure) and also to prevent the intruder from estimating the value of the attributes of a specific individual with too much accuracy (attribute disclosure).
On the other hand, statistical computations on the anonymized data should yield results similar to those obtained on the original data (data utility preservation). It would be very good to preserve data utility if, in addition to the anonymized data, the legitimate data user could be given information on the method and parameters used for anonymization (transparency). This would allow the user to correct the biases in the statistical analyses she obtains on the anonymized data. However, for some methods, revealing that they have been used with certain parameters greatly increases the risk of attribute disclosure (recovering the original data by undoing the anonymization). We propose to study transparency for a few anonymization methods: to what extent revealing their parameters increases the risk of attribute disclosure. More info: Dr. Josep Domingo Ferrer (josep.domingo[at]urv.cat)
- Semantic knowledge management: The ITAKA (Intelligent Technologies for Advanced Knowledge Acquisition) research group at URV (http://deim.urv.cat/~itaka ) can supervise Master Thesis proposals on topics related to the semantic management of knowledge, including personalised recommender systems, ontology learning vs semantic information retrieval, multi-criteria decision support systems and automatic construction of knowledge structures from social network data. More info: Dr Antonio Moreno (antonio.moreno[at]urv.cat).
- Knowledge modelling and data mining for decision support in health-care: Knowledge-based systems are artificial intelligent tools to support decision making. These systems can be applied to many areas. One of these areas is health-care. Deciding the correct disease or set of diseases (diagnosis), determining the most promising, save and cheap treatment (therapy providing), and foreseeing the evolution of the patient (prognosis) are three key actions of daily medical practice that can be supported on Clinical Knowledge-Based Systems. Modelling medical knowledge, extracting experience knowledge from hospital databases and clinical records, and implementing health-care computer tools are the main work lines proposed by the Research Group on Artificial Intelligence (http://banzai-deim.urv.net ) at University Rovira i Virgili. All this work is made in collaboration with several health-care institutions such as SAGESSA Group, Hospital de Sant Joan (Reus), and Hospital Clínic de Barcelona. Contact Person: David Riaño (david.riano[at]urv.cat).
- Graph theory and its applications: The research group in Discrete Mathematics can supervise Master Thesis proposals on topics related to graph theory, including domination theory, spectral graph theory, graph products, topological indices, metric dimension, etc. More info: Dr Juan Alberto Rodríguez Velázquez (juanalberto.rodriguez[at]urv.cat).
- Geometría aplicada: El grupo de investigación en Geometría aplicada puede supervisar tesis de máster en los temas de Análisis Geométrico de Elementos Arquitectónicos y Estructura Geométrica de Vórtices. Más información: Dr Blas Herrera Gómez, blas.herrera[at]urv.cat, http://deim.urv.cat/~bherrera/FesPaginaWeb.cgi.htm
- Large scale Distributed Systems (peer-to-peer, cloud computing, distributed storage): The Architecture and Telematic Services research group (http://ast-deim.urv.cat/) can supervise proposals in the topics of large scale distributed systems. In particular, we are interested in the efficient management and optimization of cloud storage infrastructures. We are interested in the use of large-scale peer-to-peer algorithms and concepts to cloud settings. The Master thesis will collaborate with our European research project CloudSpaces (www.cloudspaces.eu). Contact Person: Pedro Garcia Lopez (pedro.garcia[at])urv.cat
- Análisis de la expansión de una epidemia en redes complejas: cálculo del estado estacionario, fracción de infectados e incluir (libre elección) mecanismos de contención de la expansión. Contact Person: Alex Arenas (alexandre.arenas[at]urv.cat).
- Simulation in biomechanics: This proposal brings students the possibility of completing their Master thesis on the design and implementation of computer simulations procedures for the understanding of biomechanics in the musculoskeletal and cardiovascular systems. Numerical simulations of biological systems are becoming key tools in medical diagnosis. The simulations involve methods from both fluid and solid mechanics which are mainly based on mathematical models comprising non-linear differential equations. Moreover, they often require the generation of smooth and geometrically accurate surface meshes from medical images. Contact Person: Dra. Dolors Puigjaner (dolors.puigjaner[at]urv.cat) and Dr. Gerard Fortuny (gerard.fortuny[at]urv.cat)
- Simulation of architectural structures: The elastic theory of masonry structures is based on the resistence (Navier, 1826), the stability (limit analysis Heyman 1999, Ochsendorf 2002) and the stiffness. Val d'Aran is a region located on the north side of the Spanish Pirineo, between Spain and France. There we can find a group of Romanic churches built on XIIth Century, which present geometrical deformations of more than 10% from its initial form. Numerical simulations of arquitectonic structures are fundamental to predict the deformation evolution and to analyze, maintenance and repair plans for these historic buildings. Contact Person: Dr. Gerard Fortuny (gerard.fortuny[at]urv.cat)