Listar Grado en Matemáticas por título
Mostrando ítems 154-173 de 303
-
Trabajo Fin de Grado
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 ...
-
Trabajo Fin de Grado
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 ...
-
Trabajo Fin de Grado
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 ...
-
Trabajo Fin de Grado
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 ...
-
Trabajo Fin de Grado
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 ...
-
Trabajo Fin de Grado
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 ...
-
Trabajo Fin de Grado
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 ...
-
Trabajo Fin de Grado
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 ...
-
Trabajo Fin de Grado
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 ...
-
Trabajo Fin de Grado
Lógica minimal, intuicionista y clásica
(2018-06)The classical systems traditionally accepted within formal mathematical reasoning coexists with other branches of logic ...
-
Trabajo Fin de Grado
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 ...
-
Trabajo Fin de Grado
Matemática discreta en Haskell
(2017-06)Discrete mathematics is characterized as the branch of mathematics dealing with finite and numerable sets. Concepts and ...
-
Trabajo Fin de Grado
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 ...
-
Trabajo Fin de Grado
Mathematical optimization and feature selection
(2015-06-21) -
Trabajo Fin de Grado
Mathematical optimization and social networks
(2015-06-22) - Trabajo Fin de Grado
-
Trabajo Fin de Grado
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 ...
-
Trabajo Fin de Grado
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 ...
-
Trabajo Fin de Grado
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 ...
-
Trabajo Fin de Grado
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 ...