Listar Máster Universitario en Matemáticas por título
Mostrando ítems 34-53 de 78
-
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
Funciones de Morse Excelentes en Pseudosuperficies trianguladas
(2022-06-15)El objetivo principal de este trabajo es determinar cuántas funciones de Morse discretas excelentes (inyectivas para los ...
-
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
Funciones zeta de variedades sobre cuerpos finitos
(2020-06-01)La función zeta de una variedad sobre un cuerpo finito se define como la función generatriz asociada a la sucesión obtenida ...
-
Trabajo Fin de Máster
Inferencia en Muestreo por Transectos.
(2020-06-01)En este trabajo, se desarrollará las herramientas necesarias para estimar la abundancia o densidad en un área de estudio ...
-
Trabajo Fin de Máster
Interpretation of Deep Neural Networks as Dynamic Systems
(2020-12-01)During last years the application of deep learning techniques has changed our lives from banking operations to medical ...
-
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
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
Métodos de Orden Reducido para Ecuaciones Diferenciales
(2020-12)Gracias al desarrollo tecnológico de los ordenadores durante el siglo XX, las simulaciones numéricas se han convertido en ...
-
Trabajo Fin de Máster
MINLP in Chemical Reaction Networks
(2014-06-24) -
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
On the Categorical Theory of Persistence Modules
(2021-06)¿Cómo se infieren formas a partir de datos? Se pueden emplear técnicas del álgebra y la topología computacional para ...
-
Trabajo Fin de Máster
El Operador de Evolución de un Álgebra de Evolución
(2020-06-01) -
Trabajo Fin de Máster
Operadores esencialmente normales y existencia de subespacios invariantes
(2021-06-28)A main problem of Operator Theory consists of studying which operators have an invariant subspace, or what properties ...
-
Trabajo Fin de Máster
Operadores universales y subespacios invariantes
(2019)The Invariant Subspace Problem is one of the most studied problems on Operator Theory in the last decades. In fact, it is ...
-
Trabajo Fin de Máster
Optimización de funciones DC. El algoritmo DCA
(2017-06) -
Trabajo Fin de Máster
Path Planning with Drones at CSP plants
(2022-06-21)The goal of this work is to apply mathematics knowledge and skills to efficiently solve a practical problem posed by the ...
-
Trabajo Fin de Máster
Polinomio de Bernstein y singularidades aisladas de hipersuperficies complejas
(2021-07-02)The main aim of this work is to present as precisely as possible the results obtained by B. Malgrange in his article “Le ...
-
Trabajo Fin de Máster
Polinomio de Jones y homología de Khovanov de nudos y enlaces : versión clásica y anular
(2022-06-21)Este trabajo se encuentra dentro de la Teoría de Nudos. En él, se presentan dos de los invariantes más relevantes de esta ...
-
Trabajo Fin de Máster
Predicción de Aristas para Data Augmentation en Problemas de Clasificación de Nodos con Graph Neural Networks
(2022-06-01)En este trabajo, repasamos detalladamente el planteamiento de un problema de aprendizaje supervisado en general, sobre ...