Reports de recerca
Recent Submissions
-
Self-reducibility
(1988-11)
External research report
Open AccessNew self-reducibility structures are proposed to deal with sets outside the class PSPACE and with sets in logarithmic space complexity classes. General properties derived from the definition are used to prove known results ... -
Behavioural approach to modular system specification
(1988-07)
External research report
Open AccessThe algebraic approach to modular specifications as developed by the first author during the last five years is joined with the behavioural approach to algebraic specifications introduced recently by the last two authors. ... -
A module concept within the initial behaviour framework
(1988)
External research report
Open AccessA module concept is defined which anables the description of the whole design of software systems, that is, not only the specifications of problem requirements but also the specification of the process of implementation ... -
Complejidad de problemas sobre representaciones sucintas de grafos
(1988-05)
External research report
Open Access -
Implementación de un algoritmo vectorial para la eliminación de partes ocultas en escenas poliédricas
(1987-12)
External research report
Open AccessAn important problem in the dessign of Solid Modelling Systems is the one related with the realistic model rendering. Up until now, several algorithms dealing with this topic have been developed. Most of these algorithms ... -
Strong and robustly strong polynomial time reducibilities to sparse sets
(1988)
External research report
Open AccessReducibility defined by oracle strong nondeterministic machines is studied. Two definitions of relativized strength are presented and separated. The corresponding reduction classes of the sparse sets give two nonuniform ... -
Average case analysis of Robinson's unification algorithm with two different variables
(1988)
External research report
Open AccessWe compute the average complexity of Robinson's unification algorithm on the case of binary functions with two variables. When restricting the input to unifiable instances, the resulting complexity is linear on the size ... -
The Extreme Vertices Model (EVM) for orthogonal polyhedra
(1997-01)
External research report
Open AccessOrthogonal Polyhedra offer a worthy-to-explore simplification. In this work we propose a specific model for representing orthogonal polyhedra that allows simple and robust algorithms for performing the most usual and ... -
La modularidad de la mente: origen y transformación de una metáfora
(2001-05)
External research report
Open AccessIn this work we try to make clear the actual reference of the modular hypothesis of the mind, and the epistemological and ontological relevance of the metaphor. We also make a critical evaluation of the contribution of ... -
Enabling interpretation of the outcome of a human obesity prediction machine learning analysis from genomic data
(2018)
External research report
Open AccessIn this brief paper, we address the medical problem of human obesity prediction from genomic data. Genomic datasets may contain a huge number of features and they often have to be analyzed within the realm of Big Data ... -
Assessorament científic per analitzar el comportament del fum en cas d'incendi a l'aparcament Gràcia II de SABA. D3-Anàlisi de resultats. Informe final
(2019-12-17)
External research report
Open Access -
Asesoramiento científico para evaluar el comportamiento del sistema de ventilación de un aparcamiento. D5-Análisis de los resultados de los escenarios A, B, C y D
(2019-09-07)
External research report
Restricted access - confidentiality agreement
RSS 1.0