💻 informatique

Immersive Virtual Reality in Education: A Systematic Review of Learning Outcomes, Challenges, and Future Directions

Cette revue systématique de la littérature de 2020 à 2026 évalue l'impact de la réalité virtuelle immersive sur divers résultats éducatifs, constatant que si la RV améliore considérablement l'engagement, la rétention et la compréhension conceptuelle, son adoption généralisée est actuellement entravée par des obstacles tels que le coût, le mal des transports virtuel et l'insuffisance de la formation des enseignants, traçant ainsi une feuille de route pour la recherche future dans l'apprentissage adaptatif, l'analytique et la mise en œuvre éthique.

Zeynep Yılmaz2026-07-07
💻 informatique

Do-Calculus Interventions in Predictive Coding Networks: Formal Correspondence, Empirical Validation, and Architectural Prescriptions for Clinical Causal AI

Cet article établit une correspondance formelle entre la dynamique des réseaux de codage prédictif et le do-calculus de Pearl, démontrant, par une dérivation théorique et une validation empirique sur des références cliniques, que des interventions architecturales spécifiques permettent à ces réseaux d'effectuer avec précision un raisonnement causal et de surpasser les modèles associatifs standards dans l'estimation des effets interventionnels.

Hassan Farooq2026-07-07
💻 informatique

A Conceptual AI-Assisted Music Creation Framework for Individuals with Amusia: Neural Pitch Correction and Adaptive Auditory Feedback

Cet article propose l'AI-Assisted Music Creation Framework (AAMCF), une architecture conceptuelle à cinq couches exploitant la correction de hauteur neuronale, l'harmonisation générative et le feedback adaptatif pour permettre aux individus atteints d'amusie de créer et de percevoir la musique, tout en exposant ses fondements théoriques, ses mesures d'évaluation et ses considérations éthiques en vue d'une future validation empirique.

Snigdha Saha, Md. Maruf Sharker Munna2026-07-07
💻 informatique

Embedding Formal Worst-Case Latency Proofs and Memory-Safety Certificates into the snn-mlir MLIR Lowering Pipeline for IEC 62304-Compliant Edge Deployment of Spiking Neural Networks

Cet article introduit une passe d'analyse post-traitement MLIR pour le compilateur snn-mlir qui génère des preuves de latence de pire cas et des certificats de sécurité mémoire vérifiables par machine, permettant ainsi le déploiement conforme à la norme IEC 62304 Classe B des réseaux de neurones impulsionnels pour les dispositifs médicaux de bord critiques pour la sécurité, tels que les détecteurs de crises d'épilepsie.

Hassan Farooq2026-07-07
💻 informatique

Twos All the Way Down: A Hidden Condition Every Deployed RoPE Schedule Satisfies

Cet article identifie et valide une condition « max_cluster = 1 » auparavant non articulée, exigeant la distinction par paire de toutes les fréquences RoPE, démontrant que la violation de cette contrainte implicite lors de l'inférence provoque une dégradation catastrophique des performances des grands modèles de langage tout en prouvant que les programmes géométriques standards la satisfont intrinsèquement en raison de la nature transcendante de leurs bases logarithmiques.

Sungmin Ryu2026-07-07
💻 informatique

DBHMT: Dynamic Balancing Hybrid Merkle Tree– Design, Optimization and Evaluation in IOTA Tangle for IoT-Enabled Healthcare 4.0

Cet article propose l'arbre de Merkle hybride à équilibrage dynamique (DBHMT), une structure de données optimisée pour l'Industrie 4.0 de la santé basée sur le Tangle d'IOTA, qui emploie un mécanisme d'élagage dynamique pour parvenir à une réduction par quatre des coûts de stockage tout en maintenant la sécurité pour les environnements IoT à ressources limitées.

Basker Palaniswamy, Md Noor-A-Rahim, Paolo Palmieri, Francesco Regazzoni, Ashok Kumar Das, Vivekananda Bhat K2026-07-07
💻 informatique

Retrieval-Augmented Generation in Mental Health: A Systematic Review

Cette revue systématique synthétise 15 études empiriques de 2022 à 2026, concluant que bien que les configurations de génération augmentée par récupération (RAG) surpassent généralement les modèles de référence dans les applications de santé mentale, le domaine est entravé par des méthodes d'évaluation hétérogènes, un signalement de la sécurité éparse et un manque d'intégration de données multimodales.

Emma Fransson2026-07-07
💻 informatique

Mapping Curricula to Occupational Work Activities Using a Shared DWA Ontology: Evidence from the Course-Skill Atlas and O*NET

Cette étude introduit un cadre d'analyse curriculaire qui met en correspondance les signaux des cours d'informatique avec les exigences professionnelles de la science des données à l'aide d'une ontologie partagée d'activités de travail détaillées, révélant que si le programme couvre toutes les tâches nécessaires, il présente un écart d'accentuation significatif dans leur pondération relative.

Hairu Fan, Shiyuan Wang, Ming Liu2026-07-07
💻 informatique

From Prompt to Production: A Case Study of Human-AI Collaborative Software Development Using Claude Code Multi-Agent Orchestration

Cet article présente une étude de cas complète sur le développement d'une plateforme médicale de classe production utilisant l'orchestration multi-agents de Claude Code, établissant un cadre de compétence humain-IA, quantifiant les gains de performance à travers différentes configurations d'IA, et proposant des stratégies d'optimisation des jetons pour accroître la productivité tout en réduisant les coûts.

Pham Thi Thuong, Nguyen Dang Quang, Ngo Thi Lan Phuong2026-07-07
💻 informatique

Prevalence Shift and ICU Mortality Miscalibration Across Institutions

Cet article démontre que l'inadéquation de la prévalence au niveau de l'hôpital est une cause dominante et quantifiable d'échec de calibration dans les modèles de mortalité en soins intensifs inter-institutionnels, montrant qu'une simple correction bayésienne utilisant uniquement les taux de mortalité locaux peut efficacement restaurer la calibration sans nécessiter de données cibles étiquetées.

Aman Chandra H, Stuti Shivhare, Suyash Sahu2026-07-07