Listar Tesis (Ciencias de la Computación e Inteligencia Artificial) por fecha de publicación
Mostrando ítems 1-20 de 35
- Tesis Doctoral
-
Tesis Doctoral
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 ...
-
Tesis Doctoral
Estrategias de análisis gramatical y semántico para un sistema dirigido por voz
(1999)El objetivo de esta tesis es demostrar la eficiencia de un módulo del procesamiento de lenguaje natural (PLN) para un ...
-
Tesis Doctoral
Una teoría computacional acerca de la lógica ecuacional formalización en ACL2 de la lógica ecuacional y demostración automática de sus propiedades
(2001)El objetivo principal de la Tesis es el desarrollo de una teoría computacional acerca de la lógica ecuacional, usando para ...
-
Tesis Doctoral
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 ...
-
Tesis Doctoral
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 ...
-
Tesis Doctoral
Teoría computacional (en ACL2) sobre cálculos proposicionales
(2002)En este trabajo se desarrolla una formalización de sistemas de razonamiento proposicionales y se verifican automáticamente sus principales propiedades en el sistema de demostración automática ACL2.
-
Tesis Doctoral
Complejidad y universalidad en modelos de computación celular
(2003)"La Computación Celular es una disciplina que se enmarca dentro del campo de investigación conocido como Computación ...
-
Tesis Doctoral
Extensiones de fragmentos de la Aritmética
(2003)El presente trabajo se enmarca dentro del campo de estudio de los Modelos de la Aritmética de Peano: PA. En líneas generales, ...
-
Tesis Doctoral
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 ...
-
Tesis Doctoral
Verificación formal en ACL2 del Algoritmo de Buchberger
(2003-12-18)En este trabajo se han desarrollado los elementos necesarios para especificar, implementar y verificar la correción del ...
-
Tesis Doctoral
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 ...
-
Tesis Doctoral
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 ...
-
Tesis Doctoral
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 ...
-
Tesis Doctoral
Promoting and inhibiting contexts in membrane computing
(2005-11-29) -
Tesis Doctoral
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 ...
- Tesis Doctoral
-
Tesis Doctoral
Membrane computing, neural inspirations, gene assembly in ciliates
(2007-03-28)La Tesis enmarca dentro de la disciplina de la computación celular con membranas, un modelo de computación orientado a ...
-
Tesis Doctoral
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, ...
-
Tesis Doctoral
Desarrollo y aplicaciones de un entorno de programación para computación celular: P-Lingua
(2010-06-24)La presente memoria está estructurada en tres partes que constan de un total de siete capítulos cuyos contenidos se describen ...