Browsing Trabajos Especiales de Licenciatura en Ciencias de la Computación by Subject "Theory of computation"
Now showing items 1-13 of 13
-
Análisis de estructuras de sufijos de strings
(2021)El problema de desarrollar algoritmos que decidan si un cierto patrón o palabra aparece o no en un determinado texto es fundamental en ciencias de la computación. Diversos algoritmos se han desarrollado en las últimas ... -
Análisis de la definibilidad de relaciones en estructuras de primer orden
(2019-03)En el artículo "Semantical conditions for the definability of functions and relations" [1], se presentan condiciones semánticas que caracterizan cuando una función o una relación es definible por fórmulas de distintos ... -
Aplicación de redes neuronales en la clasificación de imágenes
(2014-07-21)La eficiencia de la combinación entre los ojos y cerebro humano en resolver problemas de reconocimiento de patrones permiten a los cientı́ficos considerar la posibilidad de aplicar, en los algoritmos de clasificación, ... -
Automatización para el entorno Isabelle / ZF
(2021-03)Al formalizar en Isabelle/ZF las definiciones asociadas a Forcing para demostrar la independencia de la Hipótesis del Continuo, se presenta una cantidad significativa de tareas sistemáticas y repetitivas, entre las que se ... -
Cálculo de tableaux para fórmulas elementales en lógicas de separación
(2020)En este trabajo final investigamos métodos computacionales de razonamiento para lenguajes modales dinámicos. Por lenguajes dinámicos nos referimos a formalismos que permitan cambiar la estructura subyacente a medida que ... -
De PH a IP : un curso en complejidad computacional
(2019-11)En este trabajo estudiamos algunas de las clases más importantes de la teoría de Complejidad Computacional. Nos basamos en el programa que propone el libro Computational Complexity a modern approach, del cual vemos la ... -
Generalización de meta-programas con tipado dependiente en Mtac2
(2020-03)En este trabajo presentamos un nuevo meta-meta-programa lift que nos provee de una solución semiautomática para la generalización de terminos dependientes monádicos: dado cualquier metaprograma o operador (cómo bind) y una ... -
Una herramienta para chequeo de tipos en Assembly X86
(2023-10-15)Esta tesis aborda el desarrollo de una herramienta diseñada para realizar el chequeo de tipos en programas escritos en el lenguaje de ensamblaje x86. El principal desafío abordado en esta investigación es superar la falta ... -
Juegos estocásticos con objetivo compuesto: recompensas totales sujetas a alcanzabilidad prioritaria
(2024-05-10)El propósito de este trabajo es estudiar juegos estocásticos de dos jugadores con multiobjetivo. Uno de los objetivos es de alcanzabilidad de un conjunto de estados considerados exitosos y el otro es de recompensa total ... -
Selección de componentes discretos para un filtro activo mediante programación por restricciones y optimización por colonia de hormigas
(2019)En el diseño actual de filtros activos una de las opciones de implementación es la denominada RC (resistencia/capacitor), en la cual el filtro se construye a partir de amplificadores operacionales, resistencias y capacitores. ... -
Teoría de prueba con etiquetas para lógicas modales intuicionistas
(2019-03-28)Los sistemas de prueba etiquetados han sido propuestos por Gabbay como un marco unificador a través de la teoría de prueba con el fin de proporcionar sistemas de prueba para una amplia gama de lógicas. Para las lógicas ... -
Verificación de lógicas modales dinámicas en Coq
(2019-03)Los lenguajes modales son lenguajes adecuados para describir propiedades de grafos dirigidos con nodos etiquetados. Estas estructuras aparecen en una gran variedad de problemas de diversas áreas del conocimiento. Como ... -
Verificación formal de protocolos distribuidos
(2019)En esta tesis probamos la correctitud de tres protocolos distribuidos. Primero, el algoritmo Single Decree Paxos que resuelve el problema de llegar a un acuerdo, o alcanzar consenso, entre un conjunto de procesos. Segundo, ...