3729 articles
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 ».
Cet article propose 3D CT-GraphEdgeMAE, un cadre auto-supervisé basé sur les graphes qui utilise le masquage d'arêtes, un nouveau décodeur avec produit de Hadamard et similitude de sous-graphes, ainsi qu'une perte de reconstruction-contraste sensible à la topologie pour parvenir à une détection d'anomalies 3D par CT efficace et performante, avec des coûts de calcul et un temps d'entraînement considérablement réduits sur l'ensemble de données LUNA16.
Cet article audite neuf corpus de tests de compression sans perte largement utilisés pour exposer des ambiguïtés de licence et des lacunes de reproductibilité généralisées, puis propose et valide une procédure de publication rigoureuse au niveau du fichier comprenant des registres de lignée, une vérification par double examen et des métadonnées standardisées afin de permettre la redistribution sécurisée de jeux de données de compression.
Cet article propose un nouveau protocole d'audit sans hypothèse de distribution qui utilise l'inférence de conformité scindée comme référence externe pour valider statistiquement et émettre des verdicts reproductibles sur l'exactitude des affirmations de confiance formulées par les systèmes de décision automatisés déployés.
Ce document présente SkillBase, une plateforme d'apprentissage en ligne pilotée par l'IA et construite sur une architecture React.js et Spring Boot qui répond aux limites de l'éducation traditionnelle en offrant des expériences d'apprentissage personnalisées et adaptatives grâce à des fonctionnalités telles que l'assistance intelligente, les évaluations interactives et la pratique de la programmation concrète.
Cette étude révèle que, bien que les grands modèles de langage présentent des personnalités auto-déclarées cohérentes et socialement désirables, leurs comportements sociaux réellement observés varient considérablement d'un modèle à l'autre et ne sont pas prédits par ces auto-déclarations, suggérant que les évaluations comportementales sont essentielles pour sélectionner des agents d'IA destinés aux interactions sociales.