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: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:20191204T130000
DTEND;TZID=America/Sao_Paulo:20191204T140000
DTSTAMP:20260611T212954
CREATED:20191202T123329Z
LAST-MODIFIED:20191204T150831Z
UID:5598-1575464400-1575468000@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Kevin Kujawski
DESCRIPTION:Título: Modelos de NLP aplicados al discurso libre para la caracterización de propiedades discursivas de sujetos\nDirectores: Diego Fernández Slezak y Facundo Carrillo\nJurados: Dr Lucas Drucaroff y Dr Rodrigo Castaño\n\nResumen:\nEn los últimos años\, ha surgido un fuerte interés en estudiar cómo las patologías psiquiátricas modifican distintos aspectos de las personas que las sufren (como por ejemplo tiempo de respuesta en tareas\, problemas de memoria de trabajo\, cambios en el discurso) de forma cuantitativa y con tareas predefinidas. Esto ha dado lugar a lo que hoy se conoce como Psiquiatría Computacional.\nSi bien han aparecido muchas medidas para caracterizar cada una de las patologías\, aún no se han definidos estrategias estandarizadas y cuantitativas para la medición del discurso de los pacientes\, y cómo puede usarse el discurso para el soporte diagnóstico y monitoreo de estas personas.El objetivo de esta tesis es realizar una prueba piloto para medir y analizar respuestas orales con distintos métodos de procesamiento del lenguaje (NLP) e indicadores cuantitativos de estudiantes de la carrera de Licenciatura en Ciencias de la Computación y a otras carreras de la Universidad de Buenos Aires\, para luego comparar los resultados obtenidos\, partiendo de la hipótesis de que los y las estudiantes de la carrera de Licenciatura en Ciencias de la Computación muestran una disminución léxica en su discursos frente a alumnos y alumnas de otras carreras. Debido a las características de la carrera\, donde se hace un foco en lo formal para la demostración de correctitud de programas y se enseña a pensar abstracciones de problemas que terminan siendo programados en lenguajes de sintaxis fuerte\, hipotetizamos que los y las estudiantes que estudian gran cantidad de horas semanales esta carrera cambian su estructura de pensamiento que podría alterar su capacidad de comunicación y verse reflejado en su discurso\, tanto en tareas técnicas como en la vida cotidiana.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-kevin-kujawski/
LOCATION:Aula 8
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20191204T160000
DTEND;TZID=America/Sao_Paulo:20191204T170000
DTSTAMP:20260611T212954
CREATED:20191129T171533Z
LAST-MODIFIED:20191129T171533Z
UID:5593-1575475200-1575478800@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Sebastián Taboh
DESCRIPTION:Título: Planificacióon de consumo el éctrico residencial en redes inteligentes\nDirectoras: Isabel Méndez-Díaz y Paula Zabala\nJurados: Javier Marenco y Federico Pousa \nResumen: En Argentina\, como en el resto del mundo\, el consumo energético se encuentra en permanente crecimiento. Esta demanda no es s ólo impulsada por el aumento de poblacióon\, sino tambiéen por el desarrollo de nuevas tecnolog í as y formas de vida\, cada vez m ás dependientes del suministro el éctrico. Las redes inteligentes utilizan nuevas tecnolog ías\, como controladores inteligentes y aut ónomos\, software avanzado para la gesti ón de datos y optimizacióon\, y comunicaciones bidireccionales entre las empresas el éctricas y los consumidores\, con el fin de crear una red de distribución de energ í a automatizada y distribuida. \nPara optimizar el costo de la factura el ectrica\, el usuario residencial debe evitar utilizar artefactos en las horas caras (de alta demanda) cuando esto sea posible o\, al menos\, operarlos a bajos niveles de consumo. Para dar soporte en esta toma de decisiones es necesario contar con algoritmos de optimización a nivel residencial\, que sean capaces de manejar las componentes hogareñas de las redes inteligentes considerando las preferencias del usuario. El problema que se abord o en este trabajo es desde el punto de vista de un usuario que debe tomar decisiones sobre el uso de distintos dispositivos eléectricos en el transcurso de un dí a. El usuario dispone de dos tipos de aparatos: programables y no programables. En el primer caso\, los artefactos deben programarse a cierta potencia y tienen un horario deseado de comienzo dentro de una ventana de tiempo. En el segundo caso\, los artefactos deben programarse en un perí odo establecido de tiempo y tienen una potencia de funcionamiento deseada. Se busca encontrar una planificaci ón que minimice una medida de discomfort y el costo de la energí a utilizada. Dentro de este marco general\, contemplamos diferentes escenarios: (a) con y sin interrupciones en el funcionamiento de cada aparato y (b) con y sin cotas m áximas de consumo energ ético en cada perí odo. En este trabajo presentamos diferentes algoritmos exactos y heurí sticos para resolver el problema\, analizamos su performance y el impacto que cada escenario tiene en el usuario.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-sebastian-taboh/
LOCATION:Aula 8
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20191206T150000
DTEND;TZID=America/Sao_Paulo:20191206T160000
DTSTAMP:20260611T212954
CREATED:20191204T123146Z
LAST-MODIFIED:20191205T155512Z
UID:5605-1575644400-1575648000@www.dc.uba.ar
SUMMARY:Charla de Inteligencia Artificial para Responsabilidad Social
DESCRIPTION:El viernes 6 de diciembre a las 15 hs. en lugar a confirmar\, tenemos el honor de tener en el Departamento de Computación a Verónica Dahl\, quien dará una charla titulada «AI for Social Responsibility: Embedding principled guidelines into AI systems». \nLa charla estará dada en español. \nCuando termine la charla\, Verónica estará disponible para charlar informalmente sobre inferencia gramatical. Verónica está trabajando con lenguajes de bajos recursos como el Yor`ub´a (un lenguaje tonal africano) y el Ch’ol (una lengua maya hablada en México) y está interesada en trabajar con lenguas originarias de Argentina. \nBio: Verónica Dahl is an Argentine/Canadian mother\, computer scientist\, musician\, and writer. She co-founded the Logic Programming field with 14 other scientists\, and made pioneering contributions to human languages processing\, computational molecular biology\, constraint programming and knowledge-based systems. She received numerous awards for her scientific results in AI\, and three first prizes for her literary work. Her research program is supported by NSERC. Her greatest scientific ambition is to help bridge the gap between the formal and the humanistic sciences\, for a more balanced and ethical world. \nCharla: AI for Social Responsibility: Embedding principled guidelines into AI systems \nIn this position talk we briefly retrace the historic and evolutionary context that led to AI’s results not necessarily being used first and foremost to benefit the public that funded it\, nor to necessarily focus on human values and concerns.\nNext\, we discuss how the AI language Constraint Handling Rules -CHR- can promote social responsibility by making it easy to embed principled guidelines into our systems\, and we exemplify this idea within an application to enhance voting and decision-making power.\nFinally\, we examine the very notion of intelligence in the light of the more recent notion of group intelligence\, and draw consequences on what might be needed to ensure that AI capabilities are put to socially responsible uses only. In particular\, we identify what legislations might help place AI at the service of the urgently needed solutions for today’s various crises\, with the overall aim\, as K. Raworth put it\, to «meet the needs of all within the means of the planet».
URL:https://www.dc.uba.ar/event/charla-de-inteligencia-artificial-para-responsabilidad-social/
LOCATION:Aula 8
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20191211T170000
DTEND;TZID=America/Sao_Paulo:20191211T180000
DTSTAMP:20260611T212954
CREATED:20191203T115755Z
LAST-MODIFIED:20191203T182615Z
UID:5601-1576083600-1576087200@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Martin Forte y Eitan Rosenzvaig
DESCRIPTION:Título: Aprendizaje por Refuerzo. Aprendiendo en Comunidad.\nDirector: Enrique Carlos Segura\nJurados: Marta Mejail\, Julio Jacobo Berlles. \nResumen: El aprendizaje por refuerzo es una de las areas de mayor auge en la inteligencia articial gracias al desarrollo de las redes neuronales profundas y por la versatilidad del algoritmo de aprendizaje para abordar problemas de la vida cotidiana. Como jugar al Truco.\nEn este trabajo abordamos el aprendizaje por refuerzo acotado a los problemas donde se crea un enfrentamiento entre 2 sujetos\, como el Ajedrez\, Go\, Truco\, Poker y otros. Para poder entrenar a los agentes artificiales la estrategia dominante en la comunidad científica es una en la cual un agente se enfrenta a una copia de sí mismo e intenta sobreponerse. Inclusive se puede simular esta copia y llevar al agente a enfrentarse a si mismo.\nLa alternativa que proponemos es introducir más agentes al entrenamiento para que haya una mayor riqueza de estrategias\, una suerte de comunidad. Es decir\, en vez de que un jugador se enfrente durante todo el ciclo de entrenamiento a una única copia y por ende a una única estrategia (que evoluciona al pasar el tiempo) se enfrente a n agentes distintos que evolucionan a la par donde se enfrentarán todos contra todos\, por turnos.\nMostramos con el juego del Truco que este aumento en contrincantes brinda un beneficio al momento de entrenar y por ende los agentes que son enfrentados a más contrincantes son superiores a los agentes que solo fueron entrenados contra un único rival.\nPalabras clave: Q-Learning\, Truco\, Comunidad\, Red Neuronal\, Aprendizaje por Refuerzo
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-martin-forte-y-eitan-rosenzvaig/
LOCATION:Aula E24
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20191211T183000
DTEND;TZID=America/Sao_Paulo:20191211T203000
DTSTAMP:20260611T212954
CREATED:20190326T124059Z
LAST-MODIFIED:20190326T124059Z
UID:5036-1576089000-1576096200@www.dc.uba.ar
SUMMARY:Charla de la Carrera
DESCRIPTION:El miercoles 11 de diciembre 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. 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. \nEsta será la última charla de carrera del 2019. La próxima recién será a mitad de febrero de 2020\, ¡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-dicembre19/
LOCATION:Hall de Pabellón 1
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20191216T170000
DTEND;TZID=America/Sao_Paulo:20191216T180000
DTSTAMP:20260611T212954
CREATED:20191210T121525Z
LAST-MODIFIED:20191210T121525Z
UID:5614-1576515600-1576519200@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Brian Bokser
DESCRIPTION:Título: Verficación de invariantes en tipos de datos replicados con consistencia mixta\nDirectores: Christian Roldán y Hernán Melgratti\nJurados: Juan Pablo Galeotti y Agustín Martinez Suñé\n\nResumen: \n\nLos sistemas geográficamente distribuidos replican su estado sobre diferentes nodos (llamados también réplicas) con el fin de satisfacer requerimientos no-funcionales como la alta disponibilidad. Sin embargo\, dado que la comunicación entre réplicas es asincrónica\, los usuarios de estos sistemas pueden\, temporalmente\, observar discrepancias en la información debido a que acceden a distintas replicas. Por lo tanto\, razonar sobre la correctitud de sistemas geo-replicados se convierte en una tarea difícil. Es así como hoy en día existe la necesidad de contar con herramientas que nos permitan especificar\, modelar y analizar sistemas geo-replicados. Los tipos de datos replicados han sido propuestos a tal fin. Los tipos de datos replicados son análogos a los tipos de datos abstractos\, pero sus operaciones tienen en cuenta los distintos niveles de consistencia\, es decir\, las anomalías o inconsistencias que el sistema puede aceptar hasta que las réplicas converjan a el mismo estado.\n\nEn esta tesis abordamos el problema de probar invariantes de datos sobre tipos de datos replicados. Como modelo formal de computación de sistemas geo-replicados adoptamos Quelea\, un modelo formal de consistencia mixta\, es decir\, que permite combinar operaciones con diferentes niveles de consistencia. Si bien Quelea está equipado con un lenguaje de contratos que permite razonar sobre la consistencia de las operaciones\, no provee herramientas que permitan escribir y probar invariantes de datos a nivel aplicación. Concretamente\, proponemos una técnica para probar invariantes de datos sobre el framework Quelea. Para ello\, proponemos una semántica operacional alternativa que garantiza una propiedad de consistencia conocida como visibilidad causal. Luego\, presentamos un conjunto de proof-rules que permiten verificar invariantes de datos y finalmente ilustramos como estas proof-rules pueden implementarse en F*\, un lenguaje de programación que descarga pruebas sobre un SMT solver.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-brian-bokser/
LOCATION:Laboratorio Turing
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20191217T180000
DTEND;TZID=America/Sao_Paulo:20191217T190000
DTSTAMP:20260611T212954
CREATED:20191211T124859Z
LAST-MODIFIED:20191211T124859Z
UID:5618-1576605600-1576609200@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Vera Bogdanich Espina
DESCRIPTION:Título: Verificación de smart contracts en Ethereum: un estudio y un prototipo\nDirector: Diego Garbervetsky\nJurados: Juan Pablo Galeotti\, Hernan Melgratti\n\nResumen:\nLos contratos inteligentes\, o smart contracts\, son programas que pueden ser ejecutados consistentemente por una red de nodos que se desconfían mutuamente\, sin el arbitraje de una autoridad centralizada. Debido a su resistencia a la manipulación\, los smart contracts son atractivos en muchos escenarios\, especialmente en aquellos que requieren transferencias de dinero respetando ciertas reglas acordadas. Desafortunadamente\, programar smart contracts es una tarea delicada que requiere experiencia: sus aplicaciones y la semántica de los sistemas descentralizados inevitablemente introducen una gran cantidad de problemas de seguridad. Por lo tanto\, surgieron métodos y herramientas para apoyar el desarrollo de smart contracts seguros. Evaluar la calidad de estas herramientas resulta difícil.\nEsta tesis pretende ser una guía para quienes tienen la intención de analizar smart contracts\, ya sea durante una auditoría o durante el desarrollo de aplicaciones descentralizadas. En particular\, para los auditores de OpenZeppelin\, que mostraron interés en el análisis automático y quieren aplicarlo en su trabajo diario. Además de realizar este estudio sobre técnicas de análisis automático para smart contracts\, también desarrollamos una herramienta prototipo que combina dos enfoques existentes y agrega un lenguaje de especificación para crear un monitor para controles de seguridad. Este monitor se implementó como una instrumentación del contrato proporcionado\, por lo que se puede evaluar con casi cualquier programa de análisis para así aprovechar sus capacidades\, y al mismo tiempo expresar invariantes del contrato en un lenguaje inspirado en las lógicas temporales.\n 
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-vera-bogdanich-espina/
LOCATION:Laboratorio Turing
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20191218T150000
DTEND;TZID=America/Sao_Paulo:20191218T160000
DTSTAMP:20260611T212954
CREATED:20191212T132554Z
LAST-MODIFIED:20191218T143204Z
UID:5624-1576681200-1576684800@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Alejandro Candioti
DESCRIPTION:Título:  «Buscando un ciclo Euleriano compatible: un algoritmo rápido”\nDirectora: Verónica Becher\nJurados: Flavia Bonomo y Min Chih Lin \nResumen: Un ciclo Euleriano en un grafo G es un camino cerrado que usa todos los arcos de G exactamente una vez. Dos ciclos Eulerianos son compatibles si no comparten ningún camino de longitud 2. Fleischner y Jackson demuestran en 1990  que para todo camino Euleriano en un grafo dirigido de grado mínimo 3\, existe otro ciclo Euleriano compatible. El resultado principal de esta tesis es un algoritmo para calcular un ciclo Euleriano compatible a uno dado en un grafo dirigido  de grado mínimo 3\, con  complejidad de peor caso  O(E * log(V)) donde  V y E la cantidad de vértices y arcos del grafo. Nuestro algoritmo  se basa en las ideas de Lin\, Ward\, Jain y Skiena de 2011.     Un segundo resultado de esta tesis responde una pregunta de Becher y Heiber en 2011 y es un algoritmo para  extender una secuencia de  Bruijn de orden n a otra de orden n+1 para alfabetos de grado mayor o igual que 3.  Nuestra solución de este problema se basa en el algoritmo previamente descripto que genera un ciclo Euleriano compatible a otro dado. Esta solución también puede usarse para  extender  otras secuencias que son variantes de las secuencias de Bruijn\, como los llamados collares perfectos.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-alejandro-candioti/
LOCATION:Aula E24
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20191218T170000
DTEND;TZID=America/Sao_Paulo:20191218T180000
DTSTAMP:20260611T212954
CREATED:20191211T125150Z
LAST-MODIFIED:20191211T125150Z
UID:5620-1576688400-1576692000@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Ángel Abregú y Martín De Micheli
DESCRIPTION:Título: LigQ 2.0 y ReverseLigQ: dos herramientas de Virtual Screening e Inverse Virtual Screening basadas en aprendizaje automático\nDirectores: Pablo Turjanski y Marcelo Martí\nJurados: Esteban Lanzarotti y Darío Fernández Do Porto \nResumen\nEn el presente trabajo de tesis se aborda el problema de generación de conjuntos de moléculas pequeñas que puedan comportarse como ligandos para proteínas de interés y su inverso\, la generación de conjuntos de proteínas con altas chances de acoplamiento a un ligando objetivo. En la actualidad\, las bases de datos de moléculas poseen millones de compuestos y\, poder predecir acoplamientos\, es un problema relevante para la comunidad. Durante el desarrollo de esta tesis\, nos enfocamos específicamente en el problema de vincular las propiedades conocidas sobre el sitio de unión de la proteína estudiada con las propiedades de los ligandos candidatos. Los descriptores escogidos son\, por lo general\, valores fisicoquímicos\, morfológicos y topológicos\, ya sean calculados o conocidos experimentalmente. Para realizar este vínculo de manera óptima\, aplicamos técnicas de aprendizaje automático\, estableciendo una valoración de los compuestos obtenidos en base a los parámetros calculados como óptimos para que una molécula se acople  eficientemente a nuestro objetivo de interés. Los resultados finales\, si bien no fueron los esperados\, dan lugar a modelos de uso real mediante su incoporación en sistemas web que permiten su uso irrestricto.\nPara acercar a la comunidad nuestros desarrollos\, tomamos como punto de partida una herramienta preexistente denominada LigQ. Esta herramienta permite calcular\, dada una proteína como entrada\, conjuntos de moléculas candidatas a ser ligandos de la misma\, es decir\, que pueden potencialmente acoplarse a ella modulando o inhibiendo su actividad. Adaptamos dicha herramienta\, incorporando modelos de aprendizaje automático construídos durante este trabajo. Análogamente\, para el problema inverso\, desarrollamos una herramienta similar\, a la que denominamos reverse-LigQ.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-angel-abregu-y-martin-de-micheli/
LOCATION:Laboratorio 6
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20191218T180000
DTEND;TZID=America/Sao_Paulo:20191218T190000
DTSTAMP:20260611T212954
CREATED:20191212T132826Z
LAST-MODIFIED:20191218T124639Z
UID:5626-1576692000-1576695600@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Daniela Marottoli
DESCRIPTION:Título: Detección estática de canales no cerrados usando tipos comportamentales\nDirector: Hernan Melgratti\nJurados: Carlos Lopez Pombo\, Christian Roldán\n\nResumen:\nGo es un lenguaje de programación tipado estáticamente cuyo diseño presenta primitivas explícitas de intercambio de mensajes a través de canales. Lange\, Ng\, Toninho y Yoshida proponen un sistema de tipos comportamentales para analizar propiedades sobre aspectos comunicacionales de programas en Go\, tales como ausencia de deadlocks y errores de comunicación. Esta verificación se realiza a través de dos herramientas\, Dingo Hunter y Gong\, que toman un programa en Go e indican si satisfacen estas propiedades. Furman extiende estas herramientas agregando mensajes de error que contienen información sobre la línea de código que viola las propiedades\, y la historia de ejecución asociada. El objetivo de este trabajo es mejorar la usabilidad de las herramientas incorporando una detección estática de canales abiertos\, de manera de agregar en el output información sobre canales que no son cerrados y que no se utilizan en el futuro de la ejecución. Para ello se extiende la implementación de Gong de manera de obtener información sobre tipos asociados a canales que se eliminan cuando se construye la máquina de estados que representa la ejecución simbólica de los tipos comportamentales de un programa.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-daniela-marottoli/
LOCATION:Aula E24
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20191219T110000
DTEND;TZID=America/Sao_Paulo:20191219T120000
DTSTAMP:20260611T212954
CREATED:20191213T133251Z
LAST-MODIFIED:20191213T133251Z
UID:5628-1576753200-1576756800@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Kevin Piotrkowski
DESCRIPTION:Título: Bitcoin: Todos se benefician por igual\, pero… ¿Hay algunos más iguales que otros?\nDirectores: David Gonzalez Marquez\, Maximiliano Geier\nJurados: Daniel Foguelman\, Gabriel Wainer\n\nResumen:\n\n\n\n\n\nLa aparición y el auge de Bitcoin plantean nuevos posibilidades sobre la forma tradicional de hacer transacciones\, así como también nuevos desafós a resolver.Desde distintos grupos académicos y de la industria del software se está trabajando en herramientas que permitan evaluar el comportamiento de la red bajo diferentes condiciones.\nEn este trabajo presentamos una herramienta para simular la red Bitcoin utilizando el framework provisto por SimGrid\, un simulador de eventos discretos.\nEl foco está puesto en los aspectos que permiten llegar a un consenso distribuido sobre el historial de transacciones que ocurrieron en la red.\nVamos a tener dos tipos de actores: nodos y mineros.  Todos los actores van a seguir el comportamiento del cliente de referencia de Bitcoin para transmitir\, recibir y validar los mensajes en la red simulada.\nLa herramienta provista permite analizar como se comporta la red ante una traza de actividad determinada así como el comportamiento ante cambios de parámetros en el protocolo de consenso o de red\, y en particular será utilizada en nuestro trabajo para identificar ventajas que puedan obtener los actores mediante una mejora en su conectividad o en el poder de cómputo disponible.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-kevin-piotrkowski/
LOCATION:Laboratorio Turing
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20191220T140000
DTEND;TZID=America/Sao_Paulo:20191220T150000
DTSTAMP:20260611T212954
CREATED:20191213T162857Z
LAST-MODIFIED:20191219T114101Z
UID:5638-1576850400-1576854000@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Martín Mongi Badía
DESCRIPTION:Título: Algoritmos basados en programación lineal entera para el problema de ruteo de buses escolares\nDirector: Javier Marenco\nJurados: Dra. Paula Zabala y Dr. Federico Pousa \nResumen:\nEn esta tesis\, estudiamos maneras de resolver el problema de ruteo de buses escolares. Este problema consiste en\, dado un sector urbano\, un conjunto de potenciales paradas\, estudiantes y sus ubicaciones\, buscar un conjunto de rutas y asignación de paradas óptimos. Aunque se pueden usar varias definiciones de optimalidad\, nosotros buscamos minimizar la distancia recorrida por los buses. Nuestro enfoque es en la resolución exacta de este\nproblema.\nPresentamos tres modelos diferentes de programación lineal entera básicos. Generamos variantes sobre los modelos particulares\, con el fin de mejorar la performance. Con el objetivo de reducir la simetría de nuestros modelos\, presentamos una técnica de agrupación de estudiantes. Creamos una heurística para utilizar una solución inicial y una heurística primal sobre subnodos. Realizamos una extensa experimentación y presentamos los resultados obtenidos y las conclusiones al respecto.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-martin-mongi-badia/
LOCATION:Aula E24
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20191220T170000
DTEND;TZID=America/Sao_Paulo:20191220T180000
DTSTAMP:20260611T212954
CREATED:20191213T163311Z
LAST-MODIFIED:20191213T163709Z
UID:5640-1576861200-1576864800@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Patricio Tarantino
DESCRIPTION:Titulo: Compresores de datos como estimadores de diversidad en repertorios de células T \nDirector: Esteban Lanzarotti \nJurados: Pablo Turjanski y Diego Ferreiro \nResumen: \nLa diversidad de receptores de células T presentes en el cuerpo humano es una forma de saber la eficiencia del mismo\, ya que nos permite saber a cuántos antígenos distintos es capaz de reconocer. Sin embargo\, su medición es difícil pues no todos se presentan en muestras sanguíneas\, y más aún\, aunque tengamos a los receptores de células T\, no es fácil saber qué antígeno reconocerán. Pero sí podemos suponer que receptores de células T con estructura similar reaccionarán frente a las mismas moléculas externas. \nProponemos entonces un modelo basado en los compresores de datos\, que son capaces de reconocer patrones en cadenas de texto (cadenas de aminoácidos)\, que intentarán\, dado un conjunto de receptores de células T\, estimar su diversidad basado en su composición estructural\, y a su vez\, a cuántos antígenos distintos reconocen. Mejoraremos luego dicho modelo\, que llamaremos CompreScore\, agregando la noción de similitud entre aminoácidos provista por las matrices BLOSUM\, que proveerá más información a los compresores a la hora de encontrar patrones y obtener información. Por último\, probaremos nuestro modelo CompreScore frente a pacientes\, y veremos que genera una nueva métrica de diversidad\, independiente de las ya conocidas como Shannon o Simpson\, y más aún\, es también capaz de brindar información en otras dimensiones del paciente\, como es su rango etario.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-patricio-tarantino/
LOCATION:Laboratorio 5
CATEGORIES:Agenda
END:VEVENT
END:VCALENDAR