Observatorio de información y Publicaciones

Resumen:El rápido desarrollo de la IA generativa está trayendo cambios innovadores a la educación y la evaluación. A medida que aumenta la prevalencia de estudiantes que utilizan la IA para las tareas, aumentan las preocupaciones sobre la integridad académica y la validez de las evaluaciones.

Resumen: La síntesis de controladores es un método formal para generar automáticamente controladores de Sistema de transición etiquetado (LTS) que satisfacen propiedades específicas. Sin embargo, la eficiencia del proceso de síntesis depende críticamente de las políticas de exploración.

Resumen: El procesamiento automatizado e inteligente de conjuntos de datos masivos de teledetección (RS) es fundamental en la observación de la Tierra (EO).