2026-07论文中文摘要
遗传有限多重集的弱本质不可判定理论
Weak essentially undecidable theories of hereditarily finite multisets
arXiv 2607.11367 · 2026-07-14高分辨率近程多光谱遥感影像的自监督训练
Self-supervised training for high-resolution close-range multispectral remote sensing imagery
arXiv 2607.11366 · 2026-07-14双曲空间中悬链面的重整化面积
Renormalized Area of Catenoids in the Hyperbolic Space
arXiv 2607.11365 · 2026-07-14BackgroundMellow：一种用于叙事驱动的丰富电影音效生成的多模态凝聚框架
BackgroundMellow: A Multi-Modal Cohesive Framework for Narrative-Driven Rich Cinematic Soundscape Generation
arXiv 2607.11364 · 2026-07-14超越莎莉-安妮任务：使用认知谢林点评估大语言模型中的心理理论
Beyond Sally-Anne: Evaluating Theory of Mind in LLMs using Epistemic Schelling Points
arXiv 2607.11363 · 2026-07-14布尔查询就足够了吗？
Boolean queries are all you need?
arXiv 2607.11362 · 2026-07-14幺半群的卡卢日宁 - 克拉斯纳嵌入定理
Kaluzhnin-Krasner embedding theorem for monoids
arXiv 2607.11361 · 2026-07-14关于图形C(4)-T(4)和C(6)小消去复形的局部到全局不动点性质
Local-to-global fixed point properties for graphical C(4)-T(4) and C(6) small cancellation complexes
arXiv 2607.11360 · 2026-07-14RefineEvo：基于双向经验的规划引导启发式进化
RefineEvo: Planning-Guided Heuristic Evolution with Bidirectional Experience
arXiv 2607.11358 · 2026-07-14OpsMem：用于故障诊断的具有跨内存共振的双内存推理
OpsMem: Dual-Memory Reasoning with Cross-Memory Resonance for Failure Diagnosis
arXiv 2607.11357 · 2026-07-14工业机器视觉中深度学习模型的边缘推理策略基准测试
Benchmarking Edge Inference Strategies for Deep Learning Models in Industrial Machine Vision
arXiv 2607.11356 · 2026-07-14基于大语言模型的用户偏好归纳用于离线 Top-N 推荐评估
User Preference Induction with LLMs for Offline Top-N Recommendation Evaluation
arXiv 2607.11354 · 2026-07-14用于编目的人工智能模型特征分析
Characterising AI Models for Cataloguing
arXiv 2607.11353 · 2026-07-14直觉模态的覆盖语义
Cover Semantics for Intuitionistic Modalities
arXiv 2607.11352 · 2026-07-14基于时间感知表格深度学习架构的双源无轨电车站点间能量预测及因果驱动因素量化
Inter-Stop Energy Prediction and Causal Driver Quantification for Dual-Source Trolleybuses via a Time-Aware Tabular Deep Learning Architecture
arXiv 2607.11349 · 2026-07-14理解人工智能代码助手对安全API使用的影响：一项实证研究
Understanding the Impact of AI Code Assistants on Security API Usage: An Empirical Study
arXiv 2607.11348 · 2026-07-14迈向多元宇宙分析的几何特征描述
Towards a Geometric Characterization of Multiverse Analysis
arXiv 2607.11345 · 2026-07-14用库普曼算子回归学习控制切换非线性系统
Learning to control switching nonlinear systems with Koopman operator regression
arXiv 2607.11344 · 2026-07-14纵向多视图乳腺癌风险预测
Longitudinal Multi-View Breast Cancer Risk Prediction
arXiv 2607.11343 · 2026-07-14故障感知与可解释的测试预言机预测
Fail-Aware and Explainable Test Oracle Prediction
arXiv 2607.11342 · 2026-07-14车内手语语料库（ICSL）：用于受限空间手语识别的多模态资源
The In-Car Sign Language Corpus (ICSL): A Multi-Modal Resource for Constrained-Space Sign Language Recognition
arXiv 2607.11341 · 2026-07-14HierCAD：通过结构对齐和参数接地实现分层文本到CAD设计
HierCAD: Hierarchical Text-to-CAD Design via Structure Alignment and Parameter Grounding
arXiv 2607.11339 · 2026-07-14用于多个输入同时进行模逆运算的低延迟数据流图
Low latency data-flow graphs for simultaneous modular inversion of many inputs
arXiv 2607.11337 · 2026-07-14用于 MeV 伽马射线测量的液氩时间投影室的低噪声 SiPM 光读出和基于 ASIC 的电荷读出
Low-Noise SiPM Light Readout and ASIC-Based Charge Readout of a Liquid Argon Time Projection Chamber for MeV Gamma-Ray Measurements
arXiv 2607.11336 · 2026-07-14通过占用时间惩罚最小化基准相对回撤持续时间
Minimizing Benchmark-Relative Drawdown Duration via Occupation Time Penalization
arXiv 2607.11335 · 2026-07-14从旋转拉普拉斯矩阵的谱中寻找有向图和马尔可夫链中的近周期分量
Finding Nearly-Periodic Components in Digraphs and Markov Chains from the Spectrum of Rotated Laplacian Matrices
arXiv 2607.11333 · 2026-07-14大N共形引导与手征性
Large $N$ conformal bootstrap and chirality
arXiv 2607.11332 · 2026-07-14拟共形等价的高阶障碍
Higher degree obstructions to quasiconformal equivalence
arXiv 2607.11331 · 2026-07-14轻松处理的累积全域：理论与实践
Fuss-free cumulative universes: theory and practice
arXiv 2607.11329 · 2026-07-14提示生成技术报告
Prompt Generation Technical Report
arXiv 2607.11326 · 2026-07-14系统发生网络类别的近似度量
Proximity Measures for Classes of Phylogenetic Networks
arXiv 2607.11325 · 2026-07-14钱德拉和XMM-牛顿对H II区域核心坍缩超新星遗迹N63A的X射线研究
Chandra and XMM-Newton X-ray Study on the Core-collapse Supernova Remnant N63A in an H II Region
arXiv 2607.11324 · 2026-07-14恒星r过程丰度的贝叶斯推断
Bayesian Inference of Stellar r-Process Abundances
arXiv 2607.11323 · 2026-07-14动量空间飞米子能谱学中的库仑效应：以$\bar{K}Ω$系统为例
Coulomb Effects in Momentum-Space Femtoscopy: A Case Study of the $\bar{K}Ω$ System
arXiv 2607.11321 · 2026-07-14在20秒差距内对四个白矮星+dM后共包层双星系统中的白矮星进行直接探测
Direct detections of white dwarfs in four WD+dM post-common envelope binaries within 20 pc
arXiv 2607.11320 · 2026-07-14用于量化推理模型的校准e-CUSUM解码：为何令牌对数概率不适用于解码监测
Calibrated e-CUSUM Decoding for Quantized Reasoning Models: Why Token Log-Probability Is the Wrong Observable for Decoding Monitors
arXiv 2607.11317 · 2026-07-14利用费米大面积望远镜数据搜索PSZ G181.06+48.47星系团的GeV伽马射线发射
Search for GeV gamma-ray emission from PSZ G181.06+48.47 galaxy cluster using Fermi-LAT data
arXiv 2607.11316 · 2026-07-14控制自旋系综的非均匀展宽和阻抗匹配
Controlling the Inhomogeneous Broadening and Impedance Matching of a Spin Ensemble
arXiv 2607.11315 · 2026-07-14作为人工智能素养公平问题的编程语言政策：15 国比较分析
Programming Language Policy as an AI Literacy Equity Problem: A 15-Nation Comparative Analysis
arXiv 2607.11314 · 2026-07-14两个局部零和问题
Two local zero-sum problems
arXiv 2607.11313 · 2026-07-14SLVMBench：从视频记忆中学习技能
SLVMBench: Skill Learning from Video Memory
arXiv 2607.11312 · 2026-07-14旅行商问题的最优链密度、熵与时空权衡
Optimal chain density, entropy, and space-time tradeoffs for the TSP
arXiv 2607.11311 · 2026-07-14SPARC-Net：一种用于刚性和冲击主导型偏微分方程的频谱、因果感知和硬约束物理信息架构
SPARC-Net: A Spectral, Causality-Aware, and Hard-Constrained Physics-Informed Architecture for Stiff and Shock-Dominated Partial Differential Equations
arXiv 2607.11310 · 2026-07-14FlowArk：通过上下文感知知识重用提升安卓应用的智能数据流分析
FlowArk: Boosting Agentic Data-flow Analysis for Android Apps via Context-Aware Knowledge Reuse
arXiv 2607.11308 · 2026-07-14多智能体证明自动形式化的高效测试时优化
Efficient Test-Time Optimization for Multi-Agent Proof Autoformalization
arXiv 2607.11307 · 2026-07-14通过模型预测控制实现疫情动态的最优控制：健康 - 经济权衡分析
Optimal Control of Pandemic Dynamics via Model Predictive Control: A Health-Economic Trade-off Analysis
arXiv 2607.11306 · 2026-07-14ASUMOT：基于运动一致性的事件相机异步无人机检测与跟踪
ASUMOT: Motion-Consistency-Based Asynchronous UAV Detection and Tracking with Event Cameras
arXiv 2607.11303 · 2026-07-14量子计量学中有效隐私的信息几何量化
Information geometric quantification of effective privacy in quantum metrology
arXiv 2607.11302 · 2026-07-14带范数目标的折扣图搜索近似算法
Approximation Algorithms for Discounted Graph Search with Norm Objectives
arXiv 2607.11301 · 2026-07-14用于二次谐波产生的光子双层中的扭转可调谐共振
Twist tunable resonances in photonic bilayer for second harmonic generation
arXiv 2607.11300 · 2026-07-14
