Search
Now showing items 1-4 of 4
Formalización de fundaciones de la matemática y compiladores correctos por construcción
(2019)
Dentro de las teorías fundacionales de la matemática se encuentran la Teoría de Conjuntos y la Teoría de Tipos. La primera es bien conocida en la comunidad matemática; la teoría de tipos además de ser una posible fundación, ...
Análisis e integración de información de datos biológicos mediante análisis funcional
(2019-09)
El análisis funcional refiere a un conjunto de técnicas que tienen como fin detectar aquellas funciones o procesos que se encuentran desregulados en un experimento biológico. Con el continuo avance en las tecnologías de ...
Biortogonalidad para corrección de compiladores y adecuación computacional
(2019)
En esta tesis hemos estudiado en profundidad los métodos de biortogonalidad y step-indexing para probar tanto adecuación computacional como corrección de compiladores. Un primer aporte es la prueba de corrección de una ...
Estudio de representaciones mediante co-embeddings para estudiantes y contenidos en minerı́a de datos educativos
(2019-09)
Este trabajo es un estudio sobre la generación automática de representaciones basadas en
métodos neuronales, en aplicaciones dentro del área de Minerı́a de Datos Educacionales (EDM).
Se propone utilizar una arquitectura ...