BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Departamento de Computación - ECPv6.15.18//NONSGML v1.0//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
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:-0300
TZOFFSETTO:-0300
TZNAME:-03
DTSTART:20220101T000000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20231101T110000
DTEND;TZID=America/Sao_Paulo:20231101T120000
DTSTAMP:20260404T183405
CREATED:20231030T124020Z
LAST-MODIFIED:20231030T124020Z
UID:8736-1698836400-1698840000@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Diego Norberto Senarruzza Anabia
DESCRIPTION:Título: Bisimulación de Data-aware Communicating Finite State Machines con propiedades en las acciones\nDirectores: Carlos Gustavo Lopez Pombo\, Hernán Melgratti\nJurados: Sergio Abriola\, Emilio Tuosto \nResumen:\nLos nuevos paradigmas de computación\, como service-oriented computing (SOC) o\nCloud/Fog\, como así también el Internet de las cosas (IoT por su sigla en\ninglés)\, han impulsado enormemente lo que hoy se denomina economía de APIs. La\nidea que subyace en la economía de APIs es la posibilidad de construir nuevos\nservicios utilizando APIs provistas por terceras partes y\, a su vez\, hacer\ndisponibles estos nuevos servicios\, publicando sus propias APIs. La creciente\ninterconexión entre aplicaciones y dispositivos hacen al surgimiento de nuevos\ny esenciales requerimientos por parte de las aplicaciones actuales\, tales como\nself-adaptiveness y reconfiguración dinámica transparente. En la industria\nactual\, las APIs representan el último escalón de interoperabilidad\, y ponen\nen relieve la necesidad de descripciones precisas como forma preponderante de\ndocumentación. Sin embargo\, en la mayoría de los casos\, los aspectos más\nimportantes del comportamiento de las API son documentados informalmente\,\ndificultando la validación del software que se obtiene como resultado de\ncomponer servicios a través de sus APIs\, así como el establecimiento de\npropiedades y el mantenimiento de aplicaciones. En consecuencia\, describir\nformalmente el comportamiento de las APIs de forma que este provea garantías a\nsus clientes constituye un desafío técnico clave en este contexto. El presente\nproyecto de tesis asume una perspectiva en la que el ideal detrás de la\nejecución de aplicaciones basadas en APIs se lleva a cabo sobre una\ninfraestructura de comunicación y cómputo ubicua y preexistente y en la que un\nmiddleware es capaz de solicitar a un service-broker la búsqueda de un\nservicio al que\, sujeto a una negociación de nivel servicios (SLA por su sigla\nen inglés\, Service Level Agreements)\, pueda vincularse en forma completamente\nautomática y transparente\, para que colectivamente sea posible alcanzar cierto\nobjetivo de negocios. Es necesario contar con descriptores de protocolos\nprecisos a nivel de servicio\, así como alguna definición de compliance que\npermita establecer equivalencia entre dichos protocolos. Como candidatos\nidóneos a estos\, surgen las Asserted Communicating Finite State Machines\n(a-CFSM)\, capaces de describir el intercambio de mensajes entre participante\n(o servicios) y de establecer condiciones sobre las variables intercambiadas\nen dichos mensajes (pre-condiciones sobre mensajes enviados y post-condiciones\nsobre mensajes recibidos). Ligado a la necesidad de una definición de\ncompliance\, surge como problema el hecho de que las partes involucradas en la\ncomunicación no necesariamente se conocen entre sí\, por lo que descriptores\nque resulten equivalentes pueden encontrarse escritos utilizando terminología\ndistinta. En este trabajo nos concentraremos en: 1) abordar una noción de\nbisimulación a modo de compliance para las a-CFSM\, asumiendo que los autómatas\ncomparten terminología\, 2) extender la definición de bisimulación construyendo\nun matching de nombres (un diccionario entre las terminologías de ambos\nautómatas) y 3) poner en práctica los resultados obtenidos en (1) y (2) a\ntravés de la construcción de una herramienta de software. Para facilitar (1)\,\ndefiniremos una abstracción de las a-CFSM a las que llamaremos Assertable\nFinite State Machines (a-FSM)\, con la que procederemos a definir tres nociones\nde bisimulación de manera incremental (cada una a partir de las limitaciones\nde la anterior)\, para posteriormente extender hacia las a-CFSM.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-diego-norberto-senarruzza-anabia/
LOCATION:Sala 1604
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20231116T140000
DTEND;TZID=America/Sao_Paulo:20231116T170000
DTSTAMP:20260404T183405
CREATED:20231114T163515Z
LAST-MODIFIED:20231114T163515Z
UID:8764-1700143200-1700154000@www.dc.uba.ar
SUMMARY:5° Ateneo CID sobre Agilidad en la Gestión Jurídica
DESCRIPTION:Tenemos el agrado de invitarlos al 5° Ateneo CID sobre Agilidad en la Gestión Jurídica\, donde estaremos conversando sobre la implementación y gestión de nuevas tecnologías aplicada a entornos normativos\, tanto en el Poder Ejecutivo como en el Poder Judicial.\n\nLa apertura estará a cargo del Especialista en Derecho Administrativo\, Santiago Pérez Teruel\, Asesor General de Gobierno de la Provincia de Buenos Aires. El panel estará conformado por Johanna Cristallo\, Directora Interina de la Agencia de Acceso a la Información Pública del Ministerio Público Fiscal de la Nación\, Secretaria de la Procuración General de la Nación y Directora de Justicia en Fund.ar\, Gabriel Mehlman\, Director General a cargo de la Unidad de Modernización\, Innovaciones Tecnológicas y Proyectos Especiales del Consejo de la Magistratura\, Agustín Tarelli\, Director General de Planificación y de Información Jurídica de Asesoría General de Gobierno\, y Bruno Bianchi\, Doctor en Ciencias de la Computación\, investigador postdoctoral CONICET y colaborador del CID como líder de proyecto.\n \nEl evento es de acceso libre y gratuito. Se realizará en la Sala Auditorio 1401 del Pabellón Cero+Infinito de la Facultad de Cs. Exactas y Naturales de la UBA en Ciudad Universitaria\, el día jueves 16 de Noviembre de 14.00 a 17.00 hs.  \n\nPor capacidad limitada\, se requiere registración previa en:  bit.ly/ateneocidgj \n\n\n\nLa charla será en castellano\, no se emitirá en vivo\, y está orientada a estudiantes\, investigadores y profesionales de las carreras de Ciencias de la Computación\, Matemáticas y Datos\, Abogacía y público en general con interés en implementaciones en sectores altamente regulados.\n\nSe agradece difusión en sus instituciones y redes de contacto.\n\nSobre el CID – Centro Interinstitucional en Ciencia de Datos:\nEl Centro Interinstitucional en Ciencia de Datos (UBA-MINCyT) tiene el propósito de acelerar la adopción de tecnologías en Ciencia de Datos por parte de organizaciones públicas y privadas\, con el fin de contribuir a una mejor calidad en la gestión y la toma de decisiones. Para ello\, promueve y articula la formación\, investigación\, transferencia y vinculación en Ciencia de Datos\, con una visión interdisciplinaria\, interinstitucional y con alcance regional.
URL:https://www.dc.uba.ar/event/5-ateneo-cid-sobre-agilidad-en-la-gestion-juridica/
LOCATION:Sala 1401
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20231117T140000
DTEND;TZID=America/Sao_Paulo:20231117T150000
DTSTAMP:20260404T183405
CREATED:20231114T134445Z
LAST-MODIFIED:20231114T134445Z
UID:8755-1700229600-1700233200@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Sebastian Uriel Sujarchuk
DESCRIPTION:Título: Un estudio en profundidad de los protocolos QUIC y HTTP/3 y su impacto en servicios web modernos\nDirector: RIGHETTI\, Claudio Enrique\nJurados : CASTRO\, Rodrigo Daniel\, SANTI\, Lucio \nResumen :Con la reciente estandarización de los protocolos QUIC y HTTP/3 comienza el largo proceso para comenzar a adoptar estas nuevas tecnologías. Por un lado\, QUIC introduce una serie de mejoras y cambios para adaptarse a la Internet actual\, y se posiciona como potencial reemplazo de TCP en lo que respecta a protocolos de transporte para comunicaciones confiables. A su vez\, HTTP/3 surge como el primer protocolo construido sobre QUIC\, permitiéndole aprovechar sus nuevas capacidades.\nEn la actualidad\, todavía no existe una gran cantidad de servicios que implementen QUIC y HTTP/3. No obstante\, estos ya fueron adoptados por algunos de los sitios más grandes de Internet.\nEn esta tesis presentaremos un estudio de los protocolos QUIC y HTTP/3 con el objetivo de entender cómo funcionan y qué cambios introducen respecto a sus predecesores. Adicionalmente\, proponemos un análisis del impacto de estos protocolos en el rendimiento de algunos servicios web\, comparándolos con versiones anteriores de HTTP (que funcionan sobre el protocolo TCP).\nPara realizar estas comparaciones se utilizaron tres implementaciones distintas de QUIC y HTTP/3 desarrolladas en distintos lenguajes. Con estas se observó la latencia y se la comparó con una implementación de HTTP versión 1 y 2 del lenguaje correspondiente.\nCon el fin de evaluar el impacto en producción de estos protocolos\, las mediciones fueron realizadas con servidores que se encuentran productivos actualmente.\nEn base a la experimentación presentada\, pudimos comprobar una leve mejora de HTTP/3 con respecto a HTTP/2 en ciertos casos. No obstante\, estos resultados se pueden ver afectados por la implementación utilizada. Para sitios más optimizados\, el rendimiento demostró ser muy similar tanto para HTTP/2 como para HTTP/3\, con rendimientos menos variados para el primero. Adicionalmente\, también observamos que la presencia de CDNs y caches puede hacer que estas mejoras sean pequeñas\, o incluso no apreciables.\nEsperamos que estos resultados puedan ser de utilidad a la hora de ponderar si es necesario implementar QUIC y HTTP/3 en el corto plazo o si es más razonable esperar\, pues en la actualidad\, la implementación de estos protocolos requiere un esfuerzo adicional por parte de los desarrolladores.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-sebastian-uriel-sujarchuk/
LOCATION:Aula 1115
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20231122T110000
DTEND;TZID=America/Sao_Paulo:20231122T120000
DTSTAMP:20260404T183405
CREATED:20231117T123950Z
LAST-MODIFIED:20231117T123950Z
UID:8771-1700650800-1700654400@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Pablo Montepagano
DESCRIPTION:Título: SEArch\, una infraestructura de ejecución de software basado en servicios\nDirector: Prof. Carlos Gustavo Lopez Pombo\nJurado: Prof. Juan Pablo Galeotti\, Dr. Ignacio Vissani\, Prof. Emilio Tuosto \nMeet: https://meet.google.com/vyz-riqs-zjz . \nResumen:\nEn las últimas décadas\, con la explosión de Internet\, las APIs (Application Programming Interfaces) se impusieron como el mecanismo ubicuo para hacer disponible una pieza de software como un servicio que puede ser consumido por otro sistema de software. Sin embargo\, en la mayoría de los casos las APIs no están documentadas adecuadamente y solo se describen el formato de los datos necesarios para invocarlas y requerimientos básicos de los protocolos de invocación. Para escribir software que utilice un servicio externo a través de una API\, se requiere escritura manual de código que utilice dicha API\, la cual es específica a un proveedor en particular.\nEn este trabajo implementamos una infraestructura experimental donde se cuenta con un repositorio global de contratos de provisión de servicios. Dichos contratos son descripciones formales de APIs. De esta manera\, para desarrollar software que utilice un servicio externo\, en lugar de escribir código específico para la API de un proveedor en particular\, uno puede utilizar un contrato de requerimiento para describir qué espera del servicio externo. Dicho contrato se envía a un Service Broker que sabe determinar cuáles proveedores del repositorio global satisfacen el requerimiento. De esa manera\, la infraestructura se ocupa de manera automática de hallar el mejor servicio disponible en tiempo de ejecución sin necesidad de depender exclusivamente de un proveedor en particular.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-pablo-montepagano/
LOCATION:Sala 1604
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20231123T143000
DTEND;TZID=America/Sao_Paulo:20231123T153000
DTSTAMP:20260404T183405
CREATED:20231117T124503Z
LAST-MODIFIED:20231121T121918Z
UID:8773-1700749800-1700753400@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Matias Waehner
DESCRIPTION:Título: Una mirada a la mente de Vincent van Gogh a través de sus pinturas y escritos: Un estudio sobre marcadores mentales multimodales usando NLP y Deep Learning\nDirectores: Diego Fernández Slezak\, Laouen Belloli\nJurados: Enzo Tagliazucchi\, Pablo Riera\n\nResumen: En los últimos años\, nuevas herramientas computacionales han sido aplicadas a la psiquiatría tradicional\, dando a luz a un novedoso campo llamado psiquiatría computacional. En esta nueva área se han empleado variadas técnicas de Natural Language Processing (NLP)\, obteniendo resultados extraordinarios en la identificación de alteraciones en el discurso causadas por desórdenes mentales o por el consumo de sustancias. En este proyecto\, exploramos cómo pueden extrapolarse los marcadores encontrados en el discurso a lenguajes visuales más abstractos\, como lo son las pinturas y dibujos. Como una prueba de concepto\, nos enfocamos en encontrar marcadores mentales en las obras de arte de Vincent van Gogh utilizando Redes Neuronales Convolucionales. En un primer experimento\, utilizamos representaciones de word embeddings y aplicamos diferentes técnicas de Machine Learning (ML) como clustering para procesar sus cartas y extraer marcadores semánticos\, obteniendo un ground truth con el cual etiquetar sus obras de arte. Luego\, finetuneamos parte de las capas convolucionales de la red VGG16 y le agregamos nuevas capas fully-conected a la salida para predecir los marcadores previamente obtenidos. En un segundo experimento\, entrenamos la misma arquitectura para predecir los brotes psicóticos conocidos de Van Gogh en sus últimos 2 años de vida a partir de sus obras. La performance del modelo fue en el primer experimento mejor que el azar\, indicando la existencia de marcadores mentales en sus pinturas. Este trabajo es una primera prueba de concepto que muestra la posibilidad de utilizar dibujos libres para diagnósticos psiquiátricos\, ya que demuestra la existencia de información compartida entre marcadores de lenguajes visuales y escritos. Más aún\, dichos marcadores visuales tienen información clínica relevante\, permitiendo abrir las puertas al desarrollo de experimentos más concretos con pacientes actuales que extrapolen marcadores mentales del discurso a dibujos o pinturas para el diagnóstico y estudio de diversos desórdenes mentales.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-matias-waehner/
LOCATION:Aula 1113
CATEGORIES:Agenda
END:VEVENT
END:VCALENDAR