Ara mostrant els elements 1-5 de 5
García Chacón, Alina (Data de defensa: 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 ...
Mylonakis Pascual, Nicos (Data de defensa: 2000-06-30)
A TYPE -THEORETIC APPROACH TO PROOF SUPPORT FOR ALGEBRAIC <br/> DESIGN FRAMEWORKS<br/><br/><br/> En el desarrollo ...
Gascón Caro, Adrià (Data de defensa: 2014-05-30)
Term unification is a basic operation in several areas of computer science, specially in those related to logic. Generally speaking, it consists on solving equations over expressions called terms. ...
Ribas Ripoll, Vicent Jordi (Data de defensa: 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 ...
Balle Pigem, Borja de (Data de defensa: 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 ...