BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Departamento de Computación - ECPv6.15.18//NONSGML v1.0//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-WR-CALNAME:Departamento de Computación
X-ORIGINAL-URL:https://www.dc.uba.ar
X-WR-CALDESC:Eventos para Departamento de Computación
REFRESH-INTERVAL;VALUE=DURATION:PT1H
X-Robots-Tag:noindex
X-PUBLISHED-TTL:PT1H
BEGIN:VTIMEZONE
TZID:America/Sao_Paulo
BEGIN:STANDARD
TZOFFSETFROM:-0300
TZOFFSETTO:-0300
TZNAME:-03
DTSTART:20220101T000000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20230703T140000
DTEND;TZID=America/Sao_Paulo:20230703T150000
DTSTAMP:20260407T181505
CREATED:20230627T121516Z
LAST-MODIFIED:20230703T125317Z
UID:8418-1688392800-1688396400@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura María Belén Ticona Oquendo
DESCRIPTION:Título: Predicción de cristalización de perovskitas mediante aprendizaje automático\nDirector: Diego Onna\nCo-Director: Pablo Turjanski\nJurados: Esteban Mocskos y Mario Tagliazucchi\n\n\nResumen\n\nEn el área de las ciencias materiales tradicionalmente se investiga mediante la prueba y error experimental en laboratorio\, consumiendo una considerable cantidad de tiempo\, recursos e inversiones. Actualmente\, entre los materiales más investigados\, se destacan las perovskitas por ser una promesa en el desarrollo de paneles solares. Sin embargo\, su síntesis por formación de cristales es un proceso químico complejo y poco frecuente\, aún se desconocen las condiciones experimentales que producen una síntesis exitosa.\nEn este contexto\, existen trabajos que han demostrado que es posible desarrollar modelos de predicción de cristalización de perovskitas empleando técnicas de aprendizaje automático. No obstante\, desde un punto de vista metodológico\, estos modelos se han realizado sin considerar las características que conlleva usar datos experimentales\, como por ejemplo\, la cantidad acotada de datos\, el desbalance entre experimentaciones en donde efectivamente cristaliza\, los sesgos en la recolección de los datos\, entre otros.\nEn este trabajo realizamos un estudio sobre la evaluación de modelos predictivos frente a errores en la recolección y muestreo de datos experimentales. Para ello estudiamos cómo se ven afectadas tradicionales métricas de evaluación -mediante matrices de confusión sintéticas- al usar conjunto de datos chicos y desbalanceados. Consideramos una evaluación basada en una representación bidimensional de métricas y definimos categorías de performance esperadas de los sistemas predictivos finales para poder valorar mejor su utilidad. Por último\, aplicamos este mecanismo para estudiar en particular modelos de ensambles\, pudiendo analizar qué estimadores generan un ensamble superador a los modelos individuales de un único estimador. Además\, al estudiar ensambles heterogéneos concluimos que combinar modelos especializados por clase permite generar ensambles superadores con mejor desempeño.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-maria-belen-ticona-oquendo/
LOCATION:Aula 1102
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20230719T110000
DTEND;TZID=America/Sao_Paulo:20230719T120000
DTSTAMP:20260407T181505
CREATED:20230713T124618Z
LAST-MODIFIED:20230713T124618Z
UID:8451-1689764400-1689768000@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Alejandro Mercado
DESCRIPTION:Título: Weak-Ensconcement for Shielded Base Contraction\nDirector: Ricardo O. Rodríguez\nCo-Director: Daniel Grimaldi\nJurados: Vanina Martinez y Eduardo Barrio \nResumen:\nEn esta tesis\, se presenta la versión débil de ensconcement\, que caracteriza a una interesante familia de shielded contractions para bases de conocimiento. A su vez\, esta caracterización induce una clase de contracciones AGM que satisface ciertos postulados que se exponen en este trabajo. Finalmente\, se muestra la conexión entre la clase de contracciones dada por el nuevo weak-ensconcement y otros tipos de operadores de contracción en bases. Al hacerlo\, también señala una falla que se descubrió en los teoremas originales que vinculan al epistemic entrenchment con el ensconcement (teoremas bien establecidos en la literatura)\, y luego se proporcionan dos posibles soluciones a este problema.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-alejandro-mercado/
LOCATION:Aula 1206
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20230803T083000
DTEND;TZID=America/Sao_Paulo:20230803T093000
DTSTAMP:20260407T181505
CREATED:20230731T163139Z
LAST-MODIFIED:20230731T163139Z
UID:8505-1691051400-1691055000@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Nicolás Tallar
DESCRIPTION:Título: «La mayoría sigue sin ser suficiente»\nDirector: Esteban Mocskos\nJurados: Laura Tardivo y Jesús Carretero \nSerá transmitida por youtube en https://youtube.com/live/o7BxyWpAk7s?feature=share \nResumen\n=======\nLas criptomonedas son activos digitales que son mantenidos por la colaboración entre los participantes de una red\, denominados nodos.\nBitcoin es el principal exponente de esta tecnología en cuanto a adopción y referencia como paradigma de ser un activo digital.\nSu principal atractivo\, y en general de las criptomonedas\, es que no está controlada por una entidad central\, sino que es un sistema distribuido.\nLa base de la seguridad de esta descentralización son los protocolos ejecutados por miles de nodos para consensuar la historia transaccional. \nEl almacenamiento de los datos se sustenta en la blockchain\, una estructura de datos distribuida que se valida por todos los nodos de la red y construida por algunos de estos\, los mineros. Los mineros compiten\nentre sí mediante un puzzle computacional para añadir transacciones a la blockchain\, recibiendo a cambio de su participación una recompensa económica. A partir de la blockchain se puede derivar el ledger\, el libro de cuentas indicando qué transacciones se realizaron y cuánto de la criptomoneda tiene cada usuario. \nAl tratarse de una red de máquinas\, cada nodo puede poseer una visión distinta del ledger\, pero mediante protocolos comparten y unifican la información de manera de tender a una misma visión del sistema.\nUna de las hipótesis que se realizan respecto de estos protocolos descentralizados es que incentivan un comportamiento cooperativo entre los mineros: que su mejor estrategia es compartir inmediatamente toda información nueva que produzcan ellos mismos u obtengan de otros nodos. Sin embargo\, aparecieron en la literatura algunos trabajos cuestionando que esta suposición sea verdadera para el caso de Bitcoin y presentaron distintas estrategias de comportamiento más económicamente atractivas que un comportamiento cooperativo. La primera estrategia desarrollada y la más investigada al momento es el selfish mining. \nA diferencia de la estrategia cooperativa\, ésta se basa en administrar con astucia la información disponible de la blockchain\, reteniendo gran parte para ser su único conocedor\, y así tener ventaja en la competencia\npor añadirle transacciones. \nLos trabajos mencionados se centran en analizar de forma teórica esta estrategia de minado y otras variantes. En esta tesis\, nos centramos en el análisis del ataque de selfish mining pero\, a diferencia de los\ntrabajos de la literatura\, lo hacemos desde el punto de vista operacional: utilizamos una herramienta de simulación que permite acercanos al comportamiento real de Bitcoin para evaluar este ataque. La herramienta de simulación fue desarrollada usando SimGrid\, lo que nos permite estudiar escenarios de gran escala y tener la seguridad de estar utilizando una herramienta con una fuerte adopción en la comunidad de\nsimulación. Para nuestra experimentación\, comenzamos estudiando escenarios controlados de baja escala\, cuyos resultados fueron utilizados para verificar el comportamiento del atacante y el resto de los nodos. \nLuego\, gracias a la escalabilidad de SimGrid\, realizamos simulaciones a gran escala cercanas a Bitcoin: utilizamos topologías de 10000 nodos respetando el tamaño y las propiedades de su red actual.\nLa primera de las conclusiones a las que llegamos es que\, en los experimentos de topologías chicas\, los resultados obtenidos en la práctica fueron efectivamente los esperados de acuerdo a la literatura. Por otro lado\, para los experimentos a gran escala se observó que realizar el ataque es más rentable que no hacerlo\, pero no pudimos concluir si es tan rentable como lo predicho teóricamente\, ya que no existen actualmente herramientas para realizar dichas predicciones en sistemas similares al real. Como alternativa\, se presentó un estimador de la rentabilidad del atacante en base a propiedades del grafo surgido a partir de las conexiones entre nodos. Transversalmente\, exploramos el funcionamiento del ataque realizando un análisis del uso de los recursos de todos los mineros de la red. Esto puso en evidencia una fuente adicional de ineficiencia del sistema cuando el ataque está activo.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-nicolas-tallar/
LOCATION:Virtual
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20230803T100000
DTEND;TZID=America/Sao_Paulo:20230803T110000
DTSTAMP:20260407T181505
CREATED:20230727T164924Z
LAST-MODIFIED:20230728T135817Z
UID:8493-1691056800-1691060400@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Nicolás San Martín
DESCRIPTION:Título:\n    Operador de medición en un cálculo lambda con control cuántico.\nDirectores:\n    Alejandro Díaz-Caro\n    Pablo E. Martínez López\nJurados:\n    Pablo Barenbaum\n    Hernán Melgratti\n    Rafael Romero\n\nResumen:\nEn los últimos años\, se han desarrollado distintas extensiones al cálculo lambda buscando lenguajes de programación cuánticos siguiendo el modelo de «control cuántico». Este modelo\, a diferencia del de «control clásico»\, describe las operaciones cuánticas de manera explícita\, incorporando conceptos de la computación cuántica como el de las superposiciones al cálculo. Ejemplos de tales lenguajes son Lambda-S y Lambda-S₁. El primero enfocado principalmente en incorporar la medición cuántica a los cálculos anteriores\, donde todas las operaciones son lineales. El segundo asegura que las superposiciones se mantienen en la esfera de módulo 1 haciendo que las operaciones sean isometrías\, lo que es también un requisito para la computación cuántica. En esta tesis se define Lambda-S₁π\, que es un cálculo que preserva la norma de las superposiciones\, asegura que las operaciones son isometrías\, y a la vez incorpora la medición cuántica. Se define el lenguaje\, se prueban las propiedades de subject reduction\, progreso\, preservación de la norma y un resultado de expresividad.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-nicolas-san-martin/
LOCATION:Aula 1113
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20230804T143000
DTEND;TZID=America/Sao_Paulo:20230804T153000
DTSTAMP:20260407T181505
CREATED:20230731T132656Z
LAST-MODIFIED:20230731T132656Z
UID:8503-1691159400-1691163000@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Florencia De Arca
DESCRIPTION:Título: Natación Máster: Optimización de relevos mediante programación lineal entera\nDirector: Javier Marenco\nJurados: Dra. Flavia Bonomo y Dr. Guillermo Durán \nResumen: \nLa 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 que se acercan al deporte sin haber competido previamente. La natación máster cuenta con pruebas individuales y grupales. En las pruebas individuales\, cada persona compite contra otras de su misma categoría (en un rango de 5 años). En las pruebas grupales\, llamadas «relevos»\, cualesquiera cuatro personas pueden formar un relevo\, y la categoría a la cual pertenecerán estará dada por la suma de las edades de los participantes. \nDebido a las reglas de formación\, armar los relevos en natación máster es mucho más complejo que para natación profesional o en natación de menores\, en las cuales los deportistas compiten contra personas de su mismo rango etario. En esta tesis se busca optimizar el armado de relevos en natación máster\, con el objetivo de hacer más sencillo el trabajo del entrenador. Habitualmente\, el entrenador hace este trabajo a mano\, teniendo los tiempos de cada nadador en una planilla. \nEn esta tesis se presentan modelos de programación lineal entera para resolver este problema\, y se implementa un esquema para presentar los resultados en forma cómoda para el entrenador. Se aplican estos modelos a datos de un club de la Ciudad de Buenos Aires\, se analizan los resultados obtenidos y se reportan las reacciones de los usuarios.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-florencia-de-arca/
LOCATION:Aula 1203
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20230807T100000
DTEND;TZID=America/Sao_Paulo:20230807T110000
DTSTAMP:20260407T181505
CREATED:20230802T125648Z
LAST-MODIFIED:20230802T125750Z
UID:8518-1691402400-1691406000@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Alejandro Ferrante
DESCRIPTION:Título: WoBlocks: programación orientada a objetos con bloques\nDirector: Matías Lopez-Rosenfeld\nCo-Director: Alfredo Sanzo\nColaborador: Nahuel Palumbo\nJurados: Cyntia Bonomi\, Gustavo del Dago\, Carla Griggio \nResumen: \nLa expansión tecnológica de las últimas décadas\, junto con el aumento de su potencia y alcance han transformado el mundo.\nLa penetración de las computadoras en cada vez más ámbitos y tareas transformó la necesidad de aprender a utilizarlas en algo indispensable.\nEn ese sentido\, entender qué sucede dentro de las computadoras nos permitirá interactuar de mejor manera con este mundo. En este trabajo nos centramos en el aprendizaje de la programación. Esta es una tarea difícil en diferentes niveles\, y hemos tomado en consideración las propuestas existentes para formular una propia que constituya un avance en el área.La presente propuesta se materializa en el desarrollo de una herramienta educativa para la enseñanza de la programación basada en bloques bajo el paradigma de la programación orientada a objetos a través del desarrollo de videojuegos para nivel universitario: WoBlocks\nLa propuesta se basa en la experiencia y didáctica del lenguaje Wollok. Buscando tener una cantidad minimal de bloques donde cada uno ilustre un concepto fundamental del paradigma.\nSe reportan la evolución de la herramienta en sus versiones preliminares hasta llegar al resultado final.\nSe realizó una prueba piloto dónde los usuarios lograron resolver el desafío propuesto y reportaron su experiencia como usuarios.\nPor último\, se incluyen reflexiones y desafíos futuros a abordar para que WoBlocks siga creciendo y pueda ser utilizado en un contexto áulico.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-alejandro-ferrante/
LOCATION:Sala 2103
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20230810T110000
DTEND;TZID=America/Sao_Paulo:20230810T120000
DTSTAMP:20260407T181505
CREATED:20230802T171649Z
LAST-MODIFIED:20230809T134609Z
UID:8523-1691665200-1691668800@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Jessica Singer
DESCRIPTION:Título: Un estudio poliedral del problema de coloreo de máximo impacto en hipergrafos\nDirector: Javier Marenco\nJurados: Dra. Isabel Méndez Díaz y Dra. Paula Zabala \nResumen: \nDados un grafo G = (V\, E)\, un hipergrafo H = (V\, EH) sobre el mismo conjunto de vértices y un conjunto C de colores\, el problema de coloreo de m+aximo impacto en hipergrafos consiste en hallar un coloreo factible de G que\nmaximice la cantidad de hiperaristas de H que se asignan al mismo color. \nEste problema surge en el contexto de asignación de aulas a clases\, donde V es el conjunto de clases semanales de una institución educativa\, C son las aulas de la misma\, y las aristas del grafo H conectan a las clases de una misma asignatura. En este sentido\, una particularidad que intentaremos modelar será la preferencia por asignar a todas las clases de una misma asignatura\, una misma aula. Sin embargo\, habrá que tomar en cuenta los casos donde esto no será posible por superposiciones horarias. \nPara este problema\, analizamos dos modelos de programación lineal entera\, concluyendo que uno de ellos muestra una ejecución más veloz en la práctica. Utilizando el modelo ganador\, hacemos un estudio del poliedro inducido por las soluciones factibles de éste\, calculando su dimensión y buscando desigualdades válidas y facetas.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-jessica-singer/
LOCATION:Aula 1208
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20230817T170000
DTEND;TZID=America/Sao_Paulo:20230817T180000
DTSTAMP:20260407T181505
CREATED:20230817T130644Z
LAST-MODIFIED:20230817T134241Z
UID:8548-1692291600-1692295200@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Santiago Nahmod
DESCRIPTION:Título: MODELO PREDICTIVO DE AJEDREZ CON APRENDIZAJE PROFUNDO SOBRE TRANSFORMERS\n\nDirector: Julio C. Jacobo\nJurados: Enrique Segura y Ernesto Mislej.\n\n\nResumen:\nEl 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 tación por su enorme complejidad combinatoria en la cantidad de partidas posibles.\nEn esta tesis se propone un modelo predictivo de jugadas de ajedrez utilizando una arquitectura basada en transformers\, una técnica de aprendizaje profundo que ha demostrado excelentes resultados en la tarea de modelado de lenguaje natural. El modelo fue entrenado con cientos de miles de partidas de ajedrez en formato PGN\, lo que permitió capturar patrones y estrategias comunes en el juego.\nLos resultados obtenidos muestran que el modelo es capaz de jugar largas partidas de ajedrez sin producir una gran cantidad de jugadas ilegales. Pero sin embargo\, se concluye que el modelo todavía es inferior a los mejores motores de ajedrez como Stockfish.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-santiago-nahmod/
LOCATION:Aula 1204
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20230818T093000
DTEND;TZID=America/Sao_Paulo:20230818T120000
DTSTAMP:20260407T181505
CREATED:20230816T170039Z
LAST-MODIFIED:20230816T170039Z
UID:8545-1692351000-1692360000@www.dc.uba.ar
SUMMARY:Ateneo sobre Seguridad y Protección de Datos
DESCRIPTION:Las infraestructuras críticas del Estado involucran un gran caudal de datos que requieren de políticas permanentes y sostenibles. \nPara 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.\n\nQueremos convocar a las respectivas comunidades de la FCEyN a nuestro Ateneo sobre «Seguridad y Protección de Datos»\, que tendrá lugar este viernes 18/8 a las 9h30 en el auditorio #1401 del Pab. Cero+Infinito.\n\n\nAteneo CID de Agosto\n🏷 Seguridad y Protección de Datos\n🗓 viernes 18 de Agosto\n📍Auditorio 1401 Pab. Cero+Infinito\n⏰9:30 a 12 hs.\n🗣Panelistas: Fabián Ricciardi\, Mariano Kabakian y Micaela Gutiérrez /Dirección Nac. de Migraciones\, Diego A. Castro /Gerente de Sistemas de Nación Servicios y sistema SUBE y Benjamín Depaula /exDirector de VU Security y experto en Ciberdefensa\n📢Convocatoria abierta a toda la comunidad de FCEN y al público en general para poner sobre la mesa tópicos como anonimización y datos personales\, normativa\, y Ciberseguridad.\n\nEl ateneo es de acceso libre y gratuito\, presencial y con capacidad limitada por lo que se requiere registro previo en este link: https://forms.gle/ZNofXaBxh5CZTb7y5
URL:https://www.dc.uba.ar/event/ateneo-sobre-seguridad-y-proteccion-de-datos/
LOCATION:Aula 1401
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20230823T140000
DTEND;TZID=America/Sao_Paulo:20230823T150000
DTSTAMP:20260407T181505
CREATED:20230823T130903Z
LAST-MODIFIED:20230823T130903Z
UID:8555-1692799200-1692802800@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Edén Torres
DESCRIPTION:Título: Generador de abstracciones para Smart Contracts\nDirector: Sebastián Uchitel\nCo-director: Javier Godoy\nJurados: Dr. Ariel Waissbein y Dr. Victor Braberman\n\nResumen:\n\nVamos 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 alto valor. Debido a la falta de especificaciones claras del comportamiento esperado y al entorno de ejecución concurrente en el que funcionan\, validar la corrección de estos contratos es una tarea compleja. Una manera de facilitar la comprensión del comportamiento de los contratos es construyendo máquinas de estado\, pero esta técnica se realiza de manera manual y requiere la traducción del código a un lenguaje de modelado. Por lo tanto\, se propone desarrollar una herramienta capaz de construir automáticamente abstracciones para contratos inteligentes para la red Ethereum utilizando ideas similares a las de un estudio anterior y utilizando un analizador estático de programas Solidity. Para esto\, se utilizará VeriSol\, una herramienta de análisis estático desarrollada por Microsoft Research que verifica la correctitud de las aserciones en un contrato dado.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-eden-torres/
LOCATION:Aula 1208
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20230911T140000
DTEND;TZID=America/Sao_Paulo:20230911T150000
DTSTAMP:20260407T181505
CREATED:20230905T122220Z
LAST-MODIFIED:20230905T122220Z
UID:8592-1694440800-1694444400@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Esteban Ramos
DESCRIPTION:Titulo: MÉTODOS DE RECOLECCIÓN DE UN CORPUS DE CINE DOCUMENTAL ARGENTINO Y EVALUACIÓN DE RESULTADOS\nDirectores: Ricardo rodriguez y José Castaño \nResumen:\nEn 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 de buscador vertical sobre cine documental asistido por aprendizaje. El propósito es generar una herramienta que sustituya la búsqueda manual de documentales\, para el armado de dichos corpus. También se automatizó la generación de estos corpus\, a través del desarrollo de un script\, para evitar la intervención humana. \nAdemás se exploraron distintos criterios para determinar qué documentales son relevantes en esos corpus (buscados de la web) y cuáles no. Estos criterios se basaron en los resultados de aplicar diferentes filtros a los corpus. Dichos filtros fueron implementados en el mismo script. La ejecución del mismo y otros scripts (auxiliares) permitirían automatizar también el filtrado de falsos positivos realizados por intervención manual humana. La aplicación de estos criterios servirían para la etapa de aprendizaje del clasificador (el cual es usado como componente del prototipo de un buscador mencionado con anterioridad).
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-esteban-ramos/
LOCATION:Sala 1604
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20230914T153000
DTEND;TZID=America/Sao_Paulo:20230914T163000
DTSTAMP:20260407T181505
CREATED:20230911T133757Z
LAST-MODIFIED:20230911T133952Z
UID:8606-1694705400-1694709000@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Adrian Castiglione
DESCRIPTION:Título: Inferencia de tipos genéricos para colecciones en ambientes con LiveTyping\nDirector: Hernán Wilkinson\nJurados: Agustín Martinez\, Maximiliano Contieri \nResumen:\nLiveTyping 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 seriamente la capacidad de las herramientas de desarrollo. Su implementación en Smalltalk consiste en extender la VM para recolectar información durante la ejecución de código\, aprovechando que se trata de un ambiente vivo\, donde el IDE y el programa son ejecutados por la misma VM. Esto permite anotar cada expresión en base a las clases de los valores que haya tomado durante la ejecución y utilizar estas anotaciones para mejorar las herramientas de desarrollo disponibles. Este enfoque sin embargo no es suficiente para anotar tipos genéricos\, que están definidos a partir de su clase base y del uso que se les dé durante la ejecución del programa; un ejemplo típico de estos tipos son las colecciones.\nLa inferencia de tipos\, por otra parte\, consiste en realizar un análisis estático del código fuente del programa con el objetivo de anotar con tipos cada expresión encontrada. Los trabajos previos en este área marcan que para el caso general en lenguajes dinámicos no es posible tipar cada expresión de forma precisa y con suficiente velocidad como para que tenga utilidad práctica\, sin embargo\, cuando se buscan objetivos más acotados es posible reducir la cantidad de esfuerzo que debe realizarse y alcanzar resultados útiles. En ese sentido\, existe un balance entre precisión y velocidad: se puede obtener mayor velocidad reduciendo el alcance del análisis\, pero esto a su vez disminuye la precisión de la solución obtenida.\nEn este trabajo se estudia la extensión de LiveTyping con un algoritmo de inferencia de tipos que aprovecha la información recolectada durante la ejecución del programa y cuyo objetivo es completar los parámetros de las diferentes colecciones del sistema. Se explorará el funcionamiento del algoritmo\, cómo utiliza la información recolectada por LiveTyping y las limitaciones que presenta.\nPor último se presentarán extensiones sobre cómo puede utilizarse o modificarse para tipos genéricos que no son colecciones y se darán algunos ejemplos de cómo las herramientas de desarrollo pueden aprovechar la nueva información disponible.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-adrian-castiglione/
LOCATION:Aula 1113
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20230914T170000
DTEND;TZID=America/Sao_Paulo:20230914T180000
DTSTAMP:20260407T181505
CREATED:20230907T123905Z
LAST-MODIFIED:20230907T123905Z
UID:8599-1694710800-1694714400@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Agustin Luis Marchionna
DESCRIPTION:Título: Construcción de números simplemente normales con dependencias de dígitos\nDirectora: Verónica Becher\nJurados: Santiago Figueira y Martín Mereb \nResumen:\nDado 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 de [0\,1) cuya expansión en base b dada por {a_n}_{n>0} satisface a_n = a_{pn} para todo p en P y n>0. \nUn número es simplemente normal una base entera b en el sentido de Borel en si en su expansión en base b todos los dígitos aparecen con la misma frecuencia asintótica. Un número es normal si es simplemente normal en cada base que es potencia de b. Se sabe que casi todos los números de Toeplitz T_b (respecto de la medida uniforme en T_b) son normales en la base b. \nUsando funciones completamente aditivas\, construimos un número en Toeplitz que es simplemente normal en base b si y solamente si P cumple la siguiente condición:\nPara b>2\, la suma de los inversos de los elementos en P debe divergir.\nPara b=2\, la suma de los inversos de los elementos en P debe divergir\, o 2 debe no estar en P\, según el caso. \nPrimero damos la demostración para el caso b = 2\, luego para b > 2. Damos además otra demostración para todo valor de b mayor o igual que 2 junto con una cota superior efectiva para la discrepancia de las secuencia (b^n x mod 1)_{n > 0} para el número x que construimos. \nEste es el primer ejemplo explícito de un número de Toeplitz simplemente normal en una base dada. Fue recientemente publicado: \nOn simply normal numbers with digit dependencies.\nV. Becher\, A. Marchionna\, and G. Tenenbaum.\nMathematika\, 69(4):988–991\, 2023.\nhttps://doi.org/10.1112/mtk.12216
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-agustin-luis-marchionna/
LOCATION:Aula 1305
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20230920T130000
DTEND;TZID=America/Sao_Paulo:20230920T140000
DTSTAMP:20260407T181505
CREATED:20230913T124953Z
LAST-MODIFIED:20230913T124953Z
UID:8611-1695214800-1695218400@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Pablo Balbi
DESCRIPTION:Director: Diego Garbervetsky\nJurados: Dr Rodrigo Castro\, Lic Javier Godoy \nResumen:  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 análisis\, con prestaciones que lo caracterizan como un gran candidato para detectar fallas muy comunes en aplicaciones web\, como son los ataques de inyección. Si bien las técnicas para llevar a cabo este tipo de análisis están ampliamente estudiadas\, el mismo depende de una serie de especificaciones que indican qué elementos de un programa podrían estar involucrados en una vulnerabilidad. \nEn esta tesis se presenta una técnica de inferencia de especificaciones de taint analysis\, para el lenguaje JavaScript. La implementación de la misma surge de combinar un método ya existente basado en aprendizaje automático\, con el motor de análisis estático CodeQL. La técnica presentada parte un grafo que modela la propagación de datos a lo largo de un programa\, y construye un modelo de optimización lineal que resuelve el problema de inferencia de manera escalable. Las especificaciones producidas se expresan en una representación que permite generalizar un fragmento de código\, para así poder reconocer casos similares en otros programas. \nAdemás\, se presenta una nueva metodología de evaluación que no requiere supervisión alguna\, a fin de cuantificar el potencial de la técnica para inferir nuevas especificaciones. Mediante esta metodología\, se evalúa el procedimiento presentado en el trabajo\, sobre un conjunto de alrededor de setecientos programas afectados por cuatro clases diferentes de vulnerabilidades de seguridad\, alcanzando valores de recall cercanos al 80%.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-pablo-balbi/
LOCATION:Sala 1604
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20230927T140000
DTEND;TZID=America/Sao_Paulo:20230927T150000
DTSTAMP:20260407T181505
CREATED:20230922T174618Z
LAST-MODIFIED:20230926T163744Z
UID:8628-1695823200-1695826800@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Tomás Tropea
DESCRIPTION:Título: Un algoritmo para collares perfectos lexicográficamente máximos\nDirectora: Verónica Becher\nJurados: Flavia Bonomo y Min Chih Lin (Oscar Lin) \nResumen:\nFijemos 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 palabras de longitud n aparecen en el collar exactamente k veces\, en posiciones con distinta congruencia módulo k\, para cualquier convención de la posición inicial. En esta tesis presentamos un algoritmo para generar los collares (n\,k)-perfectos lexicográficamente máximos\, cuando k divide a n. Nuestro algoritmo es una adaptación del algoritmo clásico de Fredricksen y Maiorana (1978) basado en la concatenación de palabras Lyndon. Como subproducto obtuvimos una demostración de la correctitud del algoritmo de Fredricksen y Maiorana mucho más clara que la original.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-tomas-tropea/
LOCATION:Aula 1203
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20230929T170000
DTEND;TZID=America/Sao_Paulo:20230929T180000
DTSTAMP:20260407T181505
CREATED:20230927T143655Z
LAST-MODIFIED:20230928T125559Z
UID:8635-1696006800-1696010400@www.dc.uba.ar
SUMMARY:Charla de Douglas Crockford
DESCRIPTION:Este viernes 29/9 tenemos el honor de recibir a Douglas Crockford en el DC.\nLa charla será en inglés \nLa cita es en el aula 1403 del pabellón 0 + inf a las 17hs. \nDouglas Crockford es una eminencia en el mundo de los lenguajes de programación. Es el creador de JSON (JavaScript Object Notation). Además\, desarrolló varias herramientas relacionadas con JavaScript\, como el analizador de código estático JSLint y el minimizador JSMin. La charla que ofrecerá Douglas\, será una oportunidad única para aprender de su vasta experiencia y conocimientos en el campo de la programación y JavaScript. \nLos esperamos.
URL:https://www.dc.uba.ar/event/charla-de-douglas-crockford/
LOCATION:Aula 1403
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20231030T140000
DTEND;TZID=America/Sao_Paulo:20231030T150000
DTSTAMP:20260407T181505
CREATED:20231024T152318Z
LAST-MODIFIED:20231024T152318Z
UID:8717-1698674400-1698678000@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Daniel Claverino
DESCRIPTION:Título: Avances en el uso eficiente de sistemas multi-softcores en FPGAs \nDirectores: David González Márquez y Esteban Mocskos \nLugar: https://youtube.com/live/SzvOVCY4q3s \nResumen\n=======\nDesde 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 resolver problemas específicos\, los procesadores de propósito general pueden ser superados por aceleradores\, que son sistemas especialmente diseñados. Los más comunes son los aceleradores de vídeo que permiten\, por ejemplo\, procesar imágenes o descomprimir un flujo (stream) de vídeo de forma muy eficiente.\nLas FPGAs (Field-Programmable Gate Array) surgen como plataformas que permiten implementar soluciones de hardware programable\, es decir\, hardware que puede ser modificado o rediseñado por el usuario sin necesidad de reemplazar el circuito integrado. Consisten en una grilla de celdas de distinta especialización que pueden conectarse de diversas formas\, resultando en una plataforma con alta flexibilidad.\nLas FPGAs resultan un camino válido para el diseño\, prototipado y construcción de hardware y\, en particular\, aceleradores. Siempre dentro de sus limitaciones de recursos\, permiten implementar hardware y se puede lograr un alto grado de paralelismo.\nDado este nivel de flexibilidad\, un componente que se implementa en FPGA recibe el nombre de softcore. Estos pueden ir desde una máquina de estados o un sumador\, hasta procesadores multi-core con varios niveles de cache. El límite dependerá de la cantidad de celdas y las formas de conexión disponibles\, que es fija para una FPGA dada.\nEl presente trabajo busca avanzar en técnicas que permitan el uso eficiente de múltiples softcores dentro de una FPGA\, proponiendo un framework que permitirá estudiar distintos sistemas de procesamiento. Haremos especial uso del MicroBlaze\, uno de los softcores más utilizados\, desarrollado por Xilinx y creado específicamente para su uso en FPGAs.\nUna de las principales limitaciones de los sistemas basados en softcores es el acceso a memoria. Partiendo de este punto y utilizando bloques RAM de FPGA (BRAM)\, se propone estudiar un conjunto de estrategias de uso de la memoria: usar el stack en BRAM\, correr código del programa en BRAM\, y correr código de funciones de sincronización en BRAM.\nEsto implica ejecutar programas cuyos accesos a memoria utilizan distintas memorias\, cada una con características distintas (BRAM y Cache+DDR).\nRespecto a las tres formas de uso de BRAM propuestas\, notamos que mover y correr código de funciones de sincronización en BRAM no genera mejoras significativas salvo en casos donde hay muchos llamados o varios procesadores en espera. Dependiendo del algoritmo y su implementación\, usar el stack en BRAM puede ir desde tener poco efecto a tener un impacto significativo en el desempeño\, por encima de mover las funciones de sincronización.\nFinalmente\, mover y correr código del algoritmo en BRAM genera el mayor impacto positivo en el rendimiento. Este impacto puede verse reducido si  hay partes del código de uso frecuente que no se han movido a BRAM y continúan en memoria principal.\nTener control del hardware nos permite implementar soluciones que se ajusten al problema a resolver. Trabajar desde una capa de abstracción baja implica que los desarrolladores deben manejar detalles de muy bajo nivel\, como los procesadores mismos\, su interconexión\, y la distribución de memoria utilizando distintos tipos de memoria. \nPalabras claves: FPGA\, SMP\, BRAM\, softcore\, MicroBlaze\, memoria\, cache\, stack\, spin-lock\, performance.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-daniel-claverino/
LOCATION:https://youtube.com/live/SzvOVCY4q3s
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20231030T140000
DTEND;TZID=America/Sao_Paulo:20231030T170000
DTSTAMP:20260407T181505
CREATED:20231025T131049Z
LAST-MODIFIED:20231025T132539Z
UID:8725-1698674400-1698685200@www.dc.uba.ar
SUMMARY:Ateneo CID sobre Economía Agraria
DESCRIPTION: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. \nContaremos con palabras de apertura a cargo del Ing. Juan Sebastián Llorens (INTA)\, y con un panel de expertos/protagonistas como Juan López Moccio (Los Grobo Agropecuaria)\, Diego Ferraro (EPG-Ftad. de Agronomía UBA) y Germán Rosati (EIDAES-Universidad Nacional de San Martín). \nEl evento es de acceso libre y gratuito. Se realizará en la Sala Auditorio 1401 del Pabellón Cero+Infinito de la Facultad de Cs. Exactas y Naturales de la UBA en Ciudad Universitaria\, el día lunes 30 de Octubre de 14.00 a 17.00 hs. \nPor capacidad limitada\, se requiere registración previa en:  bit.ly/ateneoagro \nLa charla será en castellano\, no se emitirá en vivo\, y está orientada a estudiantes\, investigadores y profesionales de las carreras de Agronomía\, Ingenierías\, Ciencias Exactas y Ambientales\, y público en general con interés en un sector crítico para nuestro país. \nSe agradece difusión en sus instituciones y redes de contacto. \nSobre el CID – Centro Interinstitucional en Ciencia de Datos:\nEl Centro Interinstitucional en Ciencia de Datos (UBA-MINCyT) tiene el propósito de acelerar la adopción de tecnologías en Ciencia de Datos por parte de organizaciones públicas y privadas\, con el fin de contribuir a una mejor calidad en la gestión y la toma de decisiones. Para ello\, promueve y articula la formación\, investigación\, transferencia y vinculación en Ciencia de Datos\, con una visión interdisciplinaria\, interinstitucional y con alcance regional.
URL:https://www.dc.uba.ar/event/ateneo-cid-sobre-economia-agraria/
LOCATION:Aula 1401
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20231101T110000
DTEND;TZID=America/Sao_Paulo:20231101T120000
DTSTAMP:20260407T181505
CREATED:20231030T124020Z
LAST-MODIFIED:20231030T124020Z
UID:8736-1698836400-1698840000@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Diego Norberto Senarruzza Anabia
DESCRIPTION:Título: Bisimulación de Data-aware Communicating Finite State Machines con propiedades en las acciones\nDirectores: Carlos Gustavo Lopez Pombo\, Hernán Melgratti\nJurados: Sergio Abriola\, Emilio Tuosto \nResumen:\nLos nuevos paradigmas de computación\, como service-oriented computing (SOC) o\nCloud/Fog\, como así también el Internet de las cosas (IoT por su sigla en\ninglés)\, han impulsado enormemente lo que hoy se denomina economía de APIs. La\nidea que subyace en la economía de APIs es la posibilidad de construir nuevos\nservicios utilizando APIs provistas por terceras partes y\, a su vez\, hacer\ndisponibles estos nuevos servicios\, publicando sus propias APIs. La creciente\ninterconexión entre aplicaciones y dispositivos hacen al surgimiento de nuevos\ny esenciales requerimientos por parte de las aplicaciones actuales\, tales como\nself-adaptiveness y reconfiguración dinámica transparente. En la industria\nactual\, las APIs representan el último escalón de interoperabilidad\, y ponen\nen relieve la necesidad de descripciones precisas como forma preponderante de\ndocumentación. Sin embargo\, en la mayoría de los casos\, los aspectos más\nimportantes del comportamiento de las API son documentados informalmente\,\ndificultando la validación del software que se obtiene como resultado de\ncomponer servicios a través de sus APIs\, así como el establecimiento de\npropiedades y el mantenimiento de aplicaciones. En consecuencia\, describir\nformalmente el comportamiento de las APIs de forma que este provea garantías a\nsus clientes constituye un desafío técnico clave en este contexto. El presente\nproyecto de tesis asume una perspectiva en la que el ideal detrás de la\nejecución de aplicaciones basadas en APIs se lleva a cabo sobre una\ninfraestructura de comunicación y cómputo ubicua y preexistente y en la que un\nmiddleware es capaz de solicitar a un service-broker la búsqueda de un\nservicio al que\, sujeto a una negociación de nivel servicios (SLA por su sigla\nen inglés\, Service Level Agreements)\, pueda vincularse en forma completamente\nautomática y transparente\, para que colectivamente sea posible alcanzar cierto\nobjetivo de negocios. Es necesario contar con descriptores de protocolos\nprecisos a nivel de servicio\, así como alguna definición de compliance que\npermita establecer equivalencia entre dichos protocolos. Como candidatos\nidóneos a estos\, surgen las Asserted Communicating Finite State Machines\n(a-CFSM)\, capaces de describir el intercambio de mensajes entre participante\n(o servicios) y de establecer condiciones sobre las variables intercambiadas\nen dichos mensajes (pre-condiciones sobre mensajes enviados y post-condiciones\nsobre mensajes recibidos). Ligado a la necesidad de una definición de\ncompliance\, surge como problema el hecho de que las partes involucradas en la\ncomunicación no necesariamente se conocen entre sí\, por lo que descriptores\nque resulten equivalentes pueden encontrarse escritos utilizando terminología\ndistinta. En este trabajo nos concentraremos en: 1) abordar una noción de\nbisimulación a modo de compliance para las a-CFSM\, asumiendo que los autómatas\ncomparten terminología\, 2) extender la definición de bisimulación construyendo\nun matching de nombres (un diccionario entre las terminologías de ambos\nautómatas) y 3) poner en práctica los resultados obtenidos en (1) y (2) a\ntravés de la construcción de una herramienta de software. Para facilitar (1)\,\ndefiniremos una abstracción de las a-CFSM a las que llamaremos Assertable\nFinite State Machines (a-FSM)\, con la que procederemos a definir tres nociones\nde bisimulación de manera incremental (cada una a partir de las limitaciones\nde la anterior)\, para posteriormente extender hacia las a-CFSM.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-diego-norberto-senarruzza-anabia/
LOCATION:Sala 1604
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20231116T140000
DTEND;TZID=America/Sao_Paulo:20231116T170000
DTSTAMP:20260407T181505
CREATED:20231114T163515Z
LAST-MODIFIED:20231114T163515Z
UID:8764-1700143200-1700154000@www.dc.uba.ar
SUMMARY:5° Ateneo CID sobre Agilidad en la Gestión Jurídica
DESCRIPTION:Tenemos el agrado de invitarlos al 5° Ateneo CID sobre Agilidad en la Gestión Jurídica\, donde estaremos conversando sobre la implementación y gestión de nuevas tecnologías aplicada a entornos normativos\, tanto en el Poder Ejecutivo como en el Poder Judicial.\n\nLa apertura estará a cargo del Especialista en Derecho Administrativo\, Santiago Pérez Teruel\, Asesor General de Gobierno de la Provincia de Buenos Aires. El panel estará conformado por Johanna Cristallo\, Directora Interina de la Agencia de Acceso a la Información Pública del Ministerio Público Fiscal de la Nación\, Secretaria de la Procuración General de la Nación y Directora de Justicia en Fund.ar\, Gabriel Mehlman\, Director General a cargo de la Unidad de Modernización\, Innovaciones Tecnológicas y Proyectos Especiales del Consejo de la Magistratura\, Agustín Tarelli\, Director General de Planificación y de Información Jurídica de Asesoría General de Gobierno\, y Bruno Bianchi\, Doctor en Ciencias de la Computación\, investigador postdoctoral CONICET y colaborador del CID como líder de proyecto.\n \nEl evento es de acceso libre y gratuito. Se realizará en la Sala Auditorio 1401 del Pabellón Cero+Infinito de la Facultad de Cs. Exactas y Naturales de la UBA en Ciudad Universitaria\, el día jueves 16 de Noviembre de 14.00 a 17.00 hs.  \n\nPor capacidad limitada\, se requiere registración previa en:  bit.ly/ateneocidgj \n\n\n\nLa charla será en castellano\, no se emitirá en vivo\, y está orientada a estudiantes\, investigadores y profesionales de las carreras de Ciencias de la Computación\, Matemáticas y Datos\, Abogacía y público en general con interés en implementaciones en sectores altamente regulados.\n\nSe agradece difusión en sus instituciones y redes de contacto.\n\nSobre el CID – Centro Interinstitucional en Ciencia de Datos:\nEl Centro Interinstitucional en Ciencia de Datos (UBA-MINCyT) tiene el propósito de acelerar la adopción de tecnologías en Ciencia de Datos por parte de organizaciones públicas y privadas\, con el fin de contribuir a una mejor calidad en la gestión y la toma de decisiones. Para ello\, promueve y articula la formación\, investigación\, transferencia y vinculación en Ciencia de Datos\, con una visión interdisciplinaria\, interinstitucional y con alcance regional.
URL:https://www.dc.uba.ar/event/5-ateneo-cid-sobre-agilidad-en-la-gestion-juridica/
LOCATION:Sala 1401
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20231117T140000
DTEND;TZID=America/Sao_Paulo:20231117T150000
DTSTAMP:20260407T181505
CREATED:20231114T134445Z
LAST-MODIFIED:20231114T134445Z
UID:8755-1700229600-1700233200@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Sebastian Uriel Sujarchuk
DESCRIPTION:Título: Un estudio en profundidad de los protocolos QUIC y HTTP/3 y su impacto en servicios web modernos\nDirector: RIGHETTI\, Claudio Enrique\nJurados : CASTRO\, Rodrigo Daniel\, SANTI\, Lucio \nResumen :Con la reciente estandarización de los protocolos QUIC y HTTP/3 comienza el largo proceso para comenzar a adoptar estas nuevas tecnologías. Por un lado\, QUIC introduce una serie de mejoras y cambios para adaptarse a la Internet actual\, y se posiciona como potencial reemplazo de TCP en lo que respecta a protocolos de transporte para comunicaciones confiables. A su vez\, HTTP/3 surge como el primer protocolo construido sobre QUIC\, permitiéndole aprovechar sus nuevas capacidades.\nEn la actualidad\, todavía no existe una gran cantidad de servicios que implementen QUIC y HTTP/3. No obstante\, estos ya fueron adoptados por algunos de los sitios más grandes de Internet.\nEn esta tesis presentaremos un estudio de los protocolos QUIC y HTTP/3 con el objetivo de entender cómo funcionan y qué cambios introducen respecto a sus predecesores. Adicionalmente\, proponemos un análisis del impacto de estos protocolos en el rendimiento de algunos servicios web\, comparándolos con versiones anteriores de HTTP (que funcionan sobre el protocolo TCP).\nPara realizar estas comparaciones se utilizaron tres implementaciones distintas de QUIC y HTTP/3 desarrolladas en distintos lenguajes. Con estas se observó la latencia y se la comparó con una implementación de HTTP versión 1 y 2 del lenguaje correspondiente.\nCon el fin de evaluar el impacto en producción de estos protocolos\, las mediciones fueron realizadas con servidores que se encuentran productivos actualmente.\nEn base a la experimentación presentada\, pudimos comprobar una leve mejora de HTTP/3 con respecto a HTTP/2 en ciertos casos. No obstante\, estos resultados se pueden ver afectados por la implementación utilizada. Para sitios más optimizados\, el rendimiento demostró ser muy similar tanto para HTTP/2 como para HTTP/3\, con rendimientos menos variados para el primero. Adicionalmente\, también observamos que la presencia de CDNs y caches puede hacer que estas mejoras sean pequeñas\, o incluso no apreciables.\nEsperamos que estos resultados puedan ser de utilidad a la hora de ponderar si es necesario implementar QUIC y HTTP/3 en el corto plazo o si es más razonable esperar\, pues en la actualidad\, la implementación de estos protocolos requiere un esfuerzo adicional por parte de los desarrolladores.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-sebastian-uriel-sujarchuk/
LOCATION:Aula 1115
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20231122T110000
DTEND;TZID=America/Sao_Paulo:20231122T120000
DTSTAMP:20260407T181505
CREATED:20231117T123950Z
LAST-MODIFIED:20231117T123950Z
UID:8771-1700650800-1700654400@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Pablo Montepagano
DESCRIPTION:Título: SEArch\, una infraestructura de ejecución de software basado en servicios\nDirector: Prof. Carlos Gustavo Lopez Pombo\nJurado: Prof. Juan Pablo Galeotti\, Dr. Ignacio Vissani\, Prof. Emilio Tuosto \nMeet: https://meet.google.com/vyz-riqs-zjz . \nResumen:\nEn las últimas décadas\, con la explosión de Internet\, las APIs (Application Programming Interfaces) se impusieron como el mecanismo ubicuo para hacer disponible una pieza de software como un servicio que puede ser consumido por otro sistema de software. Sin embargo\, en la mayoría de los casos las APIs no están documentadas adecuadamente y solo se describen el formato de los datos necesarios para invocarlas y requerimientos básicos de los protocolos de invocación. Para escribir software que utilice un servicio externo a través de una API\, se requiere escritura manual de código que utilice dicha API\, la cual es específica a un proveedor en particular.\nEn este trabajo implementamos una infraestructura experimental donde se cuenta con un repositorio global de contratos de provisión de servicios. Dichos contratos son descripciones formales de APIs. De esta manera\, para desarrollar software que utilice un servicio externo\, en lugar de escribir código específico para la API de un proveedor en particular\, uno puede utilizar un contrato de requerimiento para describir qué espera del servicio externo. Dicho contrato se envía a un Service Broker que sabe determinar cuáles proveedores del repositorio global satisfacen el requerimiento. De esa manera\, la infraestructura se ocupa de manera automática de hallar el mejor servicio disponible en tiempo de ejecución sin necesidad de depender exclusivamente de un proveedor en particular.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-pablo-montepagano/
LOCATION:Sala 1604
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20231123T143000
DTEND;TZID=America/Sao_Paulo:20231123T153000
DTSTAMP:20260407T181505
CREATED:20231117T124503Z
LAST-MODIFIED:20231121T121918Z
UID:8773-1700749800-1700753400@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Matias Waehner
DESCRIPTION:Título: Una mirada a la mente de Vincent van Gogh a través de sus pinturas y escritos: Un estudio sobre marcadores mentales multimodales usando NLP y Deep Learning\nDirectores: Diego Fernández Slezak\, Laouen Belloli\nJurados: Enzo Tagliazucchi\, Pablo Riera\n\nResumen: En los últimos años\, nuevas herramientas computacionales han sido aplicadas a la psiquiatría tradicional\, dando a luz a un novedoso campo llamado psiquiatría computacional. En esta nueva área se han empleado variadas técnicas de Natural Language Processing (NLP)\, obteniendo resultados extraordinarios en la identificación de alteraciones en el discurso causadas por desórdenes mentales o por el consumo de sustancias. En este proyecto\, exploramos cómo pueden extrapolarse los marcadores encontrados en el discurso a lenguajes visuales más abstractos\, como lo son las pinturas y dibujos. Como una prueba de concepto\, nos enfocamos en encontrar marcadores mentales en las obras de arte de Vincent van Gogh utilizando Redes Neuronales Convolucionales. En un primer experimento\, utilizamos representaciones de word embeddings y aplicamos diferentes técnicas de Machine Learning (ML) como clustering para procesar sus cartas y extraer marcadores semánticos\, obteniendo un ground truth con el cual etiquetar sus obras de arte. Luego\, finetuneamos parte de las capas convolucionales de la red VGG16 y le agregamos nuevas capas fully-conected a la salida para predecir los marcadores previamente obtenidos. En un segundo experimento\, entrenamos la misma arquitectura para predecir los brotes psicóticos conocidos de Van Gogh en sus últimos 2 años de vida a partir de sus obras. La performance del modelo fue en el primer experimento mejor que el azar\, indicando la existencia de marcadores mentales en sus pinturas. Este trabajo es una primera prueba de concepto que muestra la posibilidad de utilizar dibujos libres para diagnósticos psiquiátricos\, ya que demuestra la existencia de información compartida entre marcadores de lenguajes visuales y escritos. Más aún\, dichos marcadores visuales tienen información clínica relevante\, permitiendo abrir las puertas al desarrollo de experimentos más concretos con pacientes actuales que extrapolen marcadores mentales del discurso a dibujos o pinturas para el diagnóstico y estudio de diversos desórdenes mentales.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-matias-waehner/
LOCATION:Aula 1113
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20231201T140000
DTEND;TZID=America/Sao_Paulo:20231201T150000
DTSTAMP:20260407T181505
CREATED:20231127T171435Z
LAST-MODIFIED:20231128T124821Z
UID:8791-1701439200-1701442800@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Nico Pazos
DESCRIPTION:Título: Ready Abstraction: una heurística para la técnica de síntesis On-The-Fly de directores Non-Blocking\nDirector: Sebastián Uchitel\nJurados: Victor Braberman y Hernán Gagliardi \nResumen:\nEl algoritmo OTF-DCS es una técnica de síntesis de directores Non-Blocking\npara sistemas de eventos discretos expresados como composiciones paralelas de\nvarios componentes. La eficiencia de OTF-DCS está directamente ligada a las\nrecomendaciones que una heurística complementaria le provee durante su\nejecución. La «Ready Abstraction» es una de estas heurísticas. Esta heurística\nestima distancias a estados marcados del sistema\, y aprovecha su expresión\nmodular para reducir el espacio de búsqueda y obtener estimaciones rápidas.\nEsta tesis presenta una revisión completa de la «Ready Abstraction»\, que incluye\nmúltiples correcciones\, una completa reformulación para mayor claridad\, y\ncambios adicionales que mejoran su rendimiento de forma significativa.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-nico-pazos/
LOCATION:Aula 1102
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20231213T180000
DTEND;TZID=America/Sao_Paulo:20231213T190000
DTSTAMP:20260407T181505
CREATED:20231213T131332Z
LAST-MODIFIED:20231213T131332Z
UID:8826-1702490400-1702494000@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Joaquín Arribas y Nicolás Walter
DESCRIPTION:Título: Un estudio empírico sobre la eficacia de las herramientas de reparación automática de código para aplicaciones Android\nDirector: Lic. Iván Arcuschin Moreno\nJurados: Dr. Guido Chari y Lic. Maximiliano Contieri \nResumen:\nLos errores de software\, comúnmente conocidos como bugs\, representan un desafío persistente en el campo de la ingeniería de software. Su frecuencia\, y la inversión de tiempo y recursos necesarios para su identificación y corrección son considerables. Tradicionalmente esta labor recae en los programadores y se ejecuta de manera manual. Por esta razón\, desde hace años se investigan técnicas de localización de fallas y reparación de programas\, buscando la automatización de este proceso crítico. En esta tesis buscamos evaluar la eficacia de distintas técnicas\, en el contexto de bugs en aplicaciones Android\, una de las plataformas líderes en el mercado. \nEn 2018 se desarrolló la herramienta Astor4Android\, que implementa 5 técnicas de localización de fallas\, y 3 de reparación de programas. Esta herramienta se enfoca en reparar aplicaciones de Android. Este trabajo se desarrolla en dos fases: Primero elaboramos un benchmark compuesto por 21 bugs y describimos el proceso seguido para su construcción. Luego\, utilizando el benchmark construido y la herramienta Astor4Android\, evaluamos tanto las técnicas de localización y reparación de errores que implementa\, como la herramienta en sí.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-joaquin-arribas-y-nicolas-walter/
LOCATION:Aula 1102
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20231214T140000
DTEND;TZID=America/Sao_Paulo:20231214T150000
DTSTAMP:20260407T181505
CREATED:20231211T132333Z
LAST-MODIFIED:20231214T134033Z
UID:8814-1702562400-1702566000@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Mateo Marenco
DESCRIPTION:Título: Exploración de métodos para medir dificultad en ajedrez: extensiones\, mejoras y limitaciones\nDirector: Dr. Ariel Arbiser\nJurados: Dr. Enrique Segura\, Dr. Pablo Turjanski \nRESUMEN\nEn este trabajo buscamos métodos computacionales para estimar la dificultad de una posición en ajedrez para jugadores humanos\, con resultados extrapolables a otros juegos.\nNo existe una forma rigurosa de determinar cuándo en una posición es fácil o difícil encontrar la mejor jugada\, pero intuitivamente podemos asociar este problema a hallar la probabilidad objetiva o subjetiva de que un jugador cometa un error.\nExploramos primeramente trabajos previos que encaran el problema de formas diversas\, teniendo todas en común el uso de algún motor de ajedrez para estimar la evaluación de cada posición. Luego consideramos problemas de ajedrez\, centrándonos en un modelo basado en árboles significativos. Analizamos el aporte de los distintos atributos propuestos sobre modelos de aprendizaje automático como árboles de decisión y redes neuronales. Hacemos un análisis que evidencia que los árboles significativos poseen limitaciones intrínsecas para distinguir la dificultad de los problemas.\nFinalmente\, proponemos un enfoque para estimar la dificultad mediante un esquema que busca emular la forma y el orden en que los jugadores humanos consideran jugadas candidatas. Con este último mecanismo y mediante aprendizaje automático obtuvimos mejores resultados\, que evaluamos a través del coeficiente de determinación.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-mateo-marenco/
LOCATION:Aula 1205
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20231218T100000
DTEND;TZID=America/Sao_Paulo:20231218T110000
DTSTAMP:20260407T181505
CREATED:20231213T143016Z
LAST-MODIFIED:20231213T143016Z
UID:8834-1702893600-1702897200@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Facundo Decroix
DESCRIPTION:Título: Optimización de Estrategias de Comercialización en el Mercado de Energı́a Renovable de California mediante Programación Lineal Entera y Análisis Predictivo\nDirectores: Federico Pousa y Agustín Mosteiro\nJurados: Dr. Javier Marenco y Dr. Brian Curcio \nResumen:\nLa transición hacia las energías renovables no es solo una tendencia\, sino una necesidad imperante en el contexto actual. Ante los desafíos medioambientales crecientes y la urgencia por mitigar el cambio climático\, las energías limpias emergen como la respuesta sostenible y económicamente viable que el mundo necesita. Dentro de este escenario global\, California se destaca como un referente de adaptación y progreso\, teniendo un mercado de energı́a\nestrictamente regulado por su operador California Independent System Operator.\nEn este trabajo nos centramos en la energía solar\, utilizando como caso de estudio\nel de una empresa que participa actualmente del mercado de energía de California. Esta empresa cuenta con paneles solares que obtienen la energía y baterías donde la almacenan para ser vendida posteriormente.\nNuestro objetivo es adentrarnos en esta problemática y diseñar estrategias para poder vender esta energı́a maximizando la ganancia en el mercado utilizando técnicas de programación lineal entera.\nLa primera etapa de este trabajo consistió en entender el funcionamiento del mercado de energı́a en California. Luego nos centramos en la recolección y análisis de datos.\nRecolectamos datos históricos sobre precios y los correlacionamos con factores climáticos como temperatura\, nubosidad y radiación solar. Adicionalmente\, diseñamos un dashboard interactivo que permite una visualización clara y sencilla de la información recabada.\nLuego continuamos con el desarrollo de un predictor de precios utilizando modelos de series de tiempo\, basados en la información previamente reunida.\nEl núcleo de nuestra investigación se encuentra en la optimización de las ganancias. En ese punto describimos cómo\, utilizando los precios pronosticados\, creamos un modelo de programación lineal entera con el objetivo principal de maximizar las ganancias en el mercado de energía\, respetando todas las restricciones del mismo.\nPor último\, desarrollamos un sistema de decisiones completo. Utilizando las predicciones realizadas\, planteamos distintas estrategias de programación lineal entera\, evaluándolas para elegir la solución más eficiente.\nPara finalizar\, comparamos nuestro sistema propuesto con las estrategias de venta actuales de la empresa bajo estudio. Los resultados obtenidos evidencian que nuestra propuesta no solo es viable\, sino que supera en rentabilidad a los enfoques tradicionales.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-facundo-decroix/
LOCATION:Aula 1102
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20231218T130000
DTEND;TZID=America/Sao_Paulo:20231218T140000
DTSTAMP:20260407T181505
CREATED:20231213T131451Z
LAST-MODIFIED:20231213T141139Z
UID:8828-1702904400-1702908000@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Matías Cadaval y Juan Ignacio Noli Villar
DESCRIPTION:Título: Detección en tiempo real de offside en partidos de fútbol\nDirector: Daniel Acevedo\nJurados: María Elena Buemi y Pablo Turjansky \nRESUMEN\nLa detección de offside es uno de los problemas de decisión más recurrentes y controversiales en el fútbol.Un jugador está en offside cuando su cabeza\, tronco o pierna (pie incluido) se encuentran\, total o parcialmente\, en la mitad del terreno de juego adversario (excluyendo la línea central) y más cerca de la línea de meta contraria que el balón y el penúltimo adversario.\nDe acuerdo a una investigación realizada por la Professional Game Match Officials (PGMO) en el año 2017\, sobre datos de la Premier League (primera división del fútbol inglés)\, los árbitros asistentes toman en promedio 45 decisiones por partido exclusivamente sobre acciones de offside. El ojo humano ha demostrado no ser un medio preciso para juzgar dichas situaciones\, e históricamente se ha convivido con fallos arbitrales\, que en muchos casos cambian drásticamente el resultado de los partidos. Es por ello que en los últimos años se ha comenzado a incorporar tecnología para asistir a los árbitros y evitar fallos incorrectos. Sin embargo\, como se puede ver en las transmisiones de la actualidad\, el uso del VAR (Video Assistant Referee) resulta lento y requiere en gran medida intervención manual\, afectando la dinámica del juego. Resulta interesante poder hallar métodos automatizados que permitan resolver la detección de offside de manera más rápida y precisa.\nEn este trabajo se presenta un algoritmo semiautomático que utiliza técnicas de visión en computadora y procesamiento de imágenes para trazar la línea de offside y determinar si hay uno o más jugadores en posición fuera de juego. Se atacan los siguientes subproblemas: detección de campo de juego\, detección\, seguimiento y clasificación de jugadores\, detección de equipo defensor\, además del armado de un dataset para el testeo de cada etapa y análisis de performance en tiempo real. Se utilizan diversas técnicas como la transformada de Hough\, la detección de bordes de Canny\, operaciones morfológicas\, algoritmos de agrupamiento\, segmentación mediante grafo de componentes conexas\, y sustracción de fondo\, entre otras. Los resultados de los experimentos realizados permiten comprender la complejidad de problema y todas las variables a considerar para su correcto análisis\, como ası́ también la efectividad de las soluciones propuestas.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-matias-cadaval-y-juan-ignacio-noli-villar/
LOCATION:Aula 1115
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20231218T183000
DTEND;TZID=America/Sao_Paulo:20231218T193000
DTSTAMP:20260407T181505
CREATED:20231009T171930Z
LAST-MODIFIED:20231206T130839Z
UID:8665-1702924200-1702927800@www.dc.uba.ar
SUMMARY:Charla de la carrera
DESCRIPTION:La próxima charla será el 18 de diciembre a las 18:30 hs. \nAula a confirmar \nLa inscripción se va a abrir por este link: https://linktr.ee/computacionuba
URL:https://www.dc.uba.ar/event/charla-de-la-carrera-3/
LOCATION:Aula a confirmar
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20231219T100000
DTEND;TZID=America/Sao_Paulo:20231219T110000
DTSTAMP:20260407T181505
CREATED:20231212T171106Z
LAST-MODIFIED:20231213T141019Z
UID:8822-1702980000-1702983600@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Facundo Linari
DESCRIPTION:Título: Evaluación Estática de Calidad de los Tests Automatizados\nDirector: Hernán Wilkinson\nJurados: Maximiliano Contieri\, Agustin Martinez \nResumen:\nEl Testing es una actividad importante en el desarrollo de proyectos de software. Los tests automáticos aseguran que el sistema se comporta como lo esperado y sirven como documentación para entender código de terceros.\nSin embargo\, mientras el sistema crece y evoluciona\, los tests necesitan adaptarse también para mantenerse a la par de las necesidades del sistema. Mientras el conjunto de tests crece\, el esfuerzo invertido para mantenerlos se convierte en una actividad que involucra tiempo y esfuerzo\, lo que impacta directamente en los objetivos finales del desarrollo. En este contexto\, la calidad de los tests es un problema importante\, ya que\, los desarrolladores necesitan valorar y entender los tests para que estos cumplan con los requerimientos actuales.\nMientras que el testing ha pasado a ser una forma popular y soportada por los IDEs actuales para la comprobaci ́on del correcto funcionamiento del código\, las metodolog ́ıas y herramientas que intentan evaluar la calidad de los tests\, son escasas o para nada integradas al proceso de testing\, yendo más allá\, casi no hubo intentos concretos de medir la calidad de un test detectando errores de diseño en ellos. Estos errores se los llaman Test Smells\, en honor a los Coding Smells que son los mismos errores pero en el código fuente. Un Lint es una herramienta que detecta estos errores de diseño en el código de forma estática. De forma similar\, existen los Test Lints que analizan los errores de diseño del código de test.\nEl presente trabajo contribuye a la investigación de metodologías de testing al medir la calidad de los test. En particular se analizan Test Smells y define un conjunto de criterios para determinar la calidad de los tests. También se presenta la herramienta S-TestLint\, un analizador de tests que encuentre Test Smells cometidos y que propone soluciones de forma automática. Esta herramienta fue implementada e integradas en CuisUniversity y comenzaron a ser usadas por los estudiantes de la materia de Ingenier ́ıa de Software 1 de la FCEN\, para promover una mejor calidad de los tests en su etapa de aprendizaje.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-facundo-linari/
LOCATION:Aula 1203
CATEGORIES:Agenda
END:VEVENT
END:VCALENDAR