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

Título: Avances en el uso eficiente de sistemas multi-softcores en FPGAs Directores: David González Márquez y Esteban Mocskos Lugar: https://youtube.com/live/SzvOVCY4q3s Resumen ======= Desde hace años, el avance tecnológico en la fabricación de circuitos integrados ha permitido implementar múltiples procesadores en una misma pastilla con una creciente cantidad de núcleos, memoria e, inclusive, contener unidades funcionales con distinto grado de especialización. Sin embargo, a la hora de [...]

El próximo lunes 30 de Octubre tendremos nuestro 4° Ateneo CID sobre Economía Agraria. La propuesta será debatir sobre Certificaciones, Huella de Carbono, Trazabilidad y Sistemas de Monitoreo con relación al sector agropecuario de nuestro país. Contaremos con palabras de apertura a cargo del Ing. Juan Sebastián Llorens (INTA), [...]