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 [...]

Título: Un algoritmo para collares perfectos lexicográficamente máximos Directora: Verónica Becher Jurados: Flavia Bonomo y Min Chih Lin (Oscar Lin) Resumen: Fijemos un alfabeto. Un collar es una secuencia circular de símbolos. Los collares perfectos son variantes de las secuencias de Bruijn: un collar es (n,k)-perfecto si todas las [...]

Este viernes 29/9 tenemos el honor de recibir a Douglas Crockford en el DC. La charla será en inglés La cita es en el aula 1403 del pabellón 0 + inf a las 17hs. Douglas Crockford es una eminencia en el mundo de los lenguajes de programación. Es el creador de [...]