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:20190805T100000 DTEND;TZID=America/Sao_Paulo:20190805T110000 DTSTAMP:20260713T190958 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:20190801T140000 DTEND;TZID=America/Sao_Paulo:20190801T150000 DTSTAMP:20260713T190958 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:20190729T150000 DTEND;TZID=America/Sao_Paulo:20190729T160000 DTSTAMP:20260713T190958 CREATED:20190722T115651Z LAST-MODIFIED:20190722T115651Z UID:5373-1564412400-1564416000@www.dc.uba.ar SUMMARY:Defensa Tesis Licenciatura Santiago Miño DESCRIPTION:Título: Algoritmos metaheurísticos para el Firefighter Problem\nDirector: Javier Marenco\nJurado: Guillermo Durán y Federico Pousa \nResumen: \nEl Firefighter Problem es un modelo determinístico de difusión y contención discreta\, cuyo objetivo es proteger una superficie para que no sea alcanzada por la propagación del fuego que nace de uno o más focos de incendio. El área bajo afectación de las llamas se la representa con un grafo\, y el «fuego» inicial se ubica en uno o más vértices en el tiempo 0. En cada intervalo de tiempo posterior\, el fuego avanza y se propaga por aquellos vértices vecinos que no se encuentren protegidos\, hasta que no sea capaz de expandirse más. \nEntre las distintas versiones del problema\, existen objetivos como determinar si es posible proteger un cierto grupo de vértices o porcentaje del grafo\, determinar si es posible contener al fuego cuando el área es infinita\, o minimizar la cantidad de vértices alcanzados por las llamas. \nSe han realizado numerosos avances teóricos sobre árboles y grillas infinitas con un foco de incendio\, sin embargo no hay muchos trabajos sobre la resolución de instancias finitas. La presente tesis aborda la resolución práctica y análisis de grillas finitas chicas\, medianas y grandes con distinto número de defensores y fuego inicial por medio de algoritmos exactos utilizando programación entera y algoritmos metaheurísticos basados en algoritmos genéticos y colonia de hormigas. URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-santiago-mino/ LOCATION:Aula E24 CATEGORIES:Agenda END:VEVENT BEGIN:VEVENT DTSTART;TZID=America/Sao_Paulo:20190729T140000 DTEND;TZID=America/Sao_Paulo:20190729T150000 DTSTAMP:20260713T190958 CREATED:20190722T175058Z LAST-MODIFIED:20190722T175110Z UID:5375-1564408800-1564412400@www.dc.uba.ar SUMMARY:Defensa Tesis Licenciatura Gabriel Thibeault DESCRIPTION:Titulo:  Sobre la extensión de la secuencia de Bruijn lexicográficamente máxima  a alfabetos más grandes \nDirectora : Verónica Becher \nJurados: Sergio Abriola y Olivier Carton \nResumen. Una secuencia de Bruijn de orden n en k símbolos es una secuencia en la que cada palabra de longitud n ocurre exactamente una vez. Se sabe que para cada secuencia r de Bruijn v de orden n  en k símbolos hay otra secuencia  de Bruijn w de orden n pero en k+1 símbolos tal que v es una subsecuencia de w. En esta tesis nos dedicamos a la secuencia de Bruijn lexicográficamente máxima\, a la que llamamos dual-Ford. El nombre se debe a que la secuencia de Bruijn lexicográficamente mínima es conocida como la secuencia de Ford. \nDemostramos que la secuencia dual-Ford de un orden dado y un alfabeto dado es un sufijo de la secuencia dual-Ford del mismo orden en un alfabeto con un símbolo más. Dado que hay un algoritmo lineal en tiempo y espacio para generar las secuencias Ford y las duales-Ford\, el resultado que presentamos aquí  determina un algoritmo lineal en tiempo y espacio para generar la extensión. URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-gabriel-thibeault/ LOCATION:Aula a confirmar CATEGORIES:Agenda END:VEVENT BEGIN:VEVENT DTSTART;TZID=America/Sao_Paulo:20190703T183000 DTEND;TZID=America/Sao_Paulo:20190703T203000 DTSTAMP:20260713T190958 CREATED:20190326T122953Z LAST-MODIFIED:20190326T123059Z UID:5026-1562178600-1562185800@www.dc.uba.ar SUMMARY:Charla de la Carrera DESCRIPTION:El miercoles 3 de julio 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. \nLa siguiente charla será recién el 12 de agosto\, ¡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-julio19/ LOCATION:Hall de Pabellón 1 CATEGORIES:Agenda END:VEVENT BEGIN:VEVENT DTSTART;TZID=America/Sao_Paulo:20190701T140000 DTEND;TZID=America/Sao_Paulo:20190701T160000 DTSTAMP:20260713T190958 CREATED:20190626T113150Z LAST-MODIFIED:20190626T113200Z UID:5329-1561989600-1561996800@www.dc.uba.ar SUMMARY:Defensa Tesis Doctorado Pablo Factorovich DESCRIPTION:Título: Problemas de recolecci ón y entrega punto a punto.\nDirectoras: Isabel Méndez-Díaz y Paula Zabala.\nJurados: Héctor Cancela\, Santiago Figueira y Javier Marenco.RESUMEN \n\n\nEn este trabajo se estudian dos problemas de ruteo de vehí culos: el Problema de Recolección y Entrega Punto a Punto con Distancias Asim étricas (APDP\, por sus siglas en inglés) y el Problema de Recolecci ón y Entrega Punto a Punto con Distancias Asim étricas e Incompatibilidades (PDPwI)\, una variante del primero a ún no descripta en la bibliografía.\n\nSe presenta un estudio sobre la efectividad computacional de distintas formulaciones para resolver el APDP. En cuanto al PDPwI\, se lo define formalmente y se muestra que adem ás de generalizar al APDP\, generaliza el problema de coloreo de v értices\, el Bin Packing Problem y el Bin Packing Problem with Conflicts. Se formulan tres diferentes modelos para el PDPwI basados en formulaciones que resultaron eficientes para el APDP. Se construye tambi én un conjunto de instancias de prueba para el PDPwI y se lo utiliza para evaluar las tres formulaciones creadas mediante algoritmos Branch And Cut.\n\nEn base a estas pruebas y otras consideraciones\, se selecciona uno de estos modelos para el cual se realiza un estudio poliedral del politopo asociado. Considerando los análisis realizados se desarrolla un algoritmo Branch And Cut. Finalmente se muestra la efectividad de las componentes propuestas para el algoritmo mediante pruebas computacionales sobre el conjunto de instancias creadas. URL:https://www.dc.uba.ar/event/defensa-tesis-doctorado-pablo-factorovich/ LOCATION:Laboratorio Turing CATEGORIES:Agenda END:VEVENT BEGIN:VEVENT DTSTART;TZID=America/Sao_Paulo:20190626T140000 DTEND;TZID=America/Sao_Paulo:20190626T150000 DTSTAMP:20260713T190958 CREATED:20190625T124626Z LAST-MODIFIED:20190625T124626Z UID:5327-1561557600-1561561200@www.dc.uba.ar SUMMARY:Defensa Tesis Licenciatura Esteban Fernandez DESCRIPTION:Título: «Análisis automático de radiografías torácicas por medio de\nredes neuronales profundas» \nDirector: Enzo Ferrante \nJurado: Pablo Negri y Diego Fernandez Slezak \nResumen: Las imágenes de rayos X constituyen uno de los tipos de\nimágenes médicas utilizados con mayor frecuencia para el diagnóstico y\nseguimiento de enfermedades de la caja torácica. En particular\,\npatologías cardiacas y pulmonares tales como la cardiomegalia\, neumonía\,\nneumotórax\, pueden ser diagnosticadas por este medio. Dicho diagnóstico\nrequiere la intervención de un especialista médico o radiólogo\, que\ninterprete las imágenes e informe sobre la existencia de anomalías en\nlas mismas. Durante las últimas décadas\, el advenimiento de nuevos\nmétodos de aprendizaje automático ha permitido el desarrollo de\nherramientas computacionales de asistencia al diagnóstico\, cuyo objetivo\nradica en detectar posibles anomalías en imágenes médicas y alertar al\nespecialista. \nEsta tesis de licenciatura aborda el problema de clasificación de\npatologías a partir de radiografías torácicas por medio de redes\nneuronales profundas. En este contexto\, se proponen diversos modelos\nbasados en redes neuronales convolucionales densas (DenseNet) y en las\nrecientes redes de cápsulas (Capsule Networks)\, considerando diversas\nvariantes que incorporan información anatómica como máscaras de\nsegmentación al problema de clasificación\, evaluando su desempeño en la\ntarea propuesta e intentando dotar de mayor interpretabilidad los\nmodelos aprendidos. URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-esteban-fernandez/ LOCATION:Laboratorio 5 CATEGORIES:Agenda END:VEVENT BEGIN:VEVENT DTSTART;TZID=America/Sao_Paulo:20190619T170000 DTEND;TZID=America/Sao_Paulo:20190619T180000 DTSTAMP:20260713T190958 CREATED:20190618T125612Z LAST-MODIFIED:20190618T125612Z UID:5317-1560963600-1560967200@www.dc.uba.ar SUMMARY:Defensa Tesis Licenciatura Lucía Rabinowicz DESCRIPTION:Título: Sobre la thinness de árboles \nDirectora: Flavia Bonomo \nJurado: Dr. Luciano Grippo (IC\, UNGS) y Dr. Carlos López Pombo (DC\, FCEN\, UBA) \nResumen: \nEl concepto de thinness fue introducido por Mannino\, Oriolo\, Ricci y Chandran en 2007. Grafos con thinness acotada son una generalización de los grafos de intervalo\, que son aquellos con thinness 1. \nPara entender el concepto de thinness de un grafo vamos a imaginar a los nodos del mismo como fichitas de un juego donde cada fichita tendrá un conjunto de fichas vecinas. Sea una ficha f que representa el nodo x en el grafo\, las fichas vecinas de f serán los nodos adyacentes a x en el grafo. Para calcular la thinness del grafo\, asignaremos a cada fichita un número. Luego iremos armando pilas con las fichas de forma tal que siempre se cumpla que al momento de agregar una ficha nueva a una pila cualquiera\, si esta ficha tiene fichas vecinas en alguna pila\, todas las fichas que se encuentran por encima de la vecina\, también son vecinas. El orden en el que se apilan las fichas esta dado por el número asociado a la misma. El valor de la thinness del grafo es la mínima cantidad de pilas posibles\, para cualquier orden de las fichas. \nEn esta tesis vamos a calcular la thinness para grafo con un orden prefijado (thin<(G))\, es decir\, la mínima cantidad de pilas para un orden fijo de las fichas. \nEn grafos de thinness acotada\, muchos problemas NP-completos pueden ser resueltos en tiempo polinomial\, como por ejemplo el problema del conjunto independiente ponderado máximo (Mannino\, Oriolo\, Ricci y Chandran\, 2007) o el problema de coloreo capacitado con aplicación al problema de combinación de recorrido de recogida y entrega (Bonomo\, Mattia y Oriolo\, 2011). \nDado un orden para un grafo\, la complejidad de hallar la thinness\, para ese orden en particular\, es O(n^3) con n la cantidad de nodos del grafo. Esto es así ya que hallar la thinness del grafo es equivalente a encontrar el coloreo en un grafo auxiliar (asociado al orden) también de n vértices pero que resulta de co-comparabilidad. Es un problema abierto la complejidad computacional de calcular la thinness de un grafo sin un orden prefijado. \nEn esta tesis se realiza un estudio sobre la thinness para orden fijo en grafos sin ciclos (árboles o bosques). Dado un orden con estructura recursiva para numerar los nodos del árbol (como inorder\, preorder\, postorder o BFS)\, calcularemos la thinness en tiempo lineal en la cantidad de nodos introduciendo el nuevo concepto de Grupos de Conflicto. URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-lucia-rabinowicz/ LOCATION:Aula 3 CATEGORIES:Agenda END:VEVENT BEGIN:VEVENT DTSTART;TZID=America/Sao_Paulo:20190613T180000 DTEND;TZID=America/Sao_Paulo:20190613T190000 DTSTAMP:20260713T190958 CREATED:20190605T122457Z LAST-MODIFIED:20190612T164512Z UID:5301-1560448800-1560452400@www.dc.uba.ar SUMMARY:Defensa Tesis Licenciatura Natalia Pesaresi DESCRIPTION:Título: Normalidad de los Números de Stoneham \nDirectora : Verónica Becher \nJurados: Sergio Abriola y Santiago Figueira \nResumen: Decimos base para referirnos a un número entero mayor o igual que 2. Si representamos un número real en una base dada\, tenemos una parte entera seguida de una coma seguida de una expansión fraccionaria\, que es una secuencia posiblemente infinita de dígitos en esa base. Decimos que un número real es normal en base b si en su expansión en esta base ningún bloque de dígitos ocurre con mayor frecuencia asintótica que los demás bloques de la misma longitud. La normalidad es una condición básica de las secuencias aleatorias. \nEn esta tesis damos una versión completa y fácil de comprender de la demostración de normalidad en base 2 del número de Stoneham X(2\,3). También damos la demostración completa de que X(2\,3) no es normal en base 6. Este número X(2\,3) es un caso particular de la familia de números de Stoneham que se definen mediante una serie muy sencilla\, son fáciles de computar\, y se han usado para generar números pseudoaleatorios. URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-natalia-pesaresi/ LOCATION:Aula 10 CATEGORIES:Agenda END:VEVENT BEGIN:VEVENT DTSTART;TZID=America/Sao_Paulo:20190610T110000 DTEND;TZID=America/Sao_Paulo:20190610T130000 DTSTAMP:20260713T190958 CREATED:20190326T122528Z LAST-MODIFIED:20190326T123022Z UID:5024-1560164400-1560171600@www.dc.uba.ar SUMMARY:Charla de la Carrera DESCRIPTION:El lunes 10 de junio 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 3 de julio\, ¡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-junio19/ LOCATION:Hall de Pabellón 1 CATEGORIES:Agenda END:VEVENT BEGIN:VEVENT DTSTART;TZID=America/Sao_Paulo:20190606T110000 DTEND;TZID=America/Sao_Paulo:20190607T190000 DTSTAMP:20260713T190958 CREATED:20190531T182457Z LAST-MODIFIED:20190531T182601Z UID:5289-1559818800-1559934000@www.dc.uba.ar SUMMARY:Jornada de Ciencia de Datos en Exactas DESCRIPTION:La semana que viene\, acercate a la Jornada de Ciencia de #Datos en Exactas que reúne referentes de la academia y la empresa.\n⚠️ Abierta a todo público\n🗓️ El evento se realizará en las Aulas 9 y Magna del Pabellón 1\n🗣️ Apertura a cargo de Walter Sosa Escudero.\n➡️ Programa completo: https://bit.ly/2XdTgkF \n  URL:https://www.dc.uba.ar/event/jornada-de-ciencia-de-datos-en-exactas/ CATEGORIES:Agenda ATTACH;FMTTYPE=image/jpeg:https://www.dc.uba.ar/wp-content/uploads/2019/05/Banner-Ciencia-de-Datos.jpg END:VEVENT BEGIN:VEVENT DTSTART;TZID=America/Sao_Paulo:20190606T093000 DTEND;TZID=America/Sao_Paulo:20190606T103000 DTSTAMP:20260713T190958 CREATED:20190531T122954Z LAST-MODIFIED:20190531T122954Z UID:5287-1559813400-1559817000@www.dc.uba.ar SUMMARY:Defensa Tesis Licenicatura Martín Rinemberg DESCRIPTION:Título: Problema de dominación eterna para grafos de intervalos\nDirector: Francisco Soulignac\nJurados: Brian Curcio y Verónica Moyano (UNGS) \nRESUMEN\nConsideremos un juego por turnos sobre un grafo G = (V\, E) jugado por un atacante y un defensor.  Inicialmente\, el defensor ubica guardias sobre los vértices de G.  En cada turno\, el atacante elige un vértice v para atacar y el defensor mueve algunos guardias\, a vértices adyacentes a sus posiciones actuales\, a fin de ubicar al menos un guardia en v.  Los problemas de dominación eterna consisten en determinar la mínima cantidad de guardias con las que se puede defender eternamente a G.  En particular\, \gamma_{n\,1}(G) y \gamma_{n\,1}(G) denotan la cantidad mínima de guardias necesarios cuando no y sí se pueden posicionar guardias simultáneamente sobre el mismo vértice\, respectivamente.  En esta tesis demostramos que si G es un grafo de intervalos\, entonces \gamma_{n\,1}(G) = \gamma_{n\,n}(G) = \theta_c(G)\, donde \theta_c(G) es el número de cubrimiento clique-conexo de G.  Más aún\, damos un algoritmo lineal para computar un conjunto dominante eterno de mínima cardinalidad. URL:https://www.dc.uba.ar/event/defensa-tesis-licenicatura-martin-rinemberg/ LOCATION:Aula E24 CATEGORIES:Agenda END:VEVENT BEGIN:VEVENT DTSTART;TZID=America/Sao_Paulo:20190601T140000 DTEND;TZID=America/Sao_Paulo:20190601T180000 DTSTAMP:20260713T190958 CREATED:20190524T165514Z LAST-MODIFIED:20190524T165514Z UID:5282-1559397600-1559412000@www.dc.uba.ar SUMMARY:Ciencia Paliza 2 DESCRIPTION:El sábado 1 de junio llega la segunda edición del festival CIENCIAPALIZA\, organizado por Exactas\, para difundir la grave situación presupuestaria de la ciencia nacional y la universidad pública. \nDesde las 14.00\, nos vamos a encontrar en el Parque Rivadavia (https://bit.ly/2DXNJqR) con feria de ciencias\, charlas y espectáculos. URL:https://www.dc.uba.ar/event/ciencia-paliza-2/ LOCATION:Parque Rivadavia CATEGORIES:Agenda ATTACH;FMTTYPE=image/jpeg:https://www.dc.uba.ar/wp-content/uploads/2019/05/cienciapaliza2.jpg END:VEVENT BEGIN:VEVENT DTSTART;TZID=America/Sao_Paulo:20190530T133000 DTEND;TZID=America/Sao_Paulo:20190530T153000 DTSTAMP:20260713T190958 CREATED:20190524T115025Z LAST-MODIFIED:20190524T115337Z UID:5275-1559223000-1559230200@www.dc.uba.ar SUMMARY:Defensa Tesis Doctorado Juan Pablo Puppo DESCRIPTION:Título: Estudio del operador biclique aplicado a distintas clases de grafos \nDirector: Marina Groshaus \nJurados:\n– Dra. Flavia Bonomo (UBA) \n– Dr. Pablo de Caria (UNLP) \n– Dr. Luerbio Faria (UERJ/Brasil) \nResumen: \nUna biclique en un grafo es un subgrafo inducido bipartito completo maximal.  El estudio de las bicliques  ha recibido mucha atención en los últimos tiempos.   El grafo  biclique de  G\, KB(G)\,  es el  grafo de intersección   de  las   bicliques  de   G.   Este   fue  definido   y caracterizado recientemente. Sin embargo\,  aún sigue abierta  la pregunta  sobre la existencia  de un algoritmo eficiente que resuelva el problema de reconocimiento de grafos biclique.  En  esta tesis  estudiamos el  problema de  reconocimiento de\ngrafos  biclique de  algunas clases  de grafos.   Se pretende  con esto\, acercarse al problema  de reconocimiento de grafos  biclique en general\, encontrando clases  donde el problema  de decidir  si un grafo  es grafo biclique sea  polinomial o se  pueda probar que es  NP-completo.  Entre otras\, en  este trabajo estudiamos  el operador biclique aplicado  a los grafos bipartitos cordales\, split  y bipartitos de permutación.  También estudiamos el problema de reconocimiento de la clase biclique inversa de los  grafos completos\,  es decir\,  dado un  grafo\, decidir  si su  grafo biclique  es completo.   Cabe mencionar  que\,  dado que  la cantidad  de bicliques de  un grafo  puede ser exponencial\,  no siempre  es eficiente\nconstruir el grafo biclique para responder esta pregunta. \nPalabras claves: Bicliques\, cordal\, grafo biclique\, grafo clique\, permutación\, split. URL:https://www.dc.uba.ar/event/defensa-tesis-doctorado-juan-pablo-puppo/ LOCATION:Laboratorio 4 CATEGORIES:Agenda END:VEVENT BEGIN:VEVENT DTSTART;TZID=America/Sao_Paulo:20190524T150000 DTEND;TZID=America/Sao_Paulo:20190524T160000 DTSTAMP:20260713T190958 CREATED:20190521T115245Z LAST-MODIFIED:20190521T151855Z UID:5269-1558710000-1558713600@www.dc.uba.ar SUMMARY:Defensa Tesis Licenciatura Gaston Ezequiel Zanitti DESCRIPTION:Título: Modelo numérico de resolución a gran escala para sistemas lineales mixtos mediante multiplicadores alternados: Aplicaciones al análisis anatomofuncional del cerebro humano.\nDirectores: Demian Wassermann y Guillermo Gallardo Diez.\nJurado: Esteban Mocskos y Enzo Tagliazucchi. \nResumen:\nEl manejo simultáneo de efectos a nivel poblacional y de sujeto es una necesidad común en la neurociencia moderna. No obstante\, los modelos estadísticos utilizados comúnmente\, como el modelo de efectos aleatorios\, no escalan bien con grandes volúmenes de datos. Esto presenta un problema en la actualidad donde no solo ha incrementado el tamaño de las poblaciones estudiadas sino también la cantidad de datos por sujeto. En este trabajo abordamos esta problemática mediante la resolución de un modelo de efectos aleatorios utilizando métodos proximales. Nuestra implementación nos permite reducir drásticamente los requisitos de memoria\, abrir las puertas a la computación en paralelo e incluir sin problema estrategias de regularización. Ilustramos todas estas ventajas en uno de los problemas mas importantes de la neurociencia: el estudio de la relación entre estructura y función en el cerebro humano. URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-gaston-ezequiel-zanitti/ LOCATION:Aula E24 CATEGORIES:Agenda END:VEVENT BEGIN:VEVENT DTSTART;TZID=America/Sao_Paulo:20190522T103000 DTEND;TZID=America/Sao_Paulo:20190522T123000 DTSTAMP:20260713T190958 CREATED:20190516T114959Z LAST-MODIFIED:20190516T114959Z UID:5261-1558521000-1558528200@www.dc.uba.ar SUMMARY:Defensa Tesis Doctorado Edgardo Zoppi DESCRIPTION:Director: Dr Diego Garbervetsky\nJurados:\n– Nazareno Aguirre. Universidad Nacional de Rio Cuarto\n– Pedro D’Argenio. Universidad Nacional de Cordoba\n– Matthew Gertz. Microsoft\, \nResumen: En esta tesis presentamos el diseño e implementación de una amplia gama de análisis estáticos para la plataforma .NET\, con foco en la escalabilidad.\nNos concentramos en .NET dada su gran popularidad en la industria y el amplio conjunto de características que provee\, pertenecientes a los paradigmas orientado a objetos y funcional\, incluyendo programación concurrente y la manipulación de bajo nivel de punteros. La combinación de todas estas características hacen del análisis estático un desafío.\nPor un lado\, presentamos un framework de análisis estático distribuido de programa completo\, diseñado para escalar con el tamaño de la entrada.\nNuestro enfoque está basado en el modelo de programación con actores para ser ejecutado en la nube.\nNuestra decisión de utilizar una red de computadoras en la nube provee un grado de elasticidad para recursos de CPU\, memoria y almacenamiento.\nPara demostrar el potencial de nuestra técnica\, mostramos cómo puede ser implementado un análisis de call graph típico en una configuración distribuida.\nAdemás\, extendemos nuestro análisis para soportar actualizaciones incrementales del código fuente y mostramos cómo los resultados computados previamente pueden ser actualizados sin tener que volver a calcularlos de cero.\nPor otro lado\, presentamos un framework de análisis estático de programas y herramientas específicamente diseñados para la plataforma .NET. Este framework provee muchas funcionalidades\, incluyendo algunas representaciones intermedias como el código de tres direcciones\, adecuado para la implementación de un análisis estático\, así como también provee una amplia gama de análisis y transformaciones como son la inferencia de tipos\, los análisis decontrol-flow y data-flow\, y la construcción de call graph y points-to graph\, entre otros. No sabemos de ningún otro framework de análisis estático de código públicamente disponible para la comunidad .NET que provea este tipo de funcionalidades.\nPara demostrar las capacidades de nuestro framework\, presentamos también algunas aplicaciones cliente que aprovechan sus funcionalidades\, como\nun análisis de optimización de consultas Big Data para detectar automáticamente columnas no utilizadas y dependencias entre tablas de entrada y salida de operadores definidos por el usuario desarrollados en algún lenguaje de la plataforma .NET como C#. URL:https://www.dc.uba.ar/event/defensa-tesis-doctorado-edgardo-zoppi/ LOCATION:Laboratorio 5 CATEGORIES:Agenda END:VEVENT BEGIN:VEVENT DTSTART;TZID=America/Sao_Paulo:20190513T140000 DTEND;TZID=America/Sao_Paulo:20190513T160000 DTSTAMP:20260713T190958 CREATED:20190326T122248Z LAST-MODIFIED:20190326T122310Z UID:5022-1557756000-1557763200@www.dc.uba.ar SUMMARY:Charla de la Carrera DESCRIPTION:El 13 de mayo a las 14 hs nos encontraremos para nuestra clásica charla de la carrera de Computación\, junto con graduados y graduadas\, docentes y estudiantes de la carrera. Nos vemos unos minutos antes de la hora de comienzo en el Hall del Pabellón I de Ciudad Universitaria. \n¿Te interesa saber qué hacemos? ¿Qué cosas vas a aprender? ¿Cuál es la salida laboral? Vamos a responder todas tus dudas. \nLa siguiente charla será recién el 10 de junio\, ¡así que vení que te esperamos! \nTenés varias formas de llegar a Ciudad Universitaria.\nColectivos: líneas 28\, 33\, 34\, 37\, 42\, 45\, 107 y 160\nTren Línea Belgrano: estación Ciudad Universitaria\nSubte Línea C: hasta estación Retiro\, y luego combinación con tren Línea Belgrano URL:https://www.dc.uba.ar/event/charla-de-la-carrera-mayo19/ LOCATION:Hall de Pabellón 1 CATEGORIES:Agenda END:VEVENT BEGIN:VEVENT DTSTART;TZID=America/Sao_Paulo:20190506T120000 DTEND;TZID=America/Sao_Paulo:20190506T140000 DTSTAMP:20260713T190958 CREATED:20190503T121932Z LAST-MODIFIED:20190503T122134Z UID:5140-1557144000-1557151200@www.dc.uba.ar SUMMARY:Defensa Tesis Doctorado Thomas Fischer DESCRIPTION:Título: SLAM basado en visión estéreo para la navegación autónoma de robots\nhexápodos \nDirectora: Dra. Marta Mejail\nDirector asistente: Dr. Pablo De Cristóforis \nJurados: \n– Dr. Jose Guivant (The University of New South Wales\, Sydney\, Astralia)\n– Dr. Flavio Roberti (Universidad Nacional de San Juan y CONICET)\n– Dr. Jorge Sánchez (Universidad Nacional de Córdoba y CONICET) \nResumen: \nPara permitir que un robot móvil pueda navegar y realizar tareas de manera autónoma\, previamente se necesitan resolver al menos dos problemas esenciales: un control de alto nivel para dirigir su movimiento\, por ejemplo a través de comandos de velocidad\, y la estimación con precisión de su pose (posición y orientación) respecto del entorno que lo rodea. Además\, para lograr completa autonomía\, las soluciones a estos problemas deben poder ser ejecutadas en una computadora de a bordo en tiempo real. \nEn el caso general\, donde un robot no cuenta con un mapa previo de su entorno ni información externa que le permita conocer su pose\, ambas tareas deben ser realizadas en forma simultánea. El problema de localizar a un robot y construir un mapa del entorno simultáneamente se denomina Simultaneous Localization and Mapping (SLAM). Una forma particular de resolverlo es utilizando características visuales extraídas a partir de imágenes capturadas por una o más cámaras montadas sobre el robot. Éstas pueden ser usadas para crear un mapa del entorno y localizar al robot dentro del mismo. \nEl objetivo final de esta tesis es diseñar e implementar un sistema que reúna todas las características para realizar la navegación autónoma en robots hexápodos (robots terrestres con seis patas articuladas) basándose en un sistema de SLAM visual. A pesar de que existen soluciones para este problema\, se limitan a espacios de trabajo pequeños y controlados\, y no funcionan correctamente en computadoras con un poder de procesamiento limitado\, como las que se encuentran a bordo de estos robots. El trabajo se realiza sobre un sistema de SLAM estéreo para adaptarlo a la tarea particular de la locomoción de robots hexápodos. La principal contribución de este trabajo es el modelado de los elementos de un SLAM basado en Bundle Adjustment (ajuste por minimización) como variables aleatorias. Esto permite que las incertidumbres y la información mutua calculada se utilicen para marginalizar (descartar) de manera eficiente las regiones distantes del mapa en el cálculo del Bundle Adjustment\, minimizando la pérdida de información. De esta forma\, se evita que el problema del SLAM escale linealmente con el tamaño del mapa\, lo que posibilita al sistema navegar a largo plazo\, incluso en unidades de procesamiento embebidas en el robot. \nPara validar el enfoque propuesto\, se realizan una serie de experimentos que muestran a un robot hexápodo llevando a cabo una navegación autónoma en un terreno irregular\, mientras todas las tareas se ejecutan en una computadora de a bordo y responden en tiempo real. Se miden y analizan diferentes métricas de rendimiento como el costo computacional y el error de localización. Los resultados muestran la viabilidad y la robustez del sistema desarrollado como se propone en esta tesis. URL:https://www.dc.uba.ar/event/defensa-tesis-doctorado-thomas-fischer/ LOCATION:Laboratorio 4 END:VEVENT BEGIN:VEVENT DTSTART;TZID=America/Sao_Paulo:20190503T100000 DTEND;TZID=America/Sao_Paulo:20190503T110000 DTSTAMP:20260713T190958 CREATED:20190502T122255Z LAST-MODIFIED:20190502T122255Z UID:5130-1556877600-1556881200@www.dc.uba.ar SUMMARY:Defensa Tesis Licenciatura Hernán Federico Barijhoff DESCRIPTION:Título: «PyLissom: Una herramienta para modelar mapas computacionales de la corteza visual en PyTorch»\nDirectora: R. Matuk Herrera\nJurados: P. De Cristóforis y P. Negri \nResumen \nLos campos de la neurociencia y la inteligencia artificial tienen una larga e interrelacionada historia. Una mejor comprensión de los cerebros biológicos podría desempeñar un papel vital en la construcción de máquinas inteligentes. Sin embargo\, la comunicación y colaboración entre los dos campos no es muy común. Herramientas computacionales que integren los dos enfoques\, en forma accesible y documentada\, son muy escasas en la literatura. La disponibilidad de estas herramientas podría ser fructífera para la interacción entre las comunidades de neurociencia y aprendizaje automático\, y el surgimiento de nuevas ideas y colaboraciones. \nLas redes LISSOM son redes neuronales artificiales auto-organizadas con conexiones laterales que han sido propuestas en la literatura como un modelo computacional de los mapas en la corteza visual de los primates. Estas redes fueron implementadas por un grupo de la Universidad de Edinburgh y de la Universidad de Texas en un sistema computacional llamado Topographica. El software Topographica fue diseñado para la comunidad de neurociencias y ha sido utilizado con éxito por algunos investigadores para validar modelos computacionales en neurociencia. Sin embargo\, debido a su diseño\, el uso de Topographica se ha restringido a la neurociencia\, y es muy difícil extender y adaptar su código para su uso en aprendizaje automático o visión artificial. \n\nEn esta tesis\, las redes LISSOM fueron implementadas para un caso de uso híbrido de las comunidades de machine learning  y neurociencia. El software desarrollado en este trabajo de tesis\, denominado PyLissom\, permite por un lado\, construir modelos jerárquicos del sistema visual y\, por otro lado\, ser utilizado para aplicaciones de aprendizaje automático\, ya que puede combinar las redes neuronales LISSOM con otro tipo de redes neuronales artificiales. PyLissom es un software open-source\, fue implementado en PyTorch\, un framework de redes neuronales profundas de código abierto\, y puede utilizar optimización GPU. URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-hernan-federico-barijhoff/ LOCATION:Aula E24 CATEGORIES:Agenda END:VEVENT BEGIN:VEVENT DTSTART;TZID=America/Sao_Paulo:20190429T143000 DTEND;TZID=America/Sao_Paulo:20190429T153000 DTSTAMP:20260713T190958 CREATED:20190423T122417Z LAST-MODIFIED:20190423T122417Z UID:5102-1556548200-1556551800@www.dc.uba.ar SUMMARY:Defensa Tesis Licenciatura Nicolás De Carli DESCRIPTION:Título: Sobre los límites del tiempo entre bloques en Bitcoin\nDirectores: David Alejandro González Márquez\, Maximiliano Geier\nJurados: Lic. Lucio Santi y Dr. Pablo Balenzuela \nResumen:\nUno de los grandes problemas observados durante el auge de las criptomonedas\, fue su limitada capacidad en cuanto al volumen de transacciones que podía procesar.\nEn este trabajo exploramos la posibilidad de modificar los parámetros del protocolo de Bitcoin\, con el fin de incrementar esta capacidad.\nSe presenta un modelo de red a escala\, que recrea la distribución geográfica y de ‘hashing power’ de los clientes la red de Bitcoin real. Dicha infraestructura permite estudiar el comportamiento de la red para distintos volúmenes de carga. Para evaluar estas configuraciones\, se introduce una magnitud que permite cuantificar el porcentaje de recursos desperdiciados en la red: ‘wasted hashing power’.\nLos resultados obtenidos indican que las opciones de configuración de la red Bitcoin no resultan adecuadas para maximizar la cantidad de transacciones a procesar\, siendo posible mejorar la cantidad de transacciones con un ‘wasted hashing power’ equivalente al sistema actual. URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-nicolas-de-carli/ LOCATION:Laboratorio 1 CATEGORIES:Agenda END:VEVENT BEGIN:VEVENT DTSTART;TZID=America/Sao_Paulo:20190417T160000 DTEND;TZID=America/Sao_Paulo:20190417T170000 DTSTAMP:20260713T190958 CREATED:20190415T121017Z LAST-MODIFIED:20190415T121017Z UID:5096-1555516800-1555520400@www.dc.uba.ar SUMMARY:Charla del Prof. Konstantin Beznosov (U. of British Columbia) DESCRIPTION:Title: Harvesting the Low-hanging Fruits: Defending Against Automated Large-Scale Cyber-Intrusions by Focusing on the Vulnerable Population* \nAbstract:\nThe orthodox paradigm to defend against automated social-engineering attacks in large-scale socio-technical systems is reactive and victim-agnostic. Defences generally focus on identifying the\nattacks/attackers (e.g.\, phishing emails\, social-bot infiltration\, malware offered for download). To change the status quo\, we propose to identify\, even if imperfectly\, the vulnerable population\, that is\, the accounts/devices that are likely to fall victim to such attacks. Knowledge of the vulnerable population can be used in two ways. First\, the vulnerable population can be influenced by the defender through several means\, including education\, specialized user experience\, extra protection layers\, and watchdogs. In the same vein\, information about the vulnerable population can ultimately be used to fine-tune and re-prioritize defence mechanisms to offer differentiated protection. Secondly\, information about the user population can be used to identify an attack (or compromised users) based on differences between the general and the vulnerable population. This talk discusses the proposed paradigm and considers its implications on existing defences\, and discusses how using knowledge of the vulnerable population can enable more robust defences. \nShort bio:\nKonstantin (Kosta) Beznosov is a Professor at the Department of Electrical and Computer Engineering \, University of British Columbia \, where he directs the Laboratory for Education and Research in Secure Systems Engineering . His research interests are usable security\, mobile security and privacy\, security and privacy in online social networks\, and web security. Prior UBC\, he was a Security Architect at Hitachi Computer Products (America) and Concept Five. Besides many academic papers \, he is also a co-author of “Enterprise Security with EJB and CORBA\n” and “Mastering Web Services Security ” books\, as well as XACML and several CORBA security specifications. He has served on program committees and/or helped to organize SOUPS\, ACM CCS\, IEEE Symposium on Security & Privacy\, NSPW\, NDSS\, ACSAC\, SACMAT. Prof. Beznosov has served as an associate editor of ACM Transactions on Information and System Security (TISSEC) and Elsevier’s Computers & Security .\nHome page: http://konstantin.beznosov.net/professional/ URL:https://www.dc.uba.ar/event/charla-del-prof-konstantin-beznosov-u-of-british-columbia/ LOCATION:Laboratorio Turing CATEGORIES:Agenda END:VEVENT BEGIN:VEVENT DTSTART;TZID=America/Sao_Paulo:20190415T140000 DTEND;TZID=America/Sao_Paulo:20190415T160000 DTSTAMP:20260713T190958 CREATED:20190325T115945Z LAST-MODIFIED:20190326T122020Z UID:5011-1555336800-1555344000@www.dc.uba.ar SUMMARY:Charla de la Carrera DESCRIPTION:El lunes 15 de abril a las 14 hs. nos encontraremos para nuestra clásica charla de la carrera de Computación junto con graduados y graduadas\, docentes y estudiantes de la carrera\, en el Hall del Pabellón I de Ciudad Universitaria. Será la primera del año! \n¿Te interesa saber qué hacemos? ¿Qué cosas vas a aprender? ¿Cuál es la salida laboral? Vamos a responder todas tus dudas. \nLa siguiente charla será recién el lunes 13 de mayo a las 14hs\, ¡así que vení que te esperamos!\nTenés varias formas de llegar: \nColectivos: líneas 28\, 33\, 34\, 37\, 42\, 45\, 107 y 160\nTren Línea Belgrano: estación Ciudad Universitaria\nSubte Línea C: hasta estación Retiro\, y luego combinación con tren Línea Belgrano URL:https://www.dc.uba.ar/event/charla-de-la-carrera-abril19/ LOCATION:Hall de Pabellón 1 CATEGORIES:Agenda END:VEVENT BEGIN:VEVENT DTSTART;TZID=America/Sao_Paulo:20190410T120000 DTEND;TZID=America/Sao_Paulo:20190410T130000 DTSTAMP:20260713T190958 CREATED:20190408T182319Z LAST-MODIFIED:20190408T182319Z UID:5070-1554897600-1554901200@www.dc.uba.ar SUMMARY:Defensa Tesis Licenciatura Patricio Inzaghi DESCRIPTION:Título: «Practical atomic multicast: a trade-off between genuineness and performance» \nDirectores: Fernando Pedone (Università della Svizzera italiana) y Paulo R. Coelho (Universidade Federal de Uberlândia)\nJurados: Esteban Mocskos y Gervasio Perez \nResumen\nLos servicios de Internet actuales tienen requerimientos de disponibilidad y escalabilidad elevados. Para cumplir estándares de alta disponibilidad estos deben permanecer funcionales a pesar de producirse fallas en sus nodos o enfrentar caídas completas de datacenters. La escalabilidad permite incrementar la performance agregando al sistema más componentes y con eso lograr soportar un incremento de la carga. El protocolo atomic multicast es una pieza fundamental en este tipo de servicios. Vamos a considerar sistema donde los procesos pueden organizarse en grupos y los clientes envían mensajes destinados a un subconjunto de ellos. Algunos protocolos consiguen ordenar los mensajes usando un grupo fijo de procesos o involucrando a todos ellos\, sin importar a quién está destinado el mensaje. Durante mucho tiempo se creyó que\, para ser eficiente\, un algoritmo de atomic multicast debe ser genuino: solo el emisor y los procesos involucrados en su destino deben comunicarse para propagar y ordenar un mensaje. Esta tesis vuelve a evaluar esta propiedad de los protocolos de atomic multicast y experimenta con la hipótesis de que\, relajandola\, se puede obtener un mejor throughput o latencia en distintas topologías de red. Se presentan dos enfoques: BaseCast\, un algoritmo de atomic multicast genuino\, y TreeCast\, uno parcialmente genuino que escala con respecto al número de de grupos para mensajes enviados a un solo grupo. URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-patricio-inzaghi/ LOCATION:Laboratorio 4 CATEGORIES:Agenda END:VEVENT BEGIN:VEVENT DTSTART;TZID=America/Sao_Paulo:20190404T110000 DTEND;TZID=America/Sao_Paulo:20190404T120000 DTSTAMP:20260713T190958 CREATED:20190401T115521Z LAST-MODIFIED:20190401T115521Z UID:5053-1554375600-1554379200@www.dc.uba.ar SUMMARY:Defensa Tesis Licenciatura Sebastián Prillo DESCRIPTION:Título: Un Estudio Metodológico de Máquinas de Factorización.\nDirector: Leandro Lombardi.\nJurados: Agustín Gravano y Ernesto Mislej. \nResumen\nEn este trabajo estudiamos las Máquinas de Factorización (FMs)\, un modelo de aprendizaje automático de alta performance en sistemas de recomendación. Nuestro objetivo es estudiar dos aspectos de las FMs: la asimetrı́a de la ecuación del modelo FM\, y la viabilidad de parametrizar de forma continua el orden de interacción de las FMs como propuesto en las FMs de orden intermedio. Más en general\, en este trabajo tratamos de desarollar una comprensión más profunda sobre el sesgo inductivo de las FMs.\nCon respecto a la asimetrı́a de las FMs\, mostramos que esto tiene un impact no trivial sobre las predicciones de las FMs. Por este motivo\, mostramos que ensamblar dos FMs\, una entrenada sobre los datos originales y otra entrenada luego de negar el valor de la variable respuesta\, puede llevar a mejoras inusualmente grandes de performance (cuando se lo compara con la mejora de performance tı́picamente observada al ensamblar dos modelos de la misma clase). También consideramos una formulación simétrica de FMs para la cual la estrategia de ensamblado puede ser vista como una estrategia efectiva de regularización.\nCon respecto a parametrizar de forma continua el orden de interacción de FMs\, mostramos que esto puede ser efectivo cuando las FMs se usan como predictor general\, en algunos casos obteniendo performance comparable a la de predictores generales estado del arte como los gradient boosted decision trees (GBDTs). Por otra parte\, cuando lo utilizamos en el contexto de problemas de recomendación\, obtenemos poca o ninguna mejora. URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-sebastian-prillo/ LOCATION:Aula E24 CATEGORIES:Agenda END:VEVENT BEGIN:VEVENT DTSTART;TZID=America/Sao_Paulo:20190403T160000 DTEND;TZID=America/Sao_Paulo:20190403T170000 DTSTAMP:20260713T190958 CREATED:20190401T121331Z LAST-MODIFIED:20190401T121331Z UID:5057-1554307200-1554310800@www.dc.uba.ar SUMMARY:Defensa Tesis Licenciatura Jeremías Albano DESCRIPTION:Título: Investigating the Dichotomy of Sharing Practices in Digital and Physical Realms: from Theoretical Overview to Design Considerations\n\nDirectores: Agustín Petroni y Juan E Kamienkowski\nJurados: Martín Urtasun y Bruno Dagnino\n\nResumen\n\nSharing personal digital information online has been a common activity for many years.\nHowever\, the recent rise of sharing economy services has since expanded the set of «things» one can share (e.g.\, apartments\, cars\, bicycles\, or work tools). How does the sharing of such physical artifacts differ from «traditional» sharing practices of\, for example\, photos and status updates? This thesis attempts to consolidate the existing body of work on both sharing personal digital content (e.g.\, social networking) and physical artifacts (e.g.\, apartment or car sharing)\, and attempts to identify both commonalities and differences between them. We summarize existing research on diversity of shared content\, users’ motivations to share\, audience management\, privacy & trust issues and user experience requirements. Based on this analysis and additional information gathered from 16 semi-structured interviews with both design practitioners and sharing economy domain experts\, we formulate a set of 24\ndesign implications for devising novel sharing economy services. Two of which we test in an experiment with 17 participants using eye-tracking techniques. URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-jeremias-albano/ LOCATION:Laboratorio 5 CATEGORIES:Agenda END:VEVENT BEGIN:VEVENT DTSTART;TZID=America/Sao_Paulo:20190329T093000 DTEND;TZID=America/Sao_Paulo:20190329T113000 DTSTAMP:20260713T190958 CREATED:20190325T122331Z LAST-MODIFIED:20190325T122331Z UID:5017-1553851800-1553859000@www.dc.uba.ar SUMMARY:Defensa Tesis Doctorado Matías Bonaventura DESCRIPTION:Título: Modelado y Simulación Híbrida de Redes Complejas de Datos \nDirector: Rodrigo Castro \nJurados:\n– Stenio Fernandes (University of Ottawa/Carleton University y Element AI Inc.\, Canada)\n– Verónica Gil Costa (CONICET/Universidad Nacional de San Luis\, Argentina)\n– Ricardo Piegaia (CONICET/Universidad de Buenos Aires\, Argentina) \nResumen: \nEn esta Tesis desarrollamos nuevas técnicas de modelado de redes de datos que combinan los enfoques discreto (paquete a paquete) y continuo (aproximaciones fluidas) para el estudio de dinámicas complejas. Introducimos nuevas herramientas teórico-prácticas de modelado y simulación para integrar de manera transparente modelos discretos y continuos bajo un marco híbrido\, formal y unificado. \nAdoptamos la red de adquisición de datos físicos (DAQ) del Experimento ATLAS en CERN como caso complejo y real de estudio para validar resultados obtenidos mediante simulaciones. Estas brindaron  soporte en la toma de decisiones durante procesos de diseño\, planificación de capacidad y puesta a punto en proyectos de ingeniería para redes futuras a implementarse en CERN entre 2021 y 2027. \nEl enfoque paquete a paquete provee resultados de grano fino cercanos a los observables en redes\nreales. Sin embargo\, la complejidad representada en los modelos hace a este enfoque usualmente inapropiado para la simulación de topologías muy grandes y/o tráfico de muy alta intensidad ya que los tiempos de simulación escalan al menos linealmente con el incremento de complejidad del sistema.\nPor su parte\, el enfoque fluido reduce la complejidad del modelo mediante aproximaciones con ecuaciones diferenciales ordinarias (ODE). Esto resulta en tiempos de simulación mucho menores\, generalmente independientes de la tasa de transferencia\, pero solo capturan dinámicas promedio o de grano grueso. Cada enfoque requiere conocimientos y herramientas sustancialmente diferentes\, por lo que expertos en redes suelen adoptar solo uno de ellos. Esto ha conducido a una diversificación de\nalgoritmos de simulación y a prácticas de análisis que dificultan la integración de estrategias. \nEn esta Tesis aportamos mecanismos que permiten la coexistencia e influencia mutua de modelos paquete a paquete con modelos fluidos bajo el formalismo Discrete EVent Systems specification\n(DEVS)\, reduciendo la brecha entre ambas técnicas. \nMostramos como los nuevos modelos híbridos mantienen las ventajas de los modelos fluidos en términos de tiempos de simulación\, a la vez que proveen trazas detalladas de los modelos paquete a paquete. Esto se logra bajo garantías formales de convergencia en los métodos numéricos de integración subyacentes. En particular\, extendimos la familia de métodos de integración numérica por cuantificación de estados (QSS) para la aproximación de ecuaciones diferenciales funcionales con retardos variables\, herramienta necesaria para describir la dinámica macroscópica de protocolos con control a lazo cerrado. \nComo aporte central se obtuvieron nuevas bibliotecas de modelos discretos\, continuos e híbridos para simulación escalable de redes de datos. Estas permiten elegir flexiblemente el nivel de  granularidad deseado\, manteniendo una experiencia de modelado intuitiva centrada en la definición modular y jerárquica de la topología de los sistemas bajo estudio. URL:https://www.dc.uba.ar/event/defensa-tesis-doctorado-matias-bonaventura/ CATEGORIES:Agenda END:VEVENT BEGIN:VEVENT DTSTART;TZID=America/Sao_Paulo:20190325T120000 DTEND;TZID=America/Sao_Paulo:20190325T130000 DTSTAMP:20260713T190958 CREATED:20190318T134418Z LAST-MODIFIED:20190318T134418Z UID:4969-1553515200-1553518800@www.dc.uba.ar SUMMARY:Defensa Tesis Licenciatura Laouen Mayal Louan Belloli DESCRIPTION:Director: Gabriel Wainer\nJurados: Rodrigo Castro y Pablo Turjanski \nResumen\nEl modelado nos permite concentrarnos en los componentes que nos resultan más importantes de los fenómenos que estudiamos\, dejando de lado aquellos aspectos que no aportan información relevante. Para estudiar redes metabólicas\, tenemos primero que crear un modelo nuevo de la red para luego empezar a correr simulaciones y obtener resultados. Un problema importante en el área del modelado y simulación de células biológicas es la falta de generalización de los modelos propuestos\, cada modelo es creado para estudiar un aspecto específico de la célula biológica o para estudiar una célula biológica en particular. Debido a esto\, es difícil reutilizar dichos modelos. En este trabajo de tesis aplicamos algunos conceptos computacionales como la modularización e integración de modelos para mejorar la automatización e integración de modelos biológicos. Proponemos un modelo general de la estructura de una célula biológica que puede ser usada de framework donde diferentes modelos pueden ser integrados. También proponemos un modelo estocástico a micro escala de la red metabólica de una célula que es general y puede ser automáticamente reutilizada para estudiar redes metabólicas de distintas células biológicas. Debido a que un modelo de red metabólica a micro escala cuenta con miles de modelos atómicos idénticos\, introducimos en este trabajo el concepto de multi-state models\, que permite la unificación de múltiples modelos atómicos idénticos en uno solo. Finalmente\, proponemos un método para el modelado y simulación automático utilizando como input archivos SBML y una plataforma web que permite la utilización remota del sistema implementado\, esperando mejorar la colaboración entre distintos grupos de investigación al proponer el modelado y simulación como un servicio. URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-laouen-mayal-louan-belloli/ LOCATION:Laboratorio 3 CATEGORIES:Agenda END:VEVENT BEGIN:VEVENT DTSTART;TZID=America/Sao_Paulo:20190319T130000 DTEND;TZID=America/Sao_Paulo:20190319T140000 DTSTAMP:20260713T190958 CREATED:20190314T125809Z LAST-MODIFIED:20190314T125809Z UID:4890-1553000400-1553004000@www.dc.uba.ar SUMMARY:Defensa Tesis Licenciatura Martín Ezequiel Langberg DESCRIPTION:Título: Predicción de Patogenicidad en SNPs Usando Aprendizaje Automático\nDirectores: Ariel Berenstein y Pablo Turjanski\nJurados: Viviana Cotik y Marcelo Martí \nResumen \n\nEl estudio de enfermedades de origen genético ha tenido un desarrollo constante y acelerado en los últimos años en parte gracias a nuevas técnicas de secuenciación del genoma\, que permiten el análisis del material genético de pacientes a nivel de exomas y genomas completos con costos cada vez más reducidos y accesibles. En este contexto\, resulta de gran importancia la capacidad de identificar polimorfismos de un solo nucleótido (SNPs\, por sus siglas en inglés) causales de enfermedades humanas y diferenciarlos respecto de aquellos con efecto inocuo para el organismo. Dada la gran cantidad de SNPs presentes en el genoma humano\, esta línea de investigación ha cobrado un marcado interés por parte de la comunidad científica en general\, motivando esfuerzos interdisciplinarios\, en particular de trabajos que subyacen en la frontera de las ciencias de la computación y las ciencias biológicas.\nEn el presente trabajo\, mediante el uso de técnicas de aprendizaje automático supervisado convencionales hemos elaborado un método de predicción de patogenicidad para SNPs en regiones codificantes que resulten en un cambio de aminoácido\, normalmente referidas como SNPs con cambio de sentido.\nNuestro modelo de clasificación binaria\, se basa en las fuentes de Clinvar y Humsavar para clasificar el efecto patogénico de SNPs conocidos\, y en distintas fuentes de información para extraer variables que caractericen los SNPs desde distintas aristas biológicas.\nEn particular hemos explorado la importancia relativa y el poder predictivo de variables que den a cuenta del cambio estructural producido por el cambio de aminoácido (variación de energía\, superficie de exposición del aminoácido\, entre otras)\, variables de tipo físico-químico (hidrofobicidad\, aromaticidad\, polaridad\, etc) y de conservación a nivel genómico (PhyloP y PhastCons\, por ejemplo). Evaluamos la importancia relativa de cada una de estas dimensiones aplicando técnicas clásicas de aprendizaje automático supervisado: Regresión Logística\, Support Vector Machines y Random Forest. Finalmente\, evaluamos la combinación de las variables con una técnica más avanzada de aprendizaje automático\, XGBoost\, con el que alcanzamos un AUC de 0.90. URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-martin-ezequiel-langberg/ LOCATION:Laboratorio 4 CATEGORIES:Agenda END:VEVENT BEGIN:VEVENT DTSTART;TZID=America/Sao_Paulo:20190318T110000 DTEND;TZID=America/Sao_Paulo:20190318T120000 DTSTAMP:20260713T190958 CREATED:20190314T125429Z LAST-MODIFIED:20190314T125429Z UID:4888-1552906800-1552910400@www.dc.uba.ar SUMMARY:Defensa Tesis Licenciatura Eduardo Perez Leale DESCRIPTION:Título: Ampliando las capacidades de una aplicación de cómputo QM/MM utilizando GPU\nDirectores: Esteban Mocskos y Mariano Camilo González Lebrero\nJurados: Uriel Morzan y Pablo Turjanski \nResumen\nHoy en día\, la simulación numérica es una disciplina fundamental dentro de una gran cantidad de áreas de la ciencia y la tecnología. El uso de estas técnicas permite validar modelos teóricos así como también brindar información detallada (macro y microscópica)\ndel proceso simulado\, complementando el uso de las técnicas experimentales tradicionales.\nEste trabajo se enfoca en modificar el software de estructura electrónica LIO. Este código se basa en la teoría de los funcionales de la densidad (DFT) y permite estimar propiedades de sistemas moleculares de manera muy eficiente mediante el empleo de tarjetas gráficas (GPUs) en las partes más demandantes del cálculo.\nEn el esquema de DFT la calidad (así cómo el mayor costo) está dada por el cálculo de lo que se llama «energía de intercambio y correlación.\nPara esto existen múltiples «recetas» (llamadas funcionales de intercambio y correlación) que pueden ser convenientes para el tratamiento de diferentes sistemas o propiedades.\nLa versión original de LIO incluía un único funcional lo que limitaba sus capacidades.\nLibxc es una biblioteca de funcionales de intercambio y correlación para DFT diseñada para funcionar únicamente en CPU.\nEl desafío planteado en esta tesis es lograr la utilización de Libxc en LIO sin impacte en su performance.\nComo resultado de este trabajo se pudo lograr una ampliación de las capacidades del cómputo de LIO al vincularlo con Libxc con un impacto en la performance de alrededor de 4%.\nTambién se lograron identificar puntos clave en la implementación que permitirían continuar con las tareas de optimización.\nLas mejoras permiten que LIO pueda ser utilizada con una amplia gamma de algoritmos que realizan los cálculos de intercambio de energía y correlación lo que consecuentemente permite realizar simulaciones en condiciones más variadas.\nComo corolario de este trabajo se pudo estandarizar (aunque no automatizar) un procedimiento que permite realizar una traducción de los funcionales de la biblioteca Libxc para que puedan ser ejecutados en GPU. URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-eduardo-perez-leale/ LOCATION:Laboratorio 4 CATEGORIES:Agenda END:VEVENT BEGIN:VEVENT DTSTART;TZID=America/Sao_Paulo:20190313T093000 DTEND;TZID=America/Sao_Paulo:20190313T103000 DTSTAMP:20260713T190958 CREATED:20190307T131915Z LAST-MODIFIED:20190307T131915Z UID:4857-1552469400-1552473000@www.dc.uba.ar SUMMARY:Defensa Tesis Licenciatura Tomás Gonzalez DESCRIPTION:Título: Evaluación de implementaciones alternativas de colas concurrentes en Haskell.\nDirector: Hernán Melgratti\nJurado: Nicolás D’Ippolito y Christian Roldán.\n\nResumen\nEn este trabajo se realiza una comparación entre distintas maneras de implementar un mismo tipo de datos concurrente en el lenguaje de programación Haskell. El lenguaje provee varias alternativas para resolver los problemas de sincronización que surgen dentro del área de la programación concurrente. Entre ellas\, el trabajo se enfoca en las variantes libres de locks como el uso de la primitiva compare and set y la librería STM.\n\nSe llevo a cabo una experimentación para observar las diferencias entre las distintas implementaciones y se analizaron los resultados para determinar cuales son las implementaciones más apropiadas según varios contextos de uso. Para el análisis también se toma en cuenta la complejidad de los algoritmos y la consistencia en los resultados que producen. URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-tomas-gonzalez/ LOCATION:Laboratorio 4 CATEGORIES:Agenda END:VEVENT END:VCALENDAR