Red neuronal recurrente multivaluada para el reconocimiento de patrones y la optimización combinatoria
Tesis doctoral de Enrique Merida Casermeiro Se propone una nueva red neuronal recurrente a la que se dota de una […]
Tesis doctoral de Inmaculada Perez De Guzman Molina
Información academica Inmaculada Perez De Guzman Molina. Tesis donde Inmaculada Perez De Guzman Molina ha sido autor, director o parte del tribunal.
Ideales y filtros de implicantes/implicados en lógicas temporales con tiempo lineal y discreto
Tesis doctoral de Pablo Jose Cordero Ortega Enmarcado en el campo de los fundamentos matemáticos de la demostración automática, realiza
Razonamiento mereotopológico automatizado para la depuración de ontologías
Tesis doctoral de Chávez González Antonia María La memoria se enmarca dentro del campo de la verificación de bases de
Bases de gÁ¶bner: desarrollo formal en coq
Tesis doctoral de Gilberto Pérez Vega En primer lugar, se aborda, de forma ajustada a lo que se va a
Extensiones del paradigma multiadjunto: programación lógica con multirretículos y aplicaciones al análisis formal de conceptos
Tesis doctoral de Jorge Ruiz Calviño Este trabajo se enmarca en el área de los fundamentos matemáticos para la informática,
Aceptacion en españa de los criterios rigurosos del analisis matematico durante los siglos xix y xx
Tesis doctoral de Carlos Oswaldo Suarez Aleman Tras las investigaciones del profesor cuesta dutari sobre la introducción en españa del
Una lógica modal par la geometría esférica de incidencia
Tesis doctoral de Alfonso Rider Moyano En esta memoria se introducen sistemas axiomáticos de tipo multimodal, para las geometrías planas
Optimización en el diseño de torres
Tesis doctoral de Salvador Merino Córdoba En este trabajo se presenta la formalización de las técnicas de optimización sobre un
Fusión de conocimiento en bases de datos relacionales: medidas de agregación y resumen
Tesis doctoral de José María Serrano Chica Los objetivos que se abordan en esta memoria son los siguientes: * definición
Desarrollo de modelos avanzados para la identificación de series temporales basados en la metodología box-jenkins con modelo arima
Tesis doctoral de Olga Valenzuela Cansino El presente proyecto significa un nuevo aporte en la aplicación de la metodología box-jenkins,