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:20250101T000000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20260212T120000
DTEND;TZID=America/Sao_Paulo:20260212T130000
DTSTAMP:20260430T082734
CREATED:20260206T130003Z
LAST-MODIFIED:20260206T130159Z
UID:10459-1770897600-1770901200@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Julián Dabbah
DESCRIPTION:Título: El impacto de una propuesta didáctica innovadora y en las percepciones de docentes y estudiantes sobre la neutralidad de la IA\nDirectores: Dr. Marcos Gómez (UNC)\, Dr. Fernando Schapachnik (UBA)\nJurades: Dr. Mariela Sued\, Dr. Valentín Basel \nResumen: \nA partir de la creciente popularización de herramientas basadas en Inteligencia Artificial (IA)\, se volvió más urgente la necesidad de la alfabetización en IA\, entendida como la construcción de saberes que permitan comprender su funcionamiento\, sus alcances y sus implicanciassociales. Esta alfabetización se plantea como una extensión de la alfabetización computacional y como parte de la formación ciudadana en el mundo contemporáneo. En este marco\, distintas aproximaciones coinciden en la importancia de abordar no solo aspectos técnicos\, sino también éticos y sociales\, así como de problematizar la idea de la IA como una tecnología objetiva\, neutral o infalible. En línea con esta preocupación\, y como parte del trabajo sostenido por la Iniciativa Program.AR durante más de diez años\, se diseñó un taller destinado a adolescentes\, orientado a promover una mirada crítica y situada sobre la IA mediante propuestas de aprendizaje activo que integran nociones disciplinares con instancias de reflexión sobre aspectos éticos y sociales. \nEste estudio indaga en el impacto de ese taller en las percepciones de las y los participantes sobre la IA mediante la aplicación de un esquemade encuestas de pre y post test en dos contextos distintos: una experiencia piloto con estudiantes secundarios y en un ciclo de talleres especialmente dirigido a mujeres y personas del colectivo LGBTIQ+. El análisis de los datos recogidos mostró diferencias estadísticamente significativas entre las respuestas obtenidas antes y después de la participación en el taller en ambos contextos. Estos resultados indican que estas actividades impactan en las percepciones sobre la IA de las y los estudiantes\, en particular en relación con el reconocimiento de la injerencia humana en su funcionamiento\, la relativización de su superioridad para resolver problemas y la toma de conciencia sobre la posibilidad de que estas tecnologías generen discriminación o profundicen desigualdades.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-julian-dabbah/
LOCATION:Sala 1604
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20260218T140000
DTEND;TZID=America/Sao_Paulo:20260218T150000
DTSTAMP:20260430T082734
CREATED:20260209T144324Z
LAST-MODIFIED:20260209T144324Z
UID:10468-1771423200-1771426800@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Francisco Giordano
DESCRIPTION:Título: Máquinas abstractas para programación lógico-funcional en el cálculo λU\n\n\nDirector: Pablo Barenbaum\nJurado: Brian J. Cardiff y Hernán Melgratti\n\n\nResumen:\nLa programación lógico-funcional promete una forma de expresar programas en un nivel de abstracción muy alto\, pero da lugar a la pregunta de cómo ejecutar tales programas a bajo nivel\, y de qué grado de eficiencia puede lograrse. En este trabajo abordamos estas preguntas desde la perspectiva de las máquinas abstractas. Partiendo de una formalización previa de la programación lógico-funcional como lenguaje fuente\, construimos un par de máquinas abstractas que pueden servir como base para una implementación. Proponemos una máquina inicial y mostramos su correctitud con respecto al cálculo. Discutimos el desiderátum de evaluación compartida entre ramas no determinísticas\, y proponemos un diseño alternativo que lo resuelve y que implementamos como prueba de concepto.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-francisco-giordano/
LOCATION:Aula a confirmar
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20260220T100000
DTEND;TZID=America/Sao_Paulo:20260220T110000
DTSTAMP:20260430T082734
CREATED:20260218T130624Z
LAST-MODIFIED:20260218T130624Z
UID:10479-1771581600-1771585200@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Josefina Mollerach
DESCRIPTION:Título: Gestión de Memoria Eficiente en Paxos Generalizado.\nDirector: Alexey Gotsman.\nCo-Director: Sebastián Uchitel.\nJurados: Hernan Melgratti\, Gisela Confalonieri.\n\nResumen:\nLos protocolos de Replicación de Máquinas de Estado (RME) permiten a ciertas\naplicaciones (bajo fuertes garantías de consistencia) alcanzar tolerancia a fallos\,\nalta disponibilidad y un rendimiento escalable al replicar su estado en un contexto\ndistribuido. Como consecuencia\, esto suele conducir a un crecimiento ilimitado del\nestado del sistema\, que requiere ser periódicamente truncado mediante la\n“recolección de basura” de información obsoleta o desactualizada.\nLos mecanismos de manejo de memoria son críticos para la aplicabilidad\npráctica de estos protocolos pero son raramente formalizados\, a pesar de requerir\nmodificaciones sustanciales a nivel del algoritmo. Como consecuencia\, su\nimplementación permanece poco clara y errores en el manejo de memoria pueden\nterminar comprometiendo la correctitud del protocolo a nivel general. \nLos enfoques clásicos para el manejo de memoria se basan en el hecho de que\nlos logs de las réplicas se encuentran totalmente ordenados. Sin embargo\,\nlas implementaciones de RME pueden ser considerablemente optimizadas al\naprovechar la conmutatividad de los comandos. Esta idea clave ha conducido al\ndesarrollo de una familia entera de protocolos de orden parcial\, incluyendo el\nreconocido protocolo de Paxos Generalizado\, en el cual esta tesis se enfoca\nprincipalmente. Desafortunadamente\, las técnicas de recolección de basura\nclásicas no son aplicables en este contexto\, ya que estos protocolos mantienen\nlogs ordenados tan solo parcialmente. A pesar de que se han propuesto nuevas\nsoluciones para abordar este problema\, las mismas conllevan desventajas significativas\nde rendimiento ya que dependen de la introducción de checkpoints en el sistema que\ninterrumpen completamente la ejecución normal del protocolo. Más aún\, los detalles\nde implementación de estas técnicas y pruebas formales de su correctitud no han sido\npublicados hasta el momento. \n\nEn esta tesis realizamos varias contribuciones para abordar estos problemas. En primer lugar\,\ndefinimos formalmente y demostramos rigurosamente una implementación para mecanismos de\ncheckpointing siguiendo las técnicas estándar que consideramos de bajo rendimiento.\nEn segundo lugar\, proponemos un mecanismo innovador para recolección de basura en\nprotocolos de orden parcial que es capaz de realizar la gestión de memoria en paralelo\ncon la ejecución normal del algoritmo\, sin degradar su rendimiento. Esta nueva técnica\,\nque se basa en un novedoso tipo de checkpoint cuyas dependencias son decididas en tiempo\nde ejecución\, es igualmente formalizada y demostrada correcta en este trabajo.\n\n\nPalabras clave: Paxos Generalizado\, Replicación de Máquinas de Estado\, manejo de memoria\,\nrecolección de basura\, checkpoint.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-josefina-mollerach/
LOCATION:Aula Seminarios\, Pabellon 2
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20260225T120000
DTEND;TZID=America/Sao_Paulo:20260225T140000
DTSTAMP:20260430T082734
CREATED:20260223T124554Z
LAST-MODIFIED:20260223T124554Z
UID:10488-1772020800-1772028000@www.dc.uba.ar
SUMMARY:Defensa Tesis Doctorado Sebastian Bedin
DESCRIPTION:Título: Navegación autónoma para robots móviles omnidireccionales en almacenes inteligentes\nDirector: Dr. Matias Nitsche\nConsejero de estudios: Dr. Esteban Mocskos\n\n\nJurados:\nDr. Carlos Perez del Pulgar (Universidad de Málaga\, España)\nDr. Walterio Mayol-Cuevas (Univ of Bristol\, UK)\nDr. Ignacio Mas (CONICET/UdeSA. Argentina)\n\n\nTransmisión: https://youtube.com/live/HFsW5fL-amE?feature=share\n\n\nResumen:\n\nEn el contexto de los denominados almacenes inteligentes\, la implementación de robots móviles industriales para la automatización de tareas logísticas permite optimizar tiempos\, reducir costos operativos y minimizar accidentes laborales. Por este motivo\, el estudio de técnicas de localización y navegación en este tipo de entornos cobra especial relevancia.\nEn este trabajo se presenta un novedoso método de localización y navegación autónoma para vehículos omnidireccionales de carga. El enfoque propuesto\, basado en la técnica de navegación Teach & Repeat bajo una formulación relativa\, evita los problemas de acumulación de errores asociados a enfoques que requieren consistencia global\, y permite abarcar grandes distancias manteniendo el costo computacional acotado.\nLa localización se resuelve mediante la fusión probabilística de sensores LIDAR 2D y encoders odométricos\, un par de sensores complementarios ampliamente utilizados en este tipo de vehículos. La fusión se realiza empleando una estimación Maximum A Posteriori bajo un esquema de optimización no lineal. El tratamiento de la información proveniente de los encoders se realiza mediante una técnica de preintegración.\nEn el procesamiento del LIDAR\, se utiliza el algoritmo ICP (Iterative Closest Point) para el emparejamiento de nubes de puntos. Si bien el movimiento del robot se restringe al plano\, la información de ambos sensores se expresa como una transformación relativa del robot con su correspondiente covarianza\, formulada en álgebra de Lie en espacio tridimensional\, lo que generaliza el método propuesto.\nCon el objetivo de robustecer el proceso de localización\, se propone una calibración en línea de los parámetros intrínsecos del robot\, tales como el radio de las ruedas y la distancia entre ejes\, añadiendo estas variables a la definición del estado del robot en el proceso de optimización. Esta ampliación del estado permite abordar el problema de la deformación de las ruedas al producirse la carga o descarga de un peso externo\, como ocurre en aplicaciones reales de transporte de mercancías.\nFinalmente\, se presenta un método de localización global que permite relocalizar al vehículo respecto a la trayectoria objetivo en caso de desvío o pérdida de la localización incremental. Para ello\, a partir de la información de la nube de puntos del LIDAR y de un mapa de referencia\, se procesan los puntos característicos mediante una adaptación del extractor FALKO y del descriptor BSC\, y se analizan de las relaciones geométricas entre estos puntos mediante el algoritmo CCDA (Combined Constraint Data Association) para encontrar un emparejamiento de la nube de puntos sobre el mapa de referencia.\nLa validez del método fue comprobada mediante simulaciones\, pruebas con datos pregrabados y experimentación con robots reales.\n\n\nPalabras clave: Robótica móvil\, Teach & Repeat\, Localización Relativa
URL:https://www.dc.uba.ar/event/defensa-tesis-doctorado-sebastian-bedin/
LOCATION:Sala 1604
CATEGORIES:Agenda
END:VEVENT
END:VCALENDAR