Browsing Tesis de Doctorado en Ciencias de la Computación by Issue Date
Now showing items 21-27 of 27
-
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 ... -
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 ... -
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, ... -
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 ... -
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 ... -
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. ...