2026-07论文中文摘要
并非所有补丁都一样：可见-红外预训练中的采样很重要
Not All Patches are Equal: Sampling Matters for Visible-Infrared Pre-Training
arXiv 2607.20238 · 2026-07-23PhaseAware：通过边界监测实现可解释的人在回路康复评分
PhaseAware: Interpretable Human-in-the-Loop Rehabilitation Scoring with Boundary Monitoring
arXiv 2607.20237 · 2026-07-23单电子陷阱中通过电磁相互作用的纠缠动力学
Entanglement dynamics through electromagnetic interactions in single-electron traps
arXiv 2607.20236 · 2026-07-23学习到的近距离相遇动力学中列维 - 奇维塔坐标的动力学与优化权衡
Dynamical and Optimization Trade-offs of Levi--Civita Coordinates for Learned Close-Encounter Dynamics
arXiv 2607.20235 · 2026-07-23多模腔磁振子系统中的耦合相位干涉效应
Coupling phase interference effects in a multimode cavity magnonics system
arXiv 2607.20234 · 2026-07-23DINS-IO：通过可微惯性导航系统一致性实现的学习惯性里程计
DINS-IO: Learned Inertial Odometry via Differentiable INS Consistency
arXiv 2607.20232 · 2026-07-23拓扑能隙中分子发射体的晶格量子电动力学
Lattice quantum electrodynamics of a molecular emitter in a topological gap
arXiv 2607.20231 · 2026-07-23PIER：用于时间序列建模的物理信息环境检索
PIER: Physics-Informed Environmental Retrieval for Time-Series Modeling
arXiv 2607.20230 · 2026-07-23大豆抗弯刚度的静态和动态估计
Static and Dynamic Estimation of Flexural Rigidity of Soybean
arXiv 2607.20229 · 2026-07-23使用可解释状态空间模型的交易序列用户中心建模
User-Centric Modeling of Transactional Sequences with Explainable State Space Models
arXiv 2607.20228 · 2026-07-23用于AFDM系统的联合线性调频参数选择和低复杂度MMSE接收机设计
Joint Chirp Parameter Selection and Low-Complexity MMSE Receiver Design for AFDM Systems
arXiv 2607.20227 · 2026-07-23DQAOA-GPT：用于组合问题的人工智能加速分布式量子优化
DQAOA-GPT: AI-Accelerated Distributed Quantum Optimization for Combinatorial Problems
arXiv 2607.20225 · 2026-07-23用于血管流动重建的贝叶斯有限元回归及量化不确定性
Bayesian finite element regression for vascular flow reconstruction with quantified uncertainty
arXiv 2607.20224 · 2026-07-23中心仿射庞加莱不等式：无条件凸体
Centro-affine Poincaré inequality: Unconditional convex bodies
arXiv 2607.20223 · 2026-07-23斜括号中的有限指数问题
Finite-index Problems in Skew Braces
arXiv 2607.20222 · 2026-07-23带前提条件的基本命题逻辑：强完备性、有限模型性质及模态翻译
Fundamental Propositional Logic with Preconditional: Strong Completeness, Finite Model Property, and Modal Translations
arXiv 2607.20221 · 2026-07-23MoX：直接连接拓扑上的高效混合专家路由
MoX: Efficient MoE Routing on Direct-Connect Topologies
arXiv 2607.20220 · 2026-07-23凝聚态物质中宏观-纳米尺度机械化学现象耦合的理论框架
A Theoretical Framework for the Coupling of Macroscale-Nanoscale Mechanochemical Phenomena in Condensed Matter
arXiv 2607.20217 · 2026-07-23小巧、免费且高效：编排开放权重的小型语言模型以在恶意软件分析中超越单个大语言模型
Small, Free, and Effective: Orchestrating Open-Weight Small Language Models to Outperform Single LLM for Malware Analysis
arXiv 2607.20216 · 2026-07-23脂质运输的张量分析
Tensor analysis for lipid transport
arXiv 2607.20215 · 2026-07-23ELSAA：用于训练Transformer的高效低秩和稀疏注意力近似
ELSAA: Efficient Low-Rank and Sparse Attention Approximation for Training Transformers
arXiv 2607.20214 · 2026-07-23关于Δ-解结数的研究
Étude on the Delta-unknotting number
arXiv 2607.20212 · 2026-07-23GPU 上的全动态有根生成树
Fully Dynamic Rooted Spanning Tree on GPU
arXiv 2607.20211 · 2026-07-23SeededGrasp：复杂场景中多实体语言引导抓取
SeededGrasp: Language-Guided Grasping in Complex Scenes with Multiple Embodiments
arXiv 2607.20207 · 2026-07-23三角希尔伯特变换的粗糙平均值
Rough averages of triangular Hilbert transforms
arXiv 2607.20206 · 2026-07-23低秩适应中秩分配的统计推断
Statistical Inference for Rank Allocation in Low-Rank Adaptation
arXiv 2607.20205 · 2026-07-23蛋白质氨基酸的综合实验与理论光谱研究
A Comprehensive Experimental and Theoretical Spectroscopic Study of Proteinogenic Amino Acids
arXiv 2607.20204 · 2026-07-23基于范德瓦尔斯状态方程的二维直管喷管中的声速-超声速射流
Sonic-supersonic jet flows from a straight two-dimensional nozzle with van der Waals equation of state
arXiv 2607.20203 · 2026-07-23JEPA-CFM：一种基于联合嵌入预测架构的稳健流体天线系统信道基础模型
JEPA-CFM: A Joint Embedding Predictive Architecture-based Channel Foundation Model for Robust Fluid Antenna Systems
arXiv 2607.20202 · 2026-07-23四边形损失：可加性作为密集神经网络的一种可测量行为
The Quadrilateral Loss: Additivity as a Measurable Behavior of Dense Neural Networks
arXiv 2607.20201 · 2026-07-23用于工程湍流问题的形式化对数（Re）成本框架
A formal log(Re)-cost framework for the engineering turbulence problem
arXiv 2607.20199 · 2026-07-23有效量子电路的可观测几何
Observable Geometry for Effective Quantum Circuits
arXiv 2607.20198 · 2026-07-23RS-RIE-Bench：推理引导的遥感图像编辑基准测试
RS-RIE-Bench: Benchmarking Reasoning-Guided Remote Sensing Image Editing
arXiv 2607.20197 · 2026-07-23设施选址机制的改进下界与输出增强
Improved Lower Bounds and Output Augmentation for Facility Location Mechanisms
arXiv 2607.20196 · 2026-07-23通过粘合单个量子系统实现介观力学叠加
Mesoscopic mechanical superpositions by gluing individual quantum systems
arXiv 2607.20195 · 2026-07-23OLEDLM：用于OLED分子设计的统一语言模型
OLEDLM: A Unified Language Model for OLED Molecular Design
arXiv 2607.20194 · 2026-07-23两流体半空间界面处艾哈迈德iev呼吸子的参数映射与物理重构
Parameter mapping and physical reconstruction of Akhmediev breathers at the interface of two fluid half-spaces
arXiv 2607.20193 · 2026-07-23关于二阶认证遗忘的优化复杂性
On Optimization Complexity of Second-Order Certified Unlearning
arXiv 2607.20192 · 2026-07-23阿斯加德/诺特：中红外芯片的低温特性研究
Asgard/NOTT: Cryogenic characterization of the mid-infrared chip
arXiv 2607.20191 · 2026-07-23用于GDPR合规目的的多方会话类型
Multiparty Session Types for GDPR Purpose Compliance
arXiv 2607.20190 · 2026-07-23开发者如何在基于Gerrit的评审生态系统中使用关系链：对三个开源生态系统的实证研究
How Developers Use Relation Chains in Gerrit-Based Review Ecosystems: An Empirical Study Across Three Open-Source Ecosystems
arXiv 2607.20189 · 2026-07-23关于非直谓纯类型系统一致性的机器检查证明
A Machine-checked Proof of Consistency for Impredicative Pure Type Systems
arXiv 2607.20188 · 2026-07-23具有最小和最大不动点的直觉主义线性逻辑的相位语义消去切割
Phase Semantic Cut-elimination for Intuitionistic Linear Logic with Least and Greatest Fixed Points
arXiv 2607.20187 · 2026-07-23从类似DAG的证明到精益中的布尔电路
From Dag-Like Proofs to Boolean Circuits in Lean
arXiv 2607.20186 · 2026-07-23机器学习中的鲁棒分类：一种拓扑语义方法
Robust Classification in ML: A Topological Semantics Approach
arXiv 2607.20185 · 2026-07-23MaudeTypedLog：一种用于 Maude 中 Prolog 的类型化解释器
MaudeTypedLog: A Typed Interpreter for Prolog in Maude
arXiv 2607.20184 · 2026-07-23路径谓词模态逻辑的基本模型理论
Basic Model Theory for Path Predicate Modal Logic
arXiv 2607.20183 · 2026-07-23ESO-VLT BlueMUSE仪器——A阶段概念设计
ESO-VLT BlueMUSE instrument - Conceptual Design for Phase A
arXiv 2607.20182 · 2026-07-23用于德布鲁因记号下线性λ演算的类型系统
A Typing System for the Linear Lambda-Calculus in de Bruijn Notation
arXiv 2607.20181 · 2026-07-23用于验证通信协议的带并行运算符的动态逻辑
Dynamic Logic with Parallel Operator for Verifying Communication Protocols
arXiv 2607.20180 · 2026-07-23
