Listar Máster Universitario en Matemáticas por fecha de publicación
Mostrando ítems 1-20 de 78
- Trabajo Fin de Máster
-
Trabajo Fin de Máster
MINLP in Chemical Reaction Networks
(2014-06-24) -
Trabajo Fin de Máster
Problemas de optimización entera mixta no lineal
(2015-09-14) -
Trabajo Fin de Máster
Funciones universales y propiedades de Acotación
(2015-09-15)El objetivo principal de este Trabajo Fin de Máster es realizar un estudio sobre los últimos resultados de existencia de ...
-
Trabajo Fin de Máster
Lineabilidad en espacios de sucesiones
(2016-06)Desde siempre, grandes matemáticos de todas las épocas se han sentido atraídos y fascinados por la existencia de grandes ...
-
Trabajo Fin de Máster
Constrained support vector machines theory and applications to health science
(2016-06-24)En los últimos años, la ciencia de los datos se ha convertido en una herramienta muy importante para tratar datos, así ...
- Trabajo Fin de Máster
-
Trabajo Fin de Máster
Verificación formal de la lógica de Hoare en Isabelle/HOL
(2016-09)Hoare logic is a formal system developed by C.A.R. Hoare. This logic was introduced to verify formally imperative programs. ...
-
Trabajo Fin de Máster
Controlabilidad de ecuaciones escalares parabólicas: análisis de diferentes técnicas
(2017)The controllability of parabolic partial differential equations has been a topic of increasing interest in the last decades ...
-
Trabajo Fin de Máster
Las trans-S-variedades y la clasificación de Gray-Hervella.
(2017-06)Recently, trans-S manifolds have been defined as a natural generalization of f-Kenmotsu, S-manifolds and C-manifolds. This ...
-
Trabajo Fin de Máster
Optimización de funciones DC. El algoritmo DCA
(2017-06) -
Trabajo Fin de Máster
Problema de localización con barreras
(2017-06)In location problems, the distance functions that model the travel distance between the elements of the problem play a ...
-
Trabajo Fin de Máster
Formalización de cáculos lógicos en Isabelle/Hol
(2017-06)Natural deduction is a sound and complete proof procedure for propositional logic, that is, it only proves valid formulas ...
-
Trabajo Fin de Máster
Análisis y control de problemas de tipo Navier-Stokes
(2017-06)This work is framed within the field of EDPs and Numerical Analysis, aiming to continue the study of the Navier-Stokes ...
-
Trabajo Fin de Máster
Modelo PLS
(2017-06)The Partial Least Squares approach (PLS) is a multivariate technique which was originated around 1975 by Herman Wold for ...
-
Trabajo Fin de Máster
Aprendizaje supervisado mediante random forests
(2017-06)Muchos problemas de la vida real pueden modelarse como problemas de clasificación, tales como la detección temprana de ...
-
Trabajo Fin de Máster
Clasificación de conexiones meromorfas formales en una variable
(2017-06)The study of systems of linear differential equations is, since its inception during the XV IIth century, a core and rich ...
-
Trabajo Fin de Máster
Semigrupos de operadores de composición
(2017-09)The main problem we consider in this work is the study of semigroups of composition operators on spaces of analytic functions ...
-
Trabajo Fin de Máster
Lineabilidad y curvas de Peano
(2018)Las curvas de Peano pueden generalizarse y entenderse: o bien como aplicaciones continuas y sobreyectivas entre dos espacios ...
- Trabajo Fin de Máster