本页收录的每篇论文,都有至少一位原作者阅读并参与了我们的通俗解释——或是确认其准确无误,或是提出修正意见并由我们随后采纳。作者的确认并不等同于对每一句话的正式背书,但说明该解释已经过论文作者的审视。

1198 篇论文已由作者审阅 · 191–200 / 1198

⚡ electrical engineering

Structural Deterioration of Reinforced Concrete Roofs in Marine Environments Due to Improper Rehabilitation Practices: A Case Study of the Central Bank of Yemen Building, Aden

关于亚丁也门中央银行的这一案例研究表明,不当的屋顶修复(特别是过多的叠加层累积)显著加速了海洋环境下的结构退化,但通过材料移除和排水改善进行的战略性载荷削减,通过将柱载荷降低近59%,成功缓解了这些风险。

Abubaker M. Ba Rahim2026-07-29✓ Author reviewed
🔢 mathematics

Kernel-Checked Exclusions for the Erdős-Selfridge Odd Covering Problem: Any Odd Covering of ℤ Has lcm Exceeding 10000

本文展示了一个经过完全内核验证的 Lean 4 正式化证明,该证明表明,任何由大于 1 的互异奇数模组成的整数有限覆盖,其最小公倍数必超过 10,000,从而在不依赖未经验证的计算求解器的情况下,为埃尔德什-塞尔迪奇奇数覆盖问题建立了一个机械化认证的排除结论。

Ibrahim Mian, Shayaan Siddique2026-07-29✓ Author reviewed
💻 computer science

Agentic AI Autonomy Assessment: A Decision-Support Framework Towards Governed Supply Chain Systems

本文介绍了智能体 AI 自主性评估(AAAA)框架,这是一种通过三个维度衡量任务级自主性的决策支持工具,旨在实现持续的治理与风险评估,并揭示了自主性对供应链绩效的影响随其在网络中的位置而异。

Lennart Trumpler, Rodrigo Furlan de Assis, Elias Ribeiro da Silva, Luis Antonio de Santa-Eulalia, Christian Hendriksen2026-07-29✓ Author reviewed
💬 NLP

Novel Claim or Déjà Vu? Rethinking "Contamination-Free'' Dynamic Evaluation for Multimodal Automated Fact-Checking

本文通过证明很大一部分截断日期后的主张仍可通过既有知识进行验证,从而挑战了动态基准测试本质上不存在污染的假设,这种现象可能会人为地抬高多模态事实核查性能并扭曲系统排名,因此有必要实施更严格的评估协议。

Haorui He, Xinwen Chen, Dacheng Wen, Reynold Cheng, Francis C. M. Lau, Yupeng Li2026-07-28✓ Author reviewed