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:20230101T000000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20240305T100000
DTEND;TZID=America/Sao_Paulo:20240305T120000
DTSTAMP:20260519T195554
CREATED:20240304T131002Z
LAST-MODIFIED:20240304T150854Z
UID:8977-1709632800-1709640000@www.dc.uba.ar
SUMMARY:Defensa Tesis Doctorado Agustín Martinez Suñé
DESCRIPTION:Título: Análisis automático de propiedades de calidad en sistemas distribuidos basados en servicios\nDirector: Dr. Carlos Gustavo López Pombo\nConsejero de estudios: Dr. Juan Pablo Galeotti\nJurados:\nDr. Sebastián Uchitel (Universidad de Buenos Aires)\nDr. Alexandre Madeira (Universidad de Aveiro)\nDr. Alberto Lluch Lafuente (Universidad Técnica de Dinamarca) \nLink de youtube para la transmisión: https://youtube.com/live/px5yJR8cA_U \nResumen: \nLos sistemas distribuidos basados en servicios responden a paradigmas de cómputo que ponen a los servicios como los elementos fundamentales de la arquitectura y del proceso de desarrollo de las aplicaciones de software. Bajo estos paradigmas\, entre los que se encuentra la Computación Orientada a Servicios (SOC)\, los sistemas de software ya no son piezas monolíticas de código que se ejecutan dentro de los límites de una organización. En cambio\, están constituidos a partir de la ejecución coordinada y distribuida de múltiples servicios que proveen funcionalidades específicas. \nEstos sistemas se sustentan sobre lo que se conoce como cómputo global\, que comprende los recursos computacionales e infraestructuras de comunicación disponibles a nivel mundial\, y dan lugar a la llamada economía de las API. Esta idea sostiene que es posible construir artefactos de software a partir de componer\, en tiempo de ejecución\, servicios provistos por terceros y registrados previamente en repositorios. \nEn este contexto\, la calidad de servicio (QoS) es un aspecto fundamental a tener en cuenta en el proceso de desarrollo y despliegue de aplicaciones de software\, ya que está directamente influenciada por la calidad de los servicios que componen el sistema.\nPor lo tanto\, los aspectos de calidad se convierten en elementos centrales en la selección de dichos servicios y\, como resultado\, en la negociación de acuerdos de nivel de servicio (SLA). El término calidad de servicio se utiliza de manera amplia en este contexto para referirse a lo que comúnmente se conoce como requisitos de calidad\, en contraposición a los requisitos funcionales. Esto significa que se refiere a aquellos requisitos que expresan propiedades de calidad del software sin condicionar la funcionalidad que proporciona. \nEn esta tesis\, nuestro objetivo es contribuir al campo del análisis automático de propiedades de calidad en sistemas distribuidos basados en servicios. Nuestras contribuciones se basan en el enfoque de los métodos formales aplicados a la ingeniería de software\, es decir\, métodos de análisis de artefactos de software cuyas técnicas pueden explicarse en términos lógico-matemáticos. \nDesde este enfoque\, nos concentraremos en el análisis de propiedades que predican sobre atributos cuantitativos\, esto es\, aquellos atributos de calidad que admiten algún tipo de medición. Este conjunto incluye atributos de naturaleza diversa\, como el tiempo de respuesta\, el consumo de memoria\, el costo monetario y la reputación\, entre otros. \nEn suma\, las contribuciones de esta tesis se centran en dos aspectos fundamentales. Por un lado\, en el desarrollo de lenguajes formales capaces de expresar contratos de calidad de servicio\, tanto de provisión como de requisito\, desde una mirada general que no hace suposiciones sobre la naturaleza de los atributos de calidad\, excepto por la condición de que sean cuantitativos. Por otro lado\, en el diseño de técnicas de análisis para estos lenguajes\, que permiten la verificación automática de la compatibilidad entre un contrato de provisión y uno de requisito.
URL:https://www.dc.uba.ar/event/defensa-tesis-doctorado-agustin-martinez-sune/
LOCATION:Sala 1604
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20240312T100000
DTEND;TZID=America/Sao_Paulo:20240312T110000
DTSTAMP:20260519T195554
CREATED:20240306T170121Z
LAST-MODIFIED:20240306T170121Z
UID:8991-1710237600-1710241200@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Franco Assenza
DESCRIPTION:Título: Apuestas y Azar: Martingalas computables y secuencias genéricas de Poisson\nDirectores: Verónica Becher y Santiago Figueira\nJurados : Nicolás Álvarez y Martín Mereb \nResumen: Intuitivamente un número es aleatorio si no hay forma hacer apuestas a los dígitos de su expansión fraccionaria y conseguir\, a la larga\, una ganancia infinita. La formalización de esta idea originó la definición de aleatoriedad basada en martingalas. Un número es puramente aleatorio si ninguna martingala computablemente enumerable hace una ganancia infinita sobre su expansión fraccionaria. Las nociones de aleatoriedad más débiles (o impuras) sí pueden tener martingalas computables asociadas. En este trabajo consideramos la noción llamada genericidad de Poisson. Un número es genérico de Poisson si la distribución de bloques largos de dígitos en los segmentos iniciales de su expansión fraccionaria es una distribución de Poisson. Recientemente Peres y Weiss demostraron que casi todos los números son genéricos de Poisson\, y Álvarez\, Becher y Mereb mostraron que todos los números puramente aleatorios son genéricos de Poisson. En esta tesis damos una martingala computable que logra infinita ganancia sobre las expansiones fraccionarias de números que no son Poisson genéricos en una base entera dada\, analizamos su complejidad computacional de peor caso.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-franco-assenza/
LOCATION:Aula 1303
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20240319T140000
DTEND;TZID=America/Sao_Paulo:20240319T150000
DTSTAMP:20260519T195554
CREATED:20240312T135440Z
LAST-MODIFIED:20240312T135440Z
UID:8996-1710856800-1710860400@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Lucas Figarola
DESCRIPTION:Título: AgrOptim: Una plataforma de simulación y optimización para el diseño de agroecosistemas sustentables \nLugar de trabajo:\n-Laboratorio de Simulación de Eventos Discretos (SED)\, Instituto UBA-CONICET de Ciencias de la Computación (ICC)\, Departamento de Computación (DC)\, FCEyN-UBA\n-Cátedra de Cerealicultura\, Instituto UBA-CONICET de Investigaciones Fisiológicas y Ecológicas Vinculadas a la Agricultura (IFEVA)\, FAUBA-UBA \nDirector: Dr. Rodrigo Castro (DC-ICC)\nCo Director: Lic. Felipe Ghersa (IFEVA)\nAsesor: Dr. Diego Ferraro (IFEVA) \nJurado:\n– Dr. Esteban Feuerstein (DC-ICC)\n– Dr. José Andrade (IFEVA)  \nResumen del trabajo:\nLos objetivos económicos y ambientales de productores agrícolas presentan compromisos no triviales. Diseñar sistemas agrícolas que cumplan a largo plazo con estos objetivos y reduzcan los compromisos que existen entre ellos requiere evaluar un gran conjunto de combinaciones de variables de decisión agronómica. Esto presenta varias dificultades cuando se utilizan experimentos de campo\, ya que requieren de una gran cantidad de espacio\, tiempo y recursos para medir adecuadamente las interrelaciones complejas entre los factores humanos y naturales que determinan los sistemas de producción. \nLos modelos de simulación de cultivos\, acoplados con algoritmos de optimización\, pueden proporcionar una herramienta sólida para estudiar y diseñar sistemas de cultivo bajo diferentes condiciones ambientales y de manejo\, tanto actuales como futuras\, y a largo plazo. \nEn esta tesis presentamos AgrOptim\, un framework que integra un modelo de simulación de cultivos (DSSAT)\, un modelo de simulación de riesgo ecotoxicológico (RIPEST)\, indicadores de Síntesis Emergética (por Embodied Energy) y algoritmos genéticos\, con el fin de optimizar objetivos económicos y biofísicos bajo diferentes combinaciones de variables de decisión agronómica (secuencia de cultivos\, estructura de cultivo\, tipos y dosis de pesticidas y fertilizantes). \nAplicamos AgrOptim a las condiciones de la zona de Pergamino\, Argentina\, para (1) caracterizar la relación entre los objetivos económicos y ambientales y (2) evaluar el estado actual y las mejoras potenciales para tres sistemas de cultivo en la región: monocultura de soja\, monocultura de maíz y rotación de tercios (maíz-soja-trigo/soja de 2da.) \nPara esto\, se diseñó un experimento de optimización multiobjetivo para sistemas de cultivo extensivos durante 30 años\, de acuerdo con prácticas agrícolas modales típicas. Se utilizó la optimalidad de Pareto para optimizar simultáneamente un objetivo económico (retorno de la inversión) y cuatro objetivos biofísicos (entradas de carbono de residuos de cultivo\, eficiencia de uso de la precipitación\, relación de energía no renovable a renovable\, y la ecotoxicidad de fitosanitarios).  \nLos resultados permiten cuantificar y mensurar los compromisos entre los objetivos económicos y todos los objetivos ambientales. Además\, se pudo comprobar que las variables de decisión que proporcionaron un mejor rendimiento biofísico en términos de residuos de carbono\, eficiencia de uso de la precipitación y riesgo ecotoxicológico requieren aumentar el uso de energía no renovable. Los sistemas de cultivo estudiados mostraron que existen oportunidades (brechas) de mejora tanto para los objetivos económicos como biofísicos\, y se identificaron variables de decisión que permiten mejorar el rendimiento biofísico mientras se mantiene (o incluso se mejora) el nivel de rendimiento económico. \nEstos resultados destacan los desafíos que enfrentan los productores agrícolas respecto de los compromisos económicos y ambientales\, y exponen las oportunidades de mejoras que pueden identificarse mediante modelos de simulación y optimización\, ofreciendo nuevas opciones para el rediseño de sistemas de cultivo.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-lucas-figarola/
LOCATION:Sala 1606
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20240322T160000
DTEND;TZID=America/Sao_Paulo:20240322T170000
DTSTAMP:20260519T195554
CREATED:20240320T143046Z
LAST-MODIFIED:20240320T143046Z
UID:9011-1711123200-1711126800@www.dc.uba.ar
SUMMARY:Charla Dátame: Unificando enfoques en problemas de datos
DESCRIPTION:Este viernes arranca Dátame! 2024. El encuentro es a las 16hs. en el aula 1402 del Edificio 0+Infinito. \nEsta vez\, la charla estará a cargo de Daniela Rodriguez (Instituto de Cálculo\, Exactas-UBA). El título de la charla es \nUnificando enfoques en problemas de datos \n \nSobre la charla \nEn esta charla discutiremos diferentes problemas con datos en donde si bien tienen objetivos diferentes pueden ser abordados bajo un mismo enfoque.  En particular\, discutiremos un problema de regresión en donde se postula diferentes regímenes en un modelo único y un desafío es estimar dónde ocurren las transiciones. También presentaremos un problema de reducción de la dimensión en donde mostraremos cómo simplificar el modelo detectando puntos de independencia en un vector aleatorio. Y finalmente abordaremos un problema de estimación de la dimensión. \n\nSobre Daniela\nDaniela Rodriguez obtuvo en 2008 su doctorado en Ciencias Matemáticas por la Universidad de Buenos Aires. Es Profesora Asociada en UTDT e investigadora independiente de CONICET.  Es directora del Instituto de Cálculo y actualmente\, es miembro del Comité Científico de la Unión Matemática de América Latina y el Caribe y de la Sociedad Latinoamericana de Probabilidad y Estadística Matemática.  Sus líneas de investigación se centran en la estadística matemática.Consultas: info.lcd@exactas.uba.ar \nSobre ¡DÁTAME! \nEste ciclo de charlas busca simultáneamente: \n– Ser un lugar de encuentro entre todos/as los/as que nos sentimos\ncercanos a LCD ya sea por ser estudiantes de la carrera o carrera\ncercanas\, docentes\, investigadores/as interesados/as o simplemente\namigos/as de LCD. \n– Ofrecer a estudiantes de la carrera un panorama amplio de posibles\ncaminos que puede recorrer un/a especialista en ciencias de datos. \n– Exponer a estudiantes de LCD a importantes referentes de la disciplina\nque trabajan en diversos ámbitos (investigación científica\, empresas\,\norganismos estatales\, ONGs\, etc. ) \n– Aprender un montón de cosas sobre datos. Qué tipo de problemas se\npueden resolver con ellos y cuáles no\, qué precauciones debemos tener\,\nqué desafíos afronta la disciplina y mucho más. \n– Evidenciar la diversidad de disciplinas que confluyen en esta carrera\ny experimentar cómo interactúan. \n– Compartir un buen rato\, un viernes a la tarde\, una vez por mes. \nEstá destinado principalmente a estudiantes de la carrera\, pero todas/os\nsomos bienvenidas/os. \nNos juntamos el 3er. viernes de cada mes a las 16hs. \n¡Las y los esperamos!
URL:https://www.dc.uba.ar/event/charla-datame-unificando-enfoques-en-problemas-de-datos/
LOCATION:Aula 1402
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20240325T140000
DTEND;TZID=America/Sao_Paulo:20240325T150000
DTSTAMP:20260519T195554
CREATED:20240320T184655Z
LAST-MODIFIED:20240320T184655Z
UID:9015-1711375200-1711378800@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Dago de Renteria y Melissa Regnier
DESCRIPTION:Título: Fuzzing de smart contracts: EchidnaAFL\nDirectores: Juan Pablo Galeotti y Diego Garbervetsky (DC/ICC)\nJurados:\n– Victor Braberman (DC/ICC)\n– Gustavo Grieco (Trail of Bits) \nResumen:\nEn los últimos años\, han cobrado popularidad y gran capital financiero las tecnologías blockchain y en particular Ethereum\, que introdujo el concepto de smart contracts que permitió el desarrollo de una gran variedad de proyectos. Esto dio lugar a la investigación y desarrollo de herramientas de testing de smart contracts\, en particular fuzzing. En esta tesis\, en búsqueda de una herramienta para extender\, llevamos a cabo en primer lugar un análisis del estado del arte de las herramientas de fuzzing existentes\, lo que nos llevó a elegir a Echidna\, debido a su popularidad\, simpleza de extensión y disponibilidad de código y desarrolladores. En base a esto\, realizamos una investigación de reverse-engineering que nos permitió documentar extensamente el algoritmo de Echidna\, obteniendo diversos diagramas que disponibilizamos para el uso de la comunidad. Una vez hecho esto\, implementamos una versión de Echidna que incorpora conceptos de la herramienta AFL Fast\, que asigna energía a los elementos del corpus en función de la frecuencia del camino explorado por cada elemento. Además\, implementamos una versión random que asigna energías uniformes para utilizar como testigo en el análisis. Finalmente\, mediante el uso de tres distintos benchmarks\, comparamos los resultados obtenidos por las tres distintas versiones y concluimos que la adaptación implementada obtiene resultados equivalentes a la original pero con un overhead de tiempo significativo\, mientras que la versión random también obtiene resultados similares sin ningún overhead de tiempo. Esto nos lleva a concluir que la estrategia de elección de elementos de corpus no pareciera influir lo suficiente en la eficiencia de la herramienta ya que su comparación con random que representa la elección trivial de elementos de corpus resulta en el mismo nivel de performance. Como trabajo futuro\, se pueden seguir explorando los resultados observados haciendo uso de benchmarks más complejos y extensos que permitan otorgarle mayor confianza a lo concluido o incluso proponer nuevas estrategias de feedback utilizando la documentación provista en esta tesis para facilitar el desarrollo. \nPalabras claves: Ethereum\, smart contracts\, fuzzing\, Echidna\, AFL-Fast\, feedback\, elección de elementos de corpus.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-dago-de-renteria-y-melissa-regnier/
LOCATION:Sala 1604
CATEGORIES:Agenda
END:VEVENT
END:VCALENDAR