Un modelo formal para la especificacion, analisis, verificacion e implantacion de protocolos de seguridad.
Tesis doctoral de Luis Mengual Galan En este trabajo, se ha concebido y desarrollado un sistema que permite la automatización […]
Tesis doctoral sobre Ciencia de los ordenadores
Accede a todas las tesis doctorales sobre Ciencia de los ordenadores mas relevantes.
Aspectos metodologicos en el diseño de redes neuronales. ejemplos de aplicacion en identificacion y control.
Tesis doctoral de Alvarez Sanchez José Ramon Ante la clara falta de metodología en el diseño de las redes neuronales,
Integration of knowledge+based, qualitative and numeric tools for real time dynamic systems supervision.
Tesis doctoral de Joaquim Melendez Frigola Datos académicos de la tesis doctoral «Integration of knowledge+based, qualitative and numeric tools
Un modelo de flujo de datos para la evaluacion de consultas en bases de datos deductivas.
Tesis doctoral de José Francisco Aldana Montes El presente trabajo estudia la evaluación paralela y distribuida de consultas datalog con
Problematica del procesado de la informacion geometrica cad/cam/caq de curvas y superficies.
Tesis doctoral de Espinola Gonzalez Jesús Edilberto La tesis aborda problemas reales en la industria en el ámbito de la
Optimizacion de la tecnica de restriccion para obtener analizadores eficientes con gramaticas de unificacion: metodología para la seleccion de restrictores.
Tesis doctoral de La Serna Palomino Nora Bertha La investigación se ha desarrollado en el contexto de la construcción de
Incorporacion de interfaces graficas a la simulacion de tejidos jacquard mediante hardware estandar.
Tesis doctoral de Manuel Ochoa Vives La tesis aborda dos temáticas diferentes; una de ellas informática y otra de la
Entorno inteligente de simulacion para el aprendizaje.
Tesis doctoral de El Alami Hassoun Mohamed Tras hacer un análisis en profundidad de las diversas aproximaciones a la simulación,
Avances en soporte informatico del control de la produccion con criterios de optimizacion economicos para fabricacion por encargo.
Tesis doctoral de Puente Rodero Antonio Enrique La presente tesis centra su contenido en el diseño de herramientas de software
Modelado e identificacion de sistemas multisensores basados en oxidos metalicos semiconductores para deteccion y analisis de compuestos organicos volatiles.
Tesis doctoral de Getino Gonzalez José M. Se presentan los resultados de la caracterizacion de diversos prototipos multisensores de gases