Animación de especificaciones oasis mediante redes de petri orientadas a objeto.
Tesis doctoral de Pedro Sánchez Palma La validación mediante animación permite el desarrollo sistemático de especificaciones software claras, concisas, precisas […]
Tesis doctoral sobre Matemáticas
Accede a todas las tesis doctorales sobre Matemáticas mas relevantes.
Alineación automática de corpus paralelos: una propuesta metodológica y su aplicación a un dominio de especialidad.
Tesis doctoral de Raquel Martinez Unanue En esta tesis se aborda el problema de la alineación de un corpus paralelo
Algebras multiplicativamente primas: vision algebraica y analitica
Tesis doctoral de Abdulillah Mohammed Amir En esta tesis doctoral se inicia un estudio sistematico de las álgebras multiplicativamente primas
Nuevas tecnicas de modelado orientado a objetos e implementacion de un generador de sistemas basado en el conocimiento
Tesis doctoral de Bailador Ferreras M. Almudena En esta tesis se plantea como objetivo la construcción de un generador de
Aportaciones al estudio de ciertas estructuras estocásticas
Tesis doctoral de José Antonio Moler Cuiral Este trabajo aborda tres tipos, muy generales, de estructuras estocásticas: cadenas de markov
Aportaciones metodologicas a la clasificacion supervisada
Tesis doctoral de Basilio Sierra Araujo La clasificación supervisada consiste en tratar de discendir la categoría o clase a la
Contribution to the qualitative study of planar vector fields
Tesis doctoral de Isaac Antonio Garcia Rodriguez Una vez obtenida una clasificación afin de todos los sistemas cuadraticos con una
Análisis, diseño e implementación de algoritmos para el reconocimiento de espectros raman
Tesis doctoral de Monica Breitman Mansilla Esta tesis se realiza con dos objetivos fundamentales. El primero es el diseño de
Efecto de renumeracion sobre el precondicionamiento en metodos basados en subespacios de krylov para la resolución de sistemas de ecuaciones lineales
Tesis doctoral de Luis Alvarez Amador Utilizando métodos del gradiante, como el b-cg, el c.G.S. Y el b-cgstab, basados en
Integracion de problemas stiff a traves de métodos runge-kutta
Tesis doctoral de María Soledad Pérez Rodríguez Evidentemente, la eficiencia de estos métodos dependerá fundamentalmente de cómo resolvamos este sistema