Heterogeneous neural networks: theory and applications 

Belanche Muñoz, Lluís A. (Lluís Antoni) (Date of defense: 2000-07-18)

Aquest treball presenta una classe de funcions que serveixen de models neuronals generalitzats per ser usats en xarxes neuronals artificials. Es defineixen com una mesura de similitud que actúa com una definició flexible ...

Information theoretic refinement criteria for image synthesis 

Rigau Vilalta, Jaume (Date of defense: 2006-11-17)

Aquest treball està enmarcat en el context de gràfics per computador partint de la intersecció de tres camps: rendering, teoria de la informació, i complexitat.<br/><br/>Inicialment, el concepte de complexitat d'una escena ...

Learning finite-state machines: statistical and algorithmic aspects 

Balle Pigem, Borja de (Date of defense: 2013-07-12)

The present thesis addresses several machine learning problems on generative and predictive models on sequential data. All the models considered have in common that they can be de ned in terms of nite-state machines. On ...

Learning with Feed-forward Neural Networks: Three Schemes to Deal with the Bias/Variance Trade-off 

Romero Merino, Enrique (Date of defense: 2004-11-30)

In terms of the Bias/Variance decomposition, very flexible (i.e., complex) Supervised Machine Learning systems may lead to unbiased estimators but with high variance. A rigid model, in contrast, may lead to small variance ...

Lightweight and static verification of UML executable models 

Planas Hortal, Elena (Date of defense: 2013-03-21)

Executable models play a key role in many development methods (such as MDD and MDA) by facilitating the immediate simulation/implementation of the software system under development. This is possible because executable ...

Meta-alignment of biological sequences 

Blanco García, Enrique (Date of defense: 2006-07-21)

Les seqüències són una de les estructures de dades més versàtils que existeixen. De forma relativament senzilla, en una seqüència de símbols es pot emmagatzemar informació de qualsevol tipus. L'anàlisi sistemàtic de ...

Modelling rational inquiry in non-ideal agents 

Moreno Ribas, Antonio (Date of defense: 2000-12-18)

de la tesi doctoral<br/><br/>L'objectiu principal del treball realitzat ha sigut el desenvolupar una manera de modelar el procés d'investigació racional (l'evolució de les creences d'un agent racional com a conseqüència ...

Multi-objective optimization in graphical models 

Rollón, Emma (Date of defense: 2008-11-03)

Many real-life optimization problems are combinatorial, i.e. they concern a choice of the best solution from a finite but exponentially large set of alternatives. Besides, the solution quality of many of these problems ...

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)