Browsing Tesis de Doctorado en Ciencias de la Computación by Title
Now showing items 10-27 of 27
-
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 ... -
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 ... -
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 ... -
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, ... -
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 ... -
Herramientas y mecanismos formales para el tratamiento de la tolerancia a fallas
(2022-09)En esta tesis abordamos la tolerancia a fallas desde una perspectiva formal. Analizamos y diseñamos herramientas formales generales para contribuir al proceso de construcción y razonamiento sobre sistemas tolerantes a ... -
Implementación eficiente de construcciones de alto nivel para la programación concurrente
(2011)El trabajo de tesis doctoral presenta métodos automáticos para mejorar implementaciones de regiones críticas condicionales y monitores con señalamiento automático, mediante el uso de probadores de teoremos del tipo SMT ... -
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, ... -
Mejoras al testing exhaustivo acotado
(2015-03)El Testing consiste en ejecutar una pieza de software con diferentes entradas para luego chequear si el resultado obtenido se corresponde con el resultado esperado. Se estima que esta actividad ocupa más de la mitad del ... -
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 ... -
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, ... -
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 ... -
Simetrías en razonamiento automático : el caso de las lógicas modales y satisfacibilidad módulo teorías
(2014-03)En esta tesis investigamos el uso de simetrías en el contexto de lógicas modales y de satisfacibilidad módulo teorías (SMT). Desarrollamos el marco teórico para utilizar las simetrías de una fórmula modal utilizando el ... -
Sobre la verificación automática de autómatas probabilistas distribuidos con información parcial
(2010-03)En esta tesis desarrollamos algoritmos y técnicas de análisis basadas en model checking para analizar la corrección de sistemas distribuidos con características aleatorias y no deterministas. Una contribución importante ... -
Técnicas automáticas para la elaboración, validación y verificación de requisitos de Software
(2015-05)Es ampliamente aceptado que los errores son más fáciles (y menos costosos) de corregir si se capturan lo más temprano posible en el proceso de desarrollo. Luego, obtener una especificación de requisitos de buena calidad, ... -
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, ... -
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 ...