Giráldez Crú, Jesús (Date of defense: 2016-05-25)
Hoy en día, muchos problemas del mundo real son codificados en instancias SAT y resueltos eficientemente por modernos SAT solvers. Estos solvers, usualmente conocidos como Conflict-Driven Clause Learning ...
Gómez-Bigordà, Lluís (Date of defense: 2016-04-08)
En aquesta tesi s'aborda el problema de la comprensió de text automàtic en condicions sense restriccions. En particular, abordem les tasques de detecció, el seguiment, i el reconeixement de text ...
González Zúñiga, Luis Diego (Date of defense: 2016-07-25)
Aquest treball es una recerca doctoral en el camp de les interfases gràfiques d’usuari estereoscòpiques. Avaluem l’estat actual de la tecnologia 3D i l’estat de l’art en les tendències de l’àrea, ...
da Silva Borges de Santana, Francisco José (Date of defense: 2016-09-30)
La simulació paral·lela i distribuïda és una potent eina per al desenvolupament realista de models basats en agents i la seva simulació (ABMS). Aquesta eina permet que científics de diferents àrees ...
Lozano Rubí, Raimundo (Date of defense: 2016-11-11)
Durante las últimas décadas se ha extendido la implantación de sistemas de información en las organizaciones sanitarias, proporcionando un adecuado soporte a los principales procesos de las mismas. Sin ...
Cruz Fernández, Francisco (Date of defense: 2016-11-15)
Actualmente, más del 80\% de los documentos almacenados en papel pertenecen al ámbito empresarial. Avances en materia de digitalización de documentos han fomentado el interés en crear copias digitales ...