Noticias externas

Resumen:Resolver restricciones que involucran definiciones inductivas (también conocidas como recursivas) es un desafío. Los solucionadores SMT/CHC de última generación y los probadores de lógica de primer orden solo brindan un soporte limitado para resolver tales restricciones, especialmente cuando involucran, por ejemplo, tipos de datos abstractos.

Resumen: Los avances recientes en los modelos de lenguaje de visión (VLM) han mostrado un gran potencial para el razonamiento espacial y la generación de diseños de escenas 3D a partir de instrucciones en lenguaje abierto.

 Tesis de Licenciatura 
Dominic Richter 
2026II 
Abstracto 
La estandarización de las redes no terrestres (NTN) de la versión 17 del 3GPP permite que los dispositivos IoT de banda estrecha (NB-IoT) estandarizados se comuniquen directamente con constelaciones de satélites, abordando teóricamente la brecha de cobertura celular global del 85%.