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 […]
Tesis doctoral de Francisco Triguero Ruiz
Información academica Francisco Triguero Ruiz. Tesis donde Francisco Triguero Ruiz ha sido autor, director o parte del tribunal.
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
Busqueda heuristica multicriterio para inteligencia artificial en diseño.
Tesis doctoral de Lorenzo Mandow Andaluz La tesis formaliza los problemas de búsqueda heurística en grafos con preferencias multicriterio y
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
Nuevos metodos de programacion cuadratica.
Tesis doctoral de Angel Santos Palomo Nuevos metodos han sido desarrollados para problemas de programacion cuadratica, caso estrictamente convexo. Los
Obtencion de informacion cualitativa a partir de datos cuantitativos: aplicacion al analisis de sistemas complejos.
Tesis doctoral de José Cristóbal Riquelme Santos En esta tesis se estudia un problema de aprendizaje supervisado y automatico a
Las tecnicas de decision multicriterio en la internalizacion de los costes medioambientales. aplicaciones a la industria del cemento.
Tesis doctoral de Cabello Gonzalez José Manuel El objetivo del trabajo era el de conseguir la internalizacion de las consideraciones
Logica temporal y demostracion automatica de teoremas. eficiencia y paralelismo
Tesis doctoral de Enciso Garcia Oliveros Manuel Este trabajo se enmarca en la demostracion automatica de teoremas en logica modal
Sistemas basados en el conocimiento aplicados a la validacion de informacion hidrologica en tiempo real.
Tesis doctoral de Ricardo Conejo Muñoz Se estudia la aplicacion al campo de la hidrología de las tecnicas de validacion