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:-0200
TZOFFSETTO:-0300
TZNAME:-03
DTSTART:20170219T020000
END:STANDARD
BEGIN:DAYLIGHT
TZOFFSETFROM:-0300
TZOFFSETTO:-0200
TZNAME:-02
DTSTART:20171015T030000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:-0200
TZOFFSETTO:-0300
TZNAME:-03
DTSTART:20180218T020000
END:STANDARD
BEGIN:DAYLIGHT
TZOFFSETFROM:-0300
TZOFFSETTO:-0200
TZNAME:-02
DTSTART:20181104T030000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:-0200
TZOFFSETTO:-0300
TZNAME:-03
DTSTART:20190217T020000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20190530T133000
DTEND;TZID=America/Sao_Paulo:20190530T153000
DTSTAMP:20260630T155552
CREATED:20190524T115025Z
LAST-MODIFIED:20190524T115337Z
UID:5275-1559223000-1559230200@www.dc.uba.ar
SUMMARY:Defensa Tesis Doctorado Juan Pablo Puppo
DESCRIPTION:Título: Estudio del operador biclique aplicado a distintas clases de grafos \nDirector: Marina Groshaus \nJurados:\n– Dra. Flavia Bonomo (UBA) \n– Dr. Pablo de Caria (UNLP) \n– Dr. Luerbio Faria (UERJ/Brasil) \nResumen: \nUna biclique en un grafo es un subgrafo inducido bipartito completo maximal. El estudio de las bicliques ha recibido mucha atención en los últimos tiempos. El grafo biclique de G\, KB(G)\, es el grafo de intersección de las bicliques de G. Este fue definido y caracterizado recientemente. Sin embargo\, aún sigue abierta la pregunta sobre la existencia de un algoritmo eficiente que resuelva el problema de reconocimiento de grafos biclique. En esta tesis estudiamos el problema de reconocimiento de\ngrafos biclique de algunas clases de grafos. Se pretende con esto\, acercarse al problema de reconocimiento de grafos biclique en general\, encontrando clases donde el problema de decidir si un grafo es grafo biclique sea polinomial o se pueda probar que es NP-completo. Entre otras\, en este trabajo estudiamos el operador biclique aplicado a los grafos bipartitos cordales\, split y bipartitos de permutación. También estudiamos el problema de reconocimiento de la clase biclique inversa de los grafos completos\, es decir\, dado un grafo\, decidir si su grafo biclique es completo. Cabe mencionar que\, dado que la cantidad de bicliques de un grafo puede ser exponencial\, no siempre es eficiente\nconstruir el grafo biclique para responder esta pregunta. \nPalabras claves: Bicliques\, cordal\, grafo biclique\, grafo clique\, permutación\, split.
URL:https://www.dc.uba.ar/event/defensa-tesis-doctorado-juan-pablo-puppo/
LOCATION:Laboratorio 4
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20190524T150000
DTEND;TZID=America/Sao_Paulo:20190524T160000
DTSTAMP:20260630T155552
CREATED:20190521T115245Z
LAST-MODIFIED:20190521T151855Z
UID:5269-1558710000-1558713600@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Gaston Ezequiel Zanitti
DESCRIPTION:Título: Modelo numérico de resolución a gran escala para sistemas lineales mixtos mediante multiplicadores alternados: Aplicaciones al análisis anatomofuncional del cerebro humano.\nDirectores: Demian Wassermann y Guillermo Gallardo Diez.\nJurado: Esteban Mocskos y Enzo Tagliazucchi. \nResumen:\nEl manejo simultáneo de efectos a nivel poblacional y de sujeto es una necesidad común en la neurociencia moderna. No obstante\, los modelos estadísticos utilizados comúnmente\, como el modelo de efectos aleatorios\, no escalan bien con grandes volúmenes de datos. Esto presenta un problema en la actualidad donde no solo ha incrementado el tamaño de las poblaciones estudiadas sino también la cantidad de datos por sujeto. En este trabajo abordamos esta problemática mediante la resolución de un modelo de efectos aleatorios utilizando métodos proximales. Nuestra implementación nos permite reducir drásticamente los requisitos de memoria\, abrir las puertas a la computación en paralelo e incluir sin problema estrategias de regularización. Ilustramos todas estas ventajas en uno de los problemas mas importantes de la neurociencia: el estudio de la relación entre estructura y función en el cerebro humano.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-gaston-ezequiel-zanitti/
LOCATION:Aula E24
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20190522T103000
DTEND;TZID=America/Sao_Paulo:20190522T123000
DTSTAMP:20260630T155552
CREATED:20190516T114959Z
LAST-MODIFIED:20190516T114959Z
UID:5261-1558521000-1558528200@www.dc.uba.ar
SUMMARY:Defensa Tesis Doctorado Edgardo Zoppi
DESCRIPTION:Director: Dr Diego Garbervetsky\nJurados:\n– Nazareno Aguirre. Universidad Nacional de Rio Cuarto\n– Pedro D’Argenio. Universidad Nacional de Cordoba\n– Matthew Gertz. Microsoft\, \nResumen: En esta tesis presentamos el diseño e implementación de una amplia gama de análisis estáticos para la plataforma .NET\, con foco en la escalabilidad.\nNos concentramos en .NET dada su gran popularidad en la industria y el amplio conjunto de características que provee\, pertenecientes a los paradigmas orientado a objetos y funcional\, incluyendo programación concurrente y la manipulación de bajo nivel de punteros. La combinación de todas estas características hacen del análisis estático un desafío.\nPor un lado\, presentamos un framework de análisis estático distribuido de programa completo\, diseñado para escalar con el tamaño de la entrada.\nNuestro enfoque está basado en el modelo de programación con actores para ser ejecutado en la nube.\nNuestra decisión de utilizar una red de computadoras en la nube provee un grado de elasticidad para recursos de CPU\, memoria y almacenamiento.\nPara demostrar el potencial de nuestra técnica\, mostramos cómo puede ser implementado un análisis de call graph típico en una configuración distribuida.\nAdemás\, extendemos nuestro análisis para soportar actualizaciones incrementales del código fuente y mostramos cómo los resultados computados previamente pueden ser actualizados sin tener que volver a calcularlos de cero.\nPor otro lado\, presentamos un framework de análisis estático de programas y herramientas específicamente diseñados para la plataforma .NET. Este framework provee muchas funcionalidades\, incluyendo algunas representaciones intermedias como el código de tres direcciones\, adecuado para la implementación de un análisis estático\, así como también provee una amplia gama de análisis y transformaciones como son la inferencia de tipos\, los análisis decontrol-flow y data-flow\, y la construcción de call graph y points-to graph\, entre otros. No sabemos de ningún otro framework de análisis estático de código públicamente disponible para la comunidad .NET que provea este tipo de funcionalidades.\nPara demostrar las capacidades de nuestro framework\, presentamos también algunas aplicaciones cliente que aprovechan sus funcionalidades\, como\nun análisis de optimización de consultas Big Data para detectar automáticamente columnas no utilizadas y dependencias entre tablas de entrada y salida de operadores definidos por el usuario desarrollados en algún lenguaje de la plataforma .NET como C#.
URL:https://www.dc.uba.ar/event/defensa-tesis-doctorado-edgardo-zoppi/
LOCATION:Laboratorio 5
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20190513T140000
DTEND;TZID=America/Sao_Paulo:20190513T160000
DTSTAMP:20260630T155552
CREATED:20190326T122248Z
LAST-MODIFIED:20190326T122310Z
UID:5022-1557756000-1557763200@www.dc.uba.ar
SUMMARY:Charla de la Carrera
DESCRIPTION:El 13 de mayo a las 14 hs nos encontraremos para nuestra clásica charla de la carrera de Computación\, junto con graduados y graduadas\, docentes y estudiantes de la carrera. Nos vemos unos minutos antes de la hora de comienzo en el Hall del Pabellón I de Ciudad Universitaria. \n¿Te interesa saber qué hacemos? ¿Qué cosas vas a aprender? ¿Cuál es la salida laboral? Vamos a responder todas tus dudas. \nLa siguiente charla será recién el 10 de junio\, ¡así que vení que te esperamos! \nTenés varias formas de llegar a Ciudad Universitaria.\nColectivos: líneas 28\, 33\, 34\, 37\, 42\, 45\, 107 y 160\nTren Línea Belgrano: estación Ciudad Universitaria\nSubte Línea C: hasta estación Retiro\, y luego combinación con tren Línea Belgrano
URL:https://www.dc.uba.ar/event/charla-de-la-carrera-mayo19/
LOCATION:Hall de Pabellón 1
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20190506T120000
DTEND;TZID=America/Sao_Paulo:20190506T140000
DTSTAMP:20260630T155552
CREATED:20190503T121932Z
LAST-MODIFIED:20190503T122134Z
UID:5140-1557144000-1557151200@www.dc.uba.ar
SUMMARY:Defensa Tesis Doctorado Thomas Fischer
DESCRIPTION:Título: SLAM basado en visión estéreo para la navegación autónoma de robots\nhexápodos \nDirectora: Dra. Marta Mejail\nDirector asistente: Dr. Pablo De Cristóforis \nJurados: \n– Dr. Jose Guivant (The University of New South Wales\, Sydney\, Astralia)\n– Dr. Flavio Roberti (Universidad Nacional de San Juan y CONICET)\n– Dr. Jorge Sánchez (Universidad Nacional de Córdoba y CONICET) \nResumen: \nPara permitir que un robot móvil pueda navegar y realizar tareas de manera autónoma\, previamente se necesitan resolver al menos dos problemas esenciales: un control de alto nivel para dirigir su movimiento\, por ejemplo a través de comandos de velocidad\, y la estimación con precisión de su pose (posición y orientación) respecto del entorno que lo rodea. Además\, para lograr completa autonomía\, las soluciones a estos problemas deben poder ser ejecutadas en una computadora de a bordo en tiempo real. \nEn el caso general\, donde un robot no cuenta con un mapa previo de su entorno ni información externa que le permita conocer su pose\, ambas tareas deben ser realizadas en forma simultánea. El problema de localizar a un robot y construir un mapa del entorno simultáneamente se denomina Simultaneous Localization and Mapping (SLAM). Una forma particular de resolverlo es utilizando características visuales extraídas a partir de imágenes capturadas por una o más cámaras montadas sobre el robot. Éstas pueden ser usadas para crear un mapa del entorno y localizar al robot dentro del mismo. \nEl objetivo final de esta tesis es diseñar e implementar un sistema que reúna todas las características para realizar la navegación autónoma en robots hexápodos (robots terrestres con seis patas articuladas) basándose en un sistema de SLAM visual. A pesar de que existen soluciones para este problema\, se limitan a espacios de trabajo pequeños y controlados\, y no funcionan correctamente en computadoras con un poder de procesamiento limitado\, como las que se encuentran a bordo de estos robots. El trabajo se realiza sobre un sistema de SLAM estéreo para adaptarlo a la tarea particular de la locomoción de robots hexápodos. La principal contribución de este trabajo es el modelado de los elementos de un SLAM basado en Bundle Adjustment (ajuste por minimización) como variables aleatorias. Esto permite que las incertidumbres y la información mutua calculada se utilicen para marginalizar (descartar) de manera eficiente las regiones distantes del mapa en el cálculo del Bundle Adjustment\, minimizando la pérdida de información. De esta forma\, se evita que el problema del SLAM escale linealmente con el tamaño del mapa\, lo que posibilita al sistema navegar a largo plazo\, incluso en unidades de procesamiento embebidas en el robot. \nPara validar el enfoque propuesto\, se realizan una serie de experimentos que muestran a un robot hexápodo llevando a cabo una navegación autónoma en un terreno irregular\, mientras todas las tareas se ejecutan en una computadora de a bordo y responden en tiempo real. Se miden y analizan diferentes métricas de rendimiento como el costo computacional y el error de localización. Los resultados muestran la viabilidad y la robustez del sistema desarrollado como se propone en esta tesis.
URL:https://www.dc.uba.ar/event/defensa-tesis-doctorado-thomas-fischer/
LOCATION:Laboratorio 4
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20190503T100000
DTEND;TZID=America/Sao_Paulo:20190503T110000
DTSTAMP:20260630T155552
CREATED:20190502T122255Z
LAST-MODIFIED:20190502T122255Z
UID:5130-1556877600-1556881200@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Hernán Federico Barijhoff
DESCRIPTION:Título: «PyLissom: Una herramienta para modelar mapas computacionales de la corteza visual en PyTorch»\nDirectora: R. Matuk Herrera\nJurados: P. De Cristóforis y P. Negri \nResumen \nLos campos de la neurociencia y la inteligencia artificial tienen una larga e interrelacionada historia. Una mejor comprensión de los cerebros biológicos podría desempeñar un papel vital en la construcción de máquinas inteligentes. Sin embargo\, la comunicación y colaboración entre los dos campos no es muy común. Herramientas computacionales que integren los dos enfoques\, en forma accesible y documentada\, son muy escasas en la literatura. La disponibilidad de estas herramientas podría ser fructífera para la interacción entre las comunidades de neurociencia y aprendizaje automático\, y el surgimiento de nuevas ideas y colaboraciones. \nLas redes LISSOM son redes neuronales artificiales auto-organizadas con conexiones laterales que han sido propuestas en la literatura como un modelo computacional de los mapas en la corteza visual de los primates. Estas redes fueron implementadas por un grupo de la Universidad de Edinburgh y de la Universidad de Texas en un sistema computacional llamado Topographica. El software Topographica fue diseñado para la comunidad de neurociencias y ha sido utilizado con éxito por algunos investigadores para validar modelos computacionales en neurociencia. Sin embargo\, debido a su diseño\, el uso de Topographica se ha restringido a la neurociencia\, y es muy difícil extender y adaptar su código para su uso en aprendizaje automático o visión artificial. \n\nEn esta tesis\, las redes LISSOM fueron implementadas para un caso de uso híbrido de las comunidades de machine learning y neurociencia. El software desarrollado en este trabajo de tesis\, denominado PyLissom\, permite por un lado\, construir modelos jerárquicos del sistema visual y\, por otro lado\, ser utilizado para aplicaciones de aprendizaje automático\, ya que puede combinar las redes neuronales LISSOM con otro tipo de redes neuronales artificiales. PyLissom es un software open-source\, fue implementado en PyTorch\, un framework de redes neuronales profundas de código abierto\, y puede utilizar optimización GPU.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-hernan-federico-barijhoff/
LOCATION:Aula E24
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20190429T143000
DTEND;TZID=America/Sao_Paulo:20190429T153000
DTSTAMP:20260630T155552
CREATED:20190423T122417Z
LAST-MODIFIED:20190423T122417Z
UID:5102-1556548200-1556551800@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Nicolás De Carli
DESCRIPTION:Título: Sobre los límites del tiempo entre bloques en Bitcoin\nDirectores: David Alejandro González Márquez\, Maximiliano Geier\nJurados: Lic. Lucio Santi y Dr. Pablo Balenzuela \nResumen:\nUno de los grandes problemas observados durante el auge de las criptomonedas\, fue su limitada capacidad en cuanto al volumen de transacciones que podía procesar.\nEn este trabajo exploramos la posibilidad de modificar los parámetros del protocolo de Bitcoin\, con el fin de incrementar esta capacidad.\nSe presenta un modelo de red a escala\, que recrea la distribución geográfica y de ‘hashing power’ de los clientes la red de Bitcoin real. Dicha infraestructura permite estudiar el comportamiento de la red para distintos volúmenes de carga. Para evaluar estas configuraciones\, se introduce una magnitud que permite cuantificar el porcentaje de recursos desperdiciados en la red: ‘wasted hashing power’.\nLos resultados obtenidos indican que las opciones de configuración de la red Bitcoin no resultan adecuadas para maximizar la cantidad de transacciones a procesar\, siendo posible mejorar la cantidad de transacciones con un ‘wasted hashing power’ equivalente al sistema actual.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-nicolas-de-carli/
LOCATION:Laboratorio 1
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20190417T160000
DTEND;TZID=America/Sao_Paulo:20190417T170000
DTSTAMP:20260630T155552
CREATED:20190415T121017Z
LAST-MODIFIED:20190415T121017Z
UID:5096-1555516800-1555520400@www.dc.uba.ar
SUMMARY:Charla del Prof. Konstantin Beznosov (U. of British Columbia)
DESCRIPTION:Title: Harvesting the Low-hanging Fruits: Defending Against Automated Large-Scale Cyber-Intrusions by Focusing on the Vulnerable Population* \nAbstract:\nThe orthodox paradigm to defend against automated social-engineering attacks in large-scale socio-technical systems is reactive and victim-agnostic. Defences generally focus on identifying the\nattacks/attackers (e.g.\, phishing emails\, social-bot infiltration\, malware offered for download). To change the status quo\, we propose to identify\, even if imperfectly\, the vulnerable population\, that is\, the accounts/devices that are likely to fall victim to such attacks. Knowledge of the vulnerable population can be used in two ways. First\, the vulnerable population can be influenced by the defender through several means\, including education\, specialized user experience\, extra protection layers\, and watchdogs. In the same vein\, information about the vulnerable population can ultimately be used to fine-tune and re-prioritize defence mechanisms to offer differentiated protection. Secondly\, information about the user population can be used to identify an attack (or compromised users) based on differences between the general and the vulnerable population. This talk discusses the proposed paradigm and considers its implications on existing defences\, and discusses how using knowledge of the vulnerable population can enable more robust defences. \nShort bio:\nKonstantin (Kosta) Beznosov is a Professor at the Department of Electrical and Computer Engineering \, University of British Columbia \, where he directs the Laboratory for Education and Research in Secure Systems Engineering . His research interests are usable security\, mobile security and privacy\, security and privacy in online social networks\, and web security. Prior UBC\, he was a Security Architect at Hitachi Computer Products (America) and Concept Five. Besides many academic papers \, he is also a co-author of “Enterprise Security with EJB and CORBA\n” and “Mastering Web Services Security ” books\, as well as XACML and several CORBA security specifications. He has served on program committees and/or helped to organize SOUPS\, ACM CCS\, IEEE Symposium on Security & Privacy\, NSPW\, NDSS\, ACSAC\, SACMAT. Prof. Beznosov has served as an associate editor of ACM Transactions on Information and System Security (TISSEC) and Elsevier’s Computers & Security .\nHome page: http://konstantin.beznosov.net/professional/
URL:https://www.dc.uba.ar/event/charla-del-prof-konstantin-beznosov-u-of-british-columbia/
LOCATION:Laboratorio Turing
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20190415T140000
DTEND;TZID=America/Sao_Paulo:20190415T160000
DTSTAMP:20260630T155552
CREATED:20190325T115945Z
LAST-MODIFIED:20190326T122020Z
UID:5011-1555336800-1555344000@www.dc.uba.ar
SUMMARY:Charla de la Carrera
DESCRIPTION:El lunes 15 de abril a las 14 hs. nos encontraremos para nuestra clásica charla de la carrera de Computación junto con graduados y graduadas\, docentes y estudiantes de la carrera\, en el Hall del Pabellón I de Ciudad Universitaria. Será la primera del año! \n¿Te interesa saber qué hacemos? ¿Qué cosas vas a aprender? ¿Cuál es la salida laboral? Vamos a responder todas tus dudas. \nLa siguiente charla será recién el lunes 13 de mayo a las 14hs\, ¡así que vení que te esperamos!\nTenés varias formas de llegar: \nColectivos: líneas 28\, 33\, 34\, 37\, 42\, 45\, 107 y 160\nTren Línea Belgrano: estación Ciudad Universitaria\nSubte Línea C: hasta estación Retiro\, y luego combinación con tren Línea Belgrano
URL:https://www.dc.uba.ar/event/charla-de-la-carrera-abril19/
LOCATION:Hall de Pabellón 1
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20190410T120000
DTEND;TZID=America/Sao_Paulo:20190410T130000
DTSTAMP:20260630T155552
CREATED:20190408T182319Z
LAST-MODIFIED:20190408T182319Z
UID:5070-1554897600-1554901200@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Patricio Inzaghi
DESCRIPTION:Título: «Practical atomic multicast: a trade-off between genuineness and performance» \nDirectores: Fernando Pedone (Università della Svizzera italiana) y Paulo R. Coelho (Universidade Federal de Uberlândia)\nJurados: Esteban Mocskos y Gervasio Perez \nResumen\nLos servicios de Internet actuales tienen requerimientos de disponibilidad y escalabilidad elevados. Para cumplir estándares de alta disponibilidad estos deben permanecer funcionales a pesar de producirse fallas en sus nodos o enfrentar caídas completas de datacenters. La escalabilidad permite incrementar la performance agregando al sistema más componentes y con eso lograr soportar un incremento de la carga. El protocolo atomic multicast es una pieza fundamental en este tipo de servicios. Vamos a considerar sistema donde los procesos pueden organizarse en grupos y los clientes envían mensajes destinados a un subconjunto de ellos. Algunos protocolos consiguen ordenar los mensajes usando un grupo fijo de procesos o involucrando a todos ellos\, sin importar a quién está destinado el mensaje. Durante mucho tiempo se creyó que\, para ser eficiente\, un algoritmo de atomic multicast debe ser genuino: solo el emisor y los procesos involucrados en su destino deben comunicarse para propagar y ordenar un mensaje. Esta tesis vuelve a evaluar esta propiedad de los protocolos de atomic multicast y experimenta con la hipótesis de que\, relajandola\, se puede obtener un mejor throughput o latencia en distintas topologías de red. Se presentan dos enfoques: BaseCast\, un algoritmo de atomic multicast genuino\, y TreeCast\, uno parcialmente genuino que escala con respecto al número de de grupos para mensajes enviados a un solo grupo.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-patricio-inzaghi/
LOCATION:Laboratorio 4
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20190404T110000
DTEND;TZID=America/Sao_Paulo:20190404T120000
DTSTAMP:20260630T155552
CREATED:20190401T115521Z
LAST-MODIFIED:20190401T115521Z
UID:5053-1554375600-1554379200@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Sebastián Prillo
DESCRIPTION:Título: Un Estudio Metodológico de Máquinas de Factorización.\nDirector: Leandro Lombardi.\nJurados: Agustín Gravano y Ernesto Mislej. \nResumen\nEn este trabajo estudiamos las Máquinas de Factorización (FMs)\, un modelo de aprendizaje automático de alta performance en sistemas de recomendación. Nuestro objetivo es estudiar dos aspectos de las FMs: la asimetrı́a de la ecuación del modelo FM\, y la viabilidad de parametrizar de forma continua el orden de interacción de las FMs como propuesto en las FMs de orden intermedio. Más en general\, en este trabajo tratamos de desarollar una comprensión más profunda sobre el sesgo inductivo de las FMs.\nCon respecto a la asimetrı́a de las FMs\, mostramos que esto tiene un impact no trivial sobre las predicciones de las FMs. Por este motivo\, mostramos que ensamblar dos FMs\, una entrenada sobre los datos originales y otra entrenada luego de negar el valor de la variable respuesta\, puede llevar a mejoras inusualmente grandes de performance (cuando se lo compara con la mejora de performance tı́picamente observada al ensamblar dos modelos de la misma clase). También consideramos una formulación simétrica de FMs para la cual la estrategia de ensamblado puede ser vista como una estrategia efectiva de regularización.\nCon respecto a parametrizar de forma continua el orden de interacción de FMs\, mostramos que esto puede ser efectivo cuando las FMs se usan como predictor general\, en algunos casos obteniendo performance comparable a la de predictores generales estado del arte como los gradient boosted decision trees (GBDTs). Por otra parte\, cuando lo utilizamos en el contexto de problemas de recomendación\, obtenemos poca o ninguna mejora.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-sebastian-prillo/
LOCATION:Aula E24
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20190403T160000
DTEND;TZID=America/Sao_Paulo:20190403T170000
DTSTAMP:20260630T155552
CREATED:20190401T121331Z
LAST-MODIFIED:20190401T121331Z
UID:5057-1554307200-1554310800@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Jeremías Albano
DESCRIPTION:Título: Investigating the Dichotomy of Sharing Practices in Digital and Physical Realms: from Theoretical Overview to Design Considerations\n\nDirectores: Agustín Petroni y Juan E Kamienkowski\nJurados: Martín Urtasun y Bruno Dagnino\n\nResumen\n\nSharing personal digital information online has been a common activity for many years.\nHowever\, the recent rise of sharing economy services has since expanded the set of «things» one can share (e.g.\, apartments\, cars\, bicycles\, or work tools). How does the sharing of such physical artifacts differ from «traditional» sharing practices of\, for example\, photos and status updates? This thesis attempts to consolidate the existing body of work on both sharing personal digital content (e.g.\, social networking) and physical artifacts (e.g.\, apartment or car sharing)\, and attempts to identify both commonalities and differences between them. We summarize existing research on diversity of shared content\, users’ motivations to share\, audience management\, privacy & trust issues and user experience requirements. Based on this analysis and additional information gathered from 16 semi-structured interviews with both design practitioners and sharing economy domain experts\, we formulate a set of 24\ndesign implications for devising novel sharing economy services. Two of which we test in an experiment with 17 participants using eye-tracking techniques.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-jeremias-albano/
LOCATION:Laboratorio 5
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20190329T093000
DTEND;TZID=America/Sao_Paulo:20190329T113000
DTSTAMP:20260630T155552
CREATED:20190325T122331Z
LAST-MODIFIED:20190325T122331Z
UID:5017-1553851800-1553859000@www.dc.uba.ar
SUMMARY:Defensa Tesis Doctorado Matías Bonaventura
DESCRIPTION:Título: Modelado y Simulación Híbrida de Redes Complejas de Datos \nDirector: Rodrigo Castro \nJurados:\n– Stenio Fernandes (University of Ottawa/Carleton University y Element AI Inc.\, Canada)\n– Verónica Gil Costa (CONICET/Universidad Nacional de San Luis\, Argentina)\n– Ricardo Piegaia (CONICET/Universidad de Buenos Aires\, Argentina) \nResumen: \nEn esta Tesis desarrollamos nuevas técnicas de modelado de redes de datos que combinan los enfoques discreto (paquete a paquete) y continuo (aproximaciones fluidas) para el estudio de dinámicas complejas. Introducimos nuevas herramientas teórico-prácticas de modelado y simulación para integrar de manera transparente modelos discretos y continuos bajo un marco híbrido\, formal y unificado. \nAdoptamos la red de adquisición de datos físicos (DAQ) del Experimento ATLAS en CERN como caso complejo y real de estudio para validar resultados obtenidos mediante simulaciones. Estas brindaron soporte en la toma de decisiones durante procesos de diseño\, planificación de capacidad y puesta a punto en proyectos de ingeniería para redes futuras a implementarse en CERN entre 2021 y 2027. \nEl enfoque paquete a paquete provee resultados de grano fino cercanos a los observables en redes\nreales. Sin embargo\, la complejidad representada en los modelos hace a este enfoque usualmente inapropiado para la simulación de topologías muy grandes y/o tráfico de muy alta intensidad ya que los tiempos de simulación escalan al menos linealmente con el incremento de complejidad del sistema.\nPor su parte\, el enfoque fluido reduce la complejidad del modelo mediante aproximaciones con ecuaciones diferenciales ordinarias (ODE). Esto resulta en tiempos de simulación mucho menores\, generalmente independientes de la tasa de transferencia\, pero solo capturan dinámicas promedio o de grano grueso. Cada enfoque requiere conocimientos y herramientas sustancialmente diferentes\, por lo que expertos en redes suelen adoptar solo uno de ellos. Esto ha conducido a una diversificación de\nalgoritmos de simulación y a prácticas de análisis que dificultan la integración de estrategias. \nEn esta Tesis aportamos mecanismos que permiten la coexistencia e influencia mutua de modelos paquete a paquete con modelos fluidos bajo el formalismo Discrete EVent Systems specification\n(DEVS)\, reduciendo la brecha entre ambas técnicas. \nMostramos como los nuevos modelos híbridos mantienen las ventajas de los modelos fluidos en términos de tiempos de simulación\, a la vez que proveen trazas detalladas de los modelos paquete a paquete. Esto se logra bajo garantías formales de convergencia en los métodos numéricos de integración subyacentes. En particular\, extendimos la familia de métodos de integración numérica por cuantificación de estados (QSS) para la aproximación de ecuaciones diferenciales funcionales con retardos variables\, herramienta necesaria para describir la dinámica macroscópica de protocolos con control a lazo cerrado. \nComo aporte central se obtuvieron nuevas bibliotecas de modelos discretos\, continuos e híbridos para simulación escalable de redes de datos. Estas permiten elegir flexiblemente el nivel de granularidad deseado\, manteniendo una experiencia de modelado intuitiva centrada en la definición modular y jerárquica de la topología de los sistemas bajo estudio.
URL:https://www.dc.uba.ar/event/defensa-tesis-doctorado-matias-bonaventura/
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20190325T120000
DTEND;TZID=America/Sao_Paulo:20190325T130000
DTSTAMP:20260630T155552
CREATED:20190318T134418Z
LAST-MODIFIED:20190318T134418Z
UID:4969-1553515200-1553518800@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Laouen Mayal Louan Belloli
DESCRIPTION:Director: Gabriel Wainer\nJurados: Rodrigo Castro y Pablo Turjanski \nResumen\nEl modelado nos permite concentrarnos en los componentes que nos resultan más importantes de los fenómenos que estudiamos\, dejando de lado aquellos aspectos que no aportan información relevante. Para estudiar redes metabólicas\, tenemos primero que crear un modelo nuevo de la red para luego empezar a correr simulaciones y obtener resultados. Un problema importante en el área del modelado y simulación de células biológicas es la falta de generalización de los modelos propuestos\, cada modelo es creado para estudiar un aspecto específico de la célula biológica o para estudiar una célula biológica en particular. Debido a esto\, es difícil reutilizar dichos modelos. En este trabajo de tesis aplicamos algunos conceptos computacionales como la modularización e integración de modelos para mejorar la automatización e integración de modelos biológicos. Proponemos un modelo general de la estructura de una célula biológica que puede ser usada de framework donde diferentes modelos pueden ser integrados. También proponemos un modelo estocástico a micro escala de la red metabólica de una célula que es general y puede ser automáticamente reutilizada para estudiar redes metabólicas de distintas células biológicas. Debido a que un modelo de red metabólica a micro escala cuenta con miles de modelos atómicos idénticos\, introducimos en este trabajo el concepto de multi-state models\, que permite la unificación de múltiples modelos atómicos idénticos en uno solo. Finalmente\, proponemos un método para el modelado y simulación automático utilizando como input archivos SBML y una plataforma web que permite la utilización remota del sistema implementado\, esperando mejorar la colaboración entre distintos grupos de investigación al proponer el modelado y simulación como un servicio.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-laouen-mayal-louan-belloli/
LOCATION:Laboratorio 3
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20190319T130000
DTEND;TZID=America/Sao_Paulo:20190319T140000
DTSTAMP:20260630T155552
CREATED:20190314T125809Z
LAST-MODIFIED:20190314T125809Z
UID:4890-1553000400-1553004000@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Martín Ezequiel Langberg
DESCRIPTION:Título: Predicción de Patogenicidad en SNPs Usando Aprendizaje Automático\nDirectores: Ariel Berenstein y Pablo Turjanski\nJurados: Viviana Cotik y Marcelo Martí \nResumen \n\nEl estudio de enfermedades de origen genético ha tenido un desarrollo constante y acelerado en los últimos años en parte gracias a nuevas técnicas de secuenciación del genoma\, que permiten el análisis del material genético de pacientes a nivel de exomas y genomas completos con costos cada vez más reducidos y accesibles. En este contexto\, resulta de gran importancia la capacidad de identificar polimorfismos de un solo nucleótido (SNPs\, por sus siglas en inglés) causales de enfermedades humanas y diferenciarlos respecto de aquellos con efecto inocuo para el organismo. Dada la gran cantidad de SNPs presentes en el genoma humano\, esta línea de investigación ha cobrado un marcado interés por parte de la comunidad científica en general\, motivando esfuerzos interdisciplinarios\, en particular de trabajos que subyacen en la frontera de las ciencias de la computación y las ciencias biológicas.\nEn el presente trabajo\, mediante el uso de técnicas de aprendizaje automático supervisado convencionales hemos elaborado un método de predicción de patogenicidad para SNPs en regiones codificantes que resulten en un cambio de aminoácido\, normalmente referidas como SNPs con cambio de sentido.\nNuestro modelo de clasificación binaria\, se basa en las fuentes de Clinvar y Humsavar para clasificar el efecto patogénico de SNPs conocidos\, y en distintas fuentes de información para extraer variables que caractericen los SNPs desde distintas aristas biológicas.\nEn particular hemos explorado la importancia relativa y el poder predictivo de variables que den a cuenta del cambio estructural producido por el cambio de aminoácido (variación de energía\, superficie de exposición del aminoácido\, entre otras)\, variables de tipo físico-químico (hidrofobicidad\, aromaticidad\, polaridad\, etc) y de conservación a nivel genómico (PhyloP y PhastCons\, por ejemplo). Evaluamos la importancia relativa de cada una de estas dimensiones aplicando técnicas clásicas de aprendizaje automático supervisado: Regresión Logística\, Support Vector Machines y Random Forest. Finalmente\, evaluamos la combinación de las variables con una técnica más avanzada de aprendizaje automático\, XGBoost\, con el que alcanzamos un AUC de 0.90.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-martin-ezequiel-langberg/
LOCATION:Laboratorio 4
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20190318T110000
DTEND;TZID=America/Sao_Paulo:20190318T120000
DTSTAMP:20260630T155552
CREATED:20190314T125429Z
LAST-MODIFIED:20190314T125429Z
UID:4888-1552906800-1552910400@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Eduardo Perez Leale
DESCRIPTION:Título: Ampliando las capacidades de una aplicación de cómputo QM/MM utilizando GPU\nDirectores: Esteban Mocskos y Mariano Camilo González Lebrero\nJurados: Uriel Morzan y Pablo Turjanski \nResumen\nHoy en día\, la simulación numérica es una disciplina fundamental dentro de una gran cantidad de áreas de la ciencia y la tecnología. El uso de estas técnicas permite validar modelos teóricos así como también brindar información detallada (macro y microscópica)\ndel proceso simulado\, complementando el uso de las técnicas experimentales tradicionales.\nEste trabajo se enfoca en modificar el software de estructura electrónica LIO. Este código se basa en la teoría de los funcionales de la densidad (DFT) y permite estimar propiedades de sistemas moleculares de manera muy eficiente mediante el empleo de tarjetas gráficas (GPUs) en las partes más demandantes del cálculo.\nEn el esquema de DFT la calidad (así cómo el mayor costo) está dada por el cálculo de lo que se llama «energía de intercambio y correlación.\nPara esto existen múltiples «recetas» (llamadas funcionales de intercambio y correlación) que pueden ser convenientes para el tratamiento de diferentes sistemas o propiedades.\nLa versión original de LIO incluía un único funcional lo que limitaba sus capacidades.\nLibxc es una biblioteca de funcionales de intercambio y correlación para DFT diseñada para funcionar únicamente en CPU.\nEl desafío planteado en esta tesis es lograr la utilización de Libxc en LIO sin impacte en su performance.\nComo resultado de este trabajo se pudo lograr una ampliación de las capacidades del cómputo de LIO al vincularlo con Libxc con un impacto en la performance de alrededor de 4%.\nTambién se lograron identificar puntos clave en la implementación que permitirían continuar con las tareas de optimización.\nLas mejoras permiten que LIO pueda ser utilizada con una amplia gamma de algoritmos que realizan los cálculos de intercambio de energía y correlación lo que consecuentemente permite realizar simulaciones en condiciones más variadas.\nComo corolario de este trabajo se pudo estandarizar (aunque no automatizar) un procedimiento que permite realizar una traducción de los funcionales de la biblioteca Libxc para que puedan ser ejecutados en GPU.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-eduardo-perez-leale/
LOCATION:Laboratorio 4
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20190313T093000
DTEND;TZID=America/Sao_Paulo:20190313T103000
DTSTAMP:20260630T155552
CREATED:20190307T131915Z
LAST-MODIFIED:20190307T131915Z
UID:4857-1552469400-1552473000@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Tomás Gonzalez
DESCRIPTION:Título: Evaluación de implementaciones alternativas de colas concurrentes en Haskell.\nDirector: Hernán Melgratti\nJurado: Nicolás D’Ippolito y Christian Roldán.\n\nResumen\nEn este trabajo se realiza una comparación entre distintas maneras de implementar un mismo tipo de datos concurrente en el lenguaje de programación Haskell. El lenguaje provee varias alternativas para resolver los problemas de sincronización que surgen dentro del área de la programación concurrente. Entre ellas\, el trabajo se enfoca en las variantes libres de locks como el uso de la primitiva compare and set y la librería STM.\n\nSe llevo a cabo una experimentación para observar las diferencias entre las distintas implementaciones y se analizaron los resultados para determinar cuales son las implementaciones más apropiadas según varios contextos de uso. Para el análisis también se toma en cuenta la complejidad de los algoritmos y la consistencia en los resultados que producen.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-tomas-gonzalez/
LOCATION:Laboratorio 4
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20190312T180000
DTEND;TZID=America/Sao_Paulo:20190312T190000
DTSTAMP:20260630T155552
CREATED:20190311T122317Z
LAST-MODIFIED:20190311T122317Z
UID:4872-1552413600-1552417200@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Julián Bayardo Spadafora
DESCRIPTION:Título: Aproximación Eficiente de la Cápsula No-Convexa para Reconstrucción de Superficies\nDirector: Francisco Gómez Fernández\nJurados: Emmanuel Iarussi (CONICET – UTN)\, Julio Jacobo (UBA) \nResumen:\nLa reconstrucción de superficies en tres dimensiones suele comenzar con una nube de puntos. Existen una multiplicidad de algoritmos utilizados para la reconstrucción\, según las distintas suposiciones que se puedan hacer sobre la nube (el tipo de objeto que representa\, o la metodología utilizada para obtenerla). \nEn este trabajo hacemos foco en un algoritmo denominado Naive Non-Convex Hull (Cápsula No-Convexa Ingenua)\, que reconstruye superficies utilizando un concepto similar a la Transformación del Eje Medial. Explicamos teoría a partir de la cual se llega al concepto de Cápsula No-Convexa\, demostramos múltiples propiedades con respecto a la misma\, y establecemos vínculos con otros conceptos utilizados en reconstrucción de superficies 3D\, como el Power Diagram (Diagrama de Laguerre-Voronoi) y la Transformación del Eje\nMedial. \nBasándonos en métodos de la literatura sobre la Transformación del Eje Medial\, creamos uno nuevo llamado Contracción de Planos (Shrinking Planes\, SP) para la Cápsula No Convexa\, corrigiendo en el proceso problemas de los métodos de referencia. Sobre el mismo demostramos propiedades de aproximación sin error\, y evaluamos su capacidad de reconstrucción rigurosamente a través de múltiples experimentos cuantitativos y cualitativos. El nuevo método\, además de lograr mantener la misma calidad de reconstrucción que el método original\, logra hacerlo con una marcada mejora en su velocidad de ejecución. \nPalabras claves: Reconstrucción de Superficies 3D\, Transformación del Eje Medial\, Geometría Constructiva Sólida\, Superficies Implícitas
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-julian-bayardo-spadafora/
LOCATION:Aula E24
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20190311T170000
DTEND;TZID=America/Sao_Paulo:20190311T180000
DTSTAMP:20260630T155552
CREATED:20190308T133310Z
LAST-MODIFIED:20190308T133310Z
UID:4867-1552323600-1552327200@www.dc.uba.ar
SUMMARY:Charla de Javier Fraire\, de Facebook Londres.
DESCRIPTION:TÍTULO: Rapid release at massive scale. How Facebook continuous delivery works. \nIDIOMA: Castellano \nDESCRIPCIÓN: En esta charla se presenta un breve panorama de cómo\nFacebook distribuye código a producción en todas sus plataformas (Web\,\nAndroid y iOS). Mostraremos como funciona el sistmea de «continuous\ndeployment» que nos permite distribuir código a producción a cada\nhora! Seguiremos el recorrido que hace un «commit» desde que es puesto\npara revisión hasta que alcanza al 100% de los usuarios. «Deployment»\nes un problema relativamente simple a escala pequeña pero puede causar\nmuchos dolores de cabeza a escala masiva. También hablaremos de los\nsistemas que utilizamos para hacer «A\B testing» y para hacer\n«rollouts» progresivos. Además\, se presentará la estrategia de\n«deployment» para plataformas móviles\, en donde existen muchas más\nrestricciones y limitaciones. \nBIOGRAFÍA BREVE: Javier Fraire Javier trabaja en Facebook como\nIngeniero de Software desde 2017\, en el equipo de «Workplace»\,\nhaciendo desarrollo para iOS principalmente\, pero también\ndesarrollando partes del backend. Antes de Facebook\, Javier se graduó\ndel ITBA en ingeniería informática. Durante su carrera trabajó en\nWolox\, una startup Argentina\, e hizo pasantías en Google\, en el equipo\nde Google Photos\, y Facebook\, en los equipos «Messenger» y «Sharing»\,\nen Silicon Valley. Su proyecto final fue «Procesamiento de bioseñales\nen tiempo real en universos interactivos». \n¡Los esperamos!
URL:https://www.dc.uba.ar/event/charla-de-javier-fraire-de-facebook-londres/
LOCATION:Laboratorio 1
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20190301T183000
DTEND;TZID=America/Sao_Paulo:20190301T200000
DTSTAMP:20260630T155552
CREATED:20190218T140539Z
LAST-MODIFIED:20190222T113928Z
UID:4804-1551465000-1551470400@www.dc.uba.ar
SUMMARY:Charla de la Carrera
DESCRIPTION:El viernes 1° de marzo a las 18:30 hs. nos encontraremos para nuestra clásica charla de la carrera de Computación junto con graduados y graduadas\, docentes y estudiantes de la carrera\, en el Hall del Pabellón I de Ciudad Universitaria. Será la primera del año! \n¿Te interesa saber qué hacemos? ¿Qué cosas vas a aprender? ¿Cuál es la salida laboral? Vamos a responder todas tus dudas. \nLa próxima será en marzo. ¡Vení\, que te esperamos! \nTenés varias formas de llegar: \nColectivos: líneas 28\, 33\, 34\, 37\, 42\, 45\, 107 y 160\nTren Línea Belgrano: estación Ciudad Universitaria\nSubte Línea C: hasta estación Retiro\, y luego combinación con tren Línea Belgrano
URL:https://www.dc.uba.ar/event/charla-de-la-carrera-2/
LOCATION:Hall de Pabellón 1
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20190301T170000
DTEND;TZID=America/Sao_Paulo:20190301T180000
DTSTAMP:20260630T155552
CREATED:20190225T115326Z
LAST-MODIFIED:20190225T120829Z
UID:4816-1551459600-1551463200@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Shai Martín Bianchi
DESCRIPTION:Título: «Estimación de la cápsula no-convexa de nubes de puntos por\npartición de la unidad»\nDirector: Francisco Gómez Fernández\nJurados: Taihú Piré (CONICET / UNR)\, Manuel Dubinsky (UBA / UNDAV) y Pablo De Cristóforis (CONICET / UBA) \nResumen:\nUn paso clave en los procedimientos de reconstrucción 3D suele ser el procesamiento de nubes de puntos que representan objetos de la vida real. Damos una taxonomı́a de los algoritmos empleados para dicha tarea e identificamos como nuestro foco a los que toman nubes de puntos orientadas y devuelven funciones de distancia con signo.\nElegimos dos de particular interés\, Non-Convex Hull Surfaces (NCH) y Multi-level Partition of Unity Implicits (MPU)\, estudiamos sus fundamentos teóricos y los contrastamos con\nobservaciones acerca de su comportamiento ante distintas configuraciones de sus parámetros. En el caso de NCH\, aportamos un nuevo análisis que compara detalladamente sus diferentes variantes en base a la teorı́a y sus resultados de reconstrucción. Por su parte\, mostramos que la parametrización de MPU sugerida en el artı́culo original no resulta de utilidad para nuestro conjunto de datos y proponemos un valor que nos provee reconstrucciones de mayor calidad. Por último\, presentamos un algoritmo nuevo que resulta de una combinación de los enfoques de los dos anteriores. Analizamos en detalle su comportamiento en base a una evaluación cuantitativa rigurosa de su calidad de reconstrucción utilizando el framework de benchmarking Reconbench. El nuevo método\, bautizado Partition of Unity Non-Convex Hull (PUNCH)\, exhibe una mejora muy marcada de tiempos de ejecución en comparación con su predecesor NCH sin perder capacidad de reconstrucción.\nMostramos por medio de una evaluación cuantitativa y cualitativa que PUNCH se compara favorablemente tanto con los dos algoritmos en los que se inspira como con Screened Poisson\, un método estándar en el área. \nPalabras claves: Reconstrucción 3D – Funciones implı́citas – Partición de la unidad
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-shai-martin-bianchi/
LOCATION:Aula 4
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20190301T100000
DTEND;TZID=America/Sao_Paulo:20190301T110000
DTSTAMP:20260630T155552
CREATED:20190226T121658Z
LAST-MODIFIED:20190226T121705Z
UID:4825-1551434400-1551438000@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Federico Patane
DESCRIPTION:Título: Estudio del uso de procesadores en aplicaciones de usuario\nAlumno: Federico Patane\nDirectores: David González Márquez y Esteban Mocskos\nJurados: Matías Nitsche y Facundo Carrillo \nResumen:\nDurante los últimos años\, la tendencia en la tecnología de los procesadores es incrementar la cantidad de núcleos en cada pastilla.\nEl estudio del uso de la concurrencia en los procesadores data de la aparición de los primeros multicores.\nEn trabajos realizados en los años 2000 y 2010 se concluyó que los desarrolladores de software no generan aplicaciones que hagan uso simultáneo de múltiples núcleos de cómputo. El presente trabajo se enfoca en la misma pregunta: luego de más de diez años de la aparición de los procesadores multicore\, ¿Han comenzado los desarrolladores a utilizar eficientemente estos recursos disponibles en la mayoría de los dispositivos y máquinas?\nEste trabajo se basa en la toma sistemática de trazas de uso de procesador en un laboratorio de PC’s durante jornadas de uso típico por parte de estudiantes de la carrera de Licenciatura en Ciencias de la Computación durante más de cuatro meses.\nSe estudia el uso concurrente del procesador tanto de manera global\, como individualmente por parte de distintas aplicaciones\, detectando patrones de uso.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-federico-patane/
LOCATION:Laboratorio 5
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20190226T150000
DTEND;TZID=America/Sao_Paulo:20190226T170000
DTSTAMP:20260630T155552
CREATED:20190225T125900Z
LAST-MODIFIED:20190225T125900Z
UID:4821-1551193200-1551200400@www.dc.uba.ar
SUMMARY:Charla de Ugo de'Liguoro
DESCRIPTION:Invito a la charla que el próximo Martes 26 de Febrero a las 15 dará Ugo de’Liguoro\, profesor de la Università di Torino\, que nos visita en el marco del\ndel proyecto MSCA-RISE BehAPI.\n\n\nTítulo: Mailbox Types for Unordered Interactions\n\nAbstract: We propose a type system for reasoning on protocol conformance and deadlock freedom in networks of processes that communicate through unordered mailboxes. We model these networks in the mailbox calculus\, a mild extension of the asynchronous pi-calculus with first-class mailboxes and selective input. The calculus subsumes the actor model and allows us to analyze networks with dynamic topologies and varying number of processes possibly mixing different concurrency abstractions. Well-typed processes are deadlock free and never fail because of unexpected messages. For a non-trivial class of them\, junk freedom is also guaranteed. We illustrate the expressiveness of the calculus and of the type system by encoding instances of non-uniform\, concurrent objects\, binary sessions extended with joins and forks\, and some known actor benchmarks.
URL:https://www.dc.uba.ar/event/charla-de-ugo-deliguoro/
LOCATION:Laboratorio 4
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20190221T103000
DTEND;TZID=America/Sao_Paulo:20190221T113000
DTSTAMP:20260630T155552
CREATED:20190214T120838Z
LAST-MODIFIED:20190215T132514Z
UID:4785-1550745000-1550748600@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Pedro Rodríguez y Hernán Modrow
DESCRIPTION:Título: Traductor de formalismo System Dynamics a DEVS para modelado y simulación de sistemas híbridos.\nDirector: Rodrigo Castro\nJurado: Pablo Jacovkis. Departamento de Computación (FCEyN-UBA) y Centro Interdisciplinario de Estudios Avanzados (CIEA-UNTREF)\nViktoriya Smeshenko. Instituto Interdisciplinario de Economía Política (IIEP-CONICET/FCE-UBA) \nResumen: \nEl estudio moderno de sistemas complejos interdisciplinarios mediante modelos de simulación suele requerir expresar dinámicas híbridas (continuas y discretas). Pocas herramientas ofrecen esta capacidad\, ya que un tratamiento correcto y eficiente de interacciones entre estas dinámicas no es trivial. \nSystem Dynamics y DEVS son metodologías bien establecidas para modelado y simulación de sistemas complejos\, aunque basadas en enfoques distintos. \nSystem Dynamics fue desarrollado por Jay Forrester en los 50s y se utiliza principalmente para modelar sistemas no lineales de tiempo continuo. Provee un fuerte sesgo hacia el modelado visual. Su enfoque sencillo e intuitivo aleja al usuario de la formulación de ecuaciones\, y ha logrado gran aceptación en disciplinas como sociología\, ecología\, economía\, procesos industriales\, administración de negocios\, etc. Matemáticamente System Dynamics produce sistemas de Ecuaciones Diferenciales Ordinarias (ODEs) no lineales\, que son material de estudio riguroso en disciplinas duras como las ingenierías o la física\, en las cuales System Dynamics ha pasado mayormente desapercibido. \nEntre otras limitaciones\, System Dynamics no es capaz de expresar correctamente la presencia de eventos discretos. \nPor su parte\, DEVS es un formalismo para simulación de sistemas dinámicos basado en eventos discretos\, desarrollado en los 70s por Bernard Zeigler. DEVS permite simular cualquier sistema discreto (a tiempo discreto o a eventos discretos) y aproximar sistemas continuos con tanta precisión como se desee. Una de sus características más fuertes es la capacidad de modelar sistemas híbridos\, es decir aquellos que combinan los paradigmas de tiempo discreto\, eventos discretos y continuo. \nPocas herramientas System Dynamics comerciales aducen proveer dicha capacidad\, pero ocultan los detalles de la resolución de las interacciones híbridas. Con sus ventajas y desventajas\, existe una cantidad masiva de conocimiento multidisciplinar capturado en forma de modelos System Dynamics acumulado durante décadas. Esto lo hace una técnica que no puede ignorarse en el abanico de opciones de modelado y simulación. Por ello\, es de un gran interés contar con la capacidad de reutilizar modelos System Dynamics para componer modelos híbridos complejos\, y proveer garantías de correctitud a la hora de la composición de dinámicas discretas con dinámicas continuas. \nEn esta tesis resolvemos este problema mediante una estrategia basada en traducción entre formalismos. \nPrimero planteamos equivalencias formales entre ambos formalismos y luego desarrollamos un traductor semi automático. Luego validamos empíricamente la correctitud del traductor para modelos típicos de la literatura\, usando el simulador Stella para System Dynamics y CD++ para DEVS. Sin embargo\, nuestra metodología es agnóstica de cualquier herramienta específica de simulación. Luego estudiamos casos en los que System Dynamics presenta problemas de correctitud en simulación\, y que luego de ser traducidos a DEVS producen los resultados esperados según las ecuaciones de partida. \nFinalmente\, atacamos un caso complejo de modelado híbrido interdisciplinario. Tomamos un modelo de macroeconomía (basado en ODEs) y otro modelo de intercambio de opinión entre votantes (basado en agentes y autómatas celulares). Aplicando el nuevo traductor interconectamos ambos modelos obteniendo un nuevo sistema híbrido de manera transparente. Completamos el estudio extendiendo el modelo para que el subsistema macroeconómico produzca shocks discretos de opinión sobre los agentes\, afectando la tendencia de las preferencias políticas en la población a largo plazo.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-pedro-rodriguez-y-hernan-modrow/
LOCATION:Laboratorio 4
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20190213T183000
DTEND;TZID=America/Sao_Paulo:20190213T193000
DTSTAMP:20260630T155552
CREATED:20190128T140101Z
LAST-MODIFIED:20190130T135118Z
UID:4764-1550082600-1550086200@www.dc.uba.ar
SUMMARY:Charla de la Carrera
DESCRIPTION:El miércoles 13 de febrero a las 18:30 hs. nos encontraremos para nuestra clásica charla de la carrera de Computación junto con graduados y graduadas\, docentes y estudiantes de la carrera\, en el Hall del Pabellón I de Ciudad Universitaria. Será la primera del año! \n¿Te interesa saber qué hacemos? ¿Qué cosas vas a aprender? ¿Cuál es la salida laboral? Vamos a responder todas tus dudas. \nLa próxima será en marzo. ¡Vení\, que te esperamos! \nTenés varias formas de llegar: \nColectivos: líneas 28\, 33\, 34\, 37\, 42\, 45\, 107 y 160\nTren Línea Belgrano: estación Ciudad Universitaria\nSubte Línea C: hasta estación Retiro\, y luego combinación con tren Línea Belgrano
URL:https://www.dc.uba.ar/event/charla-de-la-carrera/
LOCATION:Hall de Pabellón 1
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20190130T110000
DTEND;TZID=America/Sao_Paulo:20190130T120000
DTSTAMP:20260630T155552
CREATED:20190129T115304Z
LAST-MODIFIED:20190129T115304Z
UID:4767-1548846000-1548849600@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Damian Furman
DESCRIPTION:Título: Generación de mensajes de error significativos en herramienta de detección estática de deadlocks para programas en Go.\n\nDirector: Hernán Melgratti\nJurado: Carlos Gustavo Lopez Pombo y Emilio Tuosto\n\nResumen\n\nGo es un lenguaje de programación que incorpora la comunicación a través del intercambio de mensajes dentro de su set básico de instrucciones. Lange\, Ng\, Toninho y Yoshida proponen un sistema de tipos sesión para analizar propiedades sobre aspectos de comunicación en programas Go\, como por ejemplo ausencia de deadlocks parciales y errores de comunicación. Esta técnica ha sido implementada en dos herramientas\, Dingo-Hunter y Gong\, que toman un programa Go e indican si cumple o no con estas propiedades. Sin embargo\, su implementación no aporta más información que pueda servir al usuario para mejorar su código si existe algún problema. El objetivo del siguiente trabajo es mejorar la usabilidad de la herramienta incorporando feedback que pueda ser usado para resolver el problema encontrado. Para esto\, se desarrolla una modificación de la implementación del tipo sesión que genera trazas de las posibles ejecuciones de los programas a analizar. Luego\, cuando un programa no satisface alguna de las propiedades mencionadas\, se indica qué instrucción genera el problema\, en qué número de línea y cual es la traza de la ejecución que la generó\, indicando invocaciones a funciones y sincronizaciones (envío y recepción correctos de un mensaje) previas.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-damian-furman/
LOCATION:Laboratorio Turing
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20181226T180000
DTEND;TZID=America/Sao_Paulo:20181226T190000
DTSTAMP:20260630T155552
CREATED:20181218T164043Z
LAST-MODIFIED:20181218T164043Z
UID:4703-1545847200-1545850800@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Santiago Iriarte
DESCRIPTION:Título: Algoritmo GRASP para Problemas de Ruteo de Vehículos con Clientes Agrupados.\nDirectora: Irene Loiseau.\nJurado: Javier Marenco\, Paula Zabala.\nResumen:\n\nEl problema básico de ruteo de vehículos (VRP) consiste en determinar\nun conjunto de rutas para que una flota de vehículos atienda a un\nconjunto de clientes a un costo mínimo. El objetivo de esta tesis fue\nproponer soluciones para una variante del VRP llamada problema de ruteo\nde vehículos por clusters con restricciones de capacidad (CluVRP SCC por\nsus siglas en inglés). En este caso los clientes están agrupados en\nclusters\, y todos los clientes de cada cluster deben ser visitados por\nun mismo vehículo antes de pasar a otro cluster. Como en la mayoría de\nlos problemas de ruteo\, acá el objetivo es minimizar los costos de\ntransporte. Este problema ha sido poco abordado y los trabajos que\nencontramos son muy recientes. Tiene varias aplicaciones reales como por\nejemplo en un problema de entregas de productos organizados en\ncontainers o en el traslado de pasajeros que quieren ser transportados\nen grupo. Como la mayoría de los problemas de ruteo que aparecen en la\npráctica pertenece a la clase NP-Hard. \nTambién se trabajó en una variante\, el problema de ruteo de vehículos\npor clusters con restricciones débiles\n (CluVRP WCC por sus siglas en inglés). En este caso todos los clientes\nde un cluster deben ser visitados por el mismo vehículo\, pero a\ndiferencia de CluVRP SCC\, los clientes pueden no ser visitados en forma\nconsecutiva dentro de un mismo cluster\, si no que\, un vehículo puede\nsalir y reingresar a un cluster varias veces. \nSe implementó un nuevo algoritmo basado en la metaheurística GRASP\n(Greedy Randomized Adaptive Search Procedures) que obtuvo buenos\nresultados comparados con los que encontramos en la literatura.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-santiago-iriarte/
LOCATION:Aula E24
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20181226T170000
DTEND;TZID=America/Sao_Paulo:20181226T180000
DTSTAMP:20260630T155552
CREATED:20181219T182800Z
LAST-MODIFIED:20181219T182800Z
UID:4712-1545843600-1545847200@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Rodrigo Campos Catelín
DESCRIPTION:Título: Efficient implementation of the ordered read write locks model on multicore architectures (Implementación eficiente de modelos de locks de lecto-escritura ordenada sobre plataformas multicore).\nDirector: Jens Gustedt.\nCo-Director: Diego Garbervetsky.\nJurados: Dr. Gervasio Perez\, Dr. Fernando Schapachnik.\nResumen:\n\nLas computadoras con procesadores múltiples son moneda corriente en la informática actual\, se los puede encontrar tanto en servidores como teléfonos móviles e incluso en relojes inteligentes. Su adopción\, sin embargo\, plantea algunos desafíos entre los cuales el control de concurrencia es probablemente uno de los más difíciles de superar. Los lenguajes de programación actuales proporcionan un soporte rudimentario para aprovechar con éxito estas arquitecturas\, y las numerosas soluciones existentes a este problema presentan distintas optimizaciones. \nEste trabajo presenta una implementación eficiente del modelo de lecto-escritura ordenada. Se trata de un enfoque para abordar el problema de control de concurrencia\, en el cual se elimina cualquier posibilidad de bloqueo mutuo\, al mismo tiempo que logra una alta paralelización del procesamiento. Para lograr esta implementación\, se desarrolló una instrumentación personalizada que permitió encontrar los componentes a mejorar. Además\, se realizaron observaciones sobre invariantes impuestos por el modelo teórico que permitieron mejorar la eficiencia de la implementación. \nCon respecto a la implementación de referencia\, la presentada en este trabajo mejora el rendimiento en arquitecturas de múltiples procesadores entre 7 y 31 veces para los casos estudiados\, escalando mejor con un número creciente de procesadores y permitiendo al mismo tiempo ser utilizada para cálculos de menores dimensiones.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-rodrigo-campos-catelin/
LOCATION:Laboratorio 1
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20181226T160000
DTEND;TZID=America/Sao_Paulo:20181226T170000
DTSTAMP:20260630T155552
CREATED:20181221T114457Z
LAST-MODIFIED:20181221T114457Z
UID:4722-1545840000-1545843600@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Federico Canay
DESCRIPTION:Título: Optimización aplicada a la programación ferroviaria de carga.\nDirectores: I. Méndez-Díaz\, J. Miranda-Bront y P. Zabala.\nJurados: I. Loiseau y J. Marenco.\nResumen:\n\nEl transporte de cargas es uno de los servicios vitales para el desarrollo de la economía moderna. En particular el transporte ferroviario cumple un rol clave\, gracias a que es uno de los métodos más económico y eficiente para el transporte de cargas. Por este motivo\, es fundamental para impulsar el desarrollo económico de distintas áreas dentro de un país\, ya que favorece la descentralización de la producción\, la reducción de los costos y la competitividad. Además\, este medio de transporte de cargas resulta más ecológico que el transporte de cargas por camiones. \nLa planificación de la operación de una empresa ferroviaria de carga es una tarea sumamente compleja e involucra la resolución de múltiples problemas de decisión. El gran espectro de complejos problemas de decisión vuelve al transporte ferroviario de cargas un candidato ideal para la aplicación de herramientas y metodologías de la investigación operativa. \nAunque el transporte ferroviario tiene más de dos siglos de existencia\, no hubo mayores cambios durante este tiempo en la forma de crear planes detallados para su operación\, que organice el transporte de cargas en la red ferroviaria. En cambio\, las demás industrias de transporte\, en especial el transporte automotor y aéreo\, han tenido una fuerte inversión en métodos computacionales para optimizar sus operaciones\, a nivel estratégico\, táctico u operativo. \nRecién en los últimos años se ha incrementado el desarrollo de investigaciones en optimización de las operaciones de la industria ferroviaria\, pero todavía se encuentra muy relegada en comparación con el resto de los métodos de transporte. \nEn el año 2011\, el Institute for Operations Research and the Management SciencesRailway Applications Section (INFORMS-RAS) organizó una competencia abierta con el fin de promover la investigación y la aplicación de la investigación operativa en el transporte ferroviario. Para esta competencia\, INFORMS-RAS diseñó un problema\, al que denominó Train Design Optimization (TDO). Este problema consiste en el diseño de un plan detallado del movimiento de pedidos a nivel táctico desde cierto origen hasta un destino final. Este plan debe cumplir con una serie de restricciones de la infraestructura ferroviaria\, así como debe minimizar los diferentes costos. En particular\, TDO se encarga de resolver los problemas de Train Scheduling y Crew Scheduling a nivel táctico. El TDO supone que en este nivel de detalle el material rodante es idéntico e ilimitado y que no es importante la sincronización de los trenes. Para evaluar la calidad de las resoluciones propuestas\, se proveyó los datos correspondientes a dos instancias. \nEn esta tesis se proponen nuevos métodos para la resolución del TDO y se comparan con el estado del arte. También se investiga y resuelven nuevas extensiones al TDO teniendo en cuenta variantes del problema no consideradas en el TDO original.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-federico-canay/
LOCATION:Aula E24
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20181221T173000
DTEND;TZID=America/Sao_Paulo:20181221T183000
DTSTAMP:20260630T155552
CREATED:20181213T151742Z
LAST-MODIFIED:20181213T151742Z
UID:4690-1545413400-1545417000@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Javier Garrone
DESCRIPTION:Título: Desarrollo y estudio de un algoritmo de control colaborativo de\nconsumo eléctrico residencial para evitar interrupciones del suministro\neléctrico.\nDirector: Pablo Turjanski.\nJurado: Javier Marenco y Emmanuel Luján.\nResumen\n\nLa utilización concurrente y excesiva de equipos de alto consumo eléctrico\n(por ejemplo\, el aire acondicionado) en los hogares de la Ciudad de Buenos\nAires y sus alrededores\, sumado a otros factores externos\, ocasiona\nmúltiples interrupciones en el servicio eléctrico cada verano. Un equipo de\nestudiantes e investigadores de la Universidad de Buenos Aires propuso\nconstruir un sistema para controlar el uso desmedido que se le da a estos\naparatos en el entorno residencial. En el esquema propuesto\, los usuarios\nde la red eléctrica son seleccionados\, de manera rotativa\, para colaborar\napagando sus equipos de alto consumo eléctrico durante un breve intervalo\nde tiempo\, con el objetivo de no exceder el límite del suministro eléctrico\ny finalmente no sufrir fallas en el servicio. En el presente trabajo se\nanalizan distintas estrategias para la selección y rotación de usuarios que\nse podrían implementar en dicho sistema\, encontrando similitudes con el\nproblema de la mochila. Primero\, cada estrategia es dilucidada utilizando\nescenarios pequeños (pocos usuarios). Luego\, se evalúa el desempeño de las\nestrategias sobre escenarios que intentan reproducir las mismas\ncaracterísticas que posee un entorno real. Las estrategias planteadas\ncomienzan siendo elementales\, demostrando rápidamente su baja efectividad\nincluso ante una estrategia que toma decisiones de manera aleatoria.\nFinalmente\, se proponen estrategias más complejas que son puestas a prueba\nen el contexto de ciertos escenarios más realistas\, obteniendo resultados\nmás promisorios.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-javier-garrone/
LOCATION:Aula E24
CATEGORIES:Agenda
END:VEVENT
END:VCALENDAR