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 Matemáticas
Accede a todas las tesis doctorales sobre Matemáticas mas relevantes.
Perceptual grouping techniques for the detection of objects in digital images
Tesis doctoral de Marta Penas Centeno La tesis doctoral describe e implementa un sistema para la detección de objetos en
Indicadores de diagnóstico para la implementación de una web geométrica con alumnos deficientes adutivios en aulas inclusivas
Tesis doctoral de Sergio Muria Maldonado La integración en las escuelas ordinarias ha hecho necesario que se proveyeran adaptaciones curriculares
Representaciones sociales de los profesores de matemáticas: un estudio con profesores de matemáticas de la enseñanza secundaria
Tesis doctoral de Silva GraÁ§a María Margarida Da El presente estudio se enmarca dentro de dos grandes áreas de investigación,
Combining statistical and finite-state methods for machine translation
Tesis doctoral de David Picó Vila La traducción automática es un campo muy activo de las tecnologías del lenguaje natural
Discretización mediante métodos runge-kutta-nystrÁ¶m de ecuaciones en derivadas parciales de segundo orden en tiempo
Tesis doctoral de Moreta Santos Mª Jesús Tal y como índica el título, el objetivo de esta tesis ha sido
Sistemas de distribucion. avances en la gestion de inventarios distribution systems. advances in inventory management
Tesis doctoral de Beatriz Abdul Jalbar Betancor La alta competitividad en los actuales mercados hace que las compañías no puedan
Visualizacion interactiva de especies vegetales
Tesis doctoral de Inmaculada Remolar Quintana Uno de los problemas más importantes en la visualización interactiva de escenas exteriores es
Propuesta de una metodología para la alineación de los objetivos estratégicos de la empresa con los objetivos satisfechos por su canal online, utilizando análisis estructural y técnicas de ayuda a la toma de decisión multicriterio: ahp y anp
Tesis doctoral de Antonio Caballero Luque El objetivo principal de la presente tesis doctoral, es crear y desarrollar un modelo
Historia clínica electrónica federada basada en la norma europea cen/tc251 en13606
Tesis doctoral de José Alberto Maldonado Segura Cada día más la atención sanitaria de un paciente es la responsabilidad compartida