Now showing items 21-40 of 83

    A dynamic adaptive framework for improving case-based reasoning system performance 

    Orduña, Fernando (Date of defense: 2016-02-05)

    An optimal performance of a Case-Based Reasoning (CBR) system means, the CBR system must be efficient both in time and in size, and must be optimally competent. The efficiency in time is closely related to an efficient and ...

    Interactive inspection of segmented volume data 

    Surinyac i Albareda, Jordi (Date of defense: 2016-02-05)

    Present systems for the acquisition of medical images are providing better and better resolution images which end up in bigger amounts of data, even in scenarios with learning or training purposes. Interactive inspection ...

    Bringing social reality to multiagent and service architectures : practical reductions for monitoring of deontic-logic and constitutive norms 

    Álvarez Napagao, Sergio (Date of defense: 2016-02-08)

    As distributed systems grow in complexity, the interactions among individuals (agents, services) of such systems become increasingly more complex and therefore more difficult to constrain and monitor. We propose to view ...

    A methodology for pre-post intervention studies : an application for a nutritional case study 

    Sevilla Villanueva, Beatriz (Date of defense: 2016-02-09)

    Nowadays, it is widely accepted that many of modern lifestyle habits such as diet and exercise, together with genetics, play an important role in the development of many diseases such as cardiovascular disease, diabetes, ...

    Unsupervised entity linking using graph-based semantic similarity 

    Naderi, Ali M. (Date of defense: 2016-02-10)

    Nowadays, the human textual data constitutes a great proportion of the shared information resources such as World Wide Web (WWW). Social networks, news and learning resources as well as Knowledge Bases (KBs) are just the ...

    Artifact-centric business process models in UML : specification and reasoning 

    Estañol, Montserrat (Date of defense: 2016-04-29)

    Business processes are directly involved in the achievement of an organization's goals, and for this reason they should be performed in the best possible way. Modeling business processes can help to achieve this as, for ...

    Tree automata with constraints and tree homomorphisms 

    Creus López, Carles (Date of defense: 2016-05-24)

    Automata are a widely used formalism in computer science as a concise representation for sets. They are interesting from a theoretical and practical point of view. This work is focused on automata that are executed on ...

    Gathering empirical evidence and building a business case for software reference architectures in industry 

    Martínez-Fernández, Silverio (Date of defense: 2016-06-23)

    Background: Software reference architectures are becoming widely adopted by organizations that need to support the design and maintenance of software applications of a shared domain. For organizations that plan to adopt ...

    Definition and use of software requirement patterns in requirements engineering 

    Palomares Bonache, Cristina (Date of defense: 2016-10-04)

    The final quality of software products and services depends on the requirements stated in the Software Requirements Specifications (SRSs). However, some problems like ambiguity, incompleteness and inconsistency have been ...

    A framework for navigation of autonomous characters in complex virtual environments 

    Oliva Martínez, Ramon (Date of defense: 2016-11-28)

    In order to create autonomous characters it is necessary to solve the problem of moving agents between two locations, at both the global and local navigation levels. Global navigation has two main components: the path ...

    Algorithms and methodologies for interconnect reliability analysis of integrated circuits 

    Jain, Palkesh (Date of defense: 2017-05-05)

    The phenomenal progress of computing devices has been largely made possible by the sustained efforts of semiconductor industry in innovating techniques for extremely large-scale integration. Indeed, gigantically integrated ...

    Supporting the context life cycle in service-oriented computing 

    Cabrera Bejar, Oscar Jair (Date of defense: 2017-06-19)

    Current software community players like academy and industry have been changing the traditional paradigms of software engineering towards context-awareness and distributed computing. Nowadays, service-oriented computing ...

    Incremental checking and maintenance of UML/OCL integrity constraints 

    Oriol Hilari, Xavier (Date of defense: 2017-07-11)

    Ensuring the data correctness of some information system is a crucial task. So, software engineers specify sets of integrity constraints that should be satisfied by the system's data. These constraints, however, can be ...

    Advanced inspection techniques for molecular simulations 

    Hermosilla Casajús, Pedro (Date of defense: 2017-07-13)

    Molecular dynamics simulations are computer simulations of the physical movements of atoms and molecules, and the interactions between them. In the particular cases we focus on (pharmaceutical drug design and enzymatic ...

    Exploiting word embeddings for modeling bilexical relations 

    Madhyastha, Pranava Swaroop (Date of defense: 2017-07-25)

    There has been an exponential surge of text data in the recent years. As a consequence, unsupervised methods that make use of this data have been steadily growing in the field of natural language processing (NLP). Word ...

    A computational intelligence analysis of G proteincoupled receptor sequinces for pharmacoproteomic applications 

    Cárdenas Domínguez, Martha Ivón (Date of defense: 2017-09-18)

    Arguably, drug research has contributed more to the progress of medicine during the past decades than any other scientific factor. One of the main areas of drug research is related to the analysis of proteins. The world ...

    Supporting decentralized collaborative processes in the digital transformation 

    Sánchez Charles, David (Date of defense: 2017-09-18)

    Crowdsourcing, the art of involving several individuals in the decentralized execution of business activities, is being positioned as the replacement of outsourcing, as it allows organization to reach a capable workforce ...

    Efficient approximate string matching techniques for sequence alignment 

    Marco-Sola, Santiago (Date of defense: 2017-09-20)

    One of the outstanding milestones achieved in recent years in the field of biotechnology research has been the development of high-throughput sequencing (HTS). Due to the fact that at the moment it is technically impossible ...

    Structure discovery techniques for circuit design and process model visualization 

    San Pedro Martín, Javier de (Date of defense: 2017-10-27)

    Graphs are one of the most used abstractions in many knowledge fields because of the easy and flexibility by which graphs can represent relationships between objects. The pervasiveness of graphs in many disciplines means ...

    Low-rank regularization for high-dimensional sparse conjunctive feature spaces in information extraction 

    Primadhanty, Audi (Date of defense: 2017-11-17)

    One of the challenges in Natural Language Processing (NLP) is the unstructured nature of texts, in which useful information is not easily identifiable. Information Extraction (IE) aims to alleviate it by enabling automatic ...