Trabajos Especiales de Licenciatura en Ciencias de la Computación: Recent submissions
Now showing items 21-40 of 161
-
Soporte para ARM en un compilador verificado
(2022-12)Este trabajo es un estudio de un lenguaje de programación, llamado Jasmin, utilizado para desarrollar criptografía eficiente y confiable, así como una propuesta de una extensión a esta herramienta para agregar soporte para ... -
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, ... -
Mejorando reconocimiento de entidades nombradas del español mediante la especialización BETO
(2022)En este trabajo se realizarán tareas de especialización sobre BETO, que es un modelo de lenguaje no supervisado, equivalente al modelo del lenguaje BERT, pero entrenado sobre un corpus de gran volumen del español. Intentaremos ... -
Detección de diferentes aspectos de discurso de odio en redes sociales
(2022)En este trabajo, buscamos detectar de forma automática las diferentes y diversas unidades argumentativas que se presentan en el discurso de odio, empleando arquitecturas de aprendizaje profundo, con el objetivo de que ... -
Optimización del seguimiento de C. elegans en videos de microscopía
(2022-08)En este trabajo se optimiza un algoritmo que detecta gusanos en imágenes de microscopía. Se comienza con un análisis del algoritmo existente, tanto de su comportamiento como la distribución de los tiempos de ejecución. ... -
Análisis y procesamiento de imágenes de maní para el control del nivel de tostado
(2013)El maní es una planta que produce frutos secos con una o más semillas comestibles. Estas semillas se destinan para la elaboración de aceites o para el consumo ya sea directo o, previa transformación, como pasta de maní. Para ... -
Falluto2.0 un model checker para la verificación automática de sistemas tolerantes a fallas
(2013-03)Los sistemas computacionales juegan roles determinantes en muchas áreas de nuestra vida cotidiana. En algunos casos la dependencia hacia estos sistemas es crítica, y el mal funcionamiento de los mismos puede acarrear grandes ... -
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 ... -
Omnetpy: integración del lenguaje Python en el entorno de simulación OMNeT++
(2022-03)En este trabajo elaboramos un paquete que permite el desarrollo de módulos Python para la herramienta de simulación de redes OMNeT++. También analizamos el estado del arte en el uso de Python para la simulación de redes. ... -
Localización visual inercial en tiempo real para aplicaciones de XR
(2022-03)Las aplicaciones de realidad virtual (VR), aumentada (AR) y sus derivadas, englobadas dentro del término XR, necesitan métodos para localizar y entender los movimientos realizados por el usuario y así poder actualizar ... -
Predicción temprana de tendencia en redes sociales basada en características sociales y contenido
(2022)En estos últimos años, las redes sociales se han hecho cada vez más masivas. En consecuencia, son una fuente fundamental de información y una poderosa herramienta para esparcir ideas y opiniones. Basándose en Twitter, este ... -
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 ... -
Detección de objetos en imágenes mediante aprendizaje sin ejemplos
(2021)En el año 2010 surgió la llamada “revolución” del aprendizaje profundo, y con esto, los métodos capaces de detectar objetos en una imagen progresaron considerablemente. Estos algoritmos o modelos fueron mejorando en cada ... -
Aprendizaje automático para clasificación de actos de habla ilocutivos en mensajes de foros para educación a distancia
(2021)En este trabajo se investiga una tarea propuesta por la empresa Ikumi, desarrolladora del sistema Mumuki: un sistema online para aprender a programar. Mumuki cuenta con un foro donde los estudiantes consultan dudas sobre ... -
Uso de planes relajados en grounding heurístico
(2021)Los planificadores en planning clásico encuentran planes con éxito aún para tareas realmente complejas. Para esto, la mayoría de planificadores realizan una etapa de preprocesamiento sobre la especificación de la tarea ... -
Extracción de características geométricas para rendering no fotorrealista de mallas 3D en Python
(2021)En este trabajo se implementan algoritmos para la extracción de características geométricas que son utilizadas para la generación automática de bocetos. Estas características geométricas tienen su base en la geometría ... -
Aplicación de técnicas de predicción automática para operar en el mercado de criptomonedas
(2021)En este trabajo el objetivo final es la creación de un agente para operar automáticamente en el mercado de criptomonedas. Para ello se explorarán diferentes técnicas de predicción en 4 etapas de experimentos: en una primer ... -
Detección de entidades nombradas en textos de reportes de imágenes médicas
(2021)En este trabajo se abordó el problema de reconocimiento de entidades nombradas sobre texto de reportes de imágenes médicas, empleando distintas alternativas a la solución del problema. La primera de ellas es un clasificador ... -
Inteligencia artificial en juegos : desarrollando un game partner utilizando generación de lenguaje natural
(2013)Actualmente la mayoría de los tutoriales en los videojuegos están hechos para que el jugador siga un script fijo. Por lo tanto, que un tutorial sea bueno o malo es todavía un arte que depende de cuán bueno sea el script ... -
Aprendizaje multimodal aplicado al etiquetado de imágenes
(2019)El aprendizaje multimodal estudia problemas de aprendizaje automático utilizando datos que combinan información de diferente naturaleza. Un ejemplo de tarea multimodal es el etiquetado de imágenes, donde una imagen debe ...