Browsing Grado en Matemáticas by Title
Now showing items 156-175 of 308
-
Final Degree Project
Laplacianas de digrafos y topologías de Alexandrov
(2018)La teoría algebraica de grafos se ocupa de la relación entre las propiedades de la estructura combinatoria de un grafo y ...
-
Final Degree Project
Ley de Benford
(2022-06-22)Benford’s law is a statistical phenomenon that was documented for first time in the nineteenth century. This, also known ...
-
Final Degree Project
Librería Haskell sobre Model Checking
(2020-06-01)In this project we establish the basic theoretical concepts about F inite State M achines and Model Checking so we can ...
-
Final Degree Project
Librería sobre esteganografía en Haskell
(2023-07)Steganography is the art of hiding the fact that comunication is taking place. In this project we present an introduction ...
-
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 ...