Título: Aprendiendo políticas de exploración generales para escalar la síntesis de controladores discretos. Director: Sebastian Uchitel Jurados: Agusting Gravano y Pablo Riera Resumen: El á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 [...]

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. Día: 1/5/2023 Hora: 18:00hs Lugar: Sala 1606 La charla de Adrián va a tener dos partes: PARTE 1: Chips & supercomputers work at Barcelona Supercomputing Center Un poco de historia del BSC, qué es lo que hacemos, [...]

Título: Técnicas de adaptación de dominio en tareas de extracción de opiniones Director: Juan Manuel Pérez Jurado: Bruno Bianchi y María Vanina Martínez Resumen: En 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 [...]

Título: Two Examples of Empirical Analysis to Understand Adoption: GraphQL Schemas and GasTokens in the Ethereum Blockchain Abstract: This talk provides an overview of two different examples of the use of empirical analysis to understand the adoption characteristics of specific technologies. GraphQL is a query language for APIs that [...]

Título: "Evaluación automática de la calidad del habla artificial" Director: Dr. Jorge Gurlekian (CONICET) Jurados: Dra. Laura Alonso Alemany (UNC), Dr. Juan Carlos Gómez (UNR; CONICET), Dr. Hugo L. Rufiner (UNL; CONICET) Link de youtube para la transmisión: https://youtu.be/4fqa9iFs2Cg Resumen: El español es la principal lengua del continente americano [...]

Título: Predicción de cristalización de perovskitas mediante aprendizaje automático Director: Diego Onna Co-Director: Pablo Turjanski Jurados: Esteban Mocskos y Mario Tagliazucchi Resumen En 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. [...]

Título: Weak-Ensconcement for Shielded Base Contraction Director: Ricardo O. Rodríguez Co-Director: Daniel Grimaldi Jurados: Vanina Martinez y Eduardo Barrio Resumen: En 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. [...]

Título: "La mayoría sigue sin ser suficiente" Director: Esteban Mocskos Jurados: Laura Tardivo y Jesús Carretero Será transmitida por youtube en https://youtube.com/live/o7BxyWpAk7s?feature=share Resumen ======= Las criptomonedas son activos digitales que son mantenidos por la colaboración entre los participantes de una red, denominados nodos. Bitcoin es el principal exponente de esta tecnología en cuanto a adopción y referencia como paradigma de ser un activo [...]

Título:     Operador de medición en un cálculo lambda con control cuántico. Directores:     Alejandro Díaz-Caro     Pablo E. Martínez López Jurados:     Pablo Barenbaum     Hernán Melgratti     Rafael Romero Resumen: En los últimos años, se han desarrollado distintas extensiones al cálculo [...]

Título: Natación Máster: Optimización de relevos mediante programación lineal entera Director: Javier Marenco Jurados: Dra. Flavia Bonomo y Dr. Guillermo Durán Resumen: La 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 [...]