Bases de gÁ¶bner: desarrollo formal en coq
Tesis doctoral de Gilberto Pérez Vega En primer lugar, se aborda, de forma ajustada a lo que se va a […]
Tesis doctoral sobre Matemáticas
Accede a todas las tesis doctorales sobre Matemáticas mas relevantes.
Tests no paramétricos basados en una distancia entre funciones de densidad
Tesis doctoral de Pablo Martínez Camblor En esta tesis se define una medida de similitud (distancia) entre funciones de densidad
Algoritmos macroevolutivos: desde la simulacion hasta el modelo estocastico
Tesis doctoral de Jesús Marin Sanchez This work includes the analysis of a novel stochastic algorithm named macroevolutionary algorithm with
Un sistema basado en el conocimiento para la educación a distancia
Tesis doctoral de Pedro Salcedo Lagos El trabajo pone de manifiesto la potencialidad de las técnicas de la inteligencia artificial
Simulacion por dinamica molecular de iones poliatomicos en disolucion
Tesis doctoral de Lino Garcia Tarres La hidratación de solutos con superficies apolares en solución acuosa es un problema de
Mesh-free methods for dynamic problems incompressibility and large strains.
Tesis doctoral de Yolanda Vidal Segui This thesis makes two noteworthy contributions in the are of mesh-free methods: a pseudo-divergence-free
Esquemas numéricos sobre teselado hexagonal para la simulación de ecuaciones en derivadas parciles.
Tesis doctoral de Juan Carlos Fabero Jiménez El presente trabajo de investigación presenta un esquema de discretización en diferencias finitas
Generación automática de pruebas estructurales de software mediante búsqueda tabú
Tesis doctoral de Díaz Fernández M. Eugenia La prueba del software es un proceso de verificación y validación caro pero
Evaluación de sistemas españoles de recuperación de información distribuida en internet
Tesis doctoral de Carlos Benito Amat El conjunto de espacios informativos que, colectivamente, se denomina internet, plantea serios desafíos desde
Modelo para la evaluación y mejora de la gestión de la calidad de los datos y de la información.
Tesis doctoral de Ismael Caballero Muñoz-reja Hoy día, la mayoría de las organizaciones basan su actividad en los sistemas de