Listar Tesis (Ciencias de la Computación e Inteligencia Artificial) por título
Mostrando ítems 15-34 de 35
-
Tesis Doctoral
Hacia una concepción generalizada de la abducción, su modelización en lógicas no clásicas y su implementación en herramientas informáticas
(2016-07-15)Comenzamos esbozando de modo informal una propuesta muy general del concepto de abducción, señalando cuáles son los ...
-
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
-
Tesis Doctoral
Modelado de sistemas dinámicos con MachineLearning: aplicaciones al mantenimiento basado en la condición.
(2018-02-05)El estudio de los sistemas dinámicos es un tema de gran interés tanto en la ingeniería como en las ciencias por su gran ...
-
Tesis Doctoral
Modeling and simulation of real-life phenomena in membrane computing
(2013-10-11)This document is structured in three parts, whose content is briefly outlined below. Part I: Preliminaries Chapter I ...
-
Tesis Doctoral
Multi-omics characterization of the responses to seasonal variations in diel cycles in the marine picoeukaryote ostreococcus tauri
(2024-03-08)Earth tilted rotation and translation around the Sun produce one of the most pervasive periodic environmental signals on ...
-
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
Optimization of high-throughput real-time processes in physics reconstruction
(2019-11-29)La presente tesis se ha desarrollado en colaboración entre la Universidad de Sevilla y la Organización Europea para ...
-
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 ...