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:20210101T000000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20221201T160000
DTEND;TZID=America/Sao_Paulo:20221201T170000
DTSTAMP:20260414T053059
CREATED:20221124T173120Z
LAST-MODIFIED:20221124T173120Z
UID:7956-1669910400-1669914000@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Axel Maddonni
DESCRIPTION:Título: Testing Automatizado de APIs REST basadas en Python Flask\nDirector: Juan Pablo Galeotti\nJurados: Guido de Caso y Hernan Wilkinson \nResumen:\nEn este trabajo se introduce una nueva extensión de EvoMaster\, una herramienta open-source para generación automática de testeos impulsada por un algoritmo evolutivo\, para aplicaciones web REST Python implementadas bajo el framework Flask. Esta herramienta cuenta con dos componentes principales: un core\, encargado de llevar a cabo el algoritmo de búsqueda denominado MIO que aplica heurísticas para la optimización de testeos buscando maximizar la cobertura de líneas y branches sobre el código de la aplicación a testear; y un driver o controlador\, encargado de alimentar al core con las métricas necesarias para la evolución del algoritmo. Se describe el diseño e implementación de un controlador exclusivo para Python encargado de la comunicación con el core bajo un protocolo ya establecido y la instrumentación de código mediante la aplicación de transformaciones sobre el árbol AST del código fuente original. Además\, como parte de este trabajo se\nextiende el core para soportar la escritura de los tests en lenguaje Python y se provee de una librería Python para la distribución y testeo del nuevo controlador. Por último\, se reportan y analizan métricas de cobertura de líneas y cobertura de branches obtenidas a partir de tests generados automáticamente para cinco casos de prueba diferentes\, tres de ellos artificiales y dos de ellos originales de terceros\, disponibles públicamente en GitHub.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-axel-maddonni/
LOCATION:Sala 1604
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20221206T110000
DTEND;TZID=America/Sao_Paulo:20221206T130000
DTSTAMP:20260414T053059
CREATED:20221202T151230Z
LAST-MODIFIED:20221202T151230Z
UID:7979-1670324400-1670331600@www.dc.uba.ar
SUMMARY:Defensa Tesis Doctorado Daniel Koile
DESCRIPTION:Título: «Plataforma computacional de análisis genómico y diagnóstico de enfermedades raras»\nDirector: Patricio Yankilevich\nJurados: Dra. Cristina Marino Buslje\, Dra. Liliana Dain y Dr. Rodrigo Castro\nLink de youtube para la transmisión: https://youtu.be/TOQdYGu9qp4 \nResumen:\nLa tecnología actual de secuenciación masiva de ADN\, sumada al creciente número de bases de datos con información genómica\, permiten que la genómica personalizada sea una realidad\, y con ella\, la llegada a la clínica de nuevos métodos para la prevención y diagnóstico de enfermedades. Aquí presentamos el desarrollo de una plataforma computacional novedosa y flexible de análisis e interpretación de genomas humanos\, que entre otras prestaciones\, es capaz de detectar las variantes responsables de distintas enfermedades. El análisis de genomas humanos en la plataforma incluye diversas etapas\, como el control de calidad\, el alineamiento de los datos\, la identificación de los distintos tipos de variantes\, su anotación y filtrado\, para finalmente obtener una interpretación de la información genómica. Durante todo el proceso se utilizan herramientas de visualización de la información para su interpretación. Adicionalmente\, incluye un módulo de análisis de datos de expresión génica para estudiar y comparar dos o más condiciones clínicas o biomédicas. En este proceso\, se utiliza la información fenotípica del individuo\, así como también bases de datos públicas con información biológica\, molecular y clínica.\nUna de las principales aplicaciones de la plataforma fue el desarrollo de GenIO\, una herramienta web para la asistencia a médiques genetistas en el análisis de enfermedades raras. Las enfermedades raras tienen una prevalencia menor a cinco habitantes por cada diez mil\, son generalmente crónicas y potencialmente mortales\, teniendo el 80 % de ellas componentes genéticos. Se estima que unas 300 millones de personas en el mundo son afectadas por alguna de ellas. Con los métodos tradicionales se logra diagnosticar a tan solo el 5% de los casos\, aunque con las tecnologías de secuenciación masiva se llega a un 26%. Con GenIO se alcanza una tasa de diagnóstico superior a otros métodos\, ya que permite llegar a un diagnóstico en al menos el 40% de los casos. Una de las ventajas principales de esta herramienta es que gracias a su diseño puede ser utilizada por genetistas sin la necesidad de contar con asistencia bioinformática adicional\, acercando así esta tecnología a médiques de todo el mundo.\nComo parte de las tareas de desarrollo de la plataforma\, realizamos colaboraciones en distintos proyectos de investigación. Participamos en la creación de una herramienta de exploración para el control de calidad de datos genéticos (target sequencing experiments)\, el análisis genómico sobre la vacuna terapéutica CSF-470 para melanoma\, tanto en las líneas celulares que componen la vacuna\, como en líneas resistentes y en pacientes\, el análisis de datos de ADN\, ARN y micro ARN de pacientes con leucemia mieloide crónica en el marco de diferentes estudios sobre esta enfermedad\, entre otros proyectos. Consideramos a su vez que el trabajo realizado sienta bases para futuras investigaciones y desarrollos computacionales en el campo de la biomedicina. \nPalabras clave: Bioinformática\, Genoma humano\, Diagnóstico\, Enfermedades Raras\, Secuenciación genómica\, Análisis de variantes.
URL:https://www.dc.uba.ar/event/defensa-tesis-doctorado-daniel-koile/
LOCATION:Sala 1606
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20221207T100000
DTEND;TZID=America/Sao_Paulo:20221207T110000
DTSTAMP:20260414T053059
CREATED:20221202T172111Z
LAST-MODIFIED:20221202T172111Z
UID:7981-1670407200-1670410800@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Marcelo Sancinetti
DESCRIPTION:Título: »Transferencia de Aprendizaje para Calificación de la Pronunciación»\nDirectora: Luciana Ferrer\nCo-directora: Jazmín Vidal\nJurados: Juan Manuel Perez y Viviana Cotik \nResumen:\nLos sistemas de calificación de la pronunciación son una herramienta importante para el aprendizaje de idiomas. Evalúan la manera en que se producen los sonidos del lenguaje y permiten interactuar de manera incansable con los estudiantes\, indicando errores en tiempo real y permitiendo a cada alumno avanzar a su propio ritmo. Los sistemas estándar generan puntajes para cada sonido en una frase usando modelos entrenados para el reconocimiento automático del habla (RAH) solo con datos nativos. Se ha demostrado un mejor rendimiento cuando se usan sistemas que están entrenados específicamente para la tarea usando datos no nativos. Sin embargo\, dichos sistemas enfrentan el desafío de que los conjuntos de datos etiquetados para esta tarea son escasos y\, por lo general\, pequeños. En esta tesis\, presentamos un enfoque basado en el aprendizaje por transferencia que aprovecha un modelo entrenado para RAH con datos nativos\, adaptándolo con una base de datos de audios no nativo para la tarea de calificación de la pronunciación. Analizamos el efecto de varias opciones de diseño y comparamos el rendimiento con un sistema de estado del arte baseline llamado Goodness of Pronunciation (GOP).
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-marcelo-sancinetti/
LOCATION:Sala 1604
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20221215T100000
DTEND;TZID=America/Sao_Paulo:20221215T120000
DTSTAMP:20260414T053059
CREATED:20221212T143721Z
LAST-MODIFIED:20221212T143721Z
UID:8003-1671098400-1671105600@www.dc.uba.ar
SUMMARY:Defensa Tesis Doctorado Gustavo Lado
DESCRIPTION:Título: «Un modelo de redes neuronales artificiales inspirado en la semántica cognitivas»\nDirector: Enrique Carlos Segura\nJurados:\nDra. Irene Callejón – – Prof. Tit.\, Universitat Autònoma de Barcelona\nDra. Silvia Schiaffino – – Prof. Asoc.\, UNICEN – Inv. Ppal.\, CONICET\nDr. Agustín Gravano – – Inv. Indep.\, CONICET \nLink de youtube para la transmisión: https://youtu.be/0lEjYqaeWQU \nResumen:\nLa extracción y representación eficiente de información a partir del conocimiento expresado en lenguajes naturales es de suma importancia teniendo en cuenta la gran cantidad de saber que existe en esta forma. Sin embargo\, estos problemas han probado ser de difícil tratamiento a pesar de haber sido empleadas variadas estrategias a lo largo de los años.\nOriginalmente las técnicas de inteligencia artificial para el procesamiento del lenguaje natural estaban basadas en la semántica estructuralista\, por lo que requerían del análisis sintáctico de las sentencias\, y la clasificación en categorías semánticas de las palabras\, entre otros. Actualmente los modelos basados en redes neuronales artificiales pueden obtener muy buenos resultados y no requieren del mismo tipo de preprocesamiento sintáctico pero tienden a poseer una alta complejidad y costo de entrenamiento.\nEn este trabajo se propone un nuevo tipo de modelo alternativo\, también basado en redes neuronales artificiales e inspirado en la semántica cognitiva\, para convertir información secuencial en vectores de dimensión fija.\nEste modelo fue utilizado en la codificación de tanto palabras como sentencias. En el caso de las palabras se pudo demostrar su capacidad para representar información morfológica y robustez ante variaciones asociadas a distintos tipos de errores. Para las sentencias también se pudo verificar la correlación semántica entre representaciones obtenidas por el modelo y evaluaciones hechas por humanos sobre datos provenientes de fuentes reales\, como también otras estimaciones realizadas para datos artificiales.\nAsí mismo\, el modelo propuesto no solo brinda una alternativa más sencilla evitando las desventajas mencionadas inicialmente\, sino que además permite superar algunos inconvenientes aún existentes en las técnicas más avanzadas y facilita la integración con otras estrategias de aprendizaje automático. \nPalabras clave: Redes neuronales artificiales\, procesamiento del lenguaje natural\, aprendizaje profundo\, semántica cognitiva
URL:https://www.dc.uba.ar/event/defensa-tesis-doctorado-gustavo-lado/
LOCATION:Sala 1606
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20221219T180000
DTEND;TZID=America/Sao_Paulo:20221219T190000
DTSTAMP:20260414T053059
CREATED:20221212T144140Z
LAST-MODIFIED:20221212T151356Z
UID:8005-1671472800-1671476400@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Angel Yan
DESCRIPTION:Título: Recolección de Tipos en VMs con Compilación Just-in-Time\nDirector: Hernán Wilkinson\nJurados: Emilio Oca y Agustín Martinez \nResumen:\nLiveTyping es un sistema de anotación automática de tipos que busca llevar a lenguajes dinámicos algunos de los beneficios de contar con información de tipos estática sobre los programas. Esta técnica se encuentra implementada en la versión Stack de la máquina virtual OpenSmalltalk-VM y es utilizada en el dialecto Cuis de Smalltalk para mejorar la experiencia de desarrollo agregando la posibilidad de inspeccionar del tipo de los términos\, code completion y refactorings automatizados más precisos\, chequeo e inferencia de tipos\, entre otras mejoras. LiveTyping instrumenta el intérprete de la Stack VM para recolectar la información de tipos de los términos\, algo que tiene un impacto no menor en el rendimiento de la máquina virtual.\nLa versión Cog de OpenSmalltalk-VM mejora sustancialmente la eficiencia de la Stack VM con la introducción de un compilador Just-in-Time. La implementación de LiveTyping en esta VM resulta atractiva como forma de mitigar su impacto en el rendimiento. El objetivo de este trabajo es implementar LiveTyping en una máquina virtual con compilación JIT para poder tener los beneficios que esta técnica provee con un menor impacto de performance. En este informe describimos la arquitectura de OpenSmalltalk-VM\, detallamos nuestra implementación de LiveTyping sobre la Cog VM y presentamos los resultados del análisis de su performance.\nPalabras clave: LiveTyping\, anotación de tipos\, tipado dinámico\, máquina virtual\, com- pilación Just-in-Time\, Smalltalk.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-angel-yan/
LOCATION:Aula a confirmar
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20221222T150000
DTEND;TZID=America/Sao_Paulo:20221222T160000
DTSTAMP:20260414T053059
CREATED:20221213T165350Z
LAST-MODIFIED:20221213T165350Z
UID:8008-1671721200-1671724800@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Santiago Dandois
DESCRIPTION:Título: Juegos de alcanzabilidad sobre grafos and-or generales.\nDirector: Víctor Braberman\nJurados: Pablo Barenbaum\, Fernando Schapachnik \nZoom: (a definir) \nResumen \nEs común representar ciertos juegos determinados de dos jugadores mediante un árbol «and-or». Computar la estrategia ganadora para uno de los jugadores (o determinar que no existe) tiene aplicaciones muy diversas. En este trabajo extendemos el árbol «and-or» a grafos «and-or» generales con dos condiciones de victoria vinculadas a la alcanzabilidad de nodos objetivos. Este tipo de juegos\, por ejemplo\, tienen aplicación en ingeniería de software y robótica\, ya que se los puede utilizar como pasos intermedios para calcular planes de misiones que reaccionan ante eventos de un ambiente que actúa como (jugador) adversario. Como las arenas de estos juegos -aunque descritas de manera compacta- pueden ser grafos enormes si se los desarrolla explícitamente\, queremos encontrar conceptos que ayuden a valorar adecuadamente nodos a explorar en un análisis «on-the-fly» del grafo subyacente. Para ello proponemos caracterizar\, de manera paramétrica\, la condición de victoria de una exploración parcial del juego mediante una fórmula booleana. Primero calculamos está fórmula explícitamente mediante algoritmos de punto fijo\, con la ayuda de la estructura de datos ROBDD. Luego\, la utilizamos para guiar la exploración on-the-fly mediante heurísticas derivadas de ella. Evaluamos nuestras propuestas y hallamos heurísticas muy prometedoras a pesar de los costos elevados de representación de las fórmulas de victoria.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-santiago-dandois/
LOCATION:Sala 1606
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20230223T140000
DTEND;TZID=America/Sao_Paulo:20230223T150000
DTSTAMP:20260414T053059
CREATED:20230216T183647Z
LAST-MODIFIED:20230216T183647Z
UID:8102-1677160800-1677164400@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Matías Millassón
DESCRIPTION:Título: Modelos estadísticos para predecir resultados en fútbol: la aplicación a competencias sudamericanas de clubes\nDirector: Guillermo Durán\nJurados: Rodrigo Castro y Diego Fernández Slézak \nResumen: En esta tesis se estudia el problema de predecir resultados en torneos de fútbol. Más precisamente analizamos los torneos masculinos de mayores organizados por la CONMEBOL\, es decir la Copa Libertadores y la Copa Sudamericana. Realizamos un recorrido teórico por dos trabajos pioneros en la predicción de resultados deportivos. Luego implementamos una variante de uno de ellos con el fin de lidiar con los tipos de partidos que disputa cada equipo y adaptarlo a la naturaleza de las competiciones con las que trabajamos. También validamos los predictores a través de varias pruebas. Para finalizar corrimos varios experimentos simulando las conductas clásicas de les apostadores de eventos deportivos con el objetivo de poder determinar el beneficio económico del uso de este tipo de herramientas.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-matias-millasson/
LOCATION:Aula 1115
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20230302T140000
DTEND;TZID=America/Sao_Paulo:20230302T150000
DTSTAMP:20260414T053059
CREATED:20230224T155651Z
LAST-MODIFIED:20230224T155651Z
UID:8126-1677765600-1677769200@www.dc.uba.ar
SUMMARY:Charla Data Quality for Deep Learning
DESCRIPTION:Los invitamos a todos a la charla «Data Quality for Deep Learning» dictada por el Prof. Dr. Saúl Calderón Ramirez. \nDía y horario: jueves 2 de marzo\, 14hs.\nLugar: aula a confirmar en el pabellón 0+i. \nAbstract:\nDeep learning models usually need extensive amounts of data\, and these data have to be labeled\, becoming a concern when dealing with real-world applications. It is known that labeling a dataset is a costly task in time\, money\, and resource-wise. Different methods exploit small labelled datasets and other types of data with  less costly labelling schemes  (Data augmentation\, self-supervised learning\, semi supervised learning\, etc.). For instance\, Semi-supervised Learning Model (SSLM) uses labeled and unlabeled datasets to train a model\, improving the overall performance of the models when labeled datasets are small. The unlabeled datasets may include out-of-distribution data with respect to the labeled data\, which may affect the model’s accuracy and future predictions. We introduce the importance of data quality metrics\, especially when considering that the future of Deep learning models targets real-world applications such as healthcare. Concepts such as data quality metrics has been normally applied in structured data\, however\, it can also be applied in unstructured data (datasets used to train deep learning models\, in different types of learning settings. \nSaúl Calderón Ramirez es Ph. D. en Cs. de la Computación  (Universidad De Montfort\, Reino Unido)\, y Magister Scientae en Ingeniería Eléctrica con énfasis en sistemas digitales (Universidad de Costa Rica). Saúl es Profesor en el Instituto Tecnológico de Costa Rica y coordina el PAttern Recognition and MAchine Learning Group (PARMA-Group).
URL:https://www.dc.uba.ar/event/charla-data-quality-for-deep-learning/
LOCATION:Aula a confirmar
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20230302T160000
DTEND;TZID=America/Sao_Paulo:20230302T170000
DTSTAMP:20260414T053059
CREATED:20230224T155545Z
LAST-MODIFIED:20230228T130157Z
UID:8124-1677772800-1677776400@www.dc.uba.ar
SUMMARY:Charla Computing with Infinite objects: the Gray code case
DESCRIPTION:Están todos invitados a esta charla en el Departamento de Computación: \nProfesor Dieter Spreen\,  University of Siegen\, Germany\, Department of Mathematics \nTítulo :  Computing with Infinite objects: the Gray code case \nDía:    Jueves 2 de  marzo 2023\nHora: 16 hs\nLugar  Cero más Infinito\, Ciudad Universitaria\, aula 1115 \nAbstract: In theoretical studies on exact computations with real numbers\, but as well in applications\, the signed digit representation of the reals is mostly used. This is an extension of the binary expansion of the reals which is very redundant: Every real number is represented by infinitely many infinite strings over the alphabet {-1\, 0\, 1}. Infinite Gray code\, on the other hand\, has no redundancy: it is a one-to-one representation of the reals. Nevertheless\, there are computable transformations between the two representations. For transforming Gray code into signed digit code\, however\, the algorithm must make use of nondeterministic concurrent computations. \nIn the talk a representation-free logic-based approach is presented in which the representation are expressed as predicates S and G on the reals. The realizers of statements S(x) and G(x) are exactly the respective codes of x. From a proof of the inclusion of S in G one can extract a correct program transforming signed digit into Gray code. For a proof of the converse inclusion\, however\, one needs to extend the logic by new connectives which are realized by concurrent computations. As will be shown\, the approach can be extended from the number case to the case of nonempty subsets of the reals.
URL:https://www.dc.uba.ar/event/charla-computing-with-infinite-objects-the-gray-code-case/
LOCATION:Aula 1115
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20230327T140000
DTEND;TZID=America/Sao_Paulo:20230327T150000
DTSTAMP:20260414T053059
CREATED:20230321T122434Z
LAST-MODIFIED:20230327T145402Z
UID:8148-1679925600-1679929200@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Nicolas Mastropasqua
DESCRIPTION:Título: Estudio de redes profundas livianas con aprendizaje basado en distribuciones aplicadas al reconocimiento de expresiones faciales.\nDirector: Daniel Acevedo.\nJurados: Pablo Negri y Juan Manuel Pérez. \nResumen:\nHoy en día\, la búsqueda de soluciones ‘lightweight’ que logren resultados comparables a modelos de Deep Learning robustos ha recibido particular atención debido a su implementación factible en dispositivos móviles. Uno de los problemas que podrían aprovechar esta cualidad es el de Facial Expression Recognition (FER). Considerando que la mayoría de los datasets de expresiones faciales suelen estar anotados con emociones categóricas cuando en realidad la mayoría de las expresiones exhibidas en escenarios ‘in the wild’ ocurren como combinaciones o composición de emociones básicas\, se puede hacer uso de Label Distibution Learning (LDL) como estrategia para el entrenamiento.\nEn este trabajo se abordará el problema de FER a través de redes neuoronales livianas usando LDL en modelos de Deep Learning livianos. Bajo el supuesto de que las imágenes de expresiones faciales deberían tener una distribución de emoción similar a la de su vecindad en un espacio de etiquetas auxiliares adecuado\, como aquel determinado por la tarea de Action Unit Recognition\, se puede aprovechar la información de las distribuciones e incorporarla como parte la función de pérdida.\nConcretamente\, se estudiarán en profundidad dos arquitecturas ‘lightweight’ del Estado del arte\, EfficientFace y CERN\, y se analizará el impacto de distintos acercamientos para implementar LDL considerando datasets ‘in the wild’ como RAF-DB\, CAER-S\, FER+ y AffectNet.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-nicolas-mastropasqua/
LOCATION:Aula 1203
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20230414T190000
DTEND;TZID=America/Sao_Paulo:20230416T190000
DTSTAMP:20260414T053059
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:20260414T053059
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:20260414T053059
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:20260414T053059
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:20260414T053059
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:20260414T053059
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:20260414T053059
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:20260414T053059
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:20260414T053059
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:20260414T053059
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:20260414T053059
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:20260414T053059
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:20260414T053059
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:20260414T053059
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:20260414T053059
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:20260414T053059
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:20260414T053059
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:20260414T053059
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:20260414T053059
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:20260414T053059
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
END:VCALENDAR