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:20200319T110000
DTEND;TZID=America/Sao_Paulo:20200319T120000
DTSTAMP:20260717T215310
CREATED:20200312T132301Z
LAST-MODIFIED:20200312T132348Z
UID:5813-1584615600-1584619200@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Lucas Rafael Romero
DESCRIPTION:Titulo:  Una extensión polimórfica para los λ-cálculos cuánticos λρ y λρ°\nDirector:  Alejandro Díaz-Caro\nJurados:  Hernán Melgratti – Andrés Viso \nResumen:\nEn 2017 Díaz-Caro presentó dos extensiones al cálculo lambda simplemente tipado que modelaban el cómputo cuántico\, llamadas λρ y λρ°. La novedad de estos cálculos radica en que representan los sistemas cuánticos mediante sus matrices de densidad asociadas haciendo que el cálculo esté más cercano a su semántica. El paper original contiene las demostraciones de las propiedades de subject reduction y progreso. En 2019 Borgna demostró en su tesis de licenciatura la normalización fuerte de los cálculos mediante una traducción al cálculo cuántico λq de Selinger y Valiron. \n\nEste trabajo apunta a extender ambos cálculos con un sistema de tipado polimórfico a la Curry\, extensión de System F\, y contextos de tipado un poco más permisivos. Sobre estas extensiones demostramos que se mantienen subject reduction y presentamos una demostración de normalización fuerte mediante candidatos de reducibilidad. También probamos que  λρ° es confluente\, y utilizando la noción de confluencia probabilística definida por Martínez en 2018\, presentamos las dificultades y posibles enfoques para lograr la confluencia de λρ.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-lucas-rafael-romero/
LOCATION:Aula 3\, Pabellón 2
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20200313T150000
DTEND;TZID=America/Sao_Paulo:20200313T160000
DTSTAMP:20260717T215310
CREATED:20200309T135722Z
LAST-MODIFIED:20200312T131829Z
UID:5804-1584111600-1584115200@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Gonzalo Fernandez
DESCRIPTION:Título: «Estimación de la veracidad de expresiones faciales utilizando aprendizaje profundo»\nDirector: María Elena Buemi\nJurados: Enrique Segura – Daniel Acevedo\n\nResumen:\nEn este trabajo se estudian diferentes enfoques basados en aprendizaje automático (en particular\, variantes de redes neuronales artificiales) para clasificar instancias de expresiones faciales en video según su veracidad. Este problema tiene la particularidad\, en comparación\na la mayorı́a de problemas que las computadoras aprendieron a resolver utilizando inteligencia artificial\, de que es una tarea que no es trivial de resolver para los seres humanos.\nCon ello surge la dificultad de evaluar el rendimiento de los modelos desarrollados. Entre las múltiples aplicaciones que tiene este problema están mejorar la interacción\nhumano-computadora\, aumentar la efectividad de los robots asistentes\, aportar en el tratamiento de desórdenes cognitivos crónicos\, asistir investigaciones policiales\, entre otros.\nTambién podrı́a ser utilizado como herramienta para inferir qué tan bueno es un actor o para juzgar si un sospechoso dice la verdad.\nSe utiliza como base de entrenamiento la SASE-FE que fue diseñada especı́ficamente para resolver este problema en particular. Esta base contiene videos de sujetos realizando expresiones faciales\, etiquetados según tipo de expresión y valor de verdad.\nEl principal análisis se basa en comparar redes neuronales profundas (feed-forward) con redes neuronales recurrentes. Este tipo particular de redes se caracteriza por su capacidad de extraer información de una secuencia y almacenarla a través del tiempo. Ası́\, un video puede ser clasificado utilizando no sólo los atributos obtenidos en cada cuadro sino también los de sus antecesores.\nAnte la escasez de datos para experimentar\, se propone una nueva métrica para realizar un análisis más granular y la cual permite comparar con más detalle los resultados que arroja cada variante implementada. Los resultados sugieren que los rasgos determinantes que permiten distinguir entre una expresión sincera y una fingida están muy arraigados al sujeto que las ejecuta y\, por lo tanto\, desarrollar un clasificador universal (independiente\ndel sujeto en cuestión) parece ser poco viable.\nEn cuanto a la comparación entre los dos tipos de redes\, si bien las recurrentes no mejoraron los valores obtenidos por las profundas\, sı́ se destaca que obtuvieron resultados similares con menor cantidad de épocas de entrenamiento.\nPalabras claves: Expresiones Faciales\, Landmarks\, Redes Neuronales Recurrentes.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-gonzalo-fernandez/
LOCATION:Aula 5
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20200221T143000
DTEND;TZID=America/Sao_Paulo:20200221T153000
DTSTAMP:20260717T215310
CREATED:20200217T141102Z
LAST-MODIFIED:20200217T141304Z
UID:5690-1582295400-1582299000@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Julian Palladino
DESCRIPTION:Título: Adaptación de dominio no supervisada para segmentación de resonancias magneticas cerebrales mediante redes adversarias de consistencia cíclica.\nDirectores: Enzo Ferrante / Diego Fernandez Slezak\nJurados: Marcelo Risk / Enzo Tagliazzuchi\nResumen:\n\nLa segmentación automática es uno de los problemas más importantes en el campo de visión por computadora aplicado al análisis de imágenes médicas. En particular\, la segmentación de estructuras anatómicas y patológicas en imágenes de resonancia magnética cerebrales (MRI\, por sus siglas en inglés) es una tarea fundamental en el ámbito de neuroimágenes (por ejemplo\, para el análisis morfométrico de cerebro o el planeamiento de radioterapia).Las redes neuronales convolucionales (CNN) específicamente diseñadas para segmentación de imágenes biomédicas (tales como U-Net o DeepMedic) han superado toda técnica previa en esta labor. Sin embargo\, son extremadamente dependientes de los datos y sólo mantienen un buen rendimiento cuando no hay cambios entre las distribuciones de datos de entrenamiento y de evaluación. Este escenario ocurre frecuentemente en la práctica\, ya que variar la marca\, el modelo o los parámetros de adquisición del equipo de resonancia magnética utilizado tiene gran impacto en la distribución de las MRI que genera. En otras palabras\, dichas variciones generan un cambio en el «dominio» del que provienen las imágenes. Para poder hacer frente a este problema y reutilizar modelos que han sido entrenados en dominios diferentes\, se utilizan técnicas de «adaptación de dominio». \nEn este trabajo se propone una estrategia no supervisada de adaptación de dominio basada en redes neuronales adversarias de consistencia cíclica (CycleGAN)\, cuyo objetivo es aprender una función «traductora» que transforme eficazmente imágenes de resonancia magnética volumétricas a través de distintos dominios. Para ello\, se implementaron modelos de CycleGAN en 2D y 3D\, y se verificó que ambos permiten reducir la divergencia de Jensen-Shannon entre dominios de MRI\, lo cual posibilita una segmentación automática con modelos de CNN sobre dominios donde no se tienen datos etiquetados.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-julian-palladino/
LOCATION:Laboratorio 1
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20191220T170000
DTEND;TZID=America/Sao_Paulo:20191220T180000
DTSTAMP:20260717T215310
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
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20191220T140000
DTEND;TZID=America/Sao_Paulo:20191220T150000
DTSTAMP:20260717T215310
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:20191219T110000
DTEND;TZID=America/Sao_Paulo:20191219T120000
DTSTAMP:20260717T215310
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:20191218T180000
DTEND;TZID=America/Sao_Paulo:20191218T190000
DTSTAMP:20260717T215310
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:20191218T170000
DTEND;TZID=America/Sao_Paulo:20191218T180000
DTSTAMP:20260717T215310
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:20191218T150000
DTEND;TZID=America/Sao_Paulo:20191218T160000
DTSTAMP:20260717T215310
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:20191217T180000
DTEND;TZID=America/Sao_Paulo:20191217T190000
DTSTAMP:20260717T215310
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:20191216T170000
DTEND;TZID=America/Sao_Paulo:20191216T180000
DTSTAMP:20260717T215310
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:20191211T183000
DTEND;TZID=America/Sao_Paulo:20191211T203000
DTSTAMP:20260717T215310
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:20191211T170000
DTEND;TZID=America/Sao_Paulo:20191211T180000
DTSTAMP:20260717T215310
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:20191206T150000
DTEND;TZID=America/Sao_Paulo:20191206T160000
DTSTAMP:20260717T215310
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:20191204T160000
DTEND;TZID=America/Sao_Paulo:20191204T170000
DTSTAMP:20260717T215310
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:20191204T130000
DTEND;TZID=America/Sao_Paulo:20191204T140000
DTSTAMP:20260717T215310
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:20191122T090000
DTEND;TZID=America/Sao_Paulo:20191122T200000
DTSTAMP:20260717T215310
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:20191119T150000
DTEND;TZID=America/Sao_Paulo:20191119T160000
DTSTAMP:20260717T215310
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:20191119T140000
DTEND;TZID=America/Sao_Paulo:20191119T150000
DTSTAMP:20260717T215310
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:20191116T100000
DTEND;TZID=America/Sao_Paulo:20191116T180000
DTSTAMP:20260717T215310
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:20191114T190000
DTEND;TZID=America/Sao_Paulo:20191114T200000
DTSTAMP:20260717T215310
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:20191114T140000
DTEND;TZID=America/Sao_Paulo:20191114T150000
DTSTAMP:20260717T215310
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:20191111T140000
DTEND;TZID=America/Sao_Paulo:20191111T160000
DTSTAMP:20260717T215310
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:20191106T180000
DTEND;TZID=America/Sao_Paulo:20191106T180000
DTSTAMP:20260717T215310
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:20191102T200000
DTEND;TZID=America/Sao_Paulo:20191103T030000
DTSTAMP:20260717T215310
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:20191030T110000
DTEND;TZID=America/Sao_Paulo:20191030T120000
DTSTAMP:20260717T215310
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:20191021T140000
DTEND;TZID=America/Sao_Paulo:20191021T160000
DTSTAMP:20260717T215310
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:20191008T110000
DTEND;TZID=America/Sao_Paulo:20191008T130000
DTSTAMP:20260717T215310
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:20190909T110000
DTEND;TZID=America/Sao_Paulo:20190909T130000
DTSTAMP:20260717T215310
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:20190905T153000
DTEND;TZID=America/Sao_Paulo:20190905T163000
DTSTAMP:20260717T215310
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
END:VCALENDAR