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:-0300
TZOFFSETTO:-0300
TZNAME:-03
DTSTART:20220101T000000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20230414T190000
DTEND;TZID=America/Sao_Paulo:20230416T190000
DTSTAMP:20260408T125602
CREATED:20230412T125803Z
LAST-MODIFIED:20230412T125803Z
UID:8275-1681498800-1681671600@www.dc.uba.ar
SUMMARY:Hackaton de programación web3/blockhain en Exactas
DESCRIPTION:¡Hola!\n\nLos invitamos a participar de la Mega-Ace* Hackathon. En la hackaton se van a desarrollar dApps utilizando la Algorand blockchain! Esta hackaton se va a desarrollar en varios países del mundo y uno de los nodos será en el 0+Infinito en Exactas/UBA! \nEste hackathon se llevará a cabo los días 14\, 15 y 16 de abril en el edificio 0+infinito en Exactas. Van a poder  participar en dos pistas: Si tenés una idea original que queres construir o un proyecto existente al que quieras integrar funcionalidades web3\, podes anotarte a la «Pista de Innovación Abierta» y empezar a trabajar en tu proyecto ahora mismo. Si preferís trabajar en un desafío específico\, anotate a la «Pista de Innovación Técnica» donde se presentarán los desafíos el 14 de abril. \nNo tenés que ser experto en blockchain o Algorand para participar  en este hackathon. El evento es una buena oportunidad  para aprender sobre Algorand\, trabajar en equipo con otros participantes y crear soluciones innovadoras. \nHabrá + de 40.000 usd en premios para los proyectos ganadores\, así como oportunidades para aprender y hacer contactos en la comunidad.\n\nPara participar registrate en mega-ace.org/hackathon.\n\nVenite a la Mega-Ace Hackathon para construir juntos soluciones innovadoras en Algorand!\n\n\nHorarios de la Hackaton en el cero+infinito.\n\n– Viernes  19 a 20hs en el aula 1402  :  lanzamiento  y descripción de los desafíos a encarar en el\n– Sábado 10 a 20hs en la sala 1605: Trabajo en los desafíos\n– Domingo 10 a 19hs en la sala 1604:  Trabajo en desafíos\n– Domingo 19 hs en el aula 1402: Ceremonia de premiación\n\nSi tienen otras dudas hay un discord de la gente de Algorand que puede acceder por acá: https://discord.com/invite/TK9DDATzhA
URL:https://www.dc.uba.ar/event/hackaton-de-programacion-web3-blockhain-en-exactas/
LOCATION:Cero+Infinito
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20230421T090000
DTEND;TZID=America/Sao_Paulo:20230421T100000
DTSTAMP:20260408T125602
CREATED:20230414T125351Z
LAST-MODIFIED:20230414T125447Z
UID:8292-1682067600-1682071200@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Jonathan Seijo
DESCRIPTION:Título: Análisis de coocurrencia de repeticiones maximales en familias de proteínas utilizando reglas de asociación\nDirectores: Diego U. Ferreiro y Pablo Turjanski\nJurado: Cecilia Ruz y Alejandro Nadra \nResumen\nExisten ciertas repeticiones de caracteres en secuencias\, las repeticiones maximales\, que han sido estudiadas para buscar patrones recurrentes que puedan caracterizar a diferentes familias de proteínas a partir de sus secuencias de aminoácidos. Por otra parte\, el análisis de reglas de asociación es una técnica de Data Mining utilizada para encontrar\, de forma automática\, relaciones interesantes entre elementos de una base de datos. En un trabajo previo se vincularon las reglas de asociación con las repeticiones maximales existentes en las secuencias de proteínas de la familia Ankyrin. \nEn el presente trabajo\, extendemos dicho análisis para poder involucrar a otras dos familias (TPR y LRR). Encontramos diferencias de órdenes de magnitud entre las cantidades de reglas generadas para estas tres familias de proteínas\, que se explican por diferencias observadas en las frecuencias de sus repeticiones maximales. Además\, resulta que estas familias no comparten reglas de asociación\, debido a que sus conjuntos de repeticiones maximales frecuentes casi no tienen elementos en común. \nPresentamos algunas optimizaciones temporales y espaciales para el proceso de generación de reglas de asociación (con y sin pérdida de reglas) e investigamos una forma de obtener los mismos conjuntos de reglas a partir de los k-meros de las secuencias pero sin calcular sus repeticiones maximales. Utilizamos una medida\, el lift\, para analizar la relevancia de las reglas generadas y observamos que resulta insuficiente cuando se aplica al dominio de nuestro problema. Por último\, extendemos una herramienta para la visualización de reglas y proteínas (Protein Rule Visualization Tool) para permitir la exploración de datos provenientes de múltiples familias.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-jonathan-seijo/
LOCATION:Sala 1604
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20230426T133000
DTEND;TZID=America/Sao_Paulo:20230426T143000
DTSTAMP:20260408T125602
CREATED:20230420T130721Z
LAST-MODIFIED:20230425T132526Z
UID:8296-1682515800-1682519400@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Marcos Blufstein
DESCRIPTION:Título: Mejoras a un algoritmo de Branch and Price para el problema del viajante de comercio con un dron\nDirectores: Gonzalo Lera Romero y Francisco Soulignac\nJurados: Brian Curcio y Javier Marenco (UTDT) \nRESUMEN\nEn este trabajo estudiamos el problema del viajante de comercio con un dron. En este problema\, un camión y un dron se mueven en simultáneo para visitar a todos los clientes de un conjunto una única vez\, ya sea únicamente por el camión\, únicamente por el dron\, o por ambos vehículos al mismo tiempo. El dron tiene una capacidad limitada; solo puede llevar de a un paquete a la vez\, después de lo cual debe regresar al camión para buscar otro paquete. Por otro lado\, el dron tiene la ventaja de poder evitar la red de tráfico\, lo que le permite moverse de un cliente a otro en línea recta. \nAnalizamos un algoritmo de Branch and Price para este problema propuesto por Roberti and Ruthmair en el trabajo “Exact Methods for the Traveling Salesman Problem with Drone” (Roberti and Ruthmair\, 2021)\, el cual reimplementamos en su totalidad dado que el código fuente no está disponible. Además\, proponemos e implementamos mejoras al mismo\, entre las cuales se encuentran una nueva relajación para el TSPD\, nuevas reglas de dominación parcial\, y una versión bidireccional del algoritmo. Estos aportes prueban ser eficaces en los experimentos computacionales realizados\, en donde observamos que nuestro algoritmo obtiene resultados mejores que los encontrados en la literatura. \nEl algoritmo fue testeado sobre las mismas instancias que utilizan en el trabajo Roberti and Ruthmair (2021)\, introducidas anteriormente por Poikonen et al. (2019). Las mismas llegan a un tamaño máximo de 39 clientes\, y mientras que el algoritmo de Roberti y Ruthmair llega a resolver únicamente 11/75 instancias de dicho tamaño\, nuestro algoritmo resuelve 71/75.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-marcos-blufstein/
LOCATION:Aula 1207
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20230502T100000
DTEND;TZID=America/Sao_Paulo:20230502T110000
DTSTAMP:20260408T125602
CREATED:20230421T152919Z
LAST-MODIFIED:20230421T152919Z
UID:8302-1683021600-1683025200@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Tomás Delgado
DESCRIPTION:Título: Aprendiendo políticas de exploración generales para escalar la síntesis de controladores discretos.\nDirector: Sebastian Uchitel\nJurados: Agusting Gravano y Pablo Riera \nResumen:\nEl área de síntesis de controladores discretos estudia la construcción automática de estrategias de comportamiento con garantías de correctitud\, para sistemas descriptos formalmente por autómatas. La limitación de estas técnicas viene dada por la maldición de la dimensionalidad\, que hace que el tamaño de los autómatas crezca muy velozmente y restringe la aplicabilidad. La síntesis on-the-fly busca eludir esta problemática construyendo el espacio de estados parcialmente\, agregando una transición a la vez desde el estado inicial del sistema e intentando explorar solo lo necesario para la estrategia ganadora\, o para mostrar que tal estrategia no existe.\nEn esta tesis desarrollamos un primer método para aprender una heurística que guı́e la exploración a partir de la experiencia. En primer lugar\, definimos una tarea de aprendizaje por refuerzo para la cual el agente representa una política de exploración. Luego\, mostramos una forma de usar Q-Learning abstrayendo tanto estados como acciones en un conjunto de features. Esta abstracción hace posible el aprendizaje y la generalización\, pero genera un alto grado de observabilidad parcial. La evaluación empírica muestra que\, a pesar de la falta de garantías teóricas de convergencia\, es posible aprender consistentemente políticas competitivas en las instancias de entrenamiento. Más aún\, las políticas inducidas en instancias grandes superan en promedio a la mejor heurı́stica desarrollada por humanos\, empujando la frontera de problemas resueltos en algunos de los dominios del benchmark utilizado.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-tomas-delgado/
LOCATION:Aula 1115
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20230515T180000
DTEND;TZID=America/Sao_Paulo:20230515T200000
DTSTAMP:20260408T125602
CREATED:20230515T121912Z
LAST-MODIFIED:20230515T122122Z
UID:8349-1684173600-1684180800@www.dc.uba.ar
SUMMARY:Charla de Adrian Cristal:  Chips & supercomputers work at Barcelona Supercomputing Center
DESCRIPTION:Los invitamos a la charla que dará Adrián Cristal\, graduado nuestro trabajando en el Barcelona Supercomputing Center (España)\, haciendo investigación y desarrollo tecnológico en el área de arquitecturas del procesador. \nDía: 1/5/2023\nHora: 18:00hs\nLugar: Sala 1606 \nLa charla de Adrián va a tener dos partes: \nPARTE 1: Chips & supercomputers work at Barcelona Supercomputing Center \nUn poco de historia del BSC\, qué es lo que hacemos\, hacia dónde vamos\, y las oportunidades para desarrollar su carrera allá. \nPARTE 2: Vitruvius+: An Area-Efficient RISC-V Decoupled Vector Coprocessor for Vitruvius+High Performance Computing Applications \nThe maturity level of RISC-V and the availability of domain-specific instruction set extensions\, like vector processing\, make RISC-V a good candidate for supporting the integration of specialized hardware in processor cores for the High-Performance Computing (HPC) application domain. In this paper1 \, we present Vitruvius+\, the vector processing acceleration engine which represents the core of vector instruction execution in the HPC challenge that comes within the EuroHPC initiative. It implements the RISC-V vector extension (RVV) 0.7.1 and can be easily connected to a scalar core using the Open Vector Interface (OVI) standard. Vitruvius+ natively supports long vectors: 256 Double Precision (DP) floating-point elements in a single vector register. It is composed of a set of identical vector pipelines (lanes)\, each containing a slice of the Vector Register File (VRF) and functional units (one integer\, one floating-point). The vector instruction execution scheme is hybrid in-order/out-of-order and is supported by register renaming and arithmetic/memory instruction decoupling. On a standalone synthesis\, Vitruvius+ reaches a maximum frequency of 1.4 GHz in typical conditions (TT/0.80V/25°C) using GlobalFoundries 22FDX FD SOI. The silicon implementation has a total area of 1.3 mm2 and maximum estimated power of ∼920 mW for one instance of Vitruvius+ equipped with eight vector lanes.
URL:https://www.dc.uba.ar/event/charla-de-adrian-cristal-chips-supercomputers-work-at-barcelona-supercomputing-center/
LOCATION:Sala 1606
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20230519T160000
DTEND;TZID=America/Sao_Paulo:20230519T170000
DTSTAMP:20260408T125602
CREATED:20230512T130614Z
LAST-MODIFIED:20230512T130614Z
UID:8345-1684512000-1684515600@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Juan Carlos Giudici
DESCRIPTION:Título: Técnicas de adaptación de dominio en tareas de extracción de opiniones\nDirector: Juan Manuel Pérez\nJurado: Bruno Bianchi y María Vanina Martínez \nResumen: \nEn el campo del procesamiento de lenguaje natural (NLP\, por sus siglas en inglés)\, existen distintas tareas dentro del área de extracción de opiniones: detección de emociones\, detección de discurso de odio\, ironía y clasificación de polaridad. Estas tareas se abordan típicamente mediante técnicas de aprendizaje supervisado utilizando conjuntos de datos específicos a cada tarea. En este trabajo exploramos la adaptación de dominio de modelos de lenguaje desde un dominio de origen enciclopédico\, como la Wikipedia en español\, hacia un dominio de textos sociales\, como Twitter. \nProponemos una modificación de la técnica Universal Language Model Fine-tuning for Text Classification (ULMFit)\, agregando una nueva etapa de adaptación de dominio intermedio entre el dominio de Wikipedia y el dominio de las tareas de clasificación sobre textos no supervisados. Este dominio intermedio se enfoca en textos genéricos de redes sociales\, con la esperanza de que esta etapa intermedia mejore los resultados de las tareas de clasificación. \nNuestros resultados muestran que algunas combinaciones que incluyen al dominio de las tareas de clasificación obtienen mejor desempeño que la aplicación del método según lo recomendado en la literatura. Además\, en algunos casos\, logramos recortar buena parte del rendimiento obtenido mediante el pre-entrenamiento de modelos de lenguaje sobre textos de redes sociales. \nPalabras clave: Procesamiento de Lenguaje Natural\, Adaptación de Dominio\, Tareas de Clasificación\, Extracción de Opiniones\, ULMFiT.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-juan-carlos-giudici/
LOCATION:Aula 1205
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20230522T140000
DTEND;TZID=America/Sao_Paulo:20230522T150000
DTSTAMP:20260408T125602
CREATED:20230518T155824Z
LAST-MODIFIED:20230518T155824Z
UID:8355-1684764000-1684767600@www.dc.uba.ar
SUMMARY:Charla de empirical analysis de Mariano Consens
DESCRIPTION:Título: Two Examples of Empirical Analysis to Understand Adoption: GraphQL Schemas and GasTokens in the Ethereum Blockchain \nAbstract:\nThis talk provides an overview of two different examples of the use of empirical analysis to understand the adoption characteristics of specific technologies. \nGraphQL is a query language for APIs that has been increasingly adopted by Web developers since its specification was open sourced in 2015. The GraphQL framework lets API clients tailor data requests by using queries that return JSON objects described using GraphQL Schema. The first part of this talk (joint work with Yun Wan Kim at UofT and Olaf Hartig at Linkoping University) describes data analysis results characterizing GraphQL Schemas in open code repositories and package registries. This empirical study identifies over 20K GraphQL-related projects in publicly accessible repositories\, complemented by finding 37K dependent packages and repositories in package registries. \nGasTokens are created by smart contracts executing in the Ethereum blockchain to support a form of transaction fee pre-payment. Even though GasTokens had a period of significant activity on Ethereum (regularly surpassing half of the overall weekly smart contract creation and destruction activities)\, few systematic studies have been conducted on GasToken usage and its effect on the blockchain network. The second part of this talk (joint work with Lixuan Luo at UofT) focuses on understanding the adoption of GasTokens on Ethereum since May of 2020. We analyze the usage patterns\, report price findings\, and compare the fees paid by users submitting transactions that create and destroy GasTokens to the fees paid by all the transactions in the network. We characterize the benefits obtained by GasToken transaction senders and report the impact of GasToken creations and destructions on the major mining pools. \nBio: Mariano Consens research interests are in the areas of Data Management and the Web\, with a focus on graph data\, analytics and ML\, semantic data\, searching\, and autonomic systems. He has over 80 publications\, including journal publications selected from best conference papers and several patents. Mariano received his PhD and MSc degrees in Computer Science from the University of Toronto\, and a Computer Systems Engineer degree from the Universidad de la Republica\, Uruguay. Consens is a University of Toronto faculty member and a Visiting Scientist at the IBM Center for Advanced Studies in Toronto. In addition\, he has been active in the software industry as a founder and CTO of a couple of software startups\, as well as a Visiting Scientist at Yahoo! Research.
URL:https://www.dc.uba.ar/event/charla-de-empirical-analysis-de-mariano-consens/
LOCATION:Sala 1604
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20230608T150000
DTEND;TZID=America/Sao_Paulo:20230608T170000
DTSTAMP:20260408T125602
CREATED:20230605T124154Z
LAST-MODIFIED:20230605T124335Z
UID:8383-1686236400-1686243600@www.dc.uba.ar
SUMMARY:Defensa Tesis Doctorado Christian Cossio Mercado
DESCRIPTION:Título: «Evaluación automática de la calidad del habla artificial»\nDirector: Dr. Jorge Gurlekian (CONICET)\nJurados: Dra. Laura Alonso Alemany (UNC)\, Dr. Juan Carlos Gómez (UNR; CONICET)\, Dr. Hugo L. Rufiner (UNL; CONICET) \nLink de youtube para la transmisión: https://youtu.be/4fqa9iFs2Cg \nResumen:\nEl español es la principal lengua del continente americano y la cuarta más hablada en el mundo\, además de la segunda con más hablantes nativos. Aún así\, existen pocos sistemas con voces artificiales que soportan variantes locales\, con sus diferencias fonéticas y de entonación\, entre otras\, como el español de Argentina.\nEl desarrollo de un sistema de conversión de texto a habla (TTS) necesita de buenas bases de datos\, y que estén procesadas y etiquetadas adecuadamente\, lo que requiere trabajo intensivo de recursos humanos\, en muchos casos\, con tareas manuales. Así\, luego de que se completó el desarrollo de una voz artificial se tiene que probar que su calidad es adecuada para las necesidades de sus futuros usuarios.\nNormalmente\, se siguen varias iteraciones de evaluación y mejora de un sistema\, de acuerdo al tiempo y los recursos disponibles. Este proceso suele ser largo\, entre otras cosas\, por el tiempo que toma la realización de las evaluaciones perceptuales con humanos.\nEn una evaluación subjetiva del habla una persona emite juicios sobre distintas elocuciones\, tanto artificiales como naturales\, y expresa directa o indirectamente\, cuán aceptables y agradables le son\, además de realizar otras evaluaciones sobre las mismas\, como\, por ejemplo\, qué bien articuladas están o si tienen algún tipo de defecto sonoro. Uno de los objetivos de estas evaluaciones es determinar qué características del habla se asocian con buenos puntajes de los evaluadores\, de forma de identificar atributos del habla que permitirían la evaluación automática de los sistemas\, ‘copiando’ los criterios humanos.\nLas pruebas clásicas para la evaluación perceptual de voces artificiales no evalúan completamente la experiencia del usuario\, ya que no consideran totalmente el contexto en el cual se realizan las pruebas\, y sólo se analizan en un contexto de laboratorio. Esto se plantea como el dilema principal de la evaluación de la calidad del habla.\nEste trabajo buscó diseñar métodos de evaluación automática de la calidad del habla artificial generada a través de Sistemas TTS para el español de Buenos Aires. Los métodos incluyen nuevas métricas y otras ya existentes\, y tienen como base las características de la percepción humana de la voz\, así como el procesamiento automático de los parámetros acústicos de la señal de habla.
URL:https://www.dc.uba.ar/event/defensa-tesis-doctorado-christian-cossio-mercado/
LOCATION:Aula 1402
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20230703T140000
DTEND;TZID=America/Sao_Paulo:20230703T150000
DTSTAMP:20260408T125602
CREATED:20230627T121516Z
LAST-MODIFIED:20230703T125317Z
UID:8418-1688392800-1688396400@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura María Belén Ticona Oquendo
DESCRIPTION:Título: Predicción de cristalización de perovskitas mediante aprendizaje automático\nDirector: Diego Onna\nCo-Director: Pablo Turjanski\nJurados: Esteban Mocskos y Mario Tagliazucchi\n\n\nResumen\n\nEn el área de las ciencias materiales tradicionalmente se investiga mediante la prueba y error experimental en laboratorio\, consumiendo una considerable cantidad de tiempo\, recursos e inversiones. Actualmente\, entre los materiales más investigados\, se destacan las perovskitas por ser una promesa en el desarrollo de paneles solares. Sin embargo\, su síntesis por formación de cristales es un proceso químico complejo y poco frecuente\, aún se desconocen las condiciones experimentales que producen una síntesis exitosa.\nEn este contexto\, existen trabajos que han demostrado que es posible desarrollar modelos de predicción de cristalización de perovskitas empleando técnicas de aprendizaje automático. No obstante\, desde un punto de vista metodológico\, estos modelos se han realizado sin considerar las características que conlleva usar datos experimentales\, como por ejemplo\, la cantidad acotada de datos\, el desbalance entre experimentaciones en donde efectivamente cristaliza\, los sesgos en la recolección de los datos\, entre otros.\nEn este trabajo realizamos un estudio sobre la evaluación de modelos predictivos frente a errores en la recolección y muestreo de datos experimentales. Para ello estudiamos cómo se ven afectadas tradicionales métricas de evaluación -mediante matrices de confusión sintéticas- al usar conjunto de datos chicos y desbalanceados. Consideramos una evaluación basada en una representación bidimensional de métricas y definimos categorías de performance esperadas de los sistemas predictivos finales para poder valorar mejor su utilidad. Por último\, aplicamos este mecanismo para estudiar en particular modelos de ensambles\, pudiendo analizar qué estimadores generan un ensamble superador a los modelos individuales de un único estimador. Además\, al estudiar ensambles heterogéneos concluimos que combinar modelos especializados por clase permite generar ensambles superadores con mejor desempeño.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-maria-belen-ticona-oquendo/
LOCATION:Aula 1102
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20230719T110000
DTEND;TZID=America/Sao_Paulo:20230719T120000
DTSTAMP:20260408T125602
CREATED:20230713T124618Z
LAST-MODIFIED:20230713T124618Z
UID:8451-1689764400-1689768000@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Alejandro Mercado
DESCRIPTION:Título: Weak-Ensconcement for Shielded Base Contraction\nDirector: Ricardo O. Rodríguez\nCo-Director: Daniel Grimaldi\nJurados: Vanina Martinez y Eduardo Barrio \nResumen:\nEn esta tesis\, se presenta la versión débil de ensconcement\, que caracteriza a una interesante familia de shielded contractions para bases de conocimiento. A su vez\, esta caracterización induce una clase de contracciones AGM que satisface ciertos postulados que se exponen en este trabajo. Finalmente\, se muestra la conexión entre la clase de contracciones dada por el nuevo weak-ensconcement y otros tipos de operadores de contracción en bases. Al hacerlo\, también señala una falla que se descubrió en los teoremas originales que vinculan al epistemic entrenchment con el ensconcement (teoremas bien establecidos en la literatura)\, y luego se proporcionan dos posibles soluciones a este problema.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-alejandro-mercado/
LOCATION:Aula 1206
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20230803T083000
DTEND;TZID=America/Sao_Paulo:20230803T093000
DTSTAMP:20260408T125602
CREATED:20230731T163139Z
LAST-MODIFIED:20230731T163139Z
UID:8505-1691051400-1691055000@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Nicolás Tallar
DESCRIPTION:Título: «La mayoría sigue sin ser suficiente»\nDirector: Esteban Mocskos\nJurados: Laura Tardivo y Jesús Carretero \nSerá transmitida por youtube en https://youtube.com/live/o7BxyWpAk7s?feature=share \nResumen\n=======\nLas criptomonedas son activos digitales que son mantenidos por la colaboración entre los participantes de una red\, denominados nodos.\nBitcoin es el principal exponente de esta tecnología en cuanto a adopción y referencia como paradigma de ser un activo digital.\nSu principal atractivo\, y en general de las criptomonedas\, es que no está controlada por una entidad central\, sino que es un sistema distribuido.\nLa base de la seguridad de esta descentralización son los protocolos ejecutados por miles de nodos para consensuar la historia transaccional. \nEl almacenamiento de los datos se sustenta en la blockchain\, una estructura de datos distribuida que se valida por todos los nodos de la red y construida por algunos de estos\, los mineros. Los mineros compiten\nentre sí mediante un puzzle computacional para añadir transacciones a la blockchain\, recibiendo a cambio de su participación una recompensa económica. A partir de la blockchain se puede derivar el ledger\, el libro de cuentas indicando qué transacciones se realizaron y cuánto de la criptomoneda tiene cada usuario. \nAl tratarse de una red de máquinas\, cada nodo puede poseer una visión distinta del ledger\, pero mediante protocolos comparten y unifican la información de manera de tender a una misma visión del sistema.\nUna de las hipótesis que se realizan respecto de estos protocolos descentralizados es que incentivan un comportamiento cooperativo entre los mineros: que su mejor estrategia es compartir inmediatamente toda información nueva que produzcan ellos mismos u obtengan de otros nodos. Sin embargo\, aparecieron en la literatura algunos trabajos cuestionando que esta suposición sea verdadera para el caso de Bitcoin y presentaron distintas estrategias de comportamiento más económicamente atractivas que un comportamiento cooperativo. La primera estrategia desarrollada y la más investigada al momento es el selfish mining. \nA diferencia de la estrategia cooperativa\, ésta se basa en administrar con astucia la información disponible de la blockchain\, reteniendo gran parte para ser su único conocedor\, y así tener ventaja en la competencia\npor añadirle transacciones. \nLos trabajos mencionados se centran en analizar de forma teórica esta estrategia de minado y otras variantes. En esta tesis\, nos centramos en el análisis del ataque de selfish mining pero\, a diferencia de los\ntrabajos de la literatura\, lo hacemos desde el punto de vista operacional: utilizamos una herramienta de simulación que permite acercanos al comportamiento real de Bitcoin para evaluar este ataque. La herramienta de simulación fue desarrollada usando SimGrid\, lo que nos permite estudiar escenarios de gran escala y tener la seguridad de estar utilizando una herramienta con una fuerte adopción en la comunidad de\nsimulación. Para nuestra experimentación\, comenzamos estudiando escenarios controlados de baja escala\, cuyos resultados fueron utilizados para verificar el comportamiento del atacante y el resto de los nodos. \nLuego\, gracias a la escalabilidad de SimGrid\, realizamos simulaciones a gran escala cercanas a Bitcoin: utilizamos topologías de 10000 nodos respetando el tamaño y las propiedades de su red actual.\nLa primera de las conclusiones a las que llegamos es que\, en los experimentos de topologías chicas\, los resultados obtenidos en la práctica fueron efectivamente los esperados de acuerdo a la literatura. Por otro lado\, para los experimentos a gran escala se observó que realizar el ataque es más rentable que no hacerlo\, pero no pudimos concluir si es tan rentable como lo predicho teóricamente\, ya que no existen actualmente herramientas para realizar dichas predicciones en sistemas similares al real. Como alternativa\, se presentó un estimador de la rentabilidad del atacante en base a propiedades del grafo surgido a partir de las conexiones entre nodos. Transversalmente\, exploramos el funcionamiento del ataque realizando un análisis del uso de los recursos de todos los mineros de la red. Esto puso en evidencia una fuente adicional de ineficiencia del sistema cuando el ataque está activo.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-nicolas-tallar/
LOCATION:Virtual
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20230803T100000
DTEND;TZID=America/Sao_Paulo:20230803T110000
DTSTAMP:20260408T125602
CREATED:20230727T164924Z
LAST-MODIFIED:20230728T135817Z
UID:8493-1691056800-1691060400@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Nicolás San Martín
DESCRIPTION:Título:\n    Operador de medición en un cálculo lambda con control cuántico.\nDirectores:\n    Alejandro Díaz-Caro\n    Pablo E. Martínez López\nJurados:\n    Pablo Barenbaum\n    Hernán Melgratti\n    Rafael Romero\n\nResumen:\nEn los últimos años\, se han desarrollado distintas extensiones al cálculo lambda buscando lenguajes de programación cuánticos siguiendo el modelo de «control cuántico». Este modelo\, a diferencia del de «control clásico»\, describe las operaciones cuánticas de manera explícita\, incorporando conceptos de la computación cuántica como el de las superposiciones al cálculo. Ejemplos de tales lenguajes son Lambda-S y Lambda-S₁. El primero enfocado principalmente en incorporar la medición cuántica a los cálculos anteriores\, donde todas las operaciones son lineales. El segundo asegura que las superposiciones se mantienen en la esfera de módulo 1 haciendo que las operaciones sean isometrías\, lo que es también un requisito para la computación cuántica. En esta tesis se define Lambda-S₁π\, que es un cálculo que preserva la norma de las superposiciones\, asegura que las operaciones son isometrías\, y a la vez incorpora la medición cuántica. Se define el lenguaje\, se prueban las propiedades de subject reduction\, progreso\, preservación de la norma y un resultado de expresividad.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-nicolas-san-martin/
LOCATION:Aula 1113
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20230804T143000
DTEND;TZID=America/Sao_Paulo:20230804T153000
DTSTAMP:20260408T125602
CREATED:20230731T132656Z
LAST-MODIFIED:20230731T132656Z
UID:8503-1691159400-1691163000@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Florencia De Arca
DESCRIPTION:Título: Natación Máster: Optimización de relevos mediante programación lineal entera\nDirector: Javier Marenco\nJurados: Dra. Flavia Bonomo y Dr. Guillermo Durán \nResumen: \nLa natación máster es un programa de natación organizado por clubs o federaciones\, para adultos. Esta modalidad de natación está orientada a aquellos que dejaron de competir por su edad o bien a personas que se acercan al deporte sin haber competido previamente. La natación máster cuenta con pruebas individuales y grupales. En las pruebas individuales\, cada persona compite contra otras de su misma categoría (en un rango de 5 años). En las pruebas grupales\, llamadas «relevos»\, cualesquiera cuatro personas pueden formar un relevo\, y la categoría a la cual pertenecerán estará dada por la suma de las edades de los participantes. \nDebido a las reglas de formación\, armar los relevos en natación máster es mucho más complejo que para natación profesional o en natación de menores\, en las cuales los deportistas compiten contra personas de su mismo rango etario. En esta tesis se busca optimizar el armado de relevos en natación máster\, con el objetivo de hacer más sencillo el trabajo del entrenador. Habitualmente\, el entrenador hace este trabajo a mano\, teniendo los tiempos de cada nadador en una planilla. \nEn esta tesis se presentan modelos de programación lineal entera para resolver este problema\, y se implementa un esquema para presentar los resultados en forma cómoda para el entrenador. Se aplican estos modelos a datos de un club de la Ciudad de Buenos Aires\, se analizan los resultados obtenidos y se reportan las reacciones de los usuarios.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-florencia-de-arca/
LOCATION:Aula 1203
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20230807T100000
DTEND;TZID=America/Sao_Paulo:20230807T110000
DTSTAMP:20260408T125602
CREATED:20230802T125648Z
LAST-MODIFIED:20230802T125750Z
UID:8518-1691402400-1691406000@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Alejandro Ferrante
DESCRIPTION:Título: WoBlocks: programación orientada a objetos con bloques\nDirector: Matías Lopez-Rosenfeld\nCo-Director: Alfredo Sanzo\nColaborador: Nahuel Palumbo\nJurados: Cyntia Bonomi\, Gustavo del Dago\, Carla Griggio \nResumen: \nLa expansión tecnológica de las últimas décadas\, junto con el aumento de su potencia y alcance han transformado el mundo.\nLa penetración de las computadoras en cada vez más ámbitos y tareas transformó la necesidad de aprender a utilizarlas en algo indispensable.\nEn ese sentido\, entender qué sucede dentro de las computadoras nos permitirá interactuar de mejor manera con este mundo. En este trabajo nos centramos en el aprendizaje de la programación. Esta es una tarea difícil en diferentes niveles\, y hemos tomado en consideración las propuestas existentes para formular una propia que constituya un avance en el área.La presente propuesta se materializa en el desarrollo de una herramienta educativa para la enseñanza de la programación basada en bloques bajo el paradigma de la programación orientada a objetos a través del desarrollo de videojuegos para nivel universitario: WoBlocks\nLa propuesta se basa en la experiencia y didáctica del lenguaje Wollok. Buscando tener una cantidad minimal de bloques donde cada uno ilustre un concepto fundamental del paradigma.\nSe reportan la evolución de la herramienta en sus versiones preliminares hasta llegar al resultado final.\nSe realizó una prueba piloto dónde los usuarios lograron resolver el desafío propuesto y reportaron su experiencia como usuarios.\nPor último\, se incluyen reflexiones y desafíos futuros a abordar para que WoBlocks siga creciendo y pueda ser utilizado en un contexto áulico.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-alejandro-ferrante/
LOCATION:Sala 2103
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20230810T110000
DTEND;TZID=America/Sao_Paulo:20230810T120000
DTSTAMP:20260408T125602
CREATED:20230802T171649Z
LAST-MODIFIED:20230809T134609Z
UID:8523-1691665200-1691668800@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Jessica Singer
DESCRIPTION:Título: Un estudio poliedral del problema de coloreo de máximo impacto en hipergrafos\nDirector: Javier Marenco\nJurados: Dra. Isabel Méndez Díaz y Dra. Paula Zabala \nResumen: \nDados un grafo G = (V\, E)\, un hipergrafo H = (V\, EH) sobre el mismo conjunto de vértices y un conjunto C de colores\, el problema de coloreo de m+aximo impacto en hipergrafos consiste en hallar un coloreo factible de G que\nmaximice la cantidad de hiperaristas de H que se asignan al mismo color. \nEste problema surge en el contexto de asignación de aulas a clases\, donde V es el conjunto de clases semanales de una institución educativa\, C son las aulas de la misma\, y las aristas del grafo H conectan a las clases de una misma asignatura. En este sentido\, una particularidad que intentaremos modelar será la preferencia por asignar a todas las clases de una misma asignatura\, una misma aula. Sin embargo\, habrá que tomar en cuenta los casos donde esto no será posible por superposiciones horarias. \nPara este problema\, analizamos dos modelos de programación lineal entera\, concluyendo que uno de ellos muestra una ejecución más veloz en la práctica. Utilizando el modelo ganador\, hacemos un estudio del poliedro inducido por las soluciones factibles de éste\, calculando su dimensión y buscando desigualdades válidas y facetas.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-jessica-singer/
LOCATION:Aula 1208
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20230817T170000
DTEND;TZID=America/Sao_Paulo:20230817T180000
DTSTAMP:20260408T125602
CREATED:20230817T130644Z
LAST-MODIFIED:20230817T134241Z
UID:8548-1692291600-1692295200@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Santiago Nahmod
DESCRIPTION:Título: MODELO PREDICTIVO DE AJEDREZ CON APRENDIZAJE PROFUNDO SOBRE TRANSFORMERS\n\nDirector: Julio C. Jacobo\nJurados: Enrique Segura y Ernesto Mislej.\n\n\nResumen:\nEl juego de Ajedrez\, además de ser un desafı́o intelectual incluso para los mejores jugadores\, también plantea un problema de gran interés para las Ciencias de la Compu tación por su enorme complejidad combinatoria en la cantidad de partidas posibles.\nEn esta tesis se propone un modelo predictivo de jugadas de ajedrez utilizando una arquitectura basada en transformers\, una técnica de aprendizaje profundo que ha demostrado excelentes resultados en la tarea de modelado de lenguaje natural. El modelo fue entrenado con cientos de miles de partidas de ajedrez en formato PGN\, lo que permitió capturar patrones y estrategias comunes en el juego.\nLos resultados obtenidos muestran que el modelo es capaz de jugar largas partidas de ajedrez sin producir una gran cantidad de jugadas ilegales. Pero sin embargo\, se concluye que el modelo todavía es inferior a los mejores motores de ajedrez como Stockfish.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-santiago-nahmod/
LOCATION:Aula 1204
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20230818T093000
DTEND;TZID=America/Sao_Paulo:20230818T120000
DTSTAMP:20260408T125602
CREATED:20230816T170039Z
LAST-MODIFIED:20230816T170039Z
UID:8545-1692351000-1692360000@www.dc.uba.ar
SUMMARY:Ateneo sobre Seguridad y Protección de Datos
DESCRIPTION:Las infraestructuras críticas del Estado involucran un gran caudal de datos que requieren de políticas permanentes y sostenibles. \nPara profundizar el debate el próximo viernes 18/8 tendremos la posibilidad de dialogar con lxs protagonistas de estos desafíos en nuestro ciclo de Ateneos CID.\n\nQueremos convocar a las respectivas comunidades de la FCEyN a nuestro Ateneo sobre «Seguridad y Protección de Datos»\, que tendrá lugar este viernes 18/8 a las 9h30 en el auditorio #1401 del Pab. Cero+Infinito.\n\n\nAteneo CID de Agosto\n🏷 Seguridad y Protección de Datos\n🗓 viernes 18 de Agosto\n📍Auditorio 1401 Pab. Cero+Infinito\n⏰9:30 a 12 hs.\n🗣Panelistas: Fabián Ricciardi\, Mariano Kabakian y Micaela Gutiérrez /Dirección Nac. de Migraciones\, Diego A. Castro /Gerente de Sistemas de Nación Servicios y sistema SUBE y Benjamín Depaula /exDirector de VU Security y experto en Ciberdefensa\n📢Convocatoria abierta a toda la comunidad de FCEN y al público en general para poner sobre la mesa tópicos como anonimización y datos personales\, normativa\, y Ciberseguridad.\n\nEl ateneo es de acceso libre y gratuito\, presencial y con capacidad limitada por lo que se requiere registro previo en este link: https://forms.gle/ZNofXaBxh5CZTb7y5
URL:https://www.dc.uba.ar/event/ateneo-sobre-seguridad-y-proteccion-de-datos/
LOCATION:Aula 1401
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20230823T140000
DTEND;TZID=America/Sao_Paulo:20230823T150000
DTSTAMP:20260408T125602
CREATED:20230823T130903Z
LAST-MODIFIED:20230823T130903Z
UID:8555-1692799200-1692802800@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Edén Torres
DESCRIPTION:Título: Generador de abstracciones para Smart Contracts\nDirector: Sebastián Uchitel\nCo-director: Javier Godoy\nJurados: Dr. Ariel Waissbein y Dr. Victor Braberman\n\nResumen:\n\nVamos a abordar la problemática de validar y verificar la corrección de los contratos inteligentes\, programas que se ejecutan en una blockchain y pueden manejar recursos de alto valor. Debido a la falta de especificaciones claras del comportamiento esperado y al entorno de ejecución concurrente en el que funcionan\, validar la corrección de estos contratos es una tarea compleja. Una manera de facilitar la comprensión del comportamiento de los contratos es construyendo máquinas de estado\, pero esta técnica se realiza de manera manual y requiere la traducción del código a un lenguaje de modelado. Por lo tanto\, se propone desarrollar una herramienta capaz de construir automáticamente abstracciones para contratos inteligentes para la red Ethereum utilizando ideas similares a las de un estudio anterior y utilizando un analizador estático de programas Solidity. Para esto\, se utilizará VeriSol\, una herramienta de análisis estático desarrollada por Microsoft Research que verifica la correctitud de las aserciones en un contrato dado.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-eden-torres/
LOCATION:Aula 1208
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20230911T140000
DTEND;TZID=America/Sao_Paulo:20230911T150000
DTSTAMP:20260408T125602
CREATED:20230905T122220Z
LAST-MODIFIED:20230905T122220Z
UID:8592-1694440800-1694444400@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Esteban Ramos
DESCRIPTION:Titulo: MÉTODOS DE RECOLECCIÓN DE UN CORPUS DE CINE DOCUMENTAL ARGENTINO Y EVALUACIÓN DE RESULTADOS\nDirectores: Ricardo rodriguez y José Castaño \nResumen:\nEn este trabajo se generaron corpus de documentales argentinos de archivos html\, pdf y doc que sirven para alimentar a una componente de clasificación de un prototipo de buscador vertical sobre cine documental asistido por aprendizaje. El propósito es generar una herramienta que sustituya la búsqueda manual de documentales\, para el armado de dichos corpus. También se automatizó la generación de estos corpus\, a través del desarrollo de un script\, para evitar la intervención humana. \nAdemás se exploraron distintos criterios para determinar qué documentales son relevantes en esos corpus (buscados de la web) y cuáles no. Estos criterios se basaron en los resultados de aplicar diferentes filtros a los corpus. Dichos filtros fueron implementados en el mismo script. La ejecución del mismo y otros scripts (auxiliares) permitirían automatizar también el filtrado de falsos positivos realizados por intervención manual humana. La aplicación de estos criterios servirían para la etapa de aprendizaje del clasificador (el cual es usado como componente del prototipo de un buscador mencionado con anterioridad).
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-esteban-ramos/
LOCATION:Sala 1604
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20230914T153000
DTEND;TZID=America/Sao_Paulo:20230914T163000
DTSTAMP:20260408T125602
CREATED:20230911T133757Z
LAST-MODIFIED:20230911T133952Z
UID:8606-1694705400-1694709000@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Adrian Castiglione
DESCRIPTION:Título: Inferencia de tipos genéricos para colecciones en ambientes con LiveTyping\nDirector: Hernán Wilkinson\nJurados: Agustín Martinez\, Maximiliano Contieri \nResumen:\nLiveTyping es una técnica de anotación automática de tipos cuyo objetivo es mejorar la experiencia de desarrollo en ambientes dinámicamente tipados\, en los que la ausencia de tipado estático limita seriamente la capacidad de las herramientas de desarrollo. Su implementación en Smalltalk consiste en extender la VM para recolectar información durante la ejecución de código\, aprovechando que se trata de un ambiente vivo\, donde el IDE y el programa son ejecutados por la misma VM. Esto permite anotar cada expresión en base a las clases de los valores que haya tomado durante la ejecución y utilizar estas anotaciones para mejorar las herramientas de desarrollo disponibles. Este enfoque sin embargo no es suficiente para anotar tipos genéricos\, que están definidos a partir de su clase base y del uso que se les dé durante la ejecución del programa; un ejemplo típico de estos tipos son las colecciones.\nLa inferencia de tipos\, por otra parte\, consiste en realizar un análisis estático del código fuente del programa con el objetivo de anotar con tipos cada expresión encontrada. Los trabajos previos en este área marcan que para el caso general en lenguajes dinámicos no es posible tipar cada expresión de forma precisa y con suficiente velocidad como para que tenga utilidad práctica\, sin embargo\, cuando se buscan objetivos más acotados es posible reducir la cantidad de esfuerzo que debe realizarse y alcanzar resultados útiles. En ese sentido\, existe un balance entre precisión y velocidad: se puede obtener mayor velocidad reduciendo el alcance del análisis\, pero esto a su vez disminuye la precisión de la solución obtenida.\nEn este trabajo se estudia la extensión de LiveTyping con un algoritmo de inferencia de tipos que aprovecha la información recolectada durante la ejecución del programa y cuyo objetivo es completar los parámetros de las diferentes colecciones del sistema. Se explorará el funcionamiento del algoritmo\, cómo utiliza la información recolectada por LiveTyping y las limitaciones que presenta.\nPor último se presentarán extensiones sobre cómo puede utilizarse o modificarse para tipos genéricos que no son colecciones y se darán algunos ejemplos de cómo las herramientas de desarrollo pueden aprovechar la nueva información disponible.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-adrian-castiglione/
LOCATION:Aula 1113
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20230914T170000
DTEND;TZID=America/Sao_Paulo:20230914T180000
DTSTAMP:20260408T125602
CREATED:20230907T123905Z
LAST-MODIFIED:20230907T123905Z
UID:8599-1694710800-1694714400@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Agustin Luis Marchionna
DESCRIPTION:Título: Construcción de números simplemente normales con dependencias de dígitos\nDirectora: Verónica Becher\nJurados: Santiago Figueira y Martín Mereb \nResumen:\nDado un entero b mayor o igual que 2 y un conjunto P de números primos consideramos el conjunto T_b de números de Toeplitz compuesto por los números reales de [0\,1) cuya expansión en base b dada por {a_n}_{n>0} satisface a_n = a_{pn} para todo p en P y n>0. \nUn número es simplemente normal una base entera b en el sentido de Borel en si en su expansión en base b todos los dígitos aparecen con la misma frecuencia asintótica. Un número es normal si es simplemente normal en cada base que es potencia de b. Se sabe que casi todos los números de Toeplitz T_b (respecto de la medida uniforme en T_b) son normales en la base b. \nUsando funciones completamente aditivas\, construimos un número en Toeplitz que es simplemente normal en base b si y solamente si P cumple la siguiente condición:\nPara b>2\, la suma de los inversos de los elementos en P debe divergir.\nPara b=2\, la suma de los inversos de los elementos en P debe divergir\, o 2 debe no estar en P\, según el caso. \nPrimero damos la demostración para el caso b = 2\, luego para b > 2. Damos además otra demostración para todo valor de b mayor o igual que 2 junto con una cota superior efectiva para la discrepancia de las secuencia (b^n x mod 1)_{n > 0} para el número x que construimos. \nEste es el primer ejemplo explícito de un número de Toeplitz simplemente normal en una base dada. Fue recientemente publicado: \nOn simply normal numbers with digit dependencies.\nV. Becher\, A. Marchionna\, and G. Tenenbaum.\nMathematika\, 69(4):988–991\, 2023.\nhttps://doi.org/10.1112/mtk.12216
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-agustin-luis-marchionna/
LOCATION:Aula 1305
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20230920T130000
DTEND;TZID=America/Sao_Paulo:20230920T140000
DTSTAMP:20260408T125602
CREATED:20230913T124953Z
LAST-MODIFIED:20230913T124953Z
UID:8611-1695214800-1695218400@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Pablo Balbi
DESCRIPTION:Director: Diego Garbervetsky\nJurados: Dr Rodrigo Castro\, Lic Javier Godoy \nResumen:  En la actualidad\, las técnicas de análisis estático de código son una herramienta muy usada para detectar\, de manera temprana\, vulnerabilidades de seguridad durante etapas tempranas en el proceso de desarrollo. Taint analysis es un tipo particular de análisis\, con prestaciones que lo caracterizan como un gran candidato para detectar fallas muy comunes en aplicaciones web\, como son los ataques de inyección. Si bien las técnicas para llevar a cabo este tipo de análisis están ampliamente estudiadas\, el mismo depende de una serie de especificaciones que indican qué elementos de un programa podrían estar involucrados en una vulnerabilidad. \nEn esta tesis se presenta una técnica de inferencia de especificaciones de taint analysis\, para el lenguaje JavaScript. La implementación de la misma surge de combinar un método ya existente basado en aprendizaje automático\, con el motor de análisis estático CodeQL. La técnica presentada parte un grafo que modela la propagación de datos a lo largo de un programa\, y construye un modelo de optimización lineal que resuelve el problema de inferencia de manera escalable. Las especificaciones producidas se expresan en una representación que permite generalizar un fragmento de código\, para así poder reconocer casos similares en otros programas. \nAdemás\, se presenta una nueva metodología de evaluación que no requiere supervisión alguna\, a fin de cuantificar el potencial de la técnica para inferir nuevas especificaciones. Mediante esta metodología\, se evalúa el procedimiento presentado en el trabajo\, sobre un conjunto de alrededor de setecientos programas afectados por cuatro clases diferentes de vulnerabilidades de seguridad\, alcanzando valores de recall cercanos al 80%.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-pablo-balbi/
LOCATION:Sala 1604
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20230927T140000
DTEND;TZID=America/Sao_Paulo:20230927T150000
DTSTAMP:20260408T125602
CREATED:20230922T174618Z
LAST-MODIFIED:20230926T163744Z
UID:8628-1695823200-1695826800@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Tomás Tropea
DESCRIPTION:Título: Un algoritmo para collares perfectos lexicográficamente máximos\nDirectora: Verónica Becher\nJurados: Flavia Bonomo y Min Chih Lin (Oscar Lin) \nResumen:\nFijemos un alfabeto. Un collar es una secuencia circular de símbolos. Los collares perfectos son variantes de las secuencias de Bruijn: un collar es (n\,k)-perfecto si todas las palabras de longitud n aparecen en el collar exactamente k veces\, en posiciones con distinta congruencia módulo k\, para cualquier convención de la posición inicial. En esta tesis presentamos un algoritmo para generar los collares (n\,k)-perfectos lexicográficamente máximos\, cuando k divide a n. Nuestro algoritmo es una adaptación del algoritmo clásico de Fredricksen y Maiorana (1978) basado en la concatenación de palabras Lyndon. Como subproducto obtuvimos una demostración de la correctitud del algoritmo de Fredricksen y Maiorana mucho más clara que la original.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-tomas-tropea/
LOCATION:Aula 1203
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20230929T170000
DTEND;TZID=America/Sao_Paulo:20230929T180000
DTSTAMP:20260408T125602
CREATED:20230927T143655Z
LAST-MODIFIED:20230928T125559Z
UID:8635-1696006800-1696010400@www.dc.uba.ar
SUMMARY:Charla de Douglas Crockford
DESCRIPTION:Este viernes 29/9 tenemos el honor de recibir a Douglas Crockford en el DC.\nLa charla será en inglés \nLa cita es en el aula 1403 del pabellón 0 + inf a las 17hs. \nDouglas Crockford es una eminencia en el mundo de los lenguajes de programación. Es el creador de JSON (JavaScript Object Notation). Además\, desarrolló varias herramientas relacionadas con JavaScript\, como el analizador de código estático JSLint y el minimizador JSMin. La charla que ofrecerá Douglas\, será una oportunidad única para aprender de su vasta experiencia y conocimientos en el campo de la programación y JavaScript. \nLos esperamos.
URL:https://www.dc.uba.ar/event/charla-de-douglas-crockford/
LOCATION:Aula 1403
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20231030T140000
DTEND;TZID=America/Sao_Paulo:20231030T150000
DTSTAMP:20260408T125602
CREATED:20231024T152318Z
LAST-MODIFIED:20231024T152318Z
UID:8717-1698674400-1698678000@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Daniel Claverino
DESCRIPTION:Título: Avances en el uso eficiente de sistemas multi-softcores en FPGAs \nDirectores: David González Márquez y Esteban Mocskos \nLugar: https://youtube.com/live/SzvOVCY4q3s \nResumen\n=======\nDesde hace años\, el avance tecnológico en la fabricación de circuitos integrados ha permitido implementar múltiples procesadores en una misma pastilla con una creciente cantidad de núcleos\, memoria e\, inclusive\, contener unidades funcionales con distinto grado de especialización. Sin embargo\, a la hora de resolver problemas específicos\, los procesadores de propósito general pueden ser superados por aceleradores\, que son sistemas especialmente diseñados. Los más comunes son los aceleradores de vídeo que permiten\, por ejemplo\, procesar imágenes o descomprimir un flujo (stream) de vídeo de forma muy eficiente.\nLas FPGAs (Field-Programmable Gate Array) surgen como plataformas que permiten implementar soluciones de hardware programable\, es decir\, hardware que puede ser modificado o rediseñado por el usuario sin necesidad de reemplazar el circuito integrado. Consisten en una grilla de celdas de distinta especialización que pueden conectarse de diversas formas\, resultando en una plataforma con alta flexibilidad.\nLas FPGAs resultan un camino válido para el diseño\, prototipado y construcción de hardware y\, en particular\, aceleradores. Siempre dentro de sus limitaciones de recursos\, permiten implementar hardware y se puede lograr un alto grado de paralelismo.\nDado este nivel de flexibilidad\, un componente que se implementa en FPGA recibe el nombre de softcore. Estos pueden ir desde una máquina de estados o un sumador\, hasta procesadores multi-core con varios niveles de cache. El límite dependerá de la cantidad de celdas y las formas de conexión disponibles\, que es fija para una FPGA dada.\nEl presente trabajo busca avanzar en técnicas que permitan el uso eficiente de múltiples softcores dentro de una FPGA\, proponiendo un framework que permitirá estudiar distintos sistemas de procesamiento. Haremos especial uso del MicroBlaze\, uno de los softcores más utilizados\, desarrollado por Xilinx y creado específicamente para su uso en FPGAs.\nUna de las principales limitaciones de los sistemas basados en softcores es el acceso a memoria. Partiendo de este punto y utilizando bloques RAM de FPGA (BRAM)\, se propone estudiar un conjunto de estrategias de uso de la memoria: usar el stack en BRAM\, correr código del programa en BRAM\, y correr código de funciones de sincronización en BRAM.\nEsto implica ejecutar programas cuyos accesos a memoria utilizan distintas memorias\, cada una con características distintas (BRAM y Cache+DDR).\nRespecto a las tres formas de uso de BRAM propuestas\, notamos que mover y correr código de funciones de sincronización en BRAM no genera mejoras significativas salvo en casos donde hay muchos llamados o varios procesadores en espera. Dependiendo del algoritmo y su implementación\, usar el stack en BRAM puede ir desde tener poco efecto a tener un impacto significativo en el desempeño\, por encima de mover las funciones de sincronización.\nFinalmente\, mover y correr código del algoritmo en BRAM genera el mayor impacto positivo en el rendimiento. Este impacto puede verse reducido si  hay partes del código de uso frecuente que no se han movido a BRAM y continúan en memoria principal.\nTener control del hardware nos permite implementar soluciones que se ajusten al problema a resolver. Trabajar desde una capa de abstracción baja implica que los desarrolladores deben manejar detalles de muy bajo nivel\, como los procesadores mismos\, su interconexión\, y la distribución de memoria utilizando distintos tipos de memoria. \nPalabras claves: FPGA\, SMP\, BRAM\, softcore\, MicroBlaze\, memoria\, cache\, stack\, spin-lock\, performance.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-daniel-claverino/
LOCATION:https://youtube.com/live/SzvOVCY4q3s
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20231030T140000
DTEND;TZID=America/Sao_Paulo:20231030T170000
DTSTAMP:20260408T125603
CREATED:20231025T131049Z
LAST-MODIFIED:20231025T132539Z
UID:8725-1698674400-1698685200@www.dc.uba.ar
SUMMARY:Ateneo CID sobre Economía Agraria
DESCRIPTION:El próximo lunes 30 de Octubre tendremos nuestro 4° Ateneo CID sobre Economía Agraria. La propuesta será debatir sobre Certificaciones\, Huella de Carbono\, Trazabilidad y Sistemas de Monitoreo con relación al sector agropecuario de nuestro país. \nContaremos con palabras de apertura a cargo del Ing. Juan Sebastián Llorens (INTA)\, y con un panel de expertos/protagonistas como Juan López Moccio (Los Grobo Agropecuaria)\, Diego Ferraro (EPG-Ftad. de Agronomía UBA) y Germán Rosati (EIDAES-Universidad Nacional de San Martí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 lunes 30 de Octubre de 14.00 a 17.00 hs. \nPor capacidad limitada\, se requiere registración previa en:  bit.ly/ateneoagro \nLa charla será en castellano\, no se emitirá en vivo\, y está orientada a estudiantes\, investigadores y profesionales de las carreras de Agronomía\, Ingenierías\, Ciencias Exactas y Ambientales\, y público en general con interés en un sector crítico para nuestro país. \nSe agradece difusión en sus instituciones y redes de contacto. \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/ateneo-cid-sobre-economia-agraria/
LOCATION:Aula 1401
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20231101T110000
DTEND;TZID=America/Sao_Paulo:20231101T120000
DTSTAMP:20260408T125603
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:20260408T125603
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:20260408T125603
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:20260408T125603
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
END:VCALENDAR