Teoria formal de la intencion: formacion y dinamica de intenciones.
Tesis doctoral de Marroquin Cirion Jesús M. En este trabajo se dan pasos hacia la construccion de una teoria logico-formal […]
Tesis doctoral sobre Ciencia de los ordenadores
Accede a todas las tesis doctorales sobre Ciencia de los ordenadores mas relevantes.
Seleccion automatica de implementaciones para componentes de software usando un lenguaje multiparadigma para establecer sus aspectos no funcionales.
Tesis doctoral de Javier Franch Gutiérrez La tesis presenta una metodología que permite la formulacion de requisitos y propiedades no
Modificaciones al mecanismo de aprendizaje de modelos neuronales no supervisados basados en la teoria de resonancia adaptativa. aplicacion al reconocimiento de patrones complejos en entornos de produccion.
Tesis doctoral de Roberto Rodríguez Galán Para el reconocimiento de patrones se dispone de diversas tecnicas: los planteamientos puramente estadisticos
Penelope: sistema informatico de nutricion.
Tesis doctoral de Paloma Soria Valle El sistema informatico penelope utilizando informatica clasica e informatica avanzada capta, almacena, procesa y
Procedimientos paralelos basados en los coeficientes de reed-muller para la generacion de patrones de test en circuitos digitales.
Tesis doctoral de Consolacion Gil Montoya En esta memoria se exploran las posibilidades de las tecnicas espectrales digitales en el
Sistema de informacion y soporte informatico para el manejo de variables clinicas.
Tesis doctoral de Chicharro Molero José Antonio Sistema de informacion para un servicio clinico, para la construccion de protocolos y
Aproximacion dinamica al control de los fluidos y sodio corporales por el sistema renal en humanos.
Tesis doctoral de Garrachon Vallo Fernando J. Se ha desarrollado un modelo de simulacion del papel del sistema renal en
Un modelo para la simulacion de las vibraciones de friccion de baja frecuencia en frenos de disco.
Tesis doctoral de Itziar Martija Lopez La tesis presentada estudia el problema de las vibraciones de baja frecuencias en frenos
Un metodo de «parsing» para gramaticas categoriales multimodales.
Tesis doctoral de Francesc Xavier Llore Nadal Los metodos de prueba para gcms basados en redes de demostracion con formulas
Modelado y soporte al proceso de desarrollo software con tecnicas de descripcion formal (fdt).
Tesis doctoral de Yelmo Garcia Juan Carlos Esta tesis aborda algunos de los retos impuestos por el despliegue de nuevos