Browsing Tesis de Doctorado en Ciencias de la Computación by Title
Now showing items 1-20 of 27
-
Algoritmos para decidir definibilidad de fragmentos de lógica en primer orden
(2023-06-29)Dada una estructura A, decimos que un conjunto T es definible en primer orden sin cuantificadores si y solo si existe una fórmula sin cuantificadores φ tal queA ⊨φ(x) para todo x∈T, mientras que A ⊭φ(x) para todo x∈A\T. ... -
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 ... -
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 ... -
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 ... -
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 ... -
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 ... -
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 ... -
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 ... -
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 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 ...