Search
Now showing items 1-10 of 35
PhD Thesis
Especificación y verificación de programas moleculares en PVS
(2003-09-29)
La Computación Molecular y, en concreto, la Computación con ADN, es una disciplina que se enmarca dentro del campo de investigación conocido como Computación Natural. Tiene como objetivo el desarrollo de modelos de computación ...
PhD Thesis
Operadores de generalización para el aprendizaje clausal
(2002)
"En esta memoria hemos estudiado los procesos de generalización, el paso de lo particular a lo general, cuando la información está expresada en lenguaje clausal. Para ello hemos definido unos operadores adaptados a los ...
PhD Thesis
Bordismo seccional de fibrados y submersiones
(1988-12-16)
El objeto de este trabajo es sistematizar una técnica que intenta atacar el problema de existencia de secciones de funciones continuas o funciones diferenciables, y el problema de triangulación de una variedad topológica. ...
PhD Thesis
P systems, a computational modelling framework for systems biology
(2008-02-06)
LOS PROGRAMAS INFORMÁTICOS QUE MODELIZAN CÉLULAS FACILITARÁN EL TRABAJO DE LOS BIÓLOGOS Se basa en hacer modelos de células, por lo que llevo tres años en los que estoy realizando modelos de sistemas biológicos en bacterias. ...
PhD Thesis
Descubrimiento de conocimiento en grafos multi-relacionales
(2017-06-30)
Ante el reducido abanico de metodologías para llevar a cabo tareas de aprendizaje automático relacional, el objetivo principal de esta tesis es realizar un análisis de los métodos existentes, modificando u optimizando en ...
PhD Thesis
Razonamiento mereotopológico automatizado para la depuración de ontologías
(2005)
La presente memoria se estructura en tres grandes bloques: I Tratamiento automatizado de la teoría RCC y métodos asistidos por SRA para obtener extensiones de dicha teoría. Generalizaciones del retículo de relaciones ...
PhD Thesis
Verificación de programas en modelos de computación no convencionales
(2002)
El objetivo fundamental de esta memoria consiste en desarrollar una primer aproximación a la verificación formal de procedimientos mecánicos en modelos no convencionales, en el marco de la Computación Natural. Para ello, ...
PhD Thesis
Programación celular resolución eficiente de problemas numéricos NP-completos
(2004)
Esta memoria está estructurada en capítulos cuyos contenidos pasamos a describir sucintamente. En el Capítulo 1 se hace una breve introducción histórica de la Teoría de la Computabilidad, analizándose las limitaciones ...
PhD Thesis
Evolution, communication, observation from biology to membrane computing and back
(2005)
La Computación Natural es una disciplina cuyo objetivo fundamental es la simulación e implementación de procesos dinámicos que se dan en la Naturaleza y que son susceptibles de ser interpretados como procedimientos de ...
PhD Thesis
P systems, a computacional modelling framework for systems biology
(2007)
"Los programas informáticos que modelizan células facilitarán el trabajo de los biólogos. Se basa en hacer modelos de células, por lo que llevo tres años en los que estoy realizando modelos de sistemas biológicos en ...