💻 计算机科学

Transformer-based three-dimensional crack detection in lava tubes: from a terrestrial analogue toward lunar subsurface exploration

本文介绍了 LavaCrack_PT,这是一种基于 Transformer 的模型,它利用来自仙人洞的 LiDAR 数据,实现了对非结构化熔岩管点云中稳健的 3D 裂缝检测,为结构评估和未来的月球地下探测提供了一套经过验证的工作流。

Cheng Zhou, Yuxiang Wang, Guanghui Gao, Yan Zhou, Gao yuyue, Long Xiao, Ding lieyun2026-08-03
💻 计算机科学

SonoReasoner: Hierarchical Clinical Reasoning for Ultrasound Vision-Language Models

本文介绍了 SonoReasoner,这是一种超声视觉语言模型,它通过将解释显式地构建为分层临床推理,并由 SonoFlow-1M 语料库、700 万规模的 SonoCorpus 推理数据集以及由临床医生策划的 SonoVQA 基准测试提供支持,从而提升了诊断性能与一致性。

Qingbo Kang, Wen Wen, Qicheng Lao, Huahui Yi, Jun Gao, Xi Chen, Jiazhi Cao, Yajun Mu, Haoyu Wang, Kun Wang, Junyuan Mao (…)2026-08-03
💻 计算机科学

CAPE-Net: Conformal, Adaptive, and Drift-Aware Early-Exit Classification of Encrypted Traffic at ISP Scale

CAPE-Net 是一种符合性、自适应且具备漂移感知能力的早期退出分类器,它通过在一个紧凑的模型中集成无分布误差保证、对未知应用的弃权机制以及高效的逐类漂移修复,使互联网服务提供商(ISP)能够基于数据包序列元数据进行准确、经过认证且易于维护的加密流量分类。

Farzam Rezaei, Jorge E. López de Vergara, Luis de Pedro, Iván González2026-08-03
💻 计算机科学

Design and Performance Evaluation of Blockchain-Enabled Policy-Based Access Control (PBAC) for Medical Data Sharing

本文提出并评估了一种基于区块链的策略驱动访问控制(PBAC)框架,该框架通过在 Hyperledger Besu 上使用 Solidity 智能合约实现,旨在通过动态授权和透明审计实现安全、符合 GDPR 标准且以患者为中心的医疗数据共享,并在各种共识机制下展示了性能效率与患者自主权之间的平衡折衷。

Nadeem Yaqub, Jianbiao Zhang, Muhammad Irfan Khalid, Muhammad Kashif, Mansoor Ahmed, Jungsuk Kim2026-08-03
💻 计算机科学

Mathematical Scientific Discovery Using Large Language Models: A Systematic Literature Review

本项遵循 PRISMA 2020 指南的系统性文献综述分析了 32 项关于利用大语言模型进行数学发现的研究,旨在识别七种技术范式,强调进化搜索结合形式化验证的卓越效能,并提供一个分类法以指导该领域的未来研究。

Vinita Gangaram Jansari, Carlos Toxtli Hernandez, Michael Burr, Austin LaHue, Ben Nye, Luis David Garcia Puente2026-08-03