Tesis doctoral de Ramon Jansana Ferrer En esta tesis se presentan fundamentalmente dos resultados nuevos en el contexto de la aplicabilidad del metodo de los modelos booleanos a la obtencion de pruebas metateoricas para teorias impredicativas de clases. Tales resultados son los siguientes: 1) la adaptacion de los modelos booleanos Leer más…
Tesis doctoral de Josep María Font Llovet Se estudian tres sistemas de logica modal intuicionista y sus modelos algebraicos con las tecnicas de h. Rasiowa y a. Monteiro y sus escuelas. Im4 es el sistema analogo intuicionista de s4 y le corresponden las algebras de heyting (pseudo-booleanas) topologicas. Ademas de Leer más…
Tesis doctoral de Antonio Cuevas González El objetivo de la memoria es esbozar una teoria matematica de la robustez en inferencia bayesiana respecto a variaciones en la verosimilitud en concreto se propone una definicion general de robustez cualitativa o estabilidad en un modelo bayesiano y despues de analizar su significado Leer más…
Tesis doctoral de Carmona Domenech Juan Jose Si x es un compacto se define r.(X) como el conjunto de funciones racionales con polos fuera de x. Se ha estudiado la adherencia uniforme de r.(X)+r.(X)g con ge c2. Tambien se han estudiado las adherencias en norma p y en norma lip Leer más…
Tesis doctoral de Francisco Montalvo Duran Se llama diametro en un conjunto x a una aplicacion de las partes de dicho conjunto en r que verifica ciertas propiedades o axiomas. Se estudian cuestiones tales como convergencia en diametro completitud y compacidad diametral. Se prueba un teorema de punto fijo que Leer más…
Tesis doctoral de Zunica Ramajo Luisa Rosa Estudiar y cuantificar las relaciones entre comportamiento electoral y caracteristicas socioeconomicas en un marco geografico y temporal concreto: los municipios Valencianos en las elecciones legislativas del 1 de marzo de 1979. Las caract. socioeconomicas se han analizado mediante el a. componentes principales el Leer más…
Tesis doctoral de Juan Viñas Sanz La tesis se centra en torno al analisis de una disciplina de fragmentacion de mensajes en paquetes en un concentrador de acceso a una red de conmutacion de paquetes. Para adaptar el fragmentador-concentrador a los requisitos del trafico (bajo retardo para mensajes interactivos) y Leer más…
Tesis doctoral de Vicente Roures Soler Aplicacion del metodo de los elementos de contorno a la transmision de calor en dos dimensiones en regimen transitorio. Se parte de la ecuacion de helmholtz considerando intervalos de tiempo suficientemente pequeños aplicando el metodo para cada intervalo tomando como condiciones iniciales los resultados Leer más…
Tesis doctoral de Amador Rodriguez Prieto Se propone y experimenta un procedimiento para medir la relacion complejidad-eficiencia de los algoritmos de compresion de informacion asi como su ordenacion respecto de un umbral minimo de complejidad. Los algoritmos estudiados han sido analizados modelizados y contrastados sus resultados con los de los Leer más…
Tesis doctoral de Juan Pazos Sierra Esta tesis pretende sentar las bases para la construccion de una teoria de la i.A que consiga la enantiodromia de las dos lineas de investigacion actuales: simulacion y ejecucion. El objetivo principal es el diseño de un sistema neuristico capaz de: (1) tener en Leer más…