Abstract interpretation techniques for the verification of timed systems
Tesis doctoral de Robert Clariso Viladrosa En muchos sistemas, la corrección se puede decidir comparando las respuestas a eventos del […]
Tesis doctoral sobre Ciencias Tecnológicas
Accede a todas las tesis doctorales sobre Ciencias Tecnológicas mas relevantes.
Diagnóstico de los hayedos burgaleses e identificación de tipologías estructurales para la asignación de tratamientos selvícolas
Tesis doctoral de Sánchez De Medina Garrido Alvaro Se ha elaborado una metodología para clasificar las diferentes estructuras forestales del
Estudio experimental y numérico basado en una formulación de puntos de flujos incompresibles , laminares no estacionarios.
Tesis doctoral de Beatriz Mendez Lopez En esta tesis se ha desarrollado un nuevo solver de puntos finitos para simular
La clausura de la mina de reocin. aprovechamiento y usos alternativos
Tesis doctoral de José Ramon Gonzalez Fernandez La mina de reocin, una de las más importantes del mundo por la
Análisis de la seguridad en las maniobras de trasbordo de carga entre buques tanque y entre estos y las terminales, utilizando un shuttle-tanker de propulsión diesel-eléctrica y posicionamiento dinámico
Tesis doctoral de Martínez Mayán José Manuel La investigación llevada a cabo en esta tesis se encamina a establecer de
Methodological contributions in the assesment of antihypertensive treatment with ambulatory blood pressure monitoring. contribuciones metodológicas en la evaluación de tratamientos antihipertensivos mediante monitorización ambulatoria de presión arterial.
Tesis doctoral de Pedro Mateo Riobó Aboy Actualmente, la evaluación de la cobertura de tratamientos antihipertensivos se realiza principalmente mediante
Estudio de la aplicación de técnicas de marinado de salmón (salmo salar). alternativas al proceso tradicional
Tesis doctoral de Larrazabal Fuentes María José En este trabajo se estudia la optimización del proceso de marinado de salmón,
Tecnicas de acceso multiple por contienda basadas en espectro ensanchado para sistemas multimedia por satelite
Tesis doctoral de Dawit Belay Zeleke A fin de obtener competitividad real con los sistemas de banda ancha terrestres, los
Techniques of analysis and design of shaped refletor antennas for space and earth communications.
Tesis doctoral de José Angel Martínez Lorenzo La tesis trata sobre las técnicas de análisis y síntesis de reflectores conformados
Evolucion de la administracion maritima española en el siglo xx
Tesis doctoral de Maximo Alfonso Garzon Burguillo Constituye nuestra tesis probar que la administración marítima española, desde la época de