Buscar
Mostrando ítems 1-10 de 10
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 uses f-structure techniques to extend results for almost contact manifolds, where trans-Sasakian ...
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 that it has attracted to good part of the mathematical community dedicated to the control. This ...
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 on the unit disc. Mainly, we focus on the problem in Hardy spaces, Hp(D), and Bergman spaces, ...
Trabajo Fin de Máster
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 fundamental role in the adequacy or fidelity of the theoretical problem to the real problem considered. ...
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 and it proves every valid formula. In this work we establish the theory of propositional logic, and ...
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 equations which was already started on the subjects “EDPyA”, “ANED” and “MySN”. It is meant for deepening ...
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 the modelling of complicated data sets in terms of chains of matrices (blocks), the so-called path ...
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 enfermedades o la concesión de crédito a un cierto individuo. La Clasificación Supervisada se encarga ...
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 area in mathematics. It is not only fruitful by itself, but it also provides a wonderful tool for ...