Listar Facultad de Matemáticas por título
Mostrando ítems 250-269 de 471
-
Trabajo Fin de Grado
Kernels Methods in Machine Learning
(2022-06-24) -
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
Leyes de reciprocidad (cuatro demostraciones de la Ley de Reciprocidad Cuadrática)
(2018)A lo largo del siguiente trabajo vamos a profundizar en los contenidos impartidos en la asignatura Estructuras Algebraicas ...
-
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
Lie Groups, Lie Algebras and Representation Theory
(2022-06-15)In Chapter 1, the concepts of a Lie group and a matrix Lie group are introduced, and we construct and study the group ...
-
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 Dinámica
(2023-07)En este trabajo hacemos un repaso de algunas de las principales propuestas en el área de la lógica epistémica dinámica, ...
-
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 Techniques for Natural Language Processing
(2023-07)Language is such a powerful tool that enables communication between humans. However, there have been some barriers, ...
-
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)