trabajos
Category theory and Lambda calculus
CC-BY-SA 4 / GPL3Una lógica multiagente para nociones epistemológicas básicas: conocimiento, creencia y justificación
En el presente trabajo extendemos una lógica epistémica con justificación y tiempo discreto ya existente en la literatura (Baltag et. al. 2012) a entornos multiagente con conocimiento común. Para ello, primero se analizan los aspectos clave de dicha lógica. Tras esto, se presentan los recursos sintácticos y semánticos necesarios para tratar con n agentes y conocimiento común. Por último, se desarrolla un sistema axiomático para la nueva lógica y se ofrecen pruebas de corrección y completud para dicho sistema. A lo largo del trabajo, se comentan algunos aspectos relevantes del formalismo propuesto para su potencial aplicación en epistemología y una posible extensión dinámica.
CC BY-SA 4.0Introducción a la homología singular. Análisis y resolución del problema del clique máximo.
TFG sobre la teoría de homología singular y sobre el problema del clique máximo.
GPLv3Aprendizaje PAC. Clasificación no binaria
TFG sobre el modelado matemático del aprendizaje automático y algoritmos de oversampling
CC BY-NC-SA/GPLv3Reducción de la dimensionalidad en problemas de clasificación con Deep Learning
CC-BY-SA 4 / GPL3A ray tracer that computes the trajectories of photons in relativistic spacetimes; in particular around a Kerr black hole.
GPL2