Título: Verificación de contratos en Algorand Director: Diego Garbervetsky Jurados: Javier Godoy, Esteban Mocskos Resumen: La creciente adopción de tecnologías blockchain ha generado un interés significativo en la seguridad y confiabilidad de los contratos inteligentes. Algorand, una plataforma blockchain de código abierto, utiliza el lenguaje de script TEAL (Transaction [...]

Título: Campos diferenciables de distancias sin signo para representaciones implícitas neuronales Director: Dr. Emmanuel Iarussi Co-director: Dr. Diego Fernandez Slezak Jurados: Dra. Maria Elena Buemi y Dr. Rodrigo Castro Resumen: En los últimos años, ha crecido el interés por el entrenamiento de redes neuronales para aproximar campos de distancia sin signo (UDF) [...]

Título: Implementación de Refactorings move y extract usando LiveTyping Director: Hernán Wilkinson Jurados: Agustín Martinez, Edgardo Zoppi Resumen: El uso de refactorings automatizados es fundamental para el mantenimiento de sistemas. Su aplicación y uso permite que el diseño de los mismos no se degrade con el tiempo, ya que aseguran el [...]

Título: Actualización integral de un manipulador robótico Scorbot ER-VII basada en Arduino y ROS Director: Dr. Pablo De Cristóforis Jurados: Dr. Christian Cossio Mercado, Dr. Ezequiel Pecker Marcosig La tesis será transmitida en vivo en el canal de YouTube: https://www.youtube.com/live/5UKKEESjMm4 Resumen: Los manipuladores robóticos Scorbot fueron lanzados al mercado [...]

Título: Optimización de la selección de horneado de discos de zirconia para la manufactura de piezas dentales Directores: Dr Pablo Factorovich y Dr Brian Curcio Jurado: Dra Isabel Méndez Diaz y Dra Paula Zabala Resumen: La manufactura de discos de zirconia involucra un proceso de calentamiento y enfriado que [...]

Título: DEVS Copilot: cooperación humano-IA para la generación de modelos de simulación Director: Dr. Rodrigo Castro (DC-ICC) Co Director: Lic. Tobías Carreira Munich (DC-ICC) Jurado: - Dr. Esteban Lanzarotti (DC-ICC) - Ing. Lautaro Estienne (ICC Exactas-UBA y FIUBA) Resumen del trabajo:  En esta tesis exploramos hasta qué punto la IA generativa, [...]

Título: Análisis semántico de performance para auto-formalizaciones generadas por LLMs Director: Víctor Braberman Co-directora: Flavia Bonomo Jurados: Sergio Abriola, Sebastián Uchitel Resumen: En los últimos años, los LLMs (Large Language Models) han experimentado un enorme crecimiento en popularidad, en parte debido a su versatilidad para abordar una gran variedad [...]

Título: Clausura conmutativa de lenguajes regulares Directora: Verónica Becher Codirector: Ignacio Mollo Cunningham Jurados: Sergio Abriola y Víctor Braberman Resumen: Consideremos un alfabeto finito. Dos palabras comparten su imagen conmutativa cuando una es permutación de los símbolos de la otra.  La clausura conmutativa de un lenguaje S es el [...]

Están todos invitados a la charla de Danae Dutto. "Teoría de la Prueba para Lógicas Modales con Datos“. Jueves 5 de diciembre a las 14 hs, Sala 1604. Resumen:  Los lenguajes modales con datos han ganado una significativa atención en tiempos recientes. Este interés proviene del estudio formal de [...]

Título: Aprendizaje Automático y Procesamiento del Lenguaje Natural en la Comunicación Política Online y las Redes Sociales. Director: Esteban Feuerstein Codirector: Leandro Lombardi Consejero de estudios: Matías López y Rosenfeld Jurados: Dr. Ernesto Calvo (Prof., Univ. de Maryland, EE. UU) Dra. María V. Martínez Posse (Inv. Tit., IIA-CSIC, España) [...]