Agenda
Calendario de Eventos
L Lun
M Mar
X Mié
J Jue
V Vie
S Sáb
D Dom
0 eventos,
0 eventos,
0 eventos,
1 evento,
Defensa Tesis Licenciatura Gonzalo Raposo
Defensa Tesis Licenciatura Gonzalo Raposo
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 […]
1 evento,
Defensa Tesis Licenciatura Valentín Paz Marcolla
Defensa Tesis Licenciatura Valentín Paz Marcolla
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, […]
0 eventos,
0 eventos,
0 eventos,
2 eventos,
Defensa Tesis Licenciatura Juan Manuel Baldonado
Defensa Tesis Licenciatura Juan Manuel Baldonado
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 […]
Defensa Tesis Licenciatura Simón Lew Deveali
Defensa Tesis Licenciatura Simón Lew Deveali
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 […]
0 eventos,
1 evento,
Charla «Teoría de la Prueba para Lógicas Modales con Datos“
Charla «Teoría de la Prueba para Lógicas Modales con Datos“
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 […]
0 eventos,
0 eventos,
0 eventos,
0 eventos,
1 evento,
Defensa Tesis Doctorado Federico Albanese
Defensa Tesis Doctorado Federico Albanese
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) […]
3 eventos,
Defensa Tesis Licenciatura Emanuel Ruzak
Defensa Tesis Licenciatura Emanuel Ruzak
Titulo: Explorando las dinámicas de AI Safety via Debate Director: Sergio Abriola Jurados: Esteban Lanzarotti, Victor Braberman Resumen: El desarrollo de sistemas de inteligencia artificial (IA) capaces de comprender y ejecutar tareas complejas requiere que estos sistemas aprendan objetivos y preferencias humanas sofisticadas que no sabemos especificar formalmente. Además, […]
Defensa Tesis Licenciatura Patricio Damian Bruno
Defensa Tesis Licenciatura Patricio Damian Bruno
Título: Certificación de Teleportación Cuántica en Escenarios con Ruido: Desarrollo de una Herramienta de Qiskit para Estimar la Distancia Media de Teleportación en Simuladores y Computadoras Cuánticas Director: Gustavo Martin Bosyk Co-Director: Guido Bellomo Jurados: Laura Knoll y Sanitago Cifuentes Resumen: La teleportación cuántica es un protocolo fundamental en […]
Defensa Tesis Licenciatura Ayelén Dinkel
Defensa Tesis Licenciatura Ayelén Dinkel
Título: Thinness condicionada a órdenes canónicos de ciertas clases de grafos Directora: Flavia Bonomo Co-director: Eric Brandwein Jurados: Pablo Terlisky, Esteban Lanzarotti Resumen: La teoría estructural de grafos consiste en la caracterización de distintas clases de grafos por medio de subgrafos inducidos prohibidos, propiedades de descomposición o de orden […]
2 eventos,
Defensa Tesis Licenciatura Belén Páez y Facundo Totaro
Defensa Tesis Licenciatura Belén Páez y Facundo Totaro
Título Páez: Contextualización de palabras ambiguas: comparación del comportamiento humano y de redes basadas en transformers Título Totaro: Contextualización de palabras ambiguas en modelos de lenguaje: generación de significados Director: Bruno Bianchi Co-Director: Juan Kamienkowski Jurados: Francisco Valentini, Laura Alonso Alemany Resumen Conjunto: Los modelos de lenguaje del estado […]
Defensa Tesis Licenciatura Julián Gutiérrez Ostrovsky
Defensa Tesis Licenciatura Julián Gutiérrez Ostrovsky
Título: TypeCheckerDragon: Chequeo de Tipos Contextualizados en un Lenguaje de Tipado Dinámico Director: Hernán Wilkinson Co-Director: Agustín Martinez Jurados: Edgardo Zoppi, Juan Pablo Galeotti Resumen: Este trabajo utiliza la información de tipos recolectada e inferida por LiveTyping en Cuis Smalltalk para realizar un chequeo de tipos que tiene por […]
1 evento,
Defensa Tesis Licenciatura Ignacio Mariotti
Defensa Tesis Licenciatura Ignacio Mariotti
Título: Modelos de programación lineal entera para el problema de enrutamiento y asignación de espectro manycast Director: Javier Marenco Jurados: Gabriela Di Piazza y Federico Pousa Resumen: La creciente demanda de servicios de alta velocidad en redes de comunicaciones ha puesto en el centro de atención la optimización del […]
0 eventos,
0 eventos,
0 eventos,
1 evento,
Defensa Tesis Licenciatura Martín Emiliano Lombardo
Defensa Tesis Licenciatura Martín Emiliano Lombardo
Título: Feature set analysis for chess NNUE networks Director: Agustín Sansone Co-Director: Diego Fernandez Slezak Jurados: Pablo Riera y Gonzalo Ruarte Resumen: Históricamente, los motores de ajedrez han utilizado funciones altamente complejas para evaluar posiciones de ajedrez. Recientemente, las redes neuronales eficientemente actualizables (NNUE) han desplazado a estas funciones […]
