💻 计算机科学

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

本文展示了在 Isabelle/HOL 中对 2025 年确定性 O(mlog⁡2/3n)O(m \log^{2/3} n) SSSP 算法所基于的 BMSSP 递推关系的首次机器检查形式化,在不依赖公理或未经证明的假设的情况下,为该算法在无界图族上的 O(∣V∣⋅(ln⁡∣V∣)2/3)O(|V| \cdot (\ln |V|)^{2/3}) 运行时复杂度提供了一个非空虚的、规模参数化的证明。

Arthur Ramos, David Hulak, Ruy de Queiroz2026-07-07
💻 计算机科学

Physics-informed graph learning of collapse distance in complex networks

本文引入了“崩溃距离”(collapse distance)——一种用于量化网络失效接近程度的可配置安全裕度指标,并提出了 TCR-GIN,这是一种物理启发式的图学习框架,能够高效且准确地估计该指标,从而在各类复杂网络中实现实时安全管理和预警信号。

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
💻 计算机科学

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

本文提出了一种轻量级、资源高效的 OCR 后处理纠错流水线,专门通过结合图像预处理、基于词典的纠错以及基于规则的恢复技术来解决越南语扫描文档中的声调符号错误,从而提高其准确性,为低资源数字化场景提供了一个实用的基准。

Nguyễn Tuệ An, Trần Thị Lan2026-07-07
💻 计算机科学

A Deep learning framework for early detection of Ransomware communication patterns in encrypted network using transfer learning Case study: Financial Enterprise Networking

本文提出了一种基于 LSTM 的深度学习框架,该框架利用加密网络流特征进行迁移学习,旨在无需解密载荷的情况下检测勒索软件,并证明了 12 至 18 个月的重训练周期对于对抗时间模型漂移的至关重要性,同时通过集成到 Wazuh SIEM 中的基于置信度的集成系统实现了高检测准确率。

Jean chrysostome NDAYISABYE, ICYITEGETSE Theresie, IKUZWE Pascaline2026-07-07