💻 Category

cs

4092 articles

💻 informatique

From Trustworthy AI Principles to Verifiable System Requirements: A Multi-Stakeholder Engineering Framework for Clinical Decision Support Systems

Cet article présente un cadre d'ingénierie reproductible en trois phases qui traduit systématiquement les besoins des multiples parties prenantes et les contraintes réglementaires en exigences de système formelles et vérifiables, conformes aux normes ISO/IEC/IEEE 29148 et à la taxonomie FUTURE-AI, démontrées par la création d'un corpus d'exigences accessible au public pour un système d'IA clinique à haut risque dans le cadre du projet AI4HF.

Antonino Angi, Joan Perramon-Llussà, Ilia Stepin, Miriam Cabrita, Laura Arbelaez Ossa, A. Anil Sinaci, Senan Postaci, Ca (…)2026-08-26
💻 informatique

YOLO-WKPose v3.1: Turbulence-Aware, Motion-Robust and Temporally Consistent Keypoint Estimation for Fixed-Wing Aircraft — An Updated Gap, Model and Implementation Guide

Cet article présente YOLO-WKPose v3.1, une mise à jour complète qui étend l'estimation des points clés d'aéronefs à voilure fixe précédente en intégrant cinq modules spécifiques pour traiter la turbulence à haute altitude, le flou de mouvement et la prédiction temporelle, fournissant un guide d'implémentation détaillé avec des pertes définies et un périmètre précis plutôt que des résultats expérimentaux rapportés.

Anthony Ofosu-Kwarteng2026-08-26
💻 informatique

Policy-Gated Firmware Trust and Anti-Rollback Resilience for Autonomous UAV Edge Platforms: A Formal Security and Software Validation

Cet article présente et valide formellement un mécanisme de confiance du micrologiciel à porte de politique pour les drones autonomes qui impose une protection anti-rétrogradation et une sécurité de type « fail-closed » par le biais d'une vérification basée sur des manifestes, tout en identifiant les dépendances critiques vis-à-vis de l'intégrité de l'état persistant et en traçant une feuille de route pour une attestation assistée par le matériel.

Md Shahanur Islam Shagor2026-08-26
💻 informatique

Sequence-, Epoch-, and Integrity-Aware Detection of Replay and Peer-Spoofing Attacks in Decentralized UAV Mesh Networks: A Software-Validated Security Framework

Cet article présente et valide un cadre de sécurité implémenté par logiciel pour les essaims de drones décentralisés qui prévient les attaques par rejeu et par usurpation d'identité entre pairs grâce à une chaîne d'admission de paquets stricte combinant l'authentification HMAC-SHA256, la validation d'époque et la vérification de séquence monotone, tout en quantifiant sa surcharge de performance et en identifiant la compromission du secret partagé comme le principal risque résiduel.

Md Shahanur Islam Shagor2026-08-26
💻 informatique

OmniGuard V2X: A Hybrid-Security Prototype Framework with Assumption-Aware Validation for Smart Vehicle Systems

Ce document présente OmniGuard V2X, un cadre de prototype de sécurité hybride à six couches pour les systèmes de véhicules intelligents qui privilégie la validation sensible aux hypothèses et les frontières de sécurité lisibles par machine afin d'améliorer la reproductibilité et l'interprétabilité des évaluations de sécurité V2X complexes et multi-mécanismes utilisant la cryptographie post-quantique.

Md Shahanur Islam Shagor2026-08-26
💻 informatique

Architectural Framework for ERP-WMS Integration: Mitigating Data Latency and Transactional Asymmetry in Integrated Logistics Systems

Ce document présente le framework SAIL, une nouvelle architecture d'orchestration avec état qui atténue la latence des données et l'asymétrie transactionnelle dans les systèmes logistiques intégrés ERP-WMS en remplaçant le middleware sans état par des couches actives conservant l'état, dotées de validation heuristique et de protocoles de double poignée de main, réduisant ainsi la remédiation manuelle des inventaires jusqu'à 90 % tout en garantissant l'intégrité du grand livre.

Arijit Das2026-08-26
💻 informatique

Genetic Fragmentation Gradient Descent: Failure-Constrained Scheduling for GPU-Sharing Clusters

Cet article propose le Genetic Fragmentation Gradient Descent (GFGD), un ordonnanceur hors ligne-en ligne efficace qui utilise un algorithme génétique pour faire évoluer des politiques légères et contraintes par les défaillances pour les clusters de partage de GPU, réduisant considérablement la latence d'ordonnancement tout en améliorant les taux d'achèvement des tâches et l'utilisation des ressources par rapport aux approches antérieures basées sur de lourdes simulations.

Soeun Choi, Jaehyeong Sim2026-08-26✓ Author reviewed ⓘ
💻 informatique

A Lightweight Time--Frequency Fusion Network for Accurate Wastewater Quality Forecasting

Cet article présente TSF-Resonator, un réseau de fusion temps-fréquence léger qui permet une prévision précise et efficace de la qualité des eaux usées en combinant un encodage temporel multi-échelle adaptatif avec une analyse spectrale de bas rang afin de surmonter les limitations de calcul et de modélisation des approches existantes basées sur les Transformers.

Jiahao Fu, Jianjun Sun, Gaunlin Li2026-08-26✓ Author reviewed ⓘ
💻 informatique

Agentic AI System for Hospital Management

Ce document propose et évalue un cadre d'apprentissage par renforcement multi-agents coopératif pour l'administration hospitalière, démontrant que ses quatre agents spécialisés surpassent de manière significative les systèmes traditionnels en optimisant l'allocation des ressources, en réduisant les temps d'attente des patients et en atteignant une efficacité opérationnelle élevée avec un minimum de conflits.

Ashis Kumar Pati, Kaibalya Mohapatra, Mukesh Kumar Padhi, Shreya Tripathy2026-08-26