A tipe-theoretic approach to proof support for algebraic design frameworks
Tesis doctoral de Nicolas Eduardo Mylonakis Pascual Datos académicos de la tesis doctoral «A tipe-theoretic approach to proof support […]
Tesis doctoral sobre Matemáticas
Accede a todas las tesis doctorales sobre Matemáticas mas relevantes.
Control de granularidad en la ejecucion paralela de programas logicas mediante tecnicas de analisis y transformacion
Tesis doctoral de Pedro Lopez Garcia Los lenguajes de programación lógica ofrecen un excelente marco para la aplicación de tecnicas
Revision de las formulaciones clásicas de los problemas de optimización hidrotérmica y fundamentación de posibles generalizaciones
Tesis doctoral de Grau Ribas José M. Se ha realizado un estudio del problema de optimización del coste de combustible
Algebras de semigrupos y aplicaciones
Tesis doctoral de Alberto Vigneron Tenorio Dado un semigrupo abeliano, cancelativo,finitamente generado y con elemento neutro, s, y un cuerpo
Curvas criticas en variedades riemannianas y lorentzianas con borde.
Tesis doctoral de Rossella Bartolo Se estudian algunos problemas jglobales acerca de curvas en vaiedades de riemann y de lorentz
Analisis eficiente de mecanismos 3d con metodos topologicos y tecnología de componentes en internet
Tesis doctoral de José Ignacio Rodriguez Garrido Esta tesis ha tenido un doble objetivo. El primero ha consistido en realizar
Modularidad en programacion lógico-funcional de primer orden
Tesis doctoral de Molina Bravo Juan Miguel Esta tesis seocupa de una propuesta de lógica de reescritura condicional basada en
Sahara: arquitectura de seguridad integral para sistemas de agentes moviles basados en java.
Tesis doctoral de Perez Diaz Jesús Arturo Esta tesis describe una arquitectura de seguridad para proteger a un sistema de
Problemas de control optimo gobernados por ecuaciones semilineales con restricciones sobre el gradiente del estado.
Tesis doctoral de María no Mateos Alverdi La tesis versa sobre el estudio de distintos problemas de control óptimo. en
Ecuaciones diferenciales linealmente implicitas: teoria cualitativa, aspectos computacionales y aplicaciones
Tesis doctoral de Ricardo Riaza Rodriguez La presente tesis doctoral analiza la dinámica de ciertos sistemas diferenciales, vinculados a diferentes