Listar Grado en Matemáticas por título
Mostrando ítems 160-179 de 308
-
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 ...
-
Trabajo Fin de Grado
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 ...
-
Trabajo Fin de Grado
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. ...
-
Trabajo Fin de Grado
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 ...
-
Trabajo Fin de Grado
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 ...