💻 Category

cs

3900 artículos

💻 ciencias de la computación

Safe Separability for Autonomous Authorization: Branch-Relative Authority Closure Under Decision-Critical Uncertainty

Este artículo introduce el Cierre de Autoridad Relativo a la Rama (BRAC, por sus siglas en inglés), un marco que garantiza la adquisición segura de evidencia para agentes autónomos mediante la recomputación dinámica de los permisos de autorización después de cada observación para resolver la incertidumbre crítica en la toma de decisiones sin violar las restricciones de legitimidad.

Mohammad Amir Khusru Akhtar2026-10-07
💻 ciencias de la computación

Ensemble-Based Anomaly Detection for Urban Power Efficiency Towards Sustainable Energy Management

Esta investigación propone un sistema de detección de anomalías basado en ensambles para la eficiencia energética urbana que compara algoritmos tradicionales de aprendizaje automático con Autoencoders de aprendizaje profundo, demostrando que el Autoencoder logra un rendimiento superior (puntuaciones F1 de 0.9740 y 0.9494) al utilizar SHAP para la interpretabilidad en apoyo de la gestión de energía sostenible.

Visalakshi Annepu, Kalapraveen Bagadi, Muhsin Jaber Jweeg, Mohd Shukor Salleh, Deepika Rani Sona, Oday I. Abdullah, Oula (…)2026-10-07
💻 ciencias de la computación

TPA-Flow: Physiological Tensor Interactions and Rectified-Flow Decoding for Remote Photoplethysmography

TPA-Flow es un marco de fotopletismografía remota unificado que mejora la precisión y la robustez del monitoreo fisiológico mediante la integración de prioridades periódicas ponderadas por confianza a través de la Atención de Producto Tensorial Fisiológico con un novedoso mecanismo de decodificación de Flujo Rectificado de anclaje directo para corregir las distorsiones de la forma de onda.

Huixiang Wen, Ruixue Chen, Luo Zhou, Shunfeng Gao2026-10-07
💻 ciencias de la computación

CogAlign-CausalX: mask-grounded polyp analysis with closed-form explanation-alignment scoring

CogAlign-CausalX es un flujo de trabajo de análisis de pólipos que trata las máscaras de segmentación como explicaciones intrínsecas para la clasificación morfológica, validado por una métrica de puntuación de alineación rápida y de forma cerrada (XAlign) que logra un rendimiento competitivo en el conjunto de datos Kvasir-SEG al reconocer las limitaciones en la precisión absoluta de la segmentación y la necesidad de emparejar las puntuaciones de alineación con medidas de superposición tradicionales.

G. Sudha Gowd, S. Vasundra2026-10-07
💻 ciencias de la computación

A Path Relinking Metaheuristic for the Capacitated Vertex Separator Problem

Este artículo presenta una metaheurística de relinkeo de caminos mejorada con emparejamiento de etiquetas y movimientos de componentes para resolver eficientemente el Problema del Separador de Vértices Capacitado, demostrando un rendimiento superior sobre los algoritmos exactos existentes al igualar las soluciones óptimas en la mayoría de los casos y mejorar los límites superiores en el resto.

Sergiu Amihaesei2026-10-07
💻 ciencias de la computación

AnoMLP-TCP: An Anomaly Aware Multilayer Perceptron for Test Case Prioritization in Continuous Integration

El artículo presenta AnoMLP-TCP, un perceptrón multicapa ligero y consciente de anomalías para la priorización de casos de prueba en la integración continua que logra un rendimiento comparable al de la base más compleja AnoLSTM-TCP, reduciendo significativamente los parámetros del modelo, el tiempo de entrenamiento y el costo computacional.

MUSA ISYAKU2026-10-07
💻 ciencias de la computación

A Design Science Research Approach to Developing an Offline-Capable Secure Digital Wallet for Low-Connectivity Environments

Este artículo presenta la Billetera Digital con Capacidad de Funcionamiento Sin Conexión (OCDW, por sus siglas en inglés), un artefacto novedoso desarrollado mediante la Investigación de la Ciencia del Diseño que utiliza una arquitectura de cinco capas combinando libros contables basados en DAG y pruebas de conocimiento cero para ofrecer transacciones financieras seguras, de alto rendimiento y conformes con las normativas de prevención de lavado de dinero en entornos de baja conectividad, superando significativamente a las soluciones de blockchain existentes en latencia, capacidad de procesamiento y eficiencia energética.

Patricia Ghann, Gabriel Teye, Eric Apomah Adu, Isaac Junior Loveland Gavua, Mccarthy Newman-King, Carl Dela2026-10-07
💻 ciencias de la computación

Closing the Verification Loop in Generative Development: An External Transactional State Machine and a Field Evaluation of Its Economics and Convergence

Este artículo demuestra que la implementación de una máquina de estados transaccional externa para imponer criterios de preparación reproducibles y de doble verificación transforma el desarrollo generativo de un proceso de bucle abierto basado en opiniones en un sistema de bucle cerrado que logra la equivalencia funcional a través de diversos modelos mientras, en última instancia, reduce los costos totales y permite la eliminación del factor humano en el bucle.

Anton N. Smolin2026-10-07
💻 ciencias de la computación

From LaTeX and OCaml to LEAN4 and Executables: Lean-Checked Theorems and Generating Proof-Carrying Rust

Este artículo presenta un front end de Hindley–Milner basado en Python para un subconjunto de OCaml que genera simultáneamente teoremas verificados en Lean 4 y código Rust ejecutable con contratos portadores de pruebas, validando con éxito el sistema mediante tipos inductivos mutuos, aritmética de enteros con signo y la verificación de implementación cruzada de un núcleo y su ecuación autodescriptiva.

Brent Hartshorn2026-10-07
💻 ciencias de la computación

Google's Rich Results Test Displays No More Than 102 Objects for One JSON-LD Entity and Accepts an Invalid eventStatus Value

El artículo identifica dos fallos silenciosos en la Prueba de resultados enriquecidos de Google: un límite de visualización que trunca el recuento de objetos JSON-LD a 102 sin previo aviso, y una falta de validación para la propiedad `eventStatus` que acepta incorrectamente valores inválidos como "EventCompleted".

Brian R. Hatten2026-10-07