Buscar
Mostrando ítems 1-7 de 7
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 una breve introducción histórica de la Teoría de la Computabilidad, analizándose las limitaciones ...
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 que se dan en la Naturaleza y que son susceptibles de ser interpretados como procedimientos de ...
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 problemas muy concretos, como huir de un peligro inminente, buscar un alimento en un momento dado o ...
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 máquinas, inspirado en la estructura y funcionamiento de las células de los organismos vivos, Que fue ...
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
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 aplicabilidad a la resolución de problemas que, con frecuencia, aparecen en un sin número de ´áreas. ...
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 la Investigación Nuclear, CERN. El detector LHCb es uno de los cuatro grandes detectores situados en ...