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:20190801T140000
DTEND;TZID=America/Sao_Paulo:20190801T150000
DTSTAMP:20260718T093637
CREATED:20190725T123444Z
LAST-MODIFIED:20190725T123444Z
UID:5383-1564668000-1564671600@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Agustín Borgna
DESCRIPTION:Titulo:  Simulación del lambda cálculo de matrices de densidad en el\nlambda cálculo cuántico de Selinger y Valiron \nDirector :    Alejandro Díaz-Caro \nJurados:   Beniamino Accattoli\,  Pablo Barenbaum  y  Carlos López Pombo. \nResumen:\nEl espacio de los estados cuánticos en el campo de la computación\ncuántica puede ser representado por vectores en un espacio de Hilbert\no por matrices de densidad. Selinger y Valiron definieron λq en 2005\,\nuna extensión cuántica del cálculo lambda que utiliza vectores para\nrepresentar el estado cuántico y sigue el paradigma de datos\ncuánticos / control clásico. \nEl cálculo λρ introducido por Dı́az-Caro en 2017\, en cambio\, describe\nlos estados cuánticos utilizando matrices de densidad. Estas matrices\nproporcionan una forma de representar estados cuánticos mixtos. Una\nmodificación de este cálculo llamada λᵒρ extiende λρ mediante la\nadición de sumas algebraicas de términos para representar una\ngeneralización de las matrices de densidad. \nEn este trabajo analizamos la relación entre los cálculos definiendo\nuna traducción de λρ a λq y su inversa. Usando la traducción\nprobamos la normalización fuerte de λρ. Luego demostramos que las\nmatrices de densidad generalizadas en el cálculo λᵒρ son equivalentes\na una elección no-determinista entre términos en λρ y definimos una\nsimulación completa de λᵒρ en λq.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-agustin-borgna/
LOCATION:Aula a confirmar
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20190805T100000
DTEND;TZID=America/Sao_Paulo:20190805T110000
DTSTAMP:20260718T093637
CREATED:20190729T132922Z
LAST-MODIFIED:20190729T132922Z
UID:5386-1564999200-1565002800@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Matias Laporte
DESCRIPTION:Titulo:  Modelos computacionales de discurso libre sobre tratamientos con drogas psiquiátricas y su relación con datos farmacoquímicos \nDirectores : Facundo Carrillo y Enzo Tagliazucchi \nJurados: Pablo Riera y Lucas Drucaroff \nResumen: \nEn los últimos años\, las ciencias de la computación contribuyeron a las ciencias médicas de maneras disruptivas\, mejorando los diferentes campos de aplicación. En particular\, en la psiquiatría/psicología y demás ciencias cognitivas\, los modelos y algoritmos de procesamiento del lenguaje natural (NLP) mejoraron el estado del arte tanto en las descripciones y modelado fenomenológico\, como en la práctica clínica. \nTrabajos pasados demostraron la factibilidad de la aplicación de técnicas de NLP para el diagnóstico de patologías psiquiátricas\, la caracterización del discurso por intoxicaciones farmacológicas\, y la asociación entre los reportes de efectos subjetivos y el perfil de afinidad de fenetilaminas y triptaminas sustituidas\, entre otros. \nEl presente trabajo propone el análisis de características farmacoquímicas (estructura química\, afinidad por receptores) de distintos tipos de drogas psiquiátricas (antipsicóticos\,  antidepresivos) y su relación con los efectos subjetivos reportados por pacientes que se encuentran bajo tratamiento con ellas. \nPara la caracterización de la semántica de los reportes\, recolectados de diversos sitios web\, se utiliza la técnica de Análisis de la Semántica Latente (LSA) aplicada a dos corpus distintos\, uno de ellos externo. Los datos de afinidad\, por su parte\, surgen de bases de datos públicas\, y los de estructura química se calculan mediante algoritmos a partir de sus descriptores moleculares. \nLos resultados del trabajo evidencian una correlación positiva significativa entre la semántica obtenida de los reportes asociados a una droga\, su estructura química y su afinidad a los distintos receptores. Asimismo es posible distinguir a partir de los valores de similitud semántica entre los subtipos de los distintos pares de drogas (antidepresivos de tipo SSRI\, SNRI\, TCA\, etc.). \nA su vez\, el trabajo como punto de partida para análisis más profundos en el área. El objetivo final de esta línea de investigación\, que excede esta tesis\, es optimizar la acción de farmacos sobre distintos receptores cerebrales para minimizar las componentes del discurso natural asociadas a efectos indeseables.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-matias-laporte/
LOCATION:Laboratorio 4
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20190812T140000
DTEND;TZID=America/Sao_Paulo:20190812T160000
DTSTAMP:20260718T093637
CREATED:20190326T123238Z
LAST-MODIFIED:20190326T123238Z
UID:5028-1565618400-1565625600@www.dc.uba.ar
SUMMARY:Charla de la Carrera
DESCRIPTION:El lunes 12 de agosto 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 9 de septiembre\, ¡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-agosto19/
LOCATION:Hall de Pabellón 1
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20190815T160000
DTEND;TZID=America/Sao_Paulo:20190815T170000
DTSTAMP:20260718T093637
CREATED:20190808T133313Z
LAST-MODIFIED:20190814T182531Z
UID:5396-1565884800-1565888400@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Martín Jedwabny
DESCRIPTION:Titulo: Explicaciones usando Argumentación y Lógica Rebatible. \nDirector: Ricardo Rodriguez. \nCo-Directores: Madalina Croitoru y Pierre Bisquert \nJurados: Vanina Martinez y Santiago Figuera \n  \nResumen: Este trabajo buscara contestar la siguiente pregunta: «Que es una buena explicación en el\ncontexto de un sistema de argumentación y l ógicas rebatibles (defeasible logics)?».\nLos sistemas de argumentación [1] buscan modelar información contradictoria de forma\nabstracta mediante grafos dirigidos. Concretamente\, la información es modelada como nodos\ny las contradicciones como ejes en la estructura. \nPor otro lado\, las lógicas rebatibles [2] permiten modelar bases de conocimiento compuestas\nde reglas estrictas y no-estrictas. Mediante este tipo de razonamiento\, es posible razonar\nen contextos contradictorios. \nUn grafo de declaraciones (statement graph) [3] es una estructura que combina distintas\nnociones de las dos previamente mencionadas. En particular\, modela la información como\nnodos en un grafo\, los cuales contienen formulas expresadas vía lógicas rebatibles. Este grafo\nutiliza dos tipos de ejes; uno para indicar soporte (cuando la conclusión de una fórmula justifica\nla premisa de la otra)\, y otro para indicar contradicción (cuando la conclusión de una fórmula\ncontradice\, desde el punto de vista l ógico\, la premisa de la otra). Este modelo permite extraer\nconclusiones de una forma similar a la de otros sistemas de argumentación. \nUno de los principales problemas con estos tipos de estructuras es que suelen ser de un\ntamaño prohibitivo desde el punto de vista explicativo\, lo cual produce que las conclusiones\nsean difíciles de entender para un ser humano. \nEn este trabajo nos proponemos construir un marco teórico para proveer explicaciones para los\nsistemas de argumentación y grafos de declaraciones\, de tal manera de minimizar la información\nnecesaria para las justificaciones y priorizar los aspectos más importantes del proceso de razonamiento. \nPor estos motivos\, realizaremos un estudio del concepto de explicación desde el punto de vista de las\nciencias cognitivas\, las ciencias de la computación y de la inteligencia artificial [4]\, para luego proveer\nun modelo que refleje las conclusiones a las que lleguemos. \nReferencias: \n[1] Phan Minh Dung. On the acceptability of arguments and its fundamental role in nonmonotonic reasoning\, logic programming and n-person games. Artificial intelligence\, 77(2):321–357\, 1995.\n[2] Grigoris Antoniou\, David Billington\, Guido Governatori\, and Michael J Maher. A flexible\nframework for defeasible logics. In AAAI/IAAI\, pages 405–410\, 2000.\n[3] Abdelraouf Hecham\, Pierre Bisquert\, and Madalina Croitoru. On a flexible representation for defeasible reasoning variants. In Proceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems\, pages 1123–1131. International Foundation for Autonomous Agents and Multiagent Systems\, 2018.\n[4] Tim Miller. Explanation in artificial intelligence: Insights from the social sciences. Artificial Intelligence\, 2018.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-martin-jedwabny/
LOCATION:Laboratorio Turing
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20190904T150000
DTEND;TZID=America/Sao_Paulo:20190904T160000
DTSTAMP:20260718T093637
CREATED:20190829T125047Z
LAST-MODIFIED:20190829T125047Z
UID:5439-1567609200-1567612800@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Emilio Almansi
DESCRIPTION:Título: Secuencias completamente equidistribuidas basadas en secuencias de De Bruijn\nDirectora: Verónica Becher\nJurados :  Santiago Figueira  y Javier Marenco \nResumen: Estudiamos la construcción de Donald Knuth de 1965 de una secuencia de números reales completamente equidistribuidos. La propiedad de equidistribución completa implica muchas  propiedades estadísticas comunes a todas las secuencias aleatorias\, como por ejemplo\, la probabilidad de que k términos consecutivos tengan un orden específico es 1/k!.   El trabajo de Knuth se basa en secuencias de De Bruijn\, y son de especial interés las que pueden generarse  en tiempo constante amortizado (por ejemplo  mediante el algoritmo  de Fredricksen\, Kessler\, Maiorana de 1978).  En la  tesis  presentamos una variante de la secuencia de Knuth mediante una construcción similar a la de Knuth\, aunque más sencilla. Damos una prueba elemental de que esta secuencia también es completamente equidistribuída.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-emilio-almansi/
LOCATION:Aula a confirmar
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20190905T153000
DTEND;TZID=America/Sao_Paulo:20190905T163000
DTSTAMP:20260718T093637
CREATED:20190827T174455Z
LAST-MODIFIED:20190827T174549Z
UID:5435-1567697400-1567701000@www.dc.uba.ar
SUMMARY:Charla de Marco Vanotti (Google).
DESCRIPTION:Titulo: «Fuzzing\, el arte de romper software» \nFuzzing es una de las técnicas más utilizadas para encontrar potenciales\nproblemas de seguridad en software. En sus orígenes consistía en ejecutar\nprogramas con entradas generadas de manera aleatoria. Con el pasar de los\naños se han desarrollado varias mejoras que hacen aún más efectivo el\nproceso\, como instrumentar los binarios para detectar corrupciones de\nmemoria\, reportar cobertura de código para influenciar la generación de\ncasos de prueba\, o estrategias de paralelización para poder hacer fuzzing a\ngran escala. En esta charla hablaremos sobre los distintos tipos de fuzzers\ny las herramientas actuales. \nBIOGRAFÍA BREVE:\nMarco Vanotti trabaja en Google como desarrollador de software. Su equipo\nse encarga de encontrar y erradicar potenciales problemas de seguridad en\nsistemas operativos. Esto es en gran parte logrado mediante el desarrollo\nde herramientas de fuzzing a gran escala\, tanto para aplicaciones como para\ndrivers\, protocolos de red o el propio kernel.\nPrevio a Google\, Marco fue ayudante de cátedra del Departamento de\nComputación en la Facultad de Ciencias Exactas y Naturales de la\nUniversidad de Buenos Aires\, en donde se graduó como Licenciado en Ciencias\nde la Computación.
URL:https://www.dc.uba.ar/event/charla-de-marco-vanotti-google-fuzzing-el-arte-de-romper-software/
LOCATION:Laboratorio 1
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20190909T110000
DTEND;TZID=America/Sao_Paulo:20190909T130000
DTSTAMP:20260718T093637
CREATED:20190326T123421Z
LAST-MODIFIED:20190326T123501Z
UID:5030-1568026800-1568034000@www.dc.uba.ar
SUMMARY:Charla de la Carrera
DESCRIPTION:El lunes 9 de septiembre a las 11 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 21 de octubre\, ¡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-septiembre19/
LOCATION:Hall de Pabellón 1
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20191008T110000
DTEND;TZID=America/Sao_Paulo:20191008T130000
DTSTAMP:20260718T093637
CREATED:20191003T143923Z
LAST-MODIFIED:20191003T143923Z
UID:5501-1570532400-1570539600@www.dc.uba.ar
SUMMARY:Defensa Tesis Doctorado Facundo Carrillo
DESCRIPTION:Titulo: Modelos computacionales para la caracterización de estados mentales alterados\nDirectores: Mariano Sigman y Diego Fernandez Slezak\nJurados: Laura Alonso Alemany\, Enzo Tagliazzuchi y Salvador Guinjoan\nResumen: \nLa psiquiatría computacional (PC) es un nueva área interdisciplinaria que usa diferentes modelos computacionales\, en particular modelos de inteligencia artificial\, para describir los estados mentales de pacientes y sujetos en general. Para abordar esto\, la PC utiliza diferentes producciones de la mente. \nEn este trabajo construimos y usamos herramientas de NLP para caracterizar los estados mentales alterados a través del discurso como privilegiada ventana a la mente. A partir de este marco de trabajo\, aplicamos distintas técnicas y definimos algoritmos que nos permiten modelar las propiedades particulares de cada alteración. Para validar el marco aplicamos esta estrategia en diferentes casos. En mentes alteradas por enfermedades psiquiátricas\, en alteraciones producidas por intoxicaciones farmacológicas y en cambios producidos por escenarios de farmacodinamia hormonales típicos. \nNuestros resultados sostienen que la PC es un campo fuerte con evidencia sólida que pueda en el futuro transformar radicalmente la clínica psiquiátrica. Nuestro trabajo muestra la pertinencia e importancia de la inmiscusión de las ciencias del a computación en un campo tan interdisciplinaria como este.
URL:https://www.dc.uba.ar/event/defensa-tesis-doctorado-facundo-carrillo/
LOCATION:Laboratorio 5
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20191021T140000
DTEND;TZID=America/Sao_Paulo:20191021T160000
DTSTAMP:20260718T093637
CREATED:20190326T123643Z
LAST-MODIFIED:20190326T123643Z
UID:5032-1571666400-1571673600@www.dc.uba.ar
SUMMARY:Charla de la Carrera
DESCRIPTION:El lunes 21 de octubre 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 11 de noviembre\, ¡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-octubre19/
LOCATION:Hall de Pabellón 1
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20191030T110000
DTEND;TZID=America/Sao_Paulo:20191030T120000
DTSTAMP:20260718T093637
CREATED:20191029T123642Z
LAST-MODIFIED:20191029T123730Z
UID:5534-1572433200-1572436800@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Mathias Gatti
DESCRIPTION:Título: «Analizando cerebros con 500 dolares: Validación y estudio de redes de conectividad para un equipo de EEG portátil y económico»\n\n\n\nDirectores: Juan Kamienkowski y Daniel Fraiman\n\n\n\nResumen:\nLos estudios de electroencefalografía (EEG) han mostrado ser una herramienta fundamental como método complementario para el diagnóstico clínico y la comprensión de los procesos cognitivos humanos. Los registros de EEG usualmente se restringen a laboratorios o ambientes similares\, lo cual supone una limitación para estudiar poblaciones que son difícilmente trasladables al laboratorio o sufren de estrés o comportamiento poco natural al cambiar de entorno. Recientemente\, surgieron equipos de EEG de un costo considerablemente menor y mayor portabilidad con un objetivo más recreativo. Sin embargo\, el uso de estos equipos podría a largo plazo abrir los horizontes de aplicación de distintas protocolos tanto clínicos como de investigación. En esta tesis investigamos los límites de estos aparatos\, buscando determinar la aplicabilidad en los protocolos usuales de medición de actividad cerebral tanto a nivel clínico como a nivel de investigación.\n\n\n\nUna manera de analizar los registros de EEG es a través de redes funcionales. Estas redes se construyen a partir de la similaridad entre los distintos electrodos. Pero existen muchas formas de definir esta similaridad. En la presente tesis evaluamos las diferentes medidas de similaridad tanto en términos de su robustez como de su capacidad de predicción de distintos atributos de los sujetos. Este análisis lo realizamos para dos tipos de aparatos de EEG (bajo y alto costo) buscando determinar las diferencias. Entonces\, en primer lugar\, se ha desarrollado un entorno de experimentación que posibilitó la toma de datos en el laboratorio y\, de forma masiva\, en escuelas. Se analizaron dos conjuntos de datos\, el primero en adultos utilizando tanto el EEG de bajo costo y como el de alta resolución\, y el segundo en chicos de preescolar en las escuelas sólo con el EEG de bajo costo. Los resultados mostraron que existen medidas de similaridad suficientemente robustas para realizar análisis de conectividad cerebral. En particular\, se realizaron distintos experimentaciones utilizando el conjunto de datos de adultos\, de las cuales las medidas de PLV (Phase Locking value) y correlación (tanto de Spearman como de Pearson) dieron consistentemente los mejores resultados.\n\n\nLuego se analizaron los datos de chicos de preescolar utilizando estas medidas\, y se lograron predecir correctamente (AUC>0.67) algunas variables individuales como el nivel de sueño\, sexo y distinción entre ojos abiertos y cerrados. Basados en nuestros resultados y en los protocolos analizados podemos afirmar que ambos equipos tienen una performance muy parecida. Como paso final se publicó todo el código relevante permitiendo que cualquiera pueda replicar la toma de datos y análisis de conectividad con el sistema Emotiv.\n\n\nEsta tesis prepara el camino para el registro masivo de actividad cerebral con distintos paradigmas y\, en particular\, el estudio de los cambios en la conectividad cerebral a lo largo del desarrollo\, en ambientes más ecológicos.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-mathias-gatti/
LOCATION:Laboratorio 1
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20191102T200000
DTEND;TZID=America/Sao_Paulo:20191103T030000
DTSTAMP:20260718T093637
CREATED:20191029T120827Z
LAST-MODIFIED:20191030T121118Z
UID:5526-1572724800-1572750000@www.dc.uba.ar
SUMMARY:Computación en La Noche de los Museos
DESCRIPTION:El próximo sábado 2 de noviembre participaremos de la edición 2019 de La Noche de los Museos en la ya clásica Noche de la Ciencia en Exactas. \nDesde las 20.00 las 03:00 de la madrugada habrá actividades para público de todas las edades\, que incluyen experimentos\, demostraciones\, visitas guiadas\, talleres y juegos. \nActividades destacadas del Departamento de Computación: \n*Sala de Escape:\nHorarios: 20:30\, 21:30\, 22:30\, 23:30\, 0:30\, 1:30 \n*Performance de Live Coding\nProgramación de música en vivo toda la noche\, en el Salon Roberto Arlt de Pabellón 2. \n*Stands y estaciones demostrativas: ¡La computación en nuestra vida cotidiana! \n*Charlas sobre Programación y Artes audiovisuales. \nTe esperamos!
URL:https://www.dc.uba.ar/event/computacion-en-la-noche-de-los-museos/
LOCATION:Pabellón 2
CATEGORIES:Agenda
ATTACH;FMTTYPE=image/jpeg:https://www.dc.uba.ar/wp-content/uploads/2019/10/74685189_1646705255460528_2355825553681940480_n.jpg
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20191106T180000
DTEND;TZID=America/Sao_Paulo:20191106T180000
DTSTAMP:20260718T093637
CREATED:20191104T155406Z
LAST-MODIFIED:20191104T155446Z
UID:5547-1573063200-1573063200@www.dc.uba.ar
SUMMARY:Charla sobre Robótica y Sistemas Autónomos
DESCRIPTION:Título: «Cómo la innovación de los sistemas autónomos impulsará el futuro» \nDisertante: Eduardo Nebot. \nResumen: \nDurante los últimos 15 años\, hemos visto un progreso significativo en muchas áreas relacionadas con el sensado\, la navegación\, el control y aprendizaje automático. Las contribuciones fundamentales de investigación en estas áreas han permitido el desarrollo y despliegue de los sistemas autónomos. Australia es uno de los países que ha puesto un gran esfuerzo en el campo de la robótica aplicada con un despliegue muy impresionante de automatización a gran escala en áreas como la agricultura\, la minería\, el transporte y manejo de cargas. En esta charla se presentará un resumen de las transferencias tecnológicas realizadas por el ACFR (Australian Centre for Field Robotics) de la Universidad de Sydney\, proyectos actuales de sistemas de transporte inteligente y una visión general de los desafíos y oportunidades de investigación en sistemas autónomos. \nBio: \nEduardo Nebot recibió el título de Ingeniero Electrónico en la Universidad Nacional del Sur (Argentina) y los títulos de maestría y doctorado en la Universidad Estatal de Colorado (EE.UU.) Actualmente es profesor en la Facultad de Ingeniería Aeroespacial\, Mecánica y Mecatrónica de la Universidad de Sydney\, además es el director del Australian Centre for Field Robotics (ACFR). \nEl profesor Nebot es un referente internacional en el campo de la robótica y la automatización. El impacto fundamental de su investigación es en los sistemas autónomos\, de navegación y sistemas inteligentes de transporte. En la última década\, ha liderado una gran cantidad de proyectos de colaboración industrial y transferencia tecnológica. Su grupo de investigación tiene un papel activo en el desarrollo de tecnologías innovadoras en el área del transporte inteligente y los vehículos autónomos.
URL:https://www.dc.uba.ar/event/charla-sobre-robotica-y-sistemas-autonomos/
LOCATION:Aula E24
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20191111T140000
DTEND;TZID=America/Sao_Paulo:20191111T160000
DTSTAMP:20260718T093637
CREATED:20190326T123859Z
LAST-MODIFIED:20190326T123859Z
UID:5034-1573480800-1573488000@www.dc.uba.ar
SUMMARY:Charla de la Carrera
DESCRIPTION:El 11 de noviembre 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 11 de diciembre\, ¡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-noviembre19/
LOCATION:Hall de Pabellón 1
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20191114T140000
DTEND;TZID=America/Sao_Paulo:20191114T150000
DTSTAMP:20260718T093637
CREATED:20191107T175834Z
LAST-MODIFIED:20191107T175924Z
UID:5552-1573740000-1573743600@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Leandro Anacondio y Adrián Gajda
DESCRIPTION:Título: Un Algoritmo GRASP para el Problema de Ruteo de Arcos Capacitados No Dirigidos con Beneficios (UCARPP)\n\nDirectora: Irene Loiseau\nJurado: Javier Marenco\, Francisco Soulignac\n\n\nResumen: \nEl Problema de Ruteo de Arcos Capacitados No Dirigidos con Beneficios (UCARPP – Undirected Capacitated Arc Routing Problem with Profits) es un problema de optimización combinatoria que consiste en encontrar un conjunto de rutas para una flota homogénea de vehículos que puedan satisfacer las demandas ubicadas en los ejes de un grafo. Los ejes  tienen asociadas una demanda y una ganancia que se obtiene si se satisface esa demanda. Cada eje tiene asociado también un tiempo de viaje\, y puede ser transitado para atender un cliente en él. Los vehículos tienen una capacidad limitada. Sólo un vehículo puede recoger la demanda de un eje y cobrar la ganancia y se deben cumplir restricciones de duración máxima de las rutas y de capacidad de cada vehículo. El objetivo es maximizar la ganancia total. En este problema no se requiere recorrer todos los ejes con demanda o sea atender a todos los clientes. \nUCARPP es un problema de optimización combinatoria que pertenece a la clase NP-Hard. En la literatura se han propuesto algoritmos exactos y heurísticas. Los primeros\, obtienen soluciones óptimas sobre instancias de datos de tamaño reducido. Los segundos\, en general\, alcanzan soluciones cercanas a las óptimas y a bajo costo computacional. El objetivo de este trabajo fue desarrollar una heurística\, basada en la metaheurística GRASP\, que obtenga resultados competitivos y robustos.
URL:https://www.dc.uba.ar/event/tesis-licenciatura-leandro-anacondio-y-adrian-gajda/
LOCATION:Aula a confirmar
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20191114T190000
DTEND;TZID=America/Sao_Paulo:20191114T200000
DTSTAMP:20260718T093637
CREATED:20191108T151610Z
LAST-MODIFIED:20191108T151610Z
UID:5555-1573758000-1573761600@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Manuel Carrasco
DESCRIPTION:Titulo: Una técnica de ofuscación basada en una máquina virtual\nDirector: Juan Manuel Martinez Caamaño\nCo-director: Diego Garbervetsky\n\n\nResumen:\nLa propiedad intelectual contenida en una pieza de software puede ser extraída mediante la ingeniería reversa. Una forma de protegerse es mediante la utilización técnicas de ofuscación. El principio de la ofuscación es transformar un programa en otro funcionalmente equivalente pero mas difícil de entender para un atacante.\nLa principal técnica implementada en este trabajo se basa en una máquina virtual. La idea es que el programa a proteger pase a ser ejecutado por un intérprete introducido en el programa. De este modo un adversario debería entender el funcionamiento del intérprete antes de obtener el código original.\nEn nuestra experimentación pusimos a prueba nuestra implementación contra adversarios reales. Esto nos permitió encontrar vulnerabilidades contra ataques basados en ejecución simbólica. Para mitigar esas vulnerabilidades desarrollamos otras dos ofuscaciones que evitan o al menos complican esos tipos de ataques.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-manuel-carrasco/
LOCATION:Aula 7
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20191116T100000
DTEND;TZID=America/Sao_Paulo:20191116T180000
DTSTAMP:20260718T093637
CREATED:20191115T120704Z
LAST-MODIFIED:20191115T123647Z
UID:5565-1573898400-1573927200@www.dc.uba.ar
SUMMARY:Conferencia FemIT
DESCRIPTION:El día 16 de noviembre se realizará en el pabellón 2 la FemIT Conf 2019\, una conferencia sobre tecnología con perspectiva de género\, en el horario de 10hs a 18hs. \nSegún datos del 2018 de la CESSI (Cámara de la industria Argentina de Software) solo el 26% de talentos del sector del Software y Servicios Informáticos (SSI) son mujeres. Y en la actualidad las mujeres representan el 30% de las graduadas de carreras STEM y solo el 8% de los emprendimientos tecnológicos en el mundo están liderados por mujeres. \nDe las 102.800 inscripciones realizadas entre 2010 y 2015 en carreras relacionadas con Programación en nuestro país\, sólo el 16\,02% corresponden a ingresos de mujeres\, resultando entre los años 2010 y 2014\, una inscripción de una persona femenina cada cinco varones. \nEl evento es gratuito y abierto a la comunidad\, contará con 1 panel y 5 charlas técnicas\, a saber: «Herramientas para análisis de vulnerabilidades en aplicaciones web»\, «Identificación de personas travestis/trans/nb en los sistemas de información en salud»\, «El desarrollo de la primera canasta de gasto en productos de gestión menstrual de la campaña #Menstruacción»\, «Tecnología cívica: cómo los desarrollos pueden tener un impacto social»\, «Live coding – Programación aplicada al arte». \nComo parte de Exactas y en particular del área de Computación queremos declarar el evento de interés para nuestra comunidad entendiendo la importancia de la visibilización de mujeres y disidencias en la industria del software para fomentar los modelos de mujeres exitosas y acercar así a más personas a carreras como nuestra Licenciatura en Ciencias de la Computación. \nMás información en la web de la conferencia: http://lasdesistemas.org/ \nLa actividad es gratuita\, previa registración desde bit.ly/ticket-femitconf2019
URL:https://www.dc.uba.ar/event/conferencia-femit/
LOCATION:Pabellón 2
CATEGORIES:Agenda
ATTACH;FMTTYPE=image/jpeg:https://www.dc.uba.ar/wp-content/uploads/2019/11/femit.jpg
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20191119T140000
DTEND;TZID=America/Sao_Paulo:20191119T150000
DTSTAMP:20260718T093638
CREATED:20191113T121919Z
LAST-MODIFIED:20191113T121919Z
UID:5559-1574172000-1574175600@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Lucas Peterman
DESCRIPTION:Título: Números muy normales\nDirectora: Verónica Becher\nJurados: Santiago Figueira  y Martín Mereb \nResumen:  La noción de supernormalidad de un número real fue definida por Zeev Rudnick de la Universidad de Tel Aviv hace unos años. Lo poco que se conoce sobre esta noción no está publicado. Benjamin Weiss de la Universidad Hebrea  dio el 16 de Junio de 2010 una conferencia en el Instituto de Altos Estudios de  Princeton titulada “Random-like behavior in deterministic systems” donde describe la noción de supernormalidad\, a la que llama “Poisson generic” . Weiss afirma que la mayoría de los números reales son supernormales y que la supernormalidad es más fuerte que la noción clásica de normalidad de Borel. Es decir\, que si un número es supernormal\, entonces es normal pero no al revés. También afirma que el ejemplo más famoso de un número normal\, el número de Champernowne\, no es supernormal. Y deja abierto el problema de dar una construcción explícita de un número supernormal. En esta tesis damos la demostración completa de que el número binario de Champernowne no es supernormal.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-lucas-peterman/
LOCATION:Aula a confirmar
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20191119T150000
DTEND;TZID=America/Sao_Paulo:20191119T160000
DTSTAMP:20260718T093638
CREATED:20191113T122059Z
LAST-MODIFIED:20191113T122059Z
UID:5561-1574175600-1574179200@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Pablo Gauna
DESCRIPTION:Título: Números normales muy rápidos\nDirectora: Verónica Becher\nJurados: Santiago Figueira  y Martín Mereb \nResumen: La normalidad es la forma más básica de aleatoriedad para números reales.  Un número real x es normal en base 2 si en la expansión binaria de x el dígito 0 ocurre con la  misma frecuencia que el dígito 1\, y todos los bloques de dígitos del mismo tamaño ocurren con la misma frecuencia. Dado que las expansiones de los número reales son infinitas\,  la normalidad es una  propiedad que acerca de frecuencias asintóticas.  A pesar de que casi todos los números reales son normales en base 2\, algunos convergen a la normalidad más rápidamente que otros. No se sabe  cuál es la velocidad de convergencia a la normalidad más rápida posible para un número real x.  Esta pregunta abierta se formaliza como  la búsqueda de la mínima discrepancia que puede ser alcanzada por la secuencia (2^n x mod 1)_{n>0}\, para un número real x.  Los mejores resultados en esta dirección fueron dados por Mordechay Levin en 1999 quien define constructivamente dos números reales x  y w \, tales que la discrepancia de los primeros N términos de la secuencias (2^n x mod 1)_{n>0} y  (2^n w mod 1)_{n>0} son\, respectivamente\, del orden de (log N)^2/N y (log N)^3/N. En este trabajo nos centramos en la construcción de Levin para el número real w\, y probamos que en cada paso de la construcción hay al menos 4 opciones. La prueba está basada en caminos del árbol Stern-Brocot. Además conjeturamos que la discrepancia de los primeros N términos de la secuencia (2^n w mod 1)_{n>0}  es del orden de (\log N)^2/N.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-pablo-gauna/
LOCATION:Aula a confirmar
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20191122T090000
DTEND;TZID=America/Sao_Paulo:20191122T200000
DTSTAMP:20260718T093638
CREATED:20191029T121226Z
LAST-MODIFIED:20191029T121604Z
UID:5530-1574413200-1574452800@www.dc.uba.ar
SUMMARY:Encuentro Internacional de Profesorados en Ciencias Naturales\, Matemática y Tecnología.
DESCRIPTION:El “Encuentro…” se viene realizando en nuestra facultad desde el año 2007. En un principio se constituyó como un espacio para que los estudiantes de nuestro profesorado aprendieran una forma de comunicación en ciencias y que\, por otro lado\, se acercaran a las investigaciones científicas en didáctica de las ciencias participando de conferencias con especialistas. A través de los años el “Encuentro…” se ha ido tornando más numeroso\, manteniendo sus objetivos iniciales. Nuevos profesorados se acercaron al encuentro convirtiéndose\, en el año 2016\, en un espacio internacional donde los estudiantes de profesorado de nuestra facultad y de otras instituciones\, nacionales e internacionales\, pudieron entablar diálogos entre sí y con investigadores e investigadoras en didáctica de las ciencias. \nMás información en: http://www.ccpems.exactas.uba.ar/cms/index.php/encuentro-profesorados
URL:https://www.dc.uba.ar/event/encuentro-internacional-de-profesorados-en-ciencias-naturales-matematica-y-tecnologia/
LOCATION:Pabellón 2
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20191204T130000
DTEND;TZID=America/Sao_Paulo:20191204T140000
DTSTAMP:20260718T093638
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:20260718T093638
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:20260718T093638
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:20260718T093638
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:20260718T093638
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:20260718T093638
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:20260718T093638
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:20260718T093638
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:20260718T093638
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:20260718T093638
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:20260718T093638
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
END:VCALENDAR