Buscar
Mostrando ítems 31-40 de 78
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 un campo fundamental en la mayoría de las Ciencias, y son particularmente importantes en el campo ...
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
Teoría de cuerpos de clase y aplicaciones
(2019)
One problems which has lead the advance of number theory since the 20th century until now, is Hilbert’s twelfth problem, a problem which aims to find explicit generators for the maximal abelian extension of each number ...
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
Teoría de la Complejidad en Computación Cuántica
(2020-06-01)
During the rst half of the 20th century, the need of faster calculations brought the rst computers to our world. Those machines were designed following the same abstract blueprint: a structure called Turing Machine. Since ...
Trabajo Fin de Máster
Test de bondad de ajuste de la distribución Poisson
(2021-06-01)
Unlike the normality tests, the goodness of-fit tests for the Poisson distribution are not present in commonly used software environments for statistical computing, such as R or Python. In this work, we review tests for ...
Trabajo Fin de Máster
Espacios de Hardy desde una perspectiva de la ingeniería
(2022-06-20)
En este trabajo se pretende estudiar algunos de los resultados más clásicos de la teoría de los espacios de Hardy vistos con una perspectiva de la Ingeniería. Para ello se introducen dos herramientas fundamentales en ...
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
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 industry. We study an actual problem related to the inspection of Concentrated Solar Power (CSP) ...