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:20231122T110000
DTEND;TZID=America/Sao_Paulo:20231122T120000
DTSTAMP:20260406T154049
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:20260406T154049
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:20260406T154049
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:20260406T154049
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:20260406T154049
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:20260406T154049
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:20260406T154049
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:20260406T154049
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:20260406T154049
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:20260406T154049
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:20260406T154049
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:20260406T154049
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:20260406T154049
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:20260406T154049
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:20260406T154049
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:20260406T154049
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:20260406T154049
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:20260406T154049
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:20260406T154049
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
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20240319T140000
DTEND;TZID=America/Sao_Paulo:20240319T150000
DTSTAMP:20260406T154049
CREATED:20240312T135440Z
LAST-MODIFIED:20240312T135440Z
UID:8996-1710856800-1710860400@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Lucas Figarola
DESCRIPTION:Título: AgrOptim: Una plataforma de simulación y optimización para el diseño de agroecosistemas sustentables \nLugar de trabajo:\n-Laboratorio de Simulación de Eventos Discretos (SED)\, Instituto UBA-CONICET de Ciencias de la Computación (ICC)\, Departamento de Computación (DC)\, FCEyN-UBA\n-Cátedra de Cerealicultura\, Instituto UBA-CONICET de Investigaciones Fisiológicas y Ecológicas Vinculadas a la Agricultura (IFEVA)\, FAUBA-UBA \nDirector: Dr. Rodrigo Castro (DC-ICC)\nCo Director: Lic. Felipe Ghersa (IFEVA)\nAsesor: Dr. Diego Ferraro (IFEVA) \nJurado:\n– Dr. Esteban Feuerstein (DC-ICC)\n– Dr. José Andrade (IFEVA)  \nResumen del trabajo:\nLos objetivos económicos y ambientales de productores agrícolas presentan compromisos no triviales. Diseñar sistemas agrícolas que cumplan a largo plazo con estos objetivos y reduzcan los compromisos que existen entre ellos requiere evaluar un gran conjunto de combinaciones de variables de decisión agronómica. Esto presenta varias dificultades cuando se utilizan experimentos de campo\, ya que requieren de una gran cantidad de espacio\, tiempo y recursos para medir adecuadamente las interrelaciones complejas entre los factores humanos y naturales que determinan los sistemas de producción. \nLos modelos de simulación de cultivos\, acoplados con algoritmos de optimización\, pueden proporcionar una herramienta sólida para estudiar y diseñar sistemas de cultivo bajo diferentes condiciones ambientales y de manejo\, tanto actuales como futuras\, y a largo plazo. \nEn esta tesis presentamos AgrOptim\, un framework que integra un modelo de simulación de cultivos (DSSAT)\, un modelo de simulación de riesgo ecotoxicológico (RIPEST)\, indicadores de Síntesis Emergética (por Embodied Energy) y algoritmos genéticos\, con el fin de optimizar objetivos económicos y biofísicos bajo diferentes combinaciones de variables de decisión agronómica (secuencia de cultivos\, estructura de cultivo\, tipos y dosis de pesticidas y fertilizantes). \nAplicamos AgrOptim a las condiciones de la zona de Pergamino\, Argentina\, para (1) caracterizar la relación entre los objetivos económicos y ambientales y (2) evaluar el estado actual y las mejoras potenciales para tres sistemas de cultivo en la región: monocultura de soja\, monocultura de maíz y rotación de tercios (maíz-soja-trigo/soja de 2da.) \nPara esto\, se diseñó un experimento de optimización multiobjetivo para sistemas de cultivo extensivos durante 30 años\, de acuerdo con prácticas agrícolas modales típicas. Se utilizó la optimalidad de Pareto para optimizar simultáneamente un objetivo económico (retorno de la inversión) y cuatro objetivos biofísicos (entradas de carbono de residuos de cultivo\, eficiencia de uso de la precipitación\, relación de energía no renovable a renovable\, y la ecotoxicidad de fitosanitarios).  \nLos resultados permiten cuantificar y mensurar los compromisos entre los objetivos económicos y todos los objetivos ambientales. Además\, se pudo comprobar que las variables de decisión que proporcionaron un mejor rendimiento biofísico en términos de residuos de carbono\, eficiencia de uso de la precipitación y riesgo ecotoxicológico requieren aumentar el uso de energía no renovable. Los sistemas de cultivo estudiados mostraron que existen oportunidades (brechas) de mejora tanto para los objetivos económicos como biofísicos\, y se identificaron variables de decisión que permiten mejorar el rendimiento biofísico mientras se mantiene (o incluso se mejora) el nivel de rendimiento económico. \nEstos resultados destacan los desafíos que enfrentan los productores agrícolas respecto de los compromisos económicos y ambientales\, y exponen las oportunidades de mejoras que pueden identificarse mediante modelos de simulación y optimización\, ofreciendo nuevas opciones para el rediseño de sistemas de cultivo.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-lucas-figarola/
LOCATION:Sala 1606
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20240322T160000
DTEND;TZID=America/Sao_Paulo:20240322T170000
DTSTAMP:20260406T154049
CREATED:20240320T143046Z
LAST-MODIFIED:20240320T143046Z
UID:9011-1711123200-1711126800@www.dc.uba.ar
SUMMARY:Charla Dátame: Unificando enfoques en problemas de datos
DESCRIPTION:Este viernes arranca Dátame! 2024. El encuentro es a las 16hs. en el aula 1402 del Edificio 0+Infinito. \nEsta vez\, la charla estará a cargo de Daniela Rodriguez (Instituto de Cálculo\, Exactas-UBA). El título de la charla es \nUnificando enfoques en problemas de datos \n \nSobre la charla \nEn esta charla discutiremos diferentes problemas con datos en donde si bien tienen objetivos diferentes pueden ser abordados bajo un mismo enfoque.  En particular\, discutiremos un problema de regresión en donde se postula diferentes regímenes en un modelo único y un desafío es estimar dónde ocurren las transiciones. También presentaremos un problema de reducción de la dimensión en donde mostraremos cómo simplificar el modelo detectando puntos de independencia en un vector aleatorio. Y finalmente abordaremos un problema de estimación de la dimensión. \n\nSobre Daniela\nDaniela Rodriguez obtuvo en 2008 su doctorado en Ciencias Matemáticas por la Universidad de Buenos Aires. Es Profesora Asociada en UTDT e investigadora independiente de CONICET.  Es directora del Instituto de Cálculo y actualmente\, es miembro del Comité Científico de la Unión Matemática de América Latina y el Caribe y de la Sociedad Latinoamericana de Probabilidad y Estadística Matemática.  Sus líneas de investigación se centran en la estadística matemática.Consultas: info.lcd@exactas.uba.ar \nSobre ¡DÁTAME! \nEste ciclo de charlas busca simultáneamente: \n– Ser un lugar de encuentro entre todos/as los/as que nos sentimos\ncercanos a LCD ya sea por ser estudiantes de la carrera o carrera\ncercanas\, docentes\, investigadores/as interesados/as o simplemente\namigos/as de LCD. \n– Ofrecer a estudiantes de la carrera un panorama amplio de posibles\ncaminos que puede recorrer un/a especialista en ciencias de datos. \n– Exponer a estudiantes de LCD a importantes referentes de la disciplina\nque trabajan en diversos ámbitos (investigación científica\, empresas\,\norganismos estatales\, ONGs\, etc. ) \n– Aprender un montón de cosas sobre datos. Qué tipo de problemas se\npueden resolver con ellos y cuáles no\, qué precauciones debemos tener\,\nqué desafíos afronta la disciplina y mucho más. \n– Evidenciar la diversidad de disciplinas que confluyen en esta carrera\ny experimentar cómo interactúan. \n– Compartir un buen rato\, un viernes a la tarde\, una vez por mes. \nEstá destinado principalmente a estudiantes de la carrera\, pero todas/os\nsomos bienvenidas/os. \nNos juntamos el 3er. viernes de cada mes a las 16hs. \n¡Las y los esperamos!
URL:https://www.dc.uba.ar/event/charla-datame-unificando-enfoques-en-problemas-de-datos/
LOCATION:Aula 1402
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20240325T140000
DTEND;TZID=America/Sao_Paulo:20240325T150000
DTSTAMP:20260406T154049
CREATED:20240320T184655Z
LAST-MODIFIED:20240320T184655Z
UID:9015-1711375200-1711378800@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Dago de Renteria y Melissa Regnier
DESCRIPTION:Título: Fuzzing de smart contracts: EchidnaAFL\nDirectores: Juan Pablo Galeotti y Diego Garbervetsky (DC/ICC)\nJurados:\n– Victor Braberman (DC/ICC)\n– Gustavo Grieco (Trail of Bits) \nResumen:\nEn los últimos años\, han cobrado popularidad y gran capital financiero las tecnologías blockchain y en particular Ethereum\, que introdujo el concepto de smart contracts que permitió el desarrollo de una gran variedad de proyectos. Esto dio lugar a la investigación y desarrollo de herramientas de testing de smart contracts\, en particular fuzzing. En esta tesis\, en búsqueda de una herramienta para extender\, llevamos a cabo en primer lugar un análisis del estado del arte de las herramientas de fuzzing existentes\, lo que nos llevó a elegir a Echidna\, debido a su popularidad\, simpleza de extensión y disponibilidad de código y desarrolladores. En base a esto\, realizamos una investigación de reverse-engineering que nos permitió documentar extensamente el algoritmo de Echidna\, obteniendo diversos diagramas que disponibilizamos para el uso de la comunidad. Una vez hecho esto\, implementamos una versión de Echidna que incorpora conceptos de la herramienta AFL Fast\, que asigna energía a los elementos del corpus en función de la frecuencia del camino explorado por cada elemento. Además\, implementamos una versión random que asigna energías uniformes para utilizar como testigo en el análisis. Finalmente\, mediante el uso de tres distintos benchmarks\, comparamos los resultados obtenidos por las tres distintas versiones y concluimos que la adaptación implementada obtiene resultados equivalentes a la original pero con un overhead de tiempo significativo\, mientras que la versión random también obtiene resultados similares sin ningún overhead de tiempo. Esto nos lleva a concluir que la estrategia de elección de elementos de corpus no pareciera influir lo suficiente en la eficiencia de la herramienta ya que su comparación con random que representa la elección trivial de elementos de corpus resulta en el mismo nivel de performance. Como trabajo futuro\, se pueden seguir explorando los resultados observados haciendo uso de benchmarks más complejos y extensos que permitan otorgarle mayor confianza a lo concluido o incluso proponer nuevas estrategias de feedback utilizando la documentación provista en esta tesis para facilitar el desarrollo. \nPalabras claves: Ethereum\, smart contracts\, fuzzing\, Echidna\, AFL-Fast\, feedback\, elección de elementos de corpus.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-dago-de-renteria-y-melissa-regnier/
LOCATION:Sala 1604
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20240409T100000
DTEND;TZID=America/Sao_Paulo:20240409T120000
DTSTAMP:20260406T154049
CREATED:20240404T151550Z
LAST-MODIFIED:20240404T151550Z
UID:9041-1712656800-1712664000@www.dc.uba.ar
SUMMARY:Defensa Tesis Doctorado Gustavo Landfried
DESCRIPTION:Título: Análisis bayesiano del aprendizaje en comunidades de video juegos \nDirector: Esteban Mocskos\nCo-director: Diego Fernández Slezak \nConsejero de estudios: Hernán Melgratti \nJurados: \nDr. Daniel Ramos Castro – Universidad Autónoma de Madrid\nDra. Marcela Svarc – Universidad de San Andrés & CONICET\nDr. Mariano G. Beiró Facultad de Ingeniería\, UBA & CONICET \nTransmisión: https://youtube.com/live/HvNwM5Fmf9I?feature=share \nResumen: \nLas especie humana tiene una singular capacidad de aprendizaje social\,\nque le permite acumular adaptaciones sucesivas en el tiempo que van\nproduciendo el inimaginablemente complejo sistema de información\ncultural. Si bien el aprendizaje humano ocurre en los cuerpos\nbiológicos\, el aprendizaje cultural es un fenómeno poblacional que\nemerge de la interacción prolongada entre individuos y entre\ngeneraciones. Entender las propiedades de los sistemas de información\ncultural es uno de los problemas fundamentales de la antropología\,\nrelevante para las ciencias de la computación y la inteligencia\nartificial multi-agente. En particular\, comprender las relaciones que\nvinculan el nivel poblacional (como la dinámica y estructura de la red\nde intercambios de información cultural) con el nivel individual (el\naprendizaje efectivo que se produce en los cuerpos)\, ha sido la pregunta\nque motivó esta tesis de doctorado. Para ello\, decidimos estudiar las\ncomunidades de video juegos en línea. Además de que ofrecen la\noportunidad de estudiar poblaciones grandes sin perder un alto grado de\ndetalle\, ellas son un lugar privilegiado para estudiar cómo cambian las\nestrategias en el tiempo. Algunas de las preguntas que nos propusimos\nresponder durante el doctorado fueron las siguientes. ¿Cuál es la mejor\nforma de medir el aprendizaje de un individuo en el tiempo? ¿Cuál es la\nrelación entre la formación de equipos y el aprendizaje individual a\nlargo plazo? ¿Cuál es el efecto que la posición topológica de un\nindividuo en la red información cultural tiene sobre el aprendizaje\nindividual? ¿Cuáles son algunas de las propiedades generales del\naprendizaje?\nDurante el doctorado en ciencias de la computación el enfoque bayesiano\nde la probabilidad respondió las preguntas metodológicas y\nepistemológicas más profundas que traía de mi formación previa en\nciencias antropológicas: cómo alcanzar acuerdos respecto a la correcta\nevaluación de argumentos causales alternativos. Las reglas de la\nprobabilidad se conocen desde finales del siglo 18 y desde entonces se\nlas ha adoptado como sistema de razonamiento en todas las ciencias\nempíricas. Si bien en todo este tiempo no se ha propuesto nada mejor en\ntérminos prácticos\, el costo computacional asociado a la evaluación de\ntodo el espacio de hipótesis ha limitado históricamente la aplicación\nestricta de las reglas de la probabilidad (enfoque bayesiano). El\nenfoque bayesiano se fue incorporando lentamente durante el transcurso\nde la tesis\, hasta transformarse en un protagonista.\nEn el primer trabajo usamos el modelo bayesiano de habilidad más\nutilizado en la industria del video juego para estudiar una comunidad en\nel que las personas podían jugar individualmente o en equipos. Mediante\ntest de hipótesis estadísticos detectamos que jugar en equipo está\nasociado a mayor aprendizaje a largo plazo\, y que mantener un equipo\nestable está asociado a mayor velocidad de aprendizaje. Los estimadores\nde habilidad disponibles\, considerados estado del arte al inicio del\ndoctorado\, no permiten sin embargo obtener estimaciones iniciales\nfiables ni garantizar la comparabilidad entre estimaciones distantes en\nel tiempo y el espacio. En el transcurso del doctorado descubrimos la\nespecificación matemática de un modelo conocido como TrueSkill Through\nTime (TTT) que resolvı́a estos problemas realizando la inferencia en\núnica red bayesiana\, propagando la información histórica correctamente.\nDebido a que el modelo no se encontraba disponible en ningún lenguaje de\nprogramación en el segundo trabajo resolvimos la matemática de este\nmodelo\, la documentamos\, la implementamos y la publicamos en los\nlenguajes de programación Julia\, Python y R. En un tercer trabajo\,\nestudiamos la evolución de una red de partidas en el juego de Go durante\nun periodo de ocho años y encontramos\,con el nuevo estimador\, que la\nposición de los individuos en la red tiene un efecto sobre el\naprendizaje en los personas que están en el medio del proceso de\naprendizaje\, ausente entre novatas y expertas. \nPalabras claves: Ciencias Sociales Computacionales\, Inferencia\nbayesiana\, Cultura\, Habilidad\, Aprendizaje\, Comunidades virtuales\,\nVideojuegos
URL:https://www.dc.uba.ar/event/defensa-tesis-doctorado-gustavo-landfried/
LOCATION:Sala 2103
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20240410T163000
DTEND;TZID=America/Sao_Paulo:20240410T173000
DTSTAMP:20260406T154049
CREATED:20240403T180304Z
LAST-MODIFIED:20240403T180304Z
UID:9030-1712766600-1712770200@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura David Venegas
DESCRIPTION:Título: «Modelado de funciones propagadoras para taint tracking con CodeQL y GPT-4: una aproximación experimental» \nDirector: Víctor Braberman\nDirector adjunto: Iván Postolski\nJurados: Diego Garbervetsky\, Rodolfo Baader\n\nResumen\n———————-\n\n\nEn el análisis estático de programas\, el taint tracking se utiliza para detectar vulnerabilidades relacionadas con el flujo de inputs no sanitizados\, como lo son las inyecciones de código. CodeQL es una herramienta de data-flow analysis que convierte el código fuente en una base de datos para detectar vulnerabilidades utilizando queries\, sin embargo\, su eficacia es limitada al utilizar métodos de APIs no contempladas en estas reglas. Este desafío se resuelve agregando modelos que extiendan las queries y especifiquen cómo fluye la información a través de sus parámetros. El proceso de modelado\, que identifica las funciones propagadoras\, requiere conocimientos especializados en CodeQL y seguridad informática\, así como un entendimiento del dominio del problema y el código en cuestión por lo que resulta en una tarea costosa que debe ser abordada por un experto en el área.\n\nEsta tesis estudia si el rol de un humano en el modelado de estas funciones propagadoras puede ser relegado a un modelo de lenguaje (GPT-4). Primero\, se propone una taxonomía de los subproblemas del modelado y los distintos tipos de variaciones de información contextual a los que se enfrenta un experto. Adicionalmente\, se identifican las competencias que caracterizan a dicho experto. Luego\, se analizan estrategias de prompt engineering adecuadas y se recopilan casos relevantes creados por la comunidad para ser utilizados como oráculo. La evaluación empírica muestra que las capacidades de las LLMs aún no alcanzan las de un experto en ciberseguridad\, sin embargo\, a pesar de las limitaciones de esta técnica\, como un contexto de prompting acotado y la falta de garantías teóricas de utilizar IA\, se obtuvo un set de casos donde es viable usar al agente. Además\, se establecen las bases para futuras investigaciones que extiendan el rol de las LLMs en la detección de vulnerabilidades en el código fuente.\n\n\nPalabras claves: CodeQL\, Taint Tracking\, Static Analysis\, LLM\, GPT4\, CWE\, API modeling
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-david-venegas/
LOCATION:Sala 1604
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20240412T100000
DTEND;TZID=America/Sao_Paulo:20240412T120000
DTSTAMP:20260406T154049
CREATED:20240404T170700Z
LAST-MODIFIED:20240404T170700Z
UID:9043-1712916000-1712923200@www.dc.uba.ar
SUMMARY:Defensa Tesis Doctorado Ivan Arcuschin Moreno
DESCRIPTION:Título: Generación aleatoria de casos de test Espresso para Android\nDirector: Prof. Dr. Juan Pablo Galeotti\nConsejero de estudios: Prof. Dr. Hernán Melgratti\nJurados:\nProf. Dra. Alessandra Gorla – IMDEA Software Institute\nProf. Dr. Marcelo d’Amorim – NC State University\nDr. Renzo Degiovanni – University of Luxembourg \nTransmisión: https://youtube.com/live/Z7-gBWNfZuw \nResumen: \nEl testing es una parte integral del proceso de desarrollo de aplicaciones Android: al correr casos de test regularmente en sus aplicaciones\, los desarrolladores pueden verificar el correcto comportamiento y la usabilidad antes de poner las aplicaciones a disposición del público. Espresso es un framework de testing que permite a los desarrolladores escribir casos de test de interfaz de usuario (UI) Android concisos\, confiables y legibles\, y es el único framework de testing de UI con una amplia adopción entre los desarrolladores de aplicaciones. Se han propuesto varias herramientas de generación automática de tests para ayudar a los desarrolladores en la tarea de testing. Sin embargo\, muchas de estas herramientas no producen casos de test ejecutables\, solo informan errores\, y de las que generan tests\, sólo algunas admiten el formato Espresso. \nEsta tesis se centra en mejorar la generación de casos de test Espresso para aplicaciones Android. Comenzamos realizando un estudio empírico que compara la efectividad de distintos algoritmos evolutivos y muestra que dichos algoritmos no son adecuados para generar casos de test Android\, siendo muchas veces superados por algoritmos puramente aleatorios. A continuación\, analizamos los desafíos de generar casos de test en formato Espresso\, utilizando un enfoque basado en traducción que aprovecha la salida de herramientas de testing automático existentes. Encontramos que uno de los principales desafíos es la falta de propiedades únicas para identificar de manera inequívoca widgets específicos en la UI. Esto se agrava debido a que muchas herramientas utilizan el Servicio de Accesibilidad de Android\, que puede devolver información inconsistente. \nFinalmente\, esta tesis presenta una técnica para generar casos de test Espresso que son ampliamente más confiables que los generados utilizando el enfoque basado en traducción según una evaluación experimental en 1.035 apps Android. Esta técnica incluye algoritmos novedosos para generar View Matchers de Espresso que seleccionan de manera concisa widgets de Android\, y para crear View Assertions de Espresso que sirven para tests de regresión. Utiliza además el framework Espresso directamente para obtener información e interactuar con la aplicación bajo test. \nPalabras claves: Android\, Espresso\, generación de casos de test\, oráculos de test\, algoritmos basados en búsqueda.
URL:https://www.dc.uba.ar/event/defensa-tesis-doctorado-ivan-arcuschin-moreno/
LOCATION:Sala 1604
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20240412T170000
DTEND;TZID=America/Sao_Paulo:20240412T180000
DTSTAMP:20260406T154049
CREATED:20240411T165358Z
LAST-MODIFIED:20240411T165358Z
UID:9066-1712941200-1712944800@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Ezequiel Vera
DESCRIPTION:Título: «Análisis de estabilidad y seguridad en una red de Proof of Stake: el ejemplo de Algorand»\nDirector: Esteban Mocskos\nJurados: Gustavo Sadovoy\, Ariel Waissbein \nTransmite por: https://youtube.com/live/hVe3CpH6LYg?feature=share \nResumen\n=======\nEn este trabajo de tesis estudiamos Algorand\, una red de blockchain basada en Proof of Stake\, analizando la estabilidad y seguridad de la misma en dos etapas. \nEn una primera etapa\, experimentamos con la estabilidad y adaptación a cambios en la topología física de la red. Para ello creamos experimentos con distintas configuraciones en los que afectamos enlaces agregando latencias de manera incremental. En todos ellos logramos degradar y hasta detener la red al afectar un 20% del stake participante del consenso\, encontrando un potencial vector de ataque. \nComo segunda etapa\, ante la factibilidad de un ataque de este tipo\, nos interesó poder reconstruir la topología lógica de la red para ubicar a los nodos de mayor stake\, a partir de los mensajes recibidos por un relay del sistema. Experimentamos con redes de diferentes tamaños hasta replicar la escala de la red real. Para cada uno creamos un escenario en el que el stake se distribuye de manera homogénea entre los nodos\, y otro heterogéneo en el que se respeta la distribución real de la red para fines de 2022. \nPara los escenarios homogéneos\, logramos predicciones que aciertan por completo en las conexiones de los nodos a los relays vecinos del relay analizado\, pero que comienzan a fallar en la escala realista (bajando el nivel de detección y generando falsos positivos). \nPara los escenarios heterogéneos observamos un comportamiento similar: partimos de predicciones exactas para redes más pequeñas\, que comienzan a fallar a medida que incrementamos el tamaño de la red. Sin embargo\, nuestro algoritmo pudo predecir en escala realista de manera exacta y precisa las conexiones de las cuentas más importantes de la red (aquellas con mayor stake). \nEste estudio es el primero para la red de Algorand en base a los aspectos analizados\, con emulaciones de la misma en escala realista.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-ezequiel-vera/
LOCATION:Sala 1604
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20240415T100000
DTEND;TZID=America/Sao_Paulo:20240415T120000
DTSTAMP:20260406T154049
CREATED:20240408T124937Z
LAST-MODIFIED:20240408T124937Z
UID:9058-1713175200-1713182400@www.dc.uba.ar
SUMMARY:Defensa Tesis Doctorado Carolina Lucía Gonzalez
DESCRIPTION:Título: Problemas localmente verificables parametrizados por treewidth\, clique-width y mim-width\nDirectora: Flavia Bonomo\nConsejero de estudios: Javier Marenco\nJurados:\nDr. Sergio Cabello Justo – Prof. Full\, DMAT\, Univ. de Liubliana\nDra. Paloma T. De Lima – Prof. Asis.\, Univ. de Copenhagen\nDr. Dimítrios Thilikós Touloupas – Dir. de Inv.\, CNRS – LIRMM \nResumen:\nIntuitivamente\, un problema localmente verificable es un problema de partición de vértices (o\, equivalentemente\, de coloreo de vértices) para el cual una solución puede ser verificada simplemente chequeando una determinada propiedad local para cada vértice\, es decir\, una propiedad que involucra solamente la solución restringida al vértice y a sus vecinos. Este es el caso de diversas variantes de los problemas de dominación\, conjunto independiente y k-coloreo\, entre otros. Existen numerosos marcos generales que incluyen un gran subconjunto de estos problemas\, para los cuales se propusieron algoritmos para resolverlos eficientemente en varias clases de grafos.\nEn esta tesis definimos un nuevo marco para problemas localmente verificables\, formalizando la noción intuitiva que tenemos de ellos para luego analizar bajo qué circunstancias podemos proponer algoritmos eficientes que los resuelvan. Los algoritmos propuestos se basan en programación dinámica y para ellos calculamos sus complejidades parametrizadas por treewidth\, clique-width y mim-width. Los resultados obtenidos generalizan aquellos de marcos definidos anteriormente. Mostramos además cómo modelar dentro de nuestro marco diversos problemas de la literatura\, como ser [k]-dominación romana\, k-comunidad y dominación Grundy\, probando así que son FPT o XP parametrizados por treewidth\, clique-width o mim-width. Más aún\, proponemos esquemas de aproximación polinomiales para algunos problemas localmente verificables en grafos planares. \nPalabras claves: problema localmente verificable\, treewidth\, clique-width\, mim-width\, complejidad parametrizada\, esquema de aproximación polinomial.
URL:https://www.dc.uba.ar/event/defensa-tesis-doctorado-carolina-lucia-gonzalez/
LOCATION:Aula 1302
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20240416T183000
DTEND;TZID=America/Sao_Paulo:20240416T193000
DTSTAMP:20260406T154049
CREATED:20240404T124026Z
LAST-MODIFIED:20240415T141632Z
UID:9038-1713292200-1713295800@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Darío Ocles
DESCRIPTION:Título: El algoritmo de Huang\nDirectora: Verónica Becher\nJurados: Nicolás Álvarez y Martín Mereb \nResumen:\nFijemos un alfabeto. Una secuencia de De Bruijn de orden n es una secuencia de símbolos del alfabeto que contiene todas las palabras de longitud n exactamente una vez. Estas secuencias fueron descubiertas y redescubiertas más de una vez a partir de finales del 1800. En este trabajo analizamos el algoritmo de Yuejiang Huang del año 1990 que produce secuencias de Bruijn en un alfabeto de dos símbolos. Es un algoritmo óptimo en tiempo y memoria\, que arroja secuencias de Bruijn muy balanceadas\, esto significa que en cada segmento de la secuencia los dos símbolos del alfabeto aparecen casi la misma cantidad de veces. Mostramos aquí de qué manera el algoritmo de Huang construye una secuencia de Bruijn de orden n definiendo un camino Euleriano en el grafo de Bruijn de orden n-1\, uniendo una clase particular de ciclos simples.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-dario-ocles/
LOCATION:Sala 1606
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20240419T160000
DTEND;TZID=America/Sao_Paulo:20240419T170000
DTSTAMP:20260406T154049
CREATED:20240417T130959Z
LAST-MODIFIED:20240417T131233Z
UID:9069-1713542400-1713546000@www.dc.uba.ar
SUMMARY:Charla Dátame: Neurociencias y reducción de dimensionalidad: de millones de neuronas al comportamiento
DESCRIPTION:Este viernes 19/4 hay Dátame! El encuentro es a las 16hs. en el aula 1402 del Edificio 0+Infinito. \n \nEsta vez\, la charla estará a cargo de Ana Amador (Dpto de Física\, Exactas-UBA e INFINA-CONICET). El título de la charla es \nNeurociencias y reducción de dimensionalidad: de millones de neuronas al comportamiento\n \nSobre la charla \nUna pregunta central en el área de neurociencias es cómo emerge el comportamiento a partir de la interacción de grandes cantidades de neuronas. En esta charla tomaré la producción de vocalizaciones de aves como ejemplo de un comportamiento complejo que requiere la delicada coordinación de músculos respiratorios y del aparato vocal. Veremos distintas estrategias para estudiar cómo emergen en el cerebro de un ave las características rítmicas del canto\, mostrando los desafíos involucrados para extraer información relevante de la actividad neuronal en redes biológicas complejas. \nSobre Ana \nAna ha estado trabajando con datos toda su vida científica. Empezó su carrera científica en temas de epidemiología\, primero con datos de la epidemia de Fiebre Aftosa del 2001 en Argentina\, para luego trabajar en Brasil con datos de Tuberculosis. Volvió a Argentina para realizar su doctorado en física (UBA) en los mecanismos de fonación de aves y nunca más dejó la interdisciplina. Realizó un postdoctorado en Neurociencias en la Universidad de Chicago y volvió a Argentina en el 2012. Desde entonces es profesora e investigadora en el CONICET y en el departamento de Física de Exactas\, UBA\, trabajando en neurociencia del canto de aves. \nConsultas: info.lcd@exactas.uba.ar\nSobre ¡DÁTAME!Este ciclo de charlas busca simultáneamente: \n– Ser un lugar de encuentro entre todos/as los/as que nos sentimos\ncercanos a LCD ya sea por ser estudiantes de la carrera o carrera\ncercanas\, docentes\, investigadores/as interesados/as o simplemente\namigos/as de LCD. \n– Ofrecer a estudiantes de la carrera un panorama amplio de posibles\ncaminos que puede recorrer un/a especialista en ciencias de datos. \n– Exponer a estudiantes de LCD a importantes referentes de la disciplina\nque trabajan en diversos ámbitos (investigación científica\, empresas\,\norganismos estatales\, ONGs\, etc. ) \n– Aprender un montón de cosas sobre datos. Qué tipo de problemas se\npueden resolver con ellos y cuáles no\, qué precauciones debemos tener\,\nqué desafíos afronta la disciplina y mucho más. \n– Evidenciar la diversidad de disciplinas que confluyen en esta carrera\ny experimentar cómo interactúan. \n– Compartir un buen rato\, un viernes a la tarde\, una vez por mes. \nEstá destinado principalmente a estudiantes de la carrera\, pero todas/os\nsomos bienvenidas/os. \nNos juntamos el 3er. viernes de cada mes a las 16hs. \n¡Las y los esperamos!
URL:https://www.dc.uba.ar/event/charla-datame-neurociencias-y-reduccion-de-dimensionalidad-de-millones-de-neuronas-al-comportamiento/
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20240422T100000
DTEND;TZID=America/Sao_Paulo:20240422T120000
DTSTAMP:20260406T154049
CREATED:20240419T132730Z
LAST-MODIFIED:20240419T132730Z
UID:9075-1713780000-1713787200@www.dc.uba.ar
SUMMARY:Defensa Tesis Doctorado Facundo Pessacg
DESCRIPTION:Título: Aplicaciones de SLAM: mapeo de ambientes naturales\, localizacion consistente en tiempo real y exploración autónoma multi-robot.\nDirector: Pablo De Cristóforis\nConsejero de estudios: Julio Jacobo\nJurados:\nDr. Manuel Jesús Marín Jiménez (Universidad de Córdoba\, España).\nDr. Gonzalo Daniel Tejera López (Universidad de la República\, Uruguay).\nDr. Matias A. Nacusse (Universidad Nacional de Rosario\, Argentina). \nTransmisión: https://youtube.com/live/IWlfBVeq3xA?feature=share \nResumen: \nEn el ámbito de la robótica móvil los sistemas de SLAM (Localización y Mapeo Simultáneo) abrieron nuevas posibilidades con respecto a la navegación autónoma y la reconstrucción del entorno. De acuerdo a la aplicación específica\, el proceso de tratamiento de las imágenes capturadas por el robot puede variar\, imponiendo diferentes restricciones al problema. Sin embargo\, los modelos matemáticos y\nmétodos numéricos subyacentes resultan equivalentes. En este trabajo se estudió el problema de SLAM desde diferentes perspectivas enfocándose en tres aplicaciones. \nEn primer lugar\, se realizó un estudio de reconstrucciones 3D en zonas boscosas utilizando imágenes capturadas por VANTs (Vehículos Aéreo No Tripulado)\, tanto reales como simuladas. Para esto se construyó un VANT para la adquisición autónoma de imágenes reales\, y un simulador altamente realista para generar imágenes sintéticas. Luego se optimizaron los parámetros de las misiones de vuelo. Además\, se desarrolló un nuevo método para estimar el model digital de terreno (DTM) en entornos boscosos. Finalmente\, este flujo de trabajo seaplicó en la detección de tala no autorizada. \nEn segundo lugar\, se desarrolló un novedoso método para resolver el problema de SLAM con estimaciones consistentes de la incertidumbre de las variables de estado\, cuando el tiempo de procesamiento es limitado. El método acota la cantidad de variables consideradas durante el proceso de estimación\, pero mantiene la consistencia global de las estimaciones de las variables e incertidumbres calculadas. \nPor ultimo\, se desarrolló una aplicación de exploración y planificación de trayectorias multi-robot utilizando métodos de SLAM capaces de mantener estimaciones de incertidumbres consistentes\, cuando los tiempos de cómputo son acotados. Esta aplicación permite explotar los beneficios de los métodos de SLAM\, demostrando su utilidad en tareas de navegación autónoma eficientes.
URL:https://www.dc.uba.ar/event/defensa-tesis-doctorado-facundo-pessacg/
LOCATION:Sala 2103
CATEGORIES:Agenda
END:VEVENT
END:VCALENDAR