Título: Natación Máster: Optimización de relevos mediante programación lineal entera Director: Javier Marenco Jurados: Dra. Flavia Bonomo y Dr. Guillermo Durán Resumen: La natación máster es un programa de natación organizado por clubs o federaciones, para adultos. Esta modalidad de natación está orientada a aquellos que dejaron de competir por su edad o bien a personas [...]

Título: WoBlocks: programación orientada a objetos con bloques Director: Matías Lopez-Rosenfeld Co-Director: Alfredo Sanzo Colaborador: Nahuel Palumbo Jurados: Cyntia Bonomi, Gustavo del Dago, Carla Griggio Resumen: La expansión tecnológica de las últimas décadas, junto con el aumento de su potencia y alcance han transformado el mundo. La penetración de [...]

Título: Un estudio poliedral del problema de coloreo de máximo impacto en hipergrafos Director: Javier Marenco Jurados: Dra. Isabel Méndez Díaz y Dra. Paula Zabala Resumen: Dados un grafo G = (V, E), un hipergrafo H = (V, EH) sobre el mismo conjunto de vértices y un conjunto C [...]

Título: MODELO PREDICTIVO DE AJEDREZ CON APRENDIZAJE PROFUNDO SOBRE TRANSFORMERS Director: Julio C. Jacobo Jurados: Enrique Segura y Ernesto Mislej. Resumen: El juego de Ajedrez, además de ser un desafı́o intelectual incluso para los mejores jugadores, también plantea un problema de gran interés para las Ciencias de la Compu [...]

Las infraestructuras críticas del Estado involucran un gran caudal de datos que requieren de políticas permanentes y sostenibles. Para profundizar el debate el próximo viernes 18/8 tendremos la posibilidad de dialogar con lxs protagonistas de estos desafíos en nuestro ciclo de Ateneos CID. Queremos convocar a las respectivas comunidades de la FCEyN a [...]

Título: Generador de abstracciones para Smart Contracts Director: Sebastián Uchitel Co-director: Javier Godoy Jurados: Dr. Ariel Waissbein y Dr. Victor Braberman Resumen: Vamos a abordar la problemática de validar y verificar la corrección de los contratos inteligentes, programas que se ejecutan en una blockchain y pueden manejar recursos de [...]

Titulo: MÉTODOS DE RECOLECCIÓN DE UN CORPUS DE CINE DOCUMENTAL ARGENTINO Y EVALUACIÓN DE RESULTADOS Directores: Ricardo rodriguez y José Castaño Resumen: En este trabajo se generaron corpus de documentales argentinos de archivos html, pdf y doc que sirven para alimentar a una componente de clasificación de un prototipo [...]

Título: Inferencia de tipos genéricos para colecciones en ambientes con LiveTyping Director: Hernán Wilkinson Jurados: Agustín Martinez, Maximiliano Contieri Resumen: LiveTyping es una técnica de anotación automática de tipos cuyo objetivo es mejorar la experiencia de desarrollo en ambientes dinámicamente tipados, en los que la ausencia de tipado estático limita [...]

Título: Construcción de números simplemente normales con dependencias de dígitos Directora: Verónica Becher Jurados: Santiago Figueira y Martín Mereb Resumen: Dado un entero b mayor o igual que 2 y un conjunto P de números primos consideramos el conjunto T_b de números de Toeplitz compuesto por los números reales [...]

Director: Diego Garbervetsky Jurados: Dr Rodrigo Castro, Lic Javier Godoy Resumen: En la actualidad, las técnicas de análisis estático de código son una herramienta muy usada para detectar, de manera temprana, vulnerabilidades de seguridad durante etapas tempranas en el proceso de desarrollo. Taint analysis es un tipo particular de [...]