Buscar
Mostrando ítems 21-30 de 78
Trabajo Fin de Máster
Statistical techniques to identify and handle outliers in multivariate data
(2020-06-18)
In this thesis, we focus on methods for detecting outliers in a multivariate setting. Outliers are also referred to as abnormalities, discordants, deviants, or anomalies in the data mining and statistics literature. It ...
Trabajo Fin de Máster
Ecuaciones de Navier-Stokes y Atractores
(2021)
Este trabajo aborda uno de los problemas de mayor renombre en áreas como la física, las matemáticas o la ingeniería: las conocidas como ecuaciones de Navier-Stokes. Estas ecuaciones en derivadas parciales, enmarcadas en ...
Trabajo Fin de Máster
El problema de Hopf para superficies de Weingarten
(2022-06-22)
The aim of this work is to study Hopf’s theorem, a classical result which characterizes constant mean curvature spheres in R 3 , as well as its generalizations. Namely, the extension to special Weingarten surfaces by ...
Trabajo Fin de Máster
Aspectos Discretos de la Segunda Forma Fundamental de Subvariedades
(2021-06)
En este trabajo estudiamos un tema que conecta elementos de dos áreas de las Matemáticas a priori separadas: estructuras combinatorias de la Matemática Discreta y las subvariedades de la Geometría Diferencial. Para ...
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. That is, with the Hoare logic we can ensure and prove that a particular program performs exactly ...
Trabajo Fin de Máster
Drone coverage using deep reinforcement learning
(2020-11-01)
UAVs (Unmanned Aerial Vehicles) or drones have long been used to autonomously operate on a terrain and many strategies have been proposed when the environment is unknown. When the drone is tasked with a path planning problem ...
Trabajo Fin de Máster
Trabajo Fin de Máster
Un estudio sobre la homología persistente con coeficientes enteros
(2021)
La homología persistente es una técnica que se usa para analizar la evolución de una cierta propiedad algebraica, la homología, sobre un espacio topológico que se construye paso a paso. Los resultados de la homología ...
Trabajo Fin de Máster
Cohomología de Galois y el Problema de Inmersión
(2022-06-02)
This text is the required master thesis that the author needs to present in order to obtain his Master’s degree in mathematics. It introduces the Galois embedding problem, focusing in Brauer type embedding problems, which ...
Trabajo Fin de Máster