Eventos
Calendario de Eventos
|
lunes
|
martes
|
miércoles
|
jueves
|
viernes
|
sábado
|
domingo
|
|---|---|---|---|---|---|---|
|
0 eventos,
|
0 eventos,
|
0 eventos,
|
1 evento,
-
Título: «Demostraciones de una proposición como puntos fijos de un operador idempotente» Director: Dr. Pablo Barenbaum Jurado: - Dr. Santiago Figueira - Dr. Alejandro Petrovich Resumen: En este trabajo exploramos una idea de Dana Scott, de acuerdo con la cual es posible interpretar a cada proposición lógica como un […] |
0 eventos,
|
0 eventos,
|
0 eventos,
|
|
0 eventos,
|
0 eventos,
|
1 evento,
-
Título: Eye-tracking remoto: Detección automática de eventos y mejoras en la performance Director: Juan Kamienkowski Co-Director: Gustavo Juantorena Jurados: Joaquín Navajas Iair Embon Resumen: El eye tracking basado en tecnologías web abre nuevas oportunidades para la investigación y el desarrollo de aplicaciones en áreas como la educación, la neurociencia y la interacción […] |
0 eventos,
|
1 evento,
-
Título: Optimización de Red de Recarga de Agua Gratis de Puerto Escondido Director: Faillace Mullen Nazareno Jurados: Bonomo Flavia (DC e ICC), Durán Guillermo (DM e IC) y Faillace Mullen Nazareno (IC) Resumen: En el presente trabajo se estudia el desempeño de dos modelos clásicos de localización de instalaciones, el Maximal Covering Location […] |
0 eventos,
|
0 eventos,
|
|
0 eventos,
|
0 eventos,
|
0 eventos,
|
0 eventos,
|
1 evento,
-
Título: El Vínculo entre Entropía Generativa, Autoevaluación y Correctitud en el uso de LLMs para Métodos Formales Director: Victor Braberman Jurados: Luciano del Corro y Sebastian Uchitel Resumen: Los LLMs han demostrado grandes capacidades en la generación de código; sin embargo, su fiabilidad en tareas de razonamiento formal y […] |
0 eventos,
|
0 eventos,
|
|
0 eventos,
|
0 eventos,
|
1 evento,
-
Título: KE tableaux para lógicas intuicionistas modales Directores: Alejandro Solares Rojas y Ricardo O. Rodriguez Jurados: Edwin Pin y Lourdes del Carmen González Huesca. Resumen: El sistema KE es una variante de los tableaux analíticos para lógica clásica proposicional. El mismo ha sido extendido recientemente como cálculo para la […] |
1 evento,
-
Título : Procesamiento del lenguaje durante la lectura y los impactos de la fatiga Directores: Bruno Bianchi y Fermín Travi Jurado: Gustavo Juantorena y Rodrigo Laje Resumen : A pesar de no darnos cuenta, durante la lectura, los ojos se mueven de forma compleja. Este movimiento no es tan […] |
0 eventos,
|
0 eventos,
|
0 eventos,
|
|
0 eventos,
|
1 evento,
-
Tìtulo: “Un estudio experimental de la discrepancia mínima de secuencias de de Bruijn” Directores: Nicolás Álvarez y Verónica Becher Jurados:Martín Mereb y Pablo Turjanski Resumen: Una secuencia de de Bruijn de orden n con dos símbolos es una secuencia circular de longitud 2^n en la que cada bloque de […] |
0 eventos,
|
1 evento,
-
Título: De procesos a agentes: modelos textuales para convertir logs de procesos en sistemas agénticos Director : Claudio Righetti Co-Director : Paulo Veiga Jurado . Esteban Lanzarotti , Marcelo Risk y Claudio Righetti Aula Virtual: https://meet.google.com/hys-hqwa-jsi?hs=224 Resumen: La Minería de Procesos (Process Mining) permite descubrir automáticamente modelos formales de […] |
0 eventos,
|
0 eventos,
|
0 eventos,
|
