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 […]
Tesis doctoral sobre Ciencia de los ordenadores
Accede a todas las tesis doctorales sobre Ciencia de los ordenadores mas relevantes.
Aplicaciones de la tecnología de computadores a la mejora de velocidad de comunicación en sistemas de comunicación aumentativa y alternativa.
Tesis doctoral de Luis Gardeazabal Monton El objetivo de la tesis es proponer métodos que ayuden a mejorar la velocidad
Estudio y desarrollo de un automata para la simulacion de la propagacion de frentes de llama de premezcla
Tesis doctoral de Anselmo Lopez Martin Esta tesis se dedica al estudio de métodos alternativos para la resolución de la
Seguimiento facial, mediante visión artificial,orientado a la ayuda a la movilidad
Tesis doctoral de Luis Miguel Bergasa Pascual En esta tesis se propone un sistema de guiado de una silla de
Analisis y evaluacion de un modelo para la adaptacion simultanea de los parametros y la conectividad en sistemas neuronales artificiales
Tesis doctoral de Santiago Rementeria Sanz En la presente tesis se explora un método que extiende la adaptabilidad de los
Generación de mapas de susceptibilidad y riesgo a los deslizamientos mediante un sig aplicada a la zona central de asturias.
Tesis doctoral de Lima De Montes Yockling E. El presente trabajo describe tanto la metodología como los resultados obtenidos en
Sistema experto para la gestión de radiocomunicaciones ionosféricas.
Tesis doctoral de Elena Ortega José Manuel El uso de la ionosfera como medio de transmisión de información, ha pasado
Aplicación de los filtros kalman a la estimacion de parametros y al control de horno alto.
Tesis doctoral de Saiz De Ayala Jesús El objetivo de la presente tesis es obtener una estimación de temperaturas en
Modelado y reconocimiento 3d en arquitecturas paralelas
Tesis doctoral de ángel Rodríguez Martínez De Bartolomé En esta tesis se plantea nuevas soluciones a la problemática de la
Control predictivo basado en modelos mediante tecnicas de optimización heuristica. aplicación a procesos no lienales y multivariables.
Tesis doctoral de Francesc Xavier Blasco Ferragud La tesis doctoral se fundamenta, principalmente, en la exploracion de nuevos metodos de