Ciencias de la Computación e Inteligencia Artificial: Recent submissions
Now showing items 1-20 of 35
-
PhD Thesis
Virus machines: an unconventional computing paradigm
(2024-05-28)Sobrepasar la estructura convencional de los ordenadores actuales diseñada John von Neumann desde hace casi 100 años es ...
-
PhD Thesis
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 ...
-
PhD Thesis
Control del reloj circadiano por la señal fotoperiódica en plantas
(2022-04-28)Los organismos fotosintéticos son muy eficientes en la adaptación de su desarrollo a las condiciones ambientales. Para ...
-
PhD Thesis
Promoting and inhibiting contexts in membrane computing
(2005-11-29) -
PhD Thesis
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 ...
-
PhD Thesis
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 ...
- PhD Thesis
-
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 ...
-
PhD Thesis
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 ...
-
PhD Thesis
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 ...
-
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, ...
-
PhD Thesis
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 ...
-
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 ...
-
PhD Thesis
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. ...
-
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 ...
-
PhD Thesis
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 ...
-
PhD Thesis
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 ...
-
PhD Thesis
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 ...
-
PhD Thesis
Developing effcient simulators for cell machines
(2016-02-02)Membrane Computing, introduced by Gh. Paun at the end of 1998, is a relatively young branch of Natural Computing providing ...
-
PhD Thesis
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, ...