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:20230911T140000
DTEND;TZID=America/Sao_Paulo:20230911T150000
DTSTAMP:20260406T154032
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:20260406T154032
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:20260406T154032
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:20260406T154032
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:20260406T154032
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:20260406T154032
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:20260406T154032
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:20260406T154033
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:20260406T154033
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:20260406T154033
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:20260406T154033
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:20260406T154033
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:20260406T154033
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:20260406T154033
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:20260406T154033
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:20260406T154033
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:20260406T154033
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:20260406T154033
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:20260406T154033
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:20260406T154033
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
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20231221T130000
DTEND;TZID=America/Sao_Paulo:20231221T140000
DTSTAMP:20260406T154033
CREATED:20231212T170926Z
LAST-MODIFIED:20231212T170926Z
UID:8820-1703163600-1703167200@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Lucas Somacal
DESCRIPTION:Título: Variational Autoencoders para el modelado de estilos de música\nDirectores: Dr. Martin Miguel y Dr. Diego Fernández Slezak\nJurados: Dr. Pablo Riera\, Dr. Gabriel Mindlin \nRESUMEN\nEn el presente trabajo se abordó el problema de transferencia de estilo en música\, es decir\, intentar cambiar un fragmento musical de cierto estilo musical a otro. Basándonos en trabajo previo\, consideramos la manipulación del espacio latente a partir de un Variational Autoencoder (VAE) con el que codificamos fragmentos musicales a este espacio y operamos mediante vectores característicos de cada estilo musical. En este trabajo\, nos propusimos lograr transferencia de estilos entre 4 específicos. A ese fín\, comparamos tres modelos. Uno fue entrenado con un dataset de música general y luego evaluado en el dataset objetivo de 4 estilos. El segundo modelo fue fine-tuneado sobre el dataset objetivo y el tercero\, solo entrenado sobre este dataset. Como parte de este trabajo\, también presentamos una metodología de evaluación automática para medir si los fragmentos generados son musicales\, se parecen al nuevo estilo y mantienen la identidad del fragmento original. Los tres modelos lograron transformaciones musicales con cambio de estilo. En particular\, observamos que la musicalidad y la similitud con el original se van perdiendo a medida que la transformación es mayor pero a su vez se acercan cada vez más al nuevo estilo a medida que crece la magnitud de la transformación\, a la vez que el los modelos entrenados sobre el dataset mayor obtienen mejores resultados.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-lucas-somacal/
LOCATION:Aula 1115
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20231221T150000
DTEND;TZID=America/Sao_Paulo:20231221T160000
DTSTAMP:20260406T154033
CREATED:20231220T140023Z
LAST-MODIFIED:20231220T140023Z
UID:8858-1703170800-1703174400@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Ignacio Maqueda
DESCRIPTION:Título: Caracterización estructural de los árboles de thinness propia 2\nDirector: Dra. Flavia Bonomo\nJurados: Dra. Verónica Becher\, Dr. Min Chih Lin \nResumen: \nLa thinness propia de un grafo es un invariante que generaliza a los grafos de intervalos propios. Todo grafo tiene un valor numérico de thinness propia y los grafos con thinness propia 1 coinciden con los grafos de intervalos propios. \nUn grafo es k-thin propio si sus vértices pueden ordenarse de manera que exista una partición de los vértices en k clases cumpliendo que para cada tripla de vértices r < s < t\, tales que existe una arista entre r y t\, se cumplen que si r y s pertenecen a la misma clase\, entonces existe una arista entre s y t\, y si s y t pertenecen a la misma clase\, entonces existe una arista entre r y s. La thinness propia de un grafo es el menor valor de k tal que el grafo sea k-thin propio. \nEn este trabajo nos enfocamos en el cálculo de la thinness propia para los árboles. Caracterizamos los árboles de thinness propia 2\, tanto estructuralmente como por sus subgrafos inducidos minimales prohibidos. \nTambién mostramos por qué los resultados obtenidos para árboles de thinness propia 2 no pueden ser generalizados a árboles de thinness propia 3. \nLa tesis se desarrolló en el marco de una beca BIICC\, bajo la dirección de Flavia Bonomo y con la Dra. Nina Pardal en el rol de mentora.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-ignacio-maqueda/
LOCATION:Aula 1113
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20231228T140000
DTEND;TZID=America/Sao_Paulo:20231228T150000
DTSTAMP:20260406T154033
CREATED:20231221T124404Z
LAST-MODIFIED:20231221T124404Z
UID:8860-1703772000-1703775600@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Tomás Schitter
DESCRIPTION:Título: Mercados de predicción y profecías autocumplidas.\nDirector: Sergio Abriola\nJurados: Dra. Inés Caridi y Dr. Esteban Mocskos \nResumen:\nEn el ámbito del análisis de desempeño de pronosticadores (quienes realizan predicciones sobre la probabilidad de que diversos eventos ocurran)\, las llamadas proper scoring rules son una clase de regla de puntuación que incentiva a pronosticar las creencias verdaderas\, operando bajo la premisa de que las predicciones mismas no pueden afectar el desarrollo del evento en cuestión. Sin embargo\, en la práctica existe el fenómeno de profecía autocumplida (o el más general de performative prediction)\, donde el pronosticador puede tratar de manipular el mundo mediante su propia predicción de una manera que aumente su puntaje esperado pero sin reflejar su creencia verdadera.\nEn esta tesis estudiamos el escenario de predicciones que influyen en el evento que predicen. Nos enfocamos en el contexto de mercados de predicción\, los cuales pueden considerarse como una forma de agregación de predicciones individuales para dar una única predicción final. Para esto\, modelamos un mercado de predicción como un juego\, y usamos herramientas de teoría de juegos para obtener propiedades sobre qué tanto pueden diferir las predicciones óptimas de los jugadores de la probabilidad real. Además\, realizamos una implementación de una simulación para obtener resultados experimentales sobre este fenómeno.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-tomas-schitter/
LOCATION:Aula 1113
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20231228T170000
DTEND;TZID=America/Sao_Paulo:20231228T180000
DTSTAMP:20260406T154033
CREATED:20231221T151258Z
LAST-MODIFIED:20231221T151258Z
UID:8863-1703782800-1703786400@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Gonzalo Paradelo
DESCRIPTION:Título: Estructura de datos para acelerar la búsqueda de subconjuntos en el labeling para TSP Time-Dependent\nDirector: Francisco Soulignac\nJurados: Min Chih Lin y Gonzalo Lera Romero \nRESUMEN\nEl problema del viajante de comercio con ventanas de tiempo y dependencia temporal (TDTSPTW) es una versión del TSP donde los tiempos de viaje varían a lo largo del horizonte de planificación para simular los efectos de la congestión. Este problema tiene aplicaciones directas a la planificación de entregas directo al consumidor en grandes ciudades\, donde la congestión de tránsito es un aspecto predominante. En esta tesis\, analizamos una solución exacta con programación dinámica del estado del arte para este problema y proponemos una mejora en su tiempo de ejecución basada en una nueva estructura de datos. La ventaja de esta estructura de datos es que permite buscar eficientemente elementos indexados por conjuntos\, cuando se busca aquellos índices contenidos por un conjunto de búsqueda. Se realizaron experimentos computacionales para determinar su rendimiento y se logró demostrar la efectividad de la mejora.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-gonzalo-paradelo/
LOCATION:Aula 1102
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20240129T170000
DTEND;TZID=America/Sao_Paulo:20240129T180000
DTSTAMP:20260406T154033
CREATED:20240129T131347Z
LAST-MODIFIED:20240129T134228Z
UID:8877-1706547600-1706551200@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Octavio Galland
DESCRIPTION:Título: Fuzzing In-Vivo Mediante Amplificación de Ejecuciones\nDirectores: Juan P. Galeotti y Marcel Böhme\nJurados: Agustin Martinez Suñé y Sergio D’Arrigo \nLugar:  https://youtube.com/live/fdEUj4bgX-Q?feature=share \nResumen \nUno de los mayores cuellos de botella al aplicar fuzz testing sobre librerías es la necesidad de contar con fuzz drivers. Estos son programas que hacen las veces de intermediarios entre el fuzzer y la librería siendo testeada. El hecho de que vulnerabilidades críticas sigan siendo encontradas en librerías que son continuamente sometidas a fuzzing delata la insuficiencia de estos drivers en la práctica. \nEn este trabajo\, proponemos un enfoque alternativo al fuzzing de librerías\, que haga uso de una ejecución válida de un programa que utilice la librería (el host)\, y amplifique su ejecución. Más concretamente\, ejecutamos el host hasta que una determinada función de una lista de funciones objetivo sea ejecutada\, y luego procedemos a aplicar fuzzing guiado por cobertura sobre la misma. Una vez agotado el presupuesto de tiempo asignado a este objetivo\, avanzamos al siguiente objetivo de la lista. De esta manera no solo reducimos la cantidad de esfuerzo manual requerido para incorporar fuzzing al ciclo de desarrollo de una librería\, sino que también permitimos llevar a cabo el testing de la misma en un contexto que refleje el uso que se le daría en un contexto productivo. \nPalabras claves: fuzzing\, testing automatizado\, seguridad de software\, detección de vulnerabilidades\, exploración de caminos
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-octavio-galland/
LOCATION:aula virtual
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20240207T183000
DTEND;TZID=America/Sao_Paulo:20240207T193000
DTSTAMP:20260406T154033
CREATED:20240131T134509Z
LAST-MODIFIED:20240201T134649Z
UID:8881-1707330600-1707334200@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Nahuel Nostrala Hatz
DESCRIPTION:Título: Un algoritmo basado en generación de columnas para Star Routing\nDirector: Dr Javier Marenco\nJurados: Dr Brian Curcio y Dr Pablo Factorovich \nResumen: \nDados un grafo G = (N\, E) y una flota de vehículos capacitados inicialmente ubicada sobre el vértice depósito\, el problema de Star Routing pide minimizar el costo de cubrir a un conjunto de clientes S incluido en N realizando únicamente circuitos cerrados sobre G. Para cubrir a un cliente ubicado sobre un nodo v\, no se exige que el recorrido del vehículo incluya a v\, sino que tiene permitido pasar suficientemente cerca de este nodo. En un escenario que modela una empresa logística que envía paquetes a domicilio utilizando una cuadrilla de vehículos\, este requerimiento equivale a pedir que cada chofer tenga la posibilidad de estacionar en una esquina cercana a la dirección del destinatario y acercarse a pie a entregar el envío. \nStar Routing es una formulación particularmente difícil de tratar del problema de ruteo de vehículos. En esta tesis presentamos algoritmos eficientes que lo resuelven de manera exacta. En un análisis posterior se proponen heurísticas que permiten procesar instancias más grandes\, pagando el costo de prescindir de soluciones óptimas. El análisis de la calidad de la solución aproximada implica la definición de cotas para limitar el error y merece ser profundizado ya que dista de la trivialidad. \nEl espacio de búsqueda de los algoritmos que resuelven Star Routing es categóricamente más grande que el de las formulaciones tradicionales de VRP y este hecho lo vuelve particularmente interesante a fines teóricos. Dado que en la literatura hasta la fecha está ampliamente aceptado que los algoritmos de generación de columnas representan una técnica eficiente para tratar problemas de ruteo de vehículos\, suena razonable utilizar una formulación de estas características para Star Routing. Es usual que la dificultad del problema y por lo tanto la mayor parte de la carga computacional se concentren en el subproblema de pricing. Es por esto que hacemos una comparación entre varias ideas de la literatura que se mostraron eficientes para resolverlo\, ahora adaptadas a nuestro caso particular. Muchas de las ideas desarrolladas en esta tesis se pueden adaptar a otras formulaciones complejas de problemas de optimización combinatoria sin dificultad excesiva.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-nahuel-nostrala-hatz/
LOCATION:Aula 1115
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20240214T140000
DTEND;TZID=America/Sao_Paulo:20240214T150000
DTSTAMP:20260406T154033
CREATED:20240208T115939Z
LAST-MODIFIED:20240208T115939Z
UID:8885-1707919200-1707922800@www.dc.uba.ar
SUMMARY:Charla de Joost Peter Katoen on Safe AI
DESCRIPTION:El miércoles 14\, a las 14hs va a dar una charla Joost Peter Katoen\, (https://en.wikipedia.org/wiki/Joost-Pieter_Katoen) y va a dar una charla que tal vez sea de su interés.\nSala 2103 a las 14 horas.\n\n\nFacing Uncertainty in AI – From Verification to Synthesis \nUncertainties occur in different forms: data may be noisy\, mechanisms may be inherently randomised\, the visibility (of e.g. a robot) may not be optimal\, and the environment in which a system needs to operate may behave in an unknown manner. \nThe central question that we will address is «Can we guarantee that AI systems are safe and dependable in the presence of such uncertainty?» We advocate using model-based\, formal verification and synthesis with a particular focus on automation. \nWe will present techniques to verify uncertainty aspects modeled as randomness and to use formal synthesis to complete partial designs. Several example AI systems will illustrate the capabilities of these approaches.
URL:https://www.dc.uba.ar/event/charla-de-joost-peter-katoen-on-safe-ai/
LOCATION:Sala 2103
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20240221T180000
DTEND;TZID=America/Sao_Paulo:20240221T190000
DTSTAMP:20260406T154033
CREATED:20240214T125354Z
LAST-MODIFIED:20240219T121556Z
UID:8891-1708538400-1708542000@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Giselle Zeitoune
DESCRIPTION:Título: Un cálculo-lambda cronometrado\nDirector: Pablo Barenbaum\nJurado: Sergio Abriola y Rafael Romero \nResumen:\nEl cálculo-lambda permite estudiar la noción de función computable desde un\npunto de vista matemático\, modelando la abstracción y la aplicación de una\nfunción a un argumento. El mecanismo de cómputo por el cual se realiza esta\naplicación se conoce como beta-reducción. En este trabajo extendemos el\ncálculo-lambda a una variante «cronometrada»\, a la que llamamos cálculo-lambda\ncronometrado. Extendemos la sintaxis\, la semántica y el sistema de tipos para\nreflejar el hecho de que la aplicación de una función a un argumento tiene un\ncosto temporal. Para esto se incorpora un constructor de términos que\nrepresenta una demora de una unidad de tiempo\, y un operador que modela la\nacción de esperar hasta que el resultado de un cómputo esté listo. Modificamos\nel mecanismo de cómputo para que cada paso de beta-reducción introduzca una\ndemora. Demostramos que este cálculo preserva propiedades como la confluencia y\nla normalización fuerte del fragmento tipado. Damos un argumento de terminación\ndébil\, bajo ciertas hipótesis de tipabilidad\, que exhibe una cota explícita\npara la longitud de la reducción a forma normal\, basado en las características\ndel nuevo cálculo\, usando la noción de costo definida. Finalmente\, demostramos\nque hay términos tipables en el cálculo-lambda a los que no se les puede hacer\ncorresponder un término tipable en el cálculo-lambda cronometrado. Este\nresultado se obtiene por medio de un sistema de tipos auxiliar en el que los\njuicios de tipado vienen acompañados de restricciones ecuacionales.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-giselle-zeitoune/
LOCATION:Aula 1114
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20240305T100000
DTEND;TZID=America/Sao_Paulo:20240305T120000
DTSTAMP:20260406T154033
CREATED:20240304T131002Z
LAST-MODIFIED:20240304T150854Z
UID:8977-1709632800-1709640000@www.dc.uba.ar
SUMMARY:Defensa Tesis Doctorado Agustín Martinez Suñé
DESCRIPTION:Título: Análisis automático de propiedades de calidad en sistemas distribuidos basados en servicios\nDirector: Dr. Carlos Gustavo López Pombo\nConsejero de estudios: Dr. Juan Pablo Galeotti\nJurados:\nDr. Sebastián Uchitel (Universidad de Buenos Aires)\nDr. Alexandre Madeira (Universidad de Aveiro)\nDr. Alberto Lluch Lafuente (Universidad Técnica de Dinamarca) \nLink de youtube para la transmisión: https://youtube.com/live/px5yJR8cA_U \nResumen: \nLos sistemas distribuidos basados en servicios responden a paradigmas de cómputo que ponen a los servicios como los elementos fundamentales de la arquitectura y del proceso de desarrollo de las aplicaciones de software. Bajo estos paradigmas\, entre los que se encuentra la Computación Orientada a Servicios (SOC)\, los sistemas de software ya no son piezas monolíticas de código que se ejecutan dentro de los límites de una organización. En cambio\, están constituidos a partir de la ejecución coordinada y distribuida de múltiples servicios que proveen funcionalidades específicas. \nEstos sistemas se sustentan sobre lo que se conoce como cómputo global\, que comprende los recursos computacionales e infraestructuras de comunicación disponibles a nivel mundial\, y dan lugar a la llamada economía de las API. Esta idea sostiene que es posible construir artefactos de software a partir de componer\, en tiempo de ejecución\, servicios provistos por terceros y registrados previamente en repositorios. \nEn este contexto\, la calidad de servicio (QoS) es un aspecto fundamental a tener en cuenta en el proceso de desarrollo y despliegue de aplicaciones de software\, ya que está directamente influenciada por la calidad de los servicios que componen el sistema.\nPor lo tanto\, los aspectos de calidad se convierten en elementos centrales en la selección de dichos servicios y\, como resultado\, en la negociación de acuerdos de nivel de servicio (SLA). El término calidad de servicio se utiliza de manera amplia en este contexto para referirse a lo que comúnmente se conoce como requisitos de calidad\, en contraposición a los requisitos funcionales. Esto significa que se refiere a aquellos requisitos que expresan propiedades de calidad del software sin condicionar la funcionalidad que proporciona. \nEn esta tesis\, nuestro objetivo es contribuir al campo del análisis automático de propiedades de calidad en sistemas distribuidos basados en servicios. Nuestras contribuciones se basan en el enfoque de los métodos formales aplicados a la ingeniería de software\, es decir\, métodos de análisis de artefactos de software cuyas técnicas pueden explicarse en términos lógico-matemáticos. \nDesde este enfoque\, nos concentraremos en el análisis de propiedades que predican sobre atributos cuantitativos\, esto es\, aquellos atributos de calidad que admiten algún tipo de medición. Este conjunto incluye atributos de naturaleza diversa\, como el tiempo de respuesta\, el consumo de memoria\, el costo monetario y la reputación\, entre otros. \nEn suma\, las contribuciones de esta tesis se centran en dos aspectos fundamentales. Por un lado\, en el desarrollo de lenguajes formales capaces de expresar contratos de calidad de servicio\, tanto de provisión como de requisito\, desde una mirada general que no hace suposiciones sobre la naturaleza de los atributos de calidad\, excepto por la condición de que sean cuantitativos. Por otro lado\, en el diseño de técnicas de análisis para estos lenguajes\, que permiten la verificación automática de la compatibilidad entre un contrato de provisión y uno de requisito.
URL:https://www.dc.uba.ar/event/defensa-tesis-doctorado-agustin-martinez-sune/
LOCATION:Sala 1604
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20240312T100000
DTEND;TZID=America/Sao_Paulo:20240312T110000
DTSTAMP:20260406T154033
CREATED:20240306T170121Z
LAST-MODIFIED:20240306T170121Z
UID:8991-1710237600-1710241200@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Franco Assenza
DESCRIPTION:Título: Apuestas y Azar: Martingalas computables y secuencias genéricas de Poisson\nDirectores: Verónica Becher y Santiago Figueira\nJurados : Nicolás Álvarez y Martín Mereb \nResumen: Intuitivamente un número es aleatorio si no hay forma hacer apuestas a los dígitos de su expansión fraccionaria y conseguir\, a la larga\, una ganancia infinita. La formalización de esta idea originó la definición de aleatoriedad basada en martingalas. Un número es puramente aleatorio si ninguna martingala computablemente enumerable hace una ganancia infinita sobre su expansión fraccionaria. Las nociones de aleatoriedad más débiles (o impuras) sí pueden tener martingalas computables asociadas. En este trabajo consideramos la noción llamada genericidad de Poisson. Un número es genérico de Poisson si la distribución de bloques largos de dígitos en los segmentos iniciales de su expansión fraccionaria es una distribución de Poisson. Recientemente Peres y Weiss demostraron que casi todos los números son genéricos de Poisson\, y Álvarez\, Becher y Mereb mostraron que todos los números puramente aleatorios son genéricos de Poisson. En esta tesis damos una martingala computable que logra infinita ganancia sobre las expansiones fraccionarias de números que no son Poisson genéricos en una base entera dada\, analizamos su complejidad computacional de peor caso.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-franco-assenza/
LOCATION:Aula 1303
CATEGORIES:Agenda
END:VEVENT
END:VCALENDAR