Listar Tesis (Ciencias de la Computación e Inteligencia Artificial) por título
Mostrando ítems 22-33 de 33
-
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
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
-
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
Promoting and inhibiting contexts in membrane computing
(2005-11-29) -
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
Semilinear order property and infinite games
(2016-01-22)En este trabajo se analiza la determinación de juegos de Lipschitz y Wadge, junto con la propiedad de ordenación semilineal, ...
-
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
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
-
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
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 ...