Marjanović, Vladimir (Date of defense: 2016-01-21)
Even today supercomputing systems have already reached millions of cores for a single machine, which are connected by using a complex network interconnection. Reducing communication time across processes ...
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 ...
Cortés Martínez, Atia (Date of defense: 2018-07-20)
The ability to walk is typically related to several bio-mechanical components that are involved in the gait cycle (or stride), including free mobility of joints, particularly in the legs; coordination ...
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 ...
Dawid Lekowska, Anna Maria (Date of defense: 2022-09-20)
(English) Quantum many-body physics poses a substantial computational challenge resulting from the exponential growth of the wave function complexity and many non-trivial correlations encoded in it. ...
Luna García, Jesús (Date of defense: 2008-05-05)
Los encargados de recursos Grid pueden autorizar el acceso a sus elementos de cómputo por medio de procedimientos bien establecidos para los clientes, regularmente a través del uso de credenciales ...
Riera Villanueva, Marc (Date of defense: 2020-10-09)
Deep Neural Networks (DNNs) have achieved tremendous success for cognitive applications, and are especially efficient in classification and decision making problems such as speech recognition or machine ...
Sanz Estapé, Gerard (Date of defense: 2016-03-18)
The success in the application of any model-based methodology (e.g. design, control, supervision) highly depends on the availability of a well calibrated model. There is no best or unique solution for ...
Tanasić, Ivan (Date of defense: 2017-02-17)
Programmable Graphics Processing Units (GPUs) have recently become the most pervasitheve massively parallel processors. They have come a long way, from fixed function ASICs designed to accelerate graphics ...
Sequeira, Diogo Gonçalo (Date of defense: 2022-10-31)
(English) Optical communications have been extensively investigated and enhanced in the last decades. Nowadays, they are responsible to transport all the data traffic generated around the world, from ...