Observadores lineales: un lenguaje de especificacion de propiedades para verificacion de protocolos.
Tesis doctoral de Pedro Merino Gomez La verificación de protocolos es una actividad fundamental para localizar errores de diseño y […]
Tesis doctoral sobre Matemáticas
Accede a todas las tesis doctorales sobre Matemáticas mas relevantes.
Metodos de monte-carlo eficientes para iluminacion global.
Tesis doctoral de Carlos Ureña Almagro En esta tesis se describen y clasifican los métodos computacionales más importantes publicados acerca
Aportaciones a la teoria de los procesos de ramificacion modificados.
Tesis doctoral de Manuel Mota Medina Encuadrada dentro de la teoría general sobre procesos de ramificación de galton-watson, y estructurada
Metodos topologicos y variaciones en el estudio de problemas de contorno resonantes con no linealidades periodicas.
Tesis doctoral de Francisco Roca Rodriguez Utilizando métodos topológicos y variacionales probamos la existencia de soluciones, así como ciertas propiedades
Algunos problemas en la identificación y predicción de factores comunes en series temporales múltiples
Tesis doctoral de Pilar Poncela Blanco Se investigan diversos aspectos ligados al análisis factorial de series temporales no estacionarias. Se
Procesos de markov en analisis de supervivencia.
Tesis doctoral de Juan Eloy Ruiz Castro En esta memoria se estudian los procesos de markov como modelos para analizar
Modelos de crecimiento economico: aportaciones desde la teoria de los juegos dinamicos.
Tesis doctoral de Carlos M. González Alcón El dilema entre consumo y crecimiento económico es el objeto del presente trabajo,
Puntos buenos y resolucion local de singularidades de solidos.
Tesis doctoral de Rodriguez Sanchez M. Cristina En este trabajo se desarrolla un algoritmo de resolución de singularidades de sólidos
Aportaciones al estudio de la distribucion de polya: caracterizacion y propiedades de su funcion de distribucion.
Tesis doctoral de David Almorza Gomar Se obtienen, en el capítulo ii de esta memoria, dos teoremas de caracterización para
Aproximacion en espacios l-phi por funciones no decrecientes monotonas y funciones n-convexas generalizadas.
Tesis doctoral de José M. Quesada Teruel Se estudian aproximaciones en un subespacio convexo de l-phi y su caracterización asimismo,