Redesign Support Framework for Complex Technical Processes 

López Arévalo, Iván (Date of defense: 2005-11-05)

Els processos industrials requereixen avaluacions periòdiques per a verificar la seva correcta operació en termes tècnics i econòmics. Aquestes avaluacions són necessàries a causa de els canvis en els mercats i en la ...

Sistema de diseño de lentes progresivas asistido por ordenador. 

Dürsteler, Juan Carlos (Date of defense: 1991-12-09)

Solving hard industrial combinatorial problems with SAT 

Abío Roig, Ignasi (Date of defense: 2013-05-15)

The topic of this thesis is the development of SAT-based techniques and tools for solving industrial combinatorial problems. First, it describes the architecture of state-of-the-art SAT and SMT Solvers based on the classical ...

Structural and computational aspects of simple and influence games 

Riquelme Csori, Fabián (Date of defense: 2014-07-29)

Simple games are a fundamental class of cooperative games. They have a huge relevance in several areas of computer science, social sciences and discrete applied mathematics. The algorithmic and computational complexity ...

Swarm intelligence techniques for optimization and management tasks insensor networks 

Hernández Pibernat, Hugo (Date of defense: 2012-06-11)

The main contributions of this thesis are located in the domain of wireless sensor netorks. More in detail, we introduce energyaware algorithms and protocols in the context of the following topics: self-synchronized ...

Symbolic and connectionist learning techniques for grammatical inference 

Alquézar Mancho, René (Date of defense: 1997-05-12)

This thesis is structured in four parts for a total of ten chapters. <br/><br/>The first part, introduction and review (Chapters 1 to 4), presents an extensive state-of-the-art review of both symbolic and connectionist GI ...

Systematic construction of goal-oriented COTS taxonomies 

Ayala, Claudia P. (Claudia Patricia) (Date of defense: 2008-03-31)

El proceso de construir software a partir del ensamblaje e integración de soluciones de software pre-fabricadas, conocidas como componentes COTS (Comercial-Off-The-Shelf) se ha convertido en una necesidad estratégica en ...

Testing and test-driven development of conceptual schemas 

Tort Pugibet, Albert (Date of defense: 2012-04-11)

The traditional focus for Information Systems (IS) quality assurance relies on the evaluation of its implementation. However, the quality of an IS can be largely determined in the first stages of its development. Several ...

The Complexity of angel-daemons and game isomorphism 

García Chacón, Alina (Date of defense: 2012-05-07)

The analysis of the computational aspects of strategic situations is a basic field in Computer Sciences. Two main topics related to strategic games have been developed. First, introduction and analysis of a class of games ...

The hiring problem and its algorithmic applications 

Helmi Mohamed Elsadek, Ahmed Mohamed (Date of defense: 2013-04-08)

The hiring problem is a simple model for on-line decision-making under uncertainty, recently introduced in the literature. Despite some related work dates back to 2000, the name and the first extensive studies were written ...

The notion of specialization in the i*framework 

López Cuesta, Lidia (Date of defense: 2013-05-16)

This thesis provides a formal proposal for the specialization relationship in the i* framework that allows its use in a well-defined manner. I root my proposal over existing works in different areas that are interested in ...

The Role of preferences in logic programming: nonmonotonic reasoning, user preferences, decision under uncertainty 

Confalonieri, Roberto (Date of defense: 2011-12-02)

Intelligent systems that assist users in fulfilling complex tasks need a concise and processable representation of incomplete and uncertain information. In order to be able to choose among different options, these systems ...

Un mètode per a la comprovació de restriccions d'integritat en bases de dades deductives bitemporals 

Martín Escofet, Carme (Date of defense: 2005-06-27)

This Ph.D. thesis mainly deals with temporal and deductive databases areas and the aim is to obtain a method for integrity constraint checking in bitemporal deductive databases, analyzing the temporal integrity constraint ...

Un model d'incertesa fitada per a la propagació i fusió d'informació geomètrica incerta 

Sabater i Pruna, Assumpta (Date of defense: 1996-11-26)

En esta tesis se desarrolla un sistema de tratamiento de informaciones geométricas con incertidumbre, basado en la propagación y fusión de regiones elipsoidales. Se adopta un modelo de incertidumbre acotada en el espacio ...

Uncertainty and indistinguishability. Application to modelling with words. 

Hernández Jiménez, Enric (Date of defense: 2007-01-12)

El concepte d'igualtat és fonamental en qualsevol teoria donat que és una noció essencial a l'hora de discernir entre els elements objecte del seu estudi i possibilitar la definició de mecanismes de classificació.<br/><br/>Quan ...

Unsupervised learning of relation detection patterns 

Gonzàlez Pellicer, Edgar (Date of defense: 2012-06-01)

L'extracció d'informació és l'àrea del processament de llenguatge natural l'objectiu de la qual és l'obtenir dades estructurades a partir de la informació rellevant continguda en fragments textuals. L'extracció d'informació ...

Using an ontology for guiding natural language interaction with knowledge based systems 

Gatius, Marta (Date of defense: 2001-01-15)

Des dels anys 80, els sistemes basats en el coneixement, programes que utilitzen una gran quantitat de informació per modelar situacions i resoldre problemes, han adquirit gran importància en el camp industrial, financer ...

Validation of mappings between data schemas 

Rull Fort, Guillem (Date of defense: 2011-01-19)

En esta tesis, presentamos un nuevo enfoque para validar mappings entre esquemas de datos que permite al diseñador comprobar si el mapping satisface o no ciertas propiedades deseables. La respuesta que obtiene el diseñador ...

Validation of UML conceptual schemas with OCL constraints and operations 

Queralt, Anna (Date of defense: 2009-03-02)

Per tal de garantir la qualitat final d'un sistema d'informació, és imprescindible que l'esquema conceptual que representa el coneixement sobre el seu domini i les funcions que ha de realitzar sigui semànticament ...

Variants of unification considering compression and context variables 

Gascón Caro, Adrià (Date of defense: 2014-05-30)

Term unification is a basic operation in several areas of computer science, specially in those related to logic. Generally speaking, it consists on solving equations over expressions called terms. Depending on the kind of ...