Sistemas de colas con demandas repetidas y con varios flujos de entrada
Tesis doctoral de Sixto Sánchez Merino Estudio y recopilación de los principales sistemas de colas con demandas repetidas, disciplina constante […]
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.
Métodos espacio imagen para programas lineales dispersos
Tesis doctoral de Pablo Guerrero García Se presentan dos técnicas dispersas novedosas para dar solución al problema de la aplicabilidad
Logica temporal de intervalos formalización de diagramas de estados
Tesis doctoral de Carlos Rossi Jimenez En este trabajo se definen dos lógicas temporales proposicionales sobre tiempo discreto, llamadas lnint
Redes neuronales recurrentes para optimización combinatoria
Tesis doctoral de Gloria Galan Marin Esta tesis doctoral se dedica al estudio y desarrollo de redes neuronales para la
Participacion del usuario en el diseño cooperativo de bases de datos. metodología y herramientas.
Tesis doctoral de Sergio Galvez Rojas El trabajo aporta una solución al problema de la correcta localización de requerimientos para
Sistemas de tipos puros con universos.
Tesis doctoral de Blas Carlos Ruiz Jimenez Los sistemas de tipo puros con universos propuestos en esta tesis permiten modelar
Delta-arboles de implicantes e implicados y reducciones de logicas en atps.
Tesis doctoral de Agustin Valverde Ramos El trabajo pertenece al campo de la demostración automática para las lógicas multivaluadas, tarea
Razonamiento inductivo numerico. un estudio en educacion primaria.
Tesis doctoral de Alfonso Ortiz Comas El razonamiento inductivo tiene especial importancia en la construcción matemática de la aritmética tanto
Reducciones totales y parciales para el analisis de validez y construccion de modelos en m3.
Tesis doctoral de Gabriel Aguilera Venegas Esta tesis estudia la demostracion automatica de teoremas en logicas trivaluadas. Concretamente se presenta
Metodos formales para normalizacion en logica de primer orden usando la metodología tas.
Tesis doctoral de Manuel Ojeda Aciego En la logica de primer orden la obtencion de formas normales es un prerrequisito