Tesis de Doctorado en Ciencias de la Computación
Recent Submissions
-
Asimilación de datos por ensambles y tratamiento de errores: aplicaciones en modelos epidemiológicos
(2022-07)En esta tesis abordamos uno de los desafíos principales dentro de la disciplina de la asimilación de datos: la especificación de las incertezas inherentes al modelo y a las observaciones en los sistemas parcialmente ... -
Técnicas de optimización para el proceso de grounding en planning clásico
(2020-05)La planificación automática, o simplemente Planning es una de las áreas más antiguas y centrales dentro de la Inteligencia Artificial. En ella, se estudia la generación automática de acciones por parte de agentes inteligentes ... -
Técnicas basadas en búsqueda y aprendizaje para inferencia de especificaciones
(2022-02)La confiabilidad del software es una preocupación central en el proceso de construcción de software, y el análisis de la confiabilidad requiere una especificación del comportamiento esperado del software. Desafortunadamente, ... -
Lógicas modales con operadores de cambio de accesibilidad
(2014)En esta tesis investigamos operadores modales dinámicos que pueden cambiar el modelo durante la evaluación de una fórmula. En particular, extendemos el lenguaje modal básico con modalidades que son capaces de invertir, ... -
Semántica operacional y su aplicación para el estudio de recolección de basura, en Lua 5.2
(2021)Lua es un lenguaje de programación imperativo de scripting, que ofrece tipado dinámico, manejo automático de memoria, facilidades para la descripción de datos, y mecanismos de metaprogramación para adaptar el lenguaje a ... -
Fenómenos intrínsecos en clasificación de imágenes sin ejemplos
(2021-04)La tarea de clasificación de imágenes es típicamente abordada por técnicas de aprendizaje supervisado. Se utiliza un conjunto de imágenes previamente etiquetado para entrenar modelos capaces de reconocer patrones generales ... -
Desarrollo de familias de aplicaciones web con transformación de modelos
(2020)El desarrollo de Líneas de Productos de Software (SPL, por sus siglas en inglés) trae aparejado beneficios importantes para el desarrollo de sistemas de software: reducción de tiempos de desarrollo y comercialización, ... -
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 ... -
Extensión de lógicas temporales con nociones deónticas para la especificación y análisis de sistemas tolerantes a fallas
(2020-06)En la actualidad la tolerancia a fallas cada vez adquiere mayor importancia, debido a que cada día hay más sistemas críticos en donde es necesario garantizar cierto comportamiento deseado aún ante la ocurrencia ocasional ... -
Aspectos de adquisición de lenguaje en la enseñanza de programación
(2020-07)La enseñanza de la programación se ha transformado en un tema popular en los últimos años. Sin embargo, la programación es una disciplina tan reciente que poco se sabe de su didáctica. El objetivo general de esta tesis es ... -
Relation-changing modal logics
(2014)En esta tesis investigamos operadores modales dinámicos que pueden cambiar el modelo durante la evaluación de una fórmula. En particular, extendemos el lenguaje modal básico con modalidades que son capaces de invertir, ... -
Mutación de expresiones de navegación para testing y reparación
(2018-11)Evaluar la calidad de un conjunto de tests con respecto a su capacidad de detectar potenciales bugs representa un área muy importante en la ingeniería de software. Métricas indirectas para la medición de este potencial ... -
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, ... -
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 ... -
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 ... -
Estudio de métodos semisupervisados para la desambiguación de sentidos verbales del español
(2018)Esta tesis explora el uso de técnicas semisupervisadas para la desambigación de sentidos verbales del español. El objetivo es el estudio de como la información de datos no etiquetados, que son mayores en tamaño, puede ... -
Automatización de técnicas de división por importancia para la simulación de eventos raros
(2017-05)Existen muchas técnicas para estudiar y verificar descripciones formales de sistemas probabilistas. La simulación de Monte Carlo por eventos discretos ofrece una alternativa para la generalidad de procesos estocásticos ... -
Compilación Certificada sobre Máquinas Abstractas de evaluación normal
(2017-03)En esta tesis se analiza cómo demostrar la corrección de compiladores de lenguajes con evaluación normal, utilizando máquinas abstractas como entornos de ejecución. En particular se presenta una prueba de corrección de un ... -
Generación de expresiones referenciales bajo incertidumbre con teoría de modelos
(2016)En esta tesis investigamos la generación automática de rankings de expresiones referenciales en contextos con incertidumbre. Las posibles aplicaciones de la generación de expresiones referenciales que deben referirse al ... -
Construcción de programas que manejan dinámicamente la memoria
(2015-08-06)En este trabajo abordamos diferentes aspectos de la verificación de programas que manejan dinámicamente la memoria, y más en general, al razonamiento formal sobre ellos. Por un lado, proponemos un marco conceptual para ...
RSS 1.0