Listar Tesis (Ciencias de la Computación e Inteligencia Artificial) por título
Mostrando ítems 9-28 de 33
-
Tesis Doctoral
Un entorno para la experimentación virtual con modelos computacionales basados en sistemas P
(2015-02-02)** Introducción Desde el principio de los tiempos, el Hombre se ha visto abocado a resolver problemas. En un principio ...
-
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
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
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
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
Formalización en Isar de la metalógica de primer orden
(2012-06-12)El objetivo del trabajo es formalizar razonamiento complejo de forma legible por los humanos y procesable por las máquinas. ...
-
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
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, ...