Now showing items 52-71 of 83

    Non-functional requirements as drivers of software architecture design 

    Ameller, David (Date of defense: 2014-01-23)

    In the last decades, software engineering has become an important area of research. As researchers, we try to identify a problem, a need, or a hole in some research topic, once identified we make an effort to produce new ...

    On Collective Computation 

    Delgado Pin, Jordi (Date of defense: 1997-12-05)

    On the complexity of resolution-based proof systems 

    Oliva Valls, Sergi (Date of defense: 2013-05-02)

    Propositional Proof Complexity is the area of Computational Complexity that studies the length of proofs in propositional logic. One of its main questions is to determine which particular propositional formulas have short ...

    On the design and implementation of flexible software platforms to facilitate the development of advanced graphics applications 

    Fairen Gonzalez, Marta (Date of defense: 2000-11-23)

    This thesis presents the design and implementation of a software development platform (ATLAS) which offers some tools and methods to greatly simplify the construction of fairly sophisticated applications. It allows thus ...

    On the intelligent management of sepsis in the intensive care unit 

    Ribas Ripoll, Vicent Jordi (Date of defense: 2013-01-29)

    The management of the Intensive Care Unit (ICU) in a hospital has its own, very specific requirements that involve, amongst others, issues of risk-adjusted mortality and average length of stay; nurse turnover and communication ...

    OntoWEDSS - An Ontology-based Environmental Decision-Support System for the management of Wastewater treatment plants 

    Ceccaroni, Luigi (Date of defense: 2001-12-21)

    Les contribucions d'aquesta tesi uneixen dues disciplines: ciències ambientals (específicament, gestió d'aigües residuals) i informàtica (específicament, intel·ligència artificial). El tractament d'aigües residuals com a ...

    Part-of-speech Tagging: A Machine Learning Approach based on Decision Trees 

    Màrquez, Lluís (Date of defense: 1999-07-21)

    The study and application of general Machine Learning (ML) algorithms to theclassical ambiguity problems in the area of Natural Language Processing (NLP) isa currently very active area of research. This trend is sometimes ...

    Peer-to-Peer Bartering: Swapping Amongst Self-interested Agents 

    Cabanillas, David (Date of defense: 2009-04-01)

    Large--scale distributed environments can be seen as a conflict between the selfish aims of the participants and the group welfare of the population as a whole. In order to regulate the behavior of the participants it is ...

    Pointing facilitation techniques for 3d object selection on virtual environments 

    Argelaguet Sanz, Fernando (Date of defense: 2011-07-04)

    Les contribucions d’aquesta tesi s’emmarquen en la interacció home-computador en entorns de realitat virtual. Concretament, en la millora de tasques de selecció d’objectes tridimensionals. La selecció d’objectes és una ...

    ProCLAIM: an argument-based model for deliberating over safety critical actions 

    Tolchinsky, Pancho (Date of defense: 2012-07-09)

    In this Thesis we present an argument-based model – ProCLAIM – intended to provide a setting for heterogeneous agents to deliberate on whether a proposed action is safe. That is, whether or not a proposed action is expected ...

    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 ...