💻 Category

cs

2456 artículos

💻 computer science

Formal Verification of Smart Contracts for EEG Data Governance: A Case Study with Slither and Formal Specification

Este artículo demuestra que, si bien las herramientas automatizadas como Slither y Mythril detectan eficazmente patrones de vulnerabilidad conocidos, la especificación formal es esencial para verificar la corrección lógica y garantizar la seguridad en la gobernanza de datos de EEG basados en blockchain, ya que identificó de manera única una vulnerabilidad de desbordamiento de índice de matriz sembrada que las herramientas automatizadas pasaron por alto.

Jonathas Tavares Neves, Moisés Pereira Bastos, Lucas Carvalho Cordeiro, Carlos Augusto de Moraes Cruz2026-06-29
💻 computer science

Innovative Strategies for Efficient Traffic Sign Prediction using Dense-CN Net Classification

Este artículo propone un marco innovador de predicción de señales de tráfico que integra el preprocesamiento de Medias No Locales, una arquitectura U-Net modificada, clasificación mediante CNN Densa y la Optimización de Enjambre de la Liebre de Roca para el ajuste de hiperparámetros, logrando una precisión de vanguardia del 99,64% en los conjuntos de datos TT100K y del 99,6% en los GTSDB.

Naveen N, Senthil Mahesh P C, Kumari P, Praveenkumar G D2026-06-29
💻 computer science

EDNet-20: Enhancing Multi-Label Ocular Disease Detection through Deep Learning Optimization

Este artículo presenta EDNet-20, un nuevo marco de aprendizaje profundo optimizado con aumentación de datos fotométricos y técnicas de IA explicable que logra una precisión superior en la detección de enfermedades oculares multietiqueta en comparación con los modelos del estado del arte, ofreciendo una herramienta prometedora para el diagnóstico clínico temprano.

Shahed Hossain, Munjir Mahmud Sayeb, Tahmeed Ali Patwary, Mohsina Mehenaj, Anika Tasnim Ritu, Md Mizanur Rahman, Md. Zah (…)2026-06-29
💻 computer science

Affect-Aware Human-Agent Conversations: Towards Empathic LLM Interaction

Este artículo presenta el Prompting Extendido Empático, un marco de trabajo en tiempo real que integra descriptores afectivos faciales en las interacciones con Modelos de Lenguaje de Gran Escala para mejorar la inteligencia emocional percibida y la capacidad de respuesta al estado de ánimo sin comprometer la usabilidad ni desencadenar percepciones de extrañeza.

Lorenzo Stacchio, Andrea Ubaldi, Alessandro Galdelli, Maurizio Mauri, Emanuele Frontoni, Andrea Gaggioli2026-06-29
💻 computer science

Evaluating the Use of LLM-based Multi-Agent Systems for Internal Information Sharing and Access Within Manufacturing

Este artículo evalúa un sistema multiagente modular basado en LLM para el acceso a información de fabricación, encontrando que, si bien los modelos de primer nivel superan a los usuarios humanos promedio en precisión y velocidad en tareas de trazabilidad bajo condiciones de datos específicas, la efectividad del sistema sigue siendo condicional a la selección del modelo, la calidad de los datos y el diseño de los prompts, lo que requiere una supervisión humana continua.

Ngoc Bach Nguyen, Sam Brooks, Zhengyang Ling2026-06-29
💻 computer science

Design of a Real-Time Hand Gesture Control System for Unmanned Aerial Vehicles Using a Lightweight Multi-Scale Feature Extraction Network

Este artículo presenta una red de extracción de características multiescala y ligera que permite el control de gestos manuales en tiempo real y con alta precisión para UAV con recursos limitados, mediante el empleo de una arquitectura de submuestreo de tres etapas y un módulo híbrido que combina convoluciones dilatadas en paralelo con un modelo de espacio de estados selectivo.

Jiang Zi, Chengjun Xu2026-06-29
💻 computer science

A Composite Evaluation Framework for Unsupervised Maritime Anomaly Detection in AIS Data with Applications to Ocean Monitoring

Este estudio propone el Índice de Calidad de Detección de Anomalías Marítimas (MADQI, por sus siglas en inglés), un novedoso marco de evaluación compuesto que aborda la falta de datos etiquetados en la detección de anomalías de AIS no supervisada mediante la integración del análisis geoespacial con cuatro métricas específicas para evaluar robustamente el rendimiento del modelo para una monitorización oceánica mejorada y una gobernanza sostenible.

Ismet Gocer, Zakirul Bhuiyan, Raza Hasan, Shakeel Ahmad2026-06-29
💻 computer science

An AD Detection System Using Theme Enhancement and Dynamic Differential Privacy for Intelligent Elderly Care

Este artículo propone ADDETECTOR, un sistema de detección de la enfermedad de Alzheimer seguro y preciso para el cuidado inteligente de personas mayores que integra la mejora de características lingüísticas basadas en temas con un mecanismo de privacidad diferencial dinámica para superar los desafíos de baja precisión y filtración de privacidad, demostrando un rendimiento superior en el conjunto de datos ADReSS.

Junyan Qu, Hao Wang, Ming Sun2026-06-29
💻 computer science

A Blockchain-based NFT Framework for Ownership and Intellectual Property Preserving with Controlled Access to Medical Datasets

Este artículo propone un marco basado en blockchain que utiliza tokens no fungibles (NFT), contratos inteligentes y técnicas criptográficas para permitir la propiedad verificable, el acceso controlado y la auditoría forense de conjuntos de datos médicos cifrados, abordando así las barreras del intercambio de datos en la investigación biomédica.

Hoda Naseri, Seyed Mohammad Mirhosseini, Ali A. Safaei2026-06-29