8204 articles
Cet article présente un cadre complet incluant un jeu de données, une métrique d'évaluation et une méthode de raffinement sans entraînement pour corriger le biais de vivacité excessive des modèles de génération d'images et améliorer leur fidélité chromatique par rapport à la photographie réelle.
Le papier présente TreeON, un cadre neuronal novateur capable de reconstruire des nuages de points 3D détaillés d'arbres à partir d'une seule orthophoto et d'un modèle numérique de surface, en utilisant une stratégie d'apprentissage supervisé combinant des pertes géométriques et d'ombres pour généraliser efficacement aux données réelles sans nécessiter de scans laser au sol.
Cette étude de laboratoire analyse l'impact des algorithmes de cryptographie post-quantique sur les performances des transactions HTTP sur TLS 1.3 à travers plusieurs couches, en comparant les échanges de clés traditionnels, hybrides et purement post-quantiques dans un scénario de charge simulée.
Cet article propose un cadre de collaboration humain-agent qui transforme l'asymétrie d'information en signaux de délégation explicites et auditable, en utilisant des profils de capacité et des indicateurs de risque de coordination dérivés de comparaisons de paires pour optimiser la répartition des tâches et la confiance mutuelle.
Cette étude propose une méthode de diagnostic O-RAN axée sur les mesures réelles qui, en analysant conjointement la latence de queue et les indicateurs de la couche radio, révèle des différences dépendantes de l'équipement utilisateur et des dynamiques radio invisibles aux métriques moyennes, permettant ainsi de définir des indicateurs de dégradation légers pour le suivi pratique.
Le papier présente LLMGreenRec, un nouveau système de recommandation multi-agents basé sur les grands modèles de langage (LLM) qui favorise la consommation durable en identifiant les intentions écologiques des utilisateurs et en réduisant l'empreinte carbone numérique grâce à des interactions ciblées.
Cet article résout une question ouverte en démontrant la première séparation explicite entre la confidentialité différentielle aveugle et adaptative dans le modèle d'observation continue, en présentant un algorithme précis pour le premier cas qui échoue systématiquement dans le second après un nombre constant d'étapes.
Ce papier propose les « Reading Activity Traces » (RATs), un cadre conceptuel et technique qui requalifie la lecture comme une activité créative en rendant visibles les trajectoires d'interprétation humaine souvent effacées par l'automatisation, illustré par une mise en œuvre spéculative sur Wikipédia.
Le papier présente DynVLA, un modèle de conduite VLA qui améliore la prise de décision autonome en introduisant un nouveau paradigme de « chaîne de pensée » basé sur la dynamique (Dynamics CoT), permettant de prédire de manière compacte et interprétable l'évolution du monde avant de générer des actions.
L'article présente Agentar-Fin-OCR, un système de parsing de documents financiers capable de transformer des PDF ultra-longs en structures précises et auditées grâce à des algorithmes de consolidation inter-pages et d'apprentissage curriculaire, accompagné de la création de FinDocBench, une nouvelle benchmark pour l'évaluation rigoureuse des modèles dans ce domaine.
Cet article présente une analyse approfondie de la découpe de réseau (network slicing) dans l'architecture 5G, en mettant l'accent sur ses modèles de profit (implémentation propre et location de ressources) ainsi que sur les défis et perspectives de recherche associés.
En combinant des données représentatives d'Américains avec celles de « Have I Been Pwned », cette étude révèle qu'au moins 82,84 % des adultes aux États-Unis ont vu leurs comptes compromis, avec une moyenne d'au moins trois violations par personne, touchant davantage les femmes, les personnes blanches, d'âge moyen et mieux éduquées.
Cet article propose un cadre de surveillance en ligne efficace et évolutif pour la Logique Temporelle Métrique (MTL) en construisant unifié des réseaux séquentiels à partir de spécifications temporelles, grâce à une technique de marquage temporel futur utilisant des représentations symboliques par intervalles.
Cet article établit que la vérification de module des systèmes multi-agents à pile (PMS) est 2EXPTIME-complète pour ATL, mais 4EXPTIME-complète pour ATL*, ce qui constitue un cas rare d'un problème de décision élémentaire dont la complexité dépasse le temps tri-exponentiel.
Cet article démontre que les compteurs probabilistes, tels que le compteur de Morris et le MaxGeo Counter, peuvent assurer la protection de la vie privée dans les agrégations de données sans ajout de randomisation externe, grâce à leur randomisation inhérente suffisante pour satisfaire les critères rigoureux de la confidentialité différentielle.
Cet article généralise l'opération de commutation sur les graphes , résout des problèmes ouverts concernant les homomorphismes et les produits catégoriels, et détermine le nombre chromatique pour les forêts en utilisant des notions de théorie des groupes.
Cette étude propose un cadre méthodologique combinant l'identification d'instances de demande excédentaire et un modèle de régression de Poisson filtré pour estimer la demande non satisfaite dans les systèmes de transport public, en appliquant cette approche aux données de la Port Authority de Pittsburgh pour corriger les biais liés aux données censurées.
Cette étude réexamine les biais implicites dans le arbitrage de la NBA en utilisant des données de jeu et des rapports des deux dernières minutes, révélant un avantage significatif pour les équipes à domicile (atténué depuis la pandémie) et des préférences individuelles pour certains joueurs, tout en ne trouvant aucune preuve de biais racial ou de défaveur envers des équipes ou des joueurs spécifiques.
Cet article présente un nouveau problème de sélection de plans de requêtes informatifs (TIPS) et un algorithme d'approximation associé pour aider les étudiants à mieux comprendre les choix de l'optimiseur de requêtes, dont l'efficacité est validée par des études pédagogiques sur trois ans.
Cet article présente une preuve élémentaire et nouvelle de la propriété de modèle fini pour l'algèbre de Kleene en utilisant des automates de transformation, établissant ainsi la complétude de cette théorie par rapport aux modèles relationnels finis et unifiant les résultats de Palka et Pratt.