Esteban Ángeles, Juan Luis (Date of defense: 2003-12-15)
Esta obra es una contribución al campo de la Complejidad de la Demostración, que estudia la complejidad de los sistemas de demostración en términos de los recursos necesarios para demostrar o refutar ...
Busquets, Dídac (Date of defense: 2003-07-28)
La navegació en entorns desconeguts no estructurats és encara un problema obert en el camp de la robòtica. En aquesta tesi presentem una aproximació per a la navegació de robots basada en la combinació ...
Pérez Cazorla, Frederic (Date of defense: 2003-05-26)
The objective of this thesis is the development of algorithms for the simulation of the light transport in general environments to render high quality still images. To this end, first we have analyzed ...