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:20230101T000000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20240207T183000
DTEND;TZID=America/Sao_Paulo:20240207T193000
DTSTAMP:20260406T165559
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:20260406T165559
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:20260406T165559
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
END:VCALENDAR