💻 Category

cs

4092 artículos

💻 ciencias de la computación

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

Este artículo presenta un marco de ingeniería reproducible de tres fases que traduce sistemáticamente las necesidades de múltiples partes interesadas y las restricciones regulatorias en requisitos de sistema formales y verificables conformes con ISO/IEC/IEEE 29148 y la taxonomía FUTURE-AI, demostrado a través de la creación de un corpus de requisitos de acceso público para un sistema de IA clínica de alto riesgo en el proyecto AI4HF.

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

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

Este artículo presenta YOLO-WKPose v3.1, una actualización integral que extiende la estimación previa de puntos clave de aeronaves de ala fija mediante la integración de cinco módulos específicos para abordar la turbulencia a gran altitud, el desenfoque por movimiento y la predicción temporal, proporcionando una guía de implementación detallada con pérdidas definidas y alcance en lugar de resultados experimentales reportados.

Anthony Ofosu-Kwarteng2026-08-26
💻 ciencias de la computación

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

Este artículo presenta y valida formalmente un mecanismo de confianza de firmware con control por políticas para UAVs autónomos que impone seguridad de no reversión y de cierre seguro mediante verificación basada en manifiestos, al tiempo que identifica dependencias críticas en la integridad del estado persistente y traza una hoja de ruta para la atestación respaldada por hardware.

Md Shahanur Islam Shagor2026-08-26
💻 ciencias de la computación

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

Este artículo presenta y valida un marco de seguridad implementado por software para enjambres de UAV descentralizados que previene ataques de repetición y suplantación de pares mediante una estricta cadena de admisión de paquetes que combina la autenticación HMAC-SHA256, la validación de épocas y la verificación de secuencia monotónica, al tiempo que cuantifica su sobrecarga de rendimiento e identifica el compromiso de la clave compartida como el principal riesgo residual.

Md Shahanur Islam Shagor2026-08-26
💻 ciencias de la computación

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

Este artículo presenta OmniGuard V2X, un marco de prototipo de seguridad híbrida de seis capas para sistemas de vehículos inteligentes que prioriza la validación consciente de las suposiciones y los límites de seguridad legibles por máquinas para mejorar la reproducibilidad e interpretabilidad de las evaluaciones de seguridad V2X complejas y de múltiples mecanismos utilizando criptografía post-cuántica.

Md Shahanur Islam Shagor2026-08-26
💻 ciencias de la computación

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

Este artículo presenta el marco de trabajo SAIL, una novedosa arquitectura de orquestación con estado que mitiga la latencia de datos y la asimetría transaccional en los sistemas logísticos integrados de ERP-WMS al reemplazar el middleware sin estado por capas activas con retención de estado que cuentan con validación heurística y protocolos de doble saludo, reduciendo finalmente la remediación manual de inventario hasta en un 90% mientras asegura la integridad del libro mayor.

Arijit Das2026-08-26
💻 ciencias de la computación

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

Este artículo propone el Descenso de Gradiente de Fragmentación Genética (GFGD, por sus siglas en inglés), un planificador offline-online eficiente que utiliza un algoritmo genético para evolucionar políticas ligeras y con restricciones de fallos para clústeres de uso compartido de GPU, reduciendo significativamente la latencia de planificación al tiempo que mejora las tasas de finalización de trabajos y la utilización de recursos en comparación con enfoques previos intensivos en simulación.

Soeun Choi, Jaehyeong Sim2026-08-26✓ Author reviewed ⓘ
💻 ciencias de la computación

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

Este artículo presenta TSF-Resonator, una red de fusión tiempo-frecuencia ligera que logra un pronóstico preciso y eficiente de la calidad del agua residual mediante la combinación de una codificación temporal multiescala adaptativa con un análisis espectral de bajo rango para superar las limitaciones computacionales y de modelado de los enfoques basados en Transformer existentes.

Jiahao Fu, Jianjun Sun, Gaunlin Li2026-08-26✓ Author reviewed ⓘ
💻 ciencias de la computación

Agentic AI System for Hospital Management

Este artículo propone y evalúa un marco de aprendizaje por refuerzo multiagente cooperativo para la administración hospitalaria, demostrando que sus cuatro agentes especializados superan significativamente a los sistemas tradicionales al optimizar la asignación de recursos, reducir los tiempos de espera de los pacientes y lograr una alta eficiencia operativa con un conflicto mínimo.

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