💻 computer science

Research on intelligent compression and quality enhancement of surveillance videos based on lightweight algorithms

This paper proposes a novel lightweight convolutional Transformer model utilizing multi-teacher hierarchical progressive knowledge distillation and directional compression to achieve effective surveillance video compression and quality enhancement while maintaining high accuracy and low memory consumption.

Junjie Zha, Aiguo Teng, Xinwen Shan, Jiaxin Lu, Jiajia Zhu, Zihan Liu2026-07-07
💻 computer science

A Machine-Checked Cost Analysis of the BMSSP Recurrence in Isabelle/HOL With a Non-Vacuous Size-Parametric Runtime Witness

This paper presents the first machine-checked formalization in Isabelle/HOL of the BMSSP recurrence underlying the 2025 deterministic O(m log²/³ n) SSSP algorithm, providing a non-vacuous, size-parametric proof of its O(|V|·(ln|V|)²/³) runtime on an unbounded graph family without relying on axioms or unproven assumptions.

Arthur Ramos, David Hulak, Ruy de Queiroz2026-07-07
💻 computer science

Character Classification in Industrial Environments with Restricted Alphabets: A Comparative Evaluation of Deep Learning Architectures

This study demonstrates that EfficientNet-B0 outperforms other deep learning architectures, including Vision Transformers, in industrial character classification with restricted alphabets and scarce data, highlighting the continued advantage of convolutional inductive biases in such constrained environments.

Christian Lazo, Mirko Gueregat, Israel Díaz2026-07-07
💻 computer science

Clinical Equivalence of Privacy-Preserving Federated Learning: A Consortium Blockchain Framework with Equivalence Testing

This study demonstrates that a modular consortium blockchain framework integrating differential privacy, homomorphic encryption, and smart contracts achieves clinical equivalence to standard federated learning for hospital mortality and radiography tasks, proving that robust privacy and security measures do not compromise predictive utility.

Zakariae SAIDI, Ouidad Akhrif, Younes El Bouzekri El Idrissi2026-07-07
💻 computer science

Physics-informed graph learning of collapse distance in complex networks

This paper introduces "collapse distance," a configurable safety-margin metric for quantifying network failure proximity, and proposes TCR-GIN, a physics-informed graph learning framework that efficiently and accurately estimates this metric to enable real-time safety management and early-warning signals across diverse complex networks.

Xin Lu, Jie Zhang, Tao Wang, Yatai Ji, Hua He, Zhengqiu Zhu, Bo-quan Zhang, Xin Zhou, Changjun Fan, Bin Chen, Manlio De (…)2026-07-07
💻 computer science

Diacritic-Aware Post-OCR Correction for Vietnamese Scanned Documents: A Lightweight Baseline for Low-Quality Document Digitization

This paper proposes a lightweight, resource-efficient post-OCR correction pipeline specifically designed to improve the accuracy of Vietnamese scanned documents by addressing diacritic errors through a combination of image preprocessing, dictionary-based correction, and rule-based restoration, offering a practical baseline for low-resource digitization scenarios.

Nguyễn Tuệ An, Trần Thị Lan2026-07-07