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:20241001T140000
DTEND;TZID=America/Sao_Paulo:20241001T160000
DTSTAMP:20260512T165703
CREATED:20240923T172823Z
LAST-MODIFIED:20240923T172823Z
UID:9437-1727791200-1727798400@www.dc.uba.ar
SUMMARY:Defensa Tesis Doctorado Pablo Terlisky
DESCRIPTION:Título: Representación numérica de modelos arco-circulares propios\nDirector: Dr. Francisco Soulignac\nJurados: Dr. Luerbio Faria\, Dra. Ana Ferreira Da Silva\, Dr. Luciano Grippo \nLink al evento: https://youtube.com/live/H4bl664rR_I?feature=share \nResumen: Un modelo arco-circular propio (PCA) es un par M=(C\,A) donde\nC es un círculo con un punto 0 y A es un conjunto de arcos de C donde\nningún arco contiene a otro. El modelo M es equivalente a otro modelo\nPCA M’ cuando los extremos de los arcos de M aparecen en el mismo\norden que aquellos de los arcos de M’ si se recorren sus círculos en\nsentido horario desde el 0. Si todos los arcos de M tienen longitud l\ny sus extremos están a distancia al menos 1\, entonces M es un modelo\n(|C|\,l)-CA. El problema de representación unitaria (Rep) pregunta si\nexiste un modelo (c\,l)-CA equivalente a un modelo PCA M dado\, para\nalgún c y l. \nEn esta Tesis abordamos Rep modelando cada instancia como un sistema\nde inecuaciones lineales R que tiene un digrafo toroidal S asociado.\nAsí\, derivamos un algoritmo certificante para resolver Rep más simple\nque los conocidos en la literatura. Además\, analizando la\nrepresentación toroidal de S\, demostramos que los vértices de la\nregión factible de R son enteros. Este resultado implica la\ntratabilidad computacional del problema de representación minimal\n(MinUCA)\, donde buscamos un modelo (c\,l)-CA equivalente a un modelo de\nentrada M que minimice c y l. Diseñamos un algoritmo que resuelve\nMinUCA en tiempo O(n^3) y espacio O(n^2). \nMás allá de MinUCA\, definimos el problema de representación mínima\n(IsoMinUCA)\, donde\, dado un modelo PCA M\, buscamos un modelo (c\,l)-CA\ncuyo grafo de intersección sea isomorfo al de M\, minimizando c y l.\nDemostramos que IsoMinUCA está bien definido y que es NP-Completo. \nFinalmente\, estudiamos k-Mult\, una generalización de Rep que consiste\nen determinar si un modelo PCA M es k-multiplicativo. Intuitivamente\,\ntenemos que encontrar un modelo (c\,l)-CA tal que al extender q veces\nla longitud de sus arcos se obtenga un modelo de la q-ésima potencia\nde M\, para todo q <= k.
URL:https://www.dc.uba.ar/event/defensa-tesis-doctorado-pablo-terlisky/
LOCATION:Sala 1604
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20241004T180000
DTEND;TZID=America/Sao_Paulo:20241004T190000
DTSTAMP:20260512T165703
CREATED:20241004T123157Z
LAST-MODIFIED:20241004T123157Z
UID:9459-1728064800-1728068400@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura  Matías Sandacz
DESCRIPTION:Título: Generación de locomoción para un robot hexápodo usando Aprendizaje Por Refuerzo Profundo.\nDirector: Dr. Pablo De Cristóforis.\nCo-director: Lic. Nicolás Romero.\nJurados: Dr. Gustavo Landfried\, Dr. Gastón Castro. \nResumen: \nLos robots con patas articuladas se destacan por su capacidad para realizar tareas en entornos no estructurados\, hostiles o incluso inaccesibles para otros robots terrestres con sistemas de locomoción basado en ruedas u orugas. Al mismo tiempo pueden transportar más carga y operar durante más tiempo que los vehículos aéreos no tripulados. Sus habilidades para realizar movimientos omnidireccionales y atravesar terrenos irregulares los convierten en una excelente opción para diversas aplicaciones\, tales como: misiones de Búsqueda y Rescate Urbano (USAR por sus siglas en inglés) en situaciones de catástrofe\, operar en ambientes subterráneos como minas e inclusive para la exploración extra planetaria. Sin embargo\, es sabido que el control de movimiento de este tipo de robots es sumamente desafiante debido a la cantidad de grados de libertad involucrados. Por otro lado\, el control clásico requiere conocer en detalle la física del robot lo cual agrega una dificultad extra y limita su portabilidad a otros sistemas. \nEn este trabajo adoptamos un enfoque alternativo a las estrategias de control tradicional\, empleando Aprendizaje por Refuerzo Profundo (DRL del inglés Deep Reinforcement Learning). Presentamos un controlador para la locomoción para un robot hexápodo que se adapta a distintos tipos de terrenos.  Durante el entrenamiento hacemos uso de un curriculum de terrenos\, es decir\, que a medida que el robot va experimentando\, incrementamos progresivamente la dificultad\, con terrenos cada vez más desafiantes. La hipótesis central de este trabajo es que\, posteriormente a la etapa de aprendizaje\, el robot\npueda adaptarse a terrenos no explorados durante su entrenamiento. Los experimentos realizados en simulación utilizando Gazebo muetras la factibilidad del enfoque propuesto. El sistema fue desarrollado bajo ROS (Robot Operating System) y se encuentra disponible para la comunidad en: https://github.com/lrse/hexapod-locomotion/
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-matias-sandacz/
LOCATION:Aula 1303
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20241010T140000
DTEND;TZID=America/Sao_Paulo:20241010T150000
DTSTAMP:20260512T165703
CREATED:20241004T122728Z
LAST-MODIFIED:20241004T122728Z
UID:9457-1728568800-1728572400@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Daniel Salvia
DESCRIPTION:Título: Complejidad computacional en distintas formulaciones de ajedrez para un jugador\nDirector: Dr. Ariel Arbiser\nJurados: Dr. Javier Marenco\, Dr. Francisco Soulignac \nResumen:\nEl objetivo de esta tesis es estudiar la complejidad computacional correspondiente al problema del ajedrez solitario\, en que dada una posición el jugador sólo puede hacer jugadas de captura con el objetivo de dejar una sola pieza en el tablero. Demostramos que este problema pertenece a la clase de complejidad de los problemas NP-Completos. Mediante problemas de ciclos hamiltonianos en grafos no dirigidos\, se investiga la NP-Completitud del juego restringiendo el conjunto de piezas a diferentes posibilidades utilizando peones\, alfiles y torres. Para esto se presentan cuatro formas de generar las posiciones con diferentes propiedades como las piezas usadas o las maneras de representar las aristas del grafo. Se compara un método con otro para analizar ventajas de cada uno\, tales como tamaño del tablero y cantidad de piezas necesarias. También se estudia la NP-Completitud de distintas variantes en que se modifican algunas reglas\, así como los efectos de utilizar piezas del ajedrez antiguo. Se investiga asimismo la frontera P de este problema cuando se usa esencialmente un solo tipo de pieza.\n\n\n 
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-daniel-salvia/
LOCATION:Aula 1203
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20241015T090000
DTEND;TZID=America/Sao_Paulo:20241015T100000
DTSTAMP:20260512T165703
CREATED:20241008T153211Z
LAST-MODIFIED:20241008T153211Z
UID:9464-1728982800-1728986400@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Victor Deutsch
DESCRIPTION:Título: Concientización en ciberseguridad: su influencia en la reducción del riesgo para organizaciones e individuos\nDirector: Martín Urtasun\nJurados:  Rodolfo Baader y  Pablo Turjanski \nResumen: \nEl error humano es uno de los factores más frecuentes que aparece en el análisis forense\nde los incidentes de ciberseguridad. Según un estudio conjunto del profesor Jeff Hancock de la\nUniversidad de Stanford y la empresa [1]\, un 88% de los incidentes de fugas de información en las empresas son provocados por errores de los empleados. Un informe de alcance similar de la firma de telecomunicaciones Verizon fija este indicador en un 82% [2]. Finalmente\, un estudio global realizado por la compañía IBM\, elaborado a partir de datos de miles de sus clientes en 130 países\, concluyó que «el error humano fue una causa importante en el 95% de todos los incidentes» [3]. \nBasado en esta evidencia\, el objetivo de este trabajo es determinar cuáles son las mejores\nestrategias\, técnicas y herramientas que las organizaciones pueden utilizar para reducir el número de errores humanos capaces de provocar incidentes de ciberseguridad. Estas mejores prácticas se organizan en forma estructurada en una metodología innovadora que denominaremos MECEC. \nPalabras clave: concientización\, ciberseguridad\, error humano
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-victor-deutsch/
LOCATION:Youtube
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20241021T100000
DTEND;TZID=America/Sao_Paulo:20241021T110000
DTSTAMP:20260512T165703
CREATED:20241018T141408Z
LAST-MODIFIED:20241018T141408Z
UID:9469-1729504800-1729508400@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Daniel Salvia
DESCRIPTION:Título: Complejidad computacional en distintas formulaciones de ajedrez para un jugador\nDirector: Dr. Ariel Arbiser\nJurados: Dr. Javier Marenco\, Dr. Francisco Soulignac \nResumen:\nEl objetivo de esta tesis es estudiar la complejidad computacional correspondiente al problema del ajedrez solitario\, en que dada una posición el jugador sólo puede hacer jugadas de captura con el objetivo de dejar una sola pieza en el tablero. Demostramos que este problema pertenece a la clase de complejidad de los problemas NP-Completos. Mediante problemas de ciclos hamiltonianos en grafos no dirigidos\, se investiga la NP-Completitud del juego restringiendo el conjunto de piezas a diferentes posibilidades utilizando peones\, alfiles y torres. Para esto se presentan cuatro formas de generar las posiciones con diferentes propiedades como las piezas usadas o las maneras de representar las aristas del grafo. Se compara un método con otro para analizar ventajas de cada uno\, tales como tamaño del tablero y cantidad de piezas necesarias. También se estudia la NP-Completitud de distintas variantes en que se modifican algunas reglas\, así como los efectos de utilizar piezas del ajedrez antiguo. Se investiga asimismo la frontera P de este problema cuando se usa esencialmente un solo tipo de pieza.\n\n\n\n\n 
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-daniel-salvia-2/
LOCATION:Aula 1207
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20241029T090000
DTEND;TZID=America/Sao_Paulo:20241029T100000
DTSTAMP:20260512T165703
CREATED:20241023T133533Z
LAST-MODIFIED:20241023T133533Z
UID:9473-1730192400-1730196000@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Patricio Sagobal
DESCRIPTION:Título: Verificación de contratos en Algorand\nDirector: Diego Garbervetsky\nJurados: Javier Godoy\, Esteban Mocskos\n\nResumen: La creciente adopción de tecnologías blockchain ha generado un interés significativo en la seguridad y confiabilidad de los contratos inteligentes. Algorand\, una plataforma blockchain de código abierto\, utiliza el lenguaje de script TEAL (Transaction Execution Approval Language) para escribir contratos inteligentes.\nLa verificación formal de estos contratos es esencial para garantizar su correctitud y prevenir vulnerabilidades. La presente tesis tiene como objetivo desarrollar un enfoque de verificación de TEAL utilizando un acercamiento de traducción a un lenguaje intermedio llamado Boogie\, que ha sido utilizado exitosamente para la traducción de varios lenguajes.\nEl enfoque aplicado se basa en traducir de TEAL a Boogie y la de utilizar la herramienta Corral como verificador\, idea similar utilizada en VeriSol para la verificación de contratos inteligentes en Ethereum. Al traducir TEAL a Boogie se podrá utilizar Corral para realizar la verificación formal del código resultante.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-patricio-sagobal/
LOCATION:Sala 1606
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20241029T140000
DTEND;TZID=America/Sao_Paulo:20241029T150000
DTSTAMP:20260512T165703
CREATED:20241023T163049Z
LAST-MODIFIED:20241023T163049Z
UID:9478-1730210400-1730214000@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Miguel Fainstein
DESCRIPTION:Título: Campos diferenciables de distancias sin signo para representaciones implícitas neuronales\nDirector: Dr. Emmanuel Iarussi\nCo-director: Dr. Diego Fernandez Slezak\nJurados: Dra. Maria Elena Buemi y Dr. Rodrigo Castro \nResumen:\nEn los últimos años\, ha crecido el interés por el entrenamiento de redes neuronales para aproximar campos de distancia sin signo (UDF) con el fin de representar superficies abiertas en el contexto de la reconstrucción 3D. Sin embargo\, los UDFs no son diferenciables en la isosuperficie de nivel cero\, lo que conduce a errores significativos en distancias y gradientes\, dando lugar a superficies fragmentadas y discontinuas. En este trabajo\, proponemos aprender un escalado hiperbólico del campo de distancias sin signo\, que define un nuevo problema de Eikonal con condiciones de frontera distintas. Esto permite que nuestra formulación se integre perfectamente con las redes neuronales diferenciables más avanzadas\, ampliamente aplicadas en la literatura para representar campos de distancia con signo. \nEsta tesis no sólo aborda el desafío de la representación de superficies abiertas\, sino que también demuestra una mejora significativa en la calidad de la reconstrucción y la eficiencia del entrenamiento. Además\, la diferenciabilidad del campo abierto permite el cálculo preciso de propiedades topológicas esenciales como las direcciones normales y las curvaturas\, omnipresentes en tareas de post-procesamiento como el renderizado. Mediante una serie de experimentos exhaustivos\, validamos el método en varios conjuntos de datos  y frente al estado del arte en el área. Los resultados muestran una mayor precisión y un aumento de la eficiencia de cómputo de hasta un orden de magnitud en comparación con los métodos anteriores.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-miguel-fainstein/
LOCATION:Aula a confirmar
CATEGORIES:Agenda
END:VEVENT
END:VCALENDAR