Browsing Grado en Matemáticas by Title
Now showing items 160-179 of 308
-
Final Degree Project
Librería sobre grafos en Haskell : el problema del camino más corto
(2023-07)The shortest path problem is an important problem in graph theory, consisting in finding paths between two nodes in ...
-
Final Degree Project
Lógica computacional desde el punto de vista de la programación funcional : eliminación de cuantificadores
(2022-06-15)Computational Logic is a wide interdisciplinary field having its theoretical and practical roots in mathematics, computer ...
-
Final Degree Project
La lógica de la demostrabilidad
(2021-12-02)Our main goal in this work is the study of the arithmetical completeness theorem for GL (presented for first time by ...
-
Final Degree Project
Lógica de primer orden en Haskell
(2017-06)This final degree project consists in the implementation of First Order Logic theory and algorithms in Haskell, a functional ...
-
Final Degree Project
Lógica epistémica: sintaxis y semántica, completitud, expresabilidad.
(2020)A lo largo de este trabajo nos centraremos en presentar, desarrollar y estudiar diferentes lógicas epistémicas y algunas ...
-
Final Degree Project
Lógica minimal, intuicionista y clásica
(2018-06)The classical systems traditionally accepted within formal mathematical reasoning coexists with other branches of logic ...
-
Final Degree Project
Machine Learning: aplicación a datos RNA-Seq
(2016-09)Over the past years, biomedicine has experienced a revolution. This is partly due to the very high volume of information ...
-
Final Degree Project
Matemática discreta en Haskell
(2017-06)Discrete mathematics is characterized as the branch of mathematics dealing with finite and numerable sets. Concepts and ...
-
Final Degree Project
Las matemáticas de la atención
(2023)Nowadays, Artificial Intelligence covers an increasingly number of areas both in the scientific field and in everyday ...
-
Final Degree Project
Mathematical optimization and feature selection
(2015-06-21) -
Final Degree Project
Mathematical optimization and social networks
(2015-06-22) - Final Degree Project
-
Final Degree Project
El método de aproximación por media muestral
(2018-06)The sample average approximation (SAA) method is an approach for solving stochastic optimization problems by using Monte ...
-
Final Degree Project
El método de aproximación por media muestral aplicado a optimización estocástica discreta
(2016)The sample average approximation (SAA) method is an approach for solving stochastic optimization problems by using Monte ...
-
Final Degree Project
Método de descomposición de Benders aplicado al problema de diseño de redes con carga fija
(2023)New communication networks are constantly emerging to improve connectivity services and facilitate the interconnection of ...
-
Final Degree Project
El método húngaro de asignación: aplicaciones
(2016)The linear sum assignment problem is one of the most interesting problems in linear programming and in combinatorial ...
-
Final Degree Project
Métodos de optimización convexa para resolver problemas en aprendizaje automático
(2021-09-15)Nowadays, the learning methods developed to solve optimization problems turn out to have strange behavior when we work ...
-
Final Degree Project
Métodos estadísticos aplicados en arqueología
(2015-09)La Arqueología no está tan lejos de ciencias como las Matemáticas, y en especial la Estadística, como podamos imaginar. ...
-
Final Degree Project
Métodos iterativos de resolución de sistemas lineales basados en subespacios de Krylov. Aplicaciones a la resolución numérica de EDP y en matrices test.
(2023)Este trabajo se centra en los diferentes métodos iterativos para resolver sistemas lineales basados en subespacios de ...
-
Final Degree Project
Métodos multipaso para la aproximación de ecuaciones diferenciales ordinarias. Modelización de problemas relativos al atletismo
(2020)This work addresses numerical approximation of ordinary differential equations by means of multistep methods, with ...