3710 articles
Cet article introduit le Branch-Relative Authority Closure (BRAC), un cadre qui garantit l'acquisition sûre de preuves pour les agents autonomes en recomputant dynamiquement les autorisations de permission après chaque observation afin de résoudre l'incertitude critique de décision sans violer les contraintes de légitimité.
Cette recherche propose un système de détection d'anomalies basé sur un ensemble pour l'efficacité énergétique urbaine qui compare les algorithmes d'apprentissage automatique traditionnels avec des autoencodeurs d'apprentissage profond, démontrant que l'autoencodeur atteint une performance supérieure (scores F1 de 0,9740 et 0,9494) tout en utilisant SHAP pour l'interprétabilité afin de soutenir la gestion durable de l'énergie.
TPA-Flow est un cadre de photopléthysmographie à distance unifié qui améliore la précision et la robustesse de la surveillance physiologique en intégrant des a priori périodiques pondérés par la confiance via une attention par produit tensoriel physiologique avec un nouveau mécanisme de décodage par flux rectifié à ancrage direct pour corriger les distorsions de forme d'onde.
CogAlign-CausalX est un pipeline d'analyse de polypes qui traite les masques de segmentation comme des explications intrinsèques pour la classification morphologique, validé par une métrique de score d'alignement rapide et sous forme fermée (XAlign) qui atteint des performances compétitives sur le jeu de données Kvasir-SEG tout en reconnaissant les limites de la précision absolue de la segmentation et la nécessité de coupler les scores d'alignement avec les mesures de chevauchement traditionnelles.
Cet article introduit une métaheuristique de relien de chemin améliorée par l'appariement d'étiquettes et des mouvements de composantes pour résoudre efficacement le problème du séparateur de sommet capacité, démontrant une performance supérieure par rapport aux algorithmes exacts existants en égalant les solutions optimales dans la plupart des cas et en améliorant les bornes supérieures dans les cas restants.
Le document présente AnoMLP-TCP, un perceptron multicouche léger sensible aux anomalies pour la hiérarchisation des cas de test dans l'intégration continue, qui atteint des performances comparables à la base de référence plus complexe AnoLSTM-TCP tout en réduisant considérablement le nombre de paramètres du modèle, le temps d'entraînement et le coût computationnel.
Cet article présente l'Offline-Capable Digital Wallet (OCDW), un nouvel artefact développé via la Design Science Research qui utilise une architecture à cinq couches combinant des registres basés sur les DAG et des preuves à divulgation nulle de connaissance pour offrir des transactions financières sécurisées, performantes et conformes aux normes AML dans des environnements à faible connectivité, surpassant de manière significative les solutions blockchain existantes en termes de latence, de débit et d'efficacité énergétique.
Cet article démontre que la mise en œuvre d'une machine à états transactionnelle externe pour imposer des critères de préparation reproductibles et doublement vérifiés transforme le développement génératif, passant d'un processus ouvert basé sur l'opinion à un système en boucle fermée qui atteint une équivalence fonctionnelle à travers divers modèles tout en réduisant ultimement les coûts totaux et en permettant le retrait de l'humain dans la boucle.
Cet article présente un front-end Hindley–Milner basé sur Python pour un sous-ensemble d'OCaml qui génère simultanément des théorèmes vérifiés par Lean 4 et du code Rust exécutable avec des contrats porteurs de preuves, validant avec succès le système à travers des types inductifs mutuels, l'arithmétique des entiers signés, et la vérification par implémentation croisée d'un noyau et de son équation auto-descriptive.
L'article identifie deux échecs silencieux dans l'outil de test des résultats enrichis de Google : une limite d'affichage qui tronque le nombre d'objets JSON-LD à 102 sans avertissement, et un manque de validation pour la propriété `eventStatus` qui accepte incorrectement des valeurs invalides telles que « EventCompleted ».