2026-07论文中文摘要
使用交集类型线性化显式替换
Linearising Explicit Substitutions using Intersection Types
arXiv 2607.20179 · 2026-07-23一种用于非确定性选择的逻辑三值语义
A Logical 3-valued Semantics for Nondeterministic Choice
arXiv 2607.20178 · 2026-07-23可压缩空气动力学中的信息传输与可观测性
Information Transport and Observability in Compressible Aerodynamics
arXiv 2607.20177 · 2026-07-23用于物理层认证的ISAC辅助信道知识地图生成
ISAC-Assisted Channel Knowledge Map Generation for Physical Layer Authentication
arXiv 2607.20176 · 2026-07-23PerceptDrive：用于端到端自动驾驶的具有自适应专家路由的感知先验世界-动作建模
PerceptDrive: Perception Prior World-Action Modeling with Adaptive Expert Routing for End-to-End Autonomous Driving
arXiv 2607.20175 · 2026-07-23StreamHOI：用于流式HOI视频生成的交互感知时间记忆适应
StreamHOI: Interaction-aware Temporal Memory Adaptation for Streaming HOI Video Generation
arXiv 2607.20174 · 2026-07-23量子项重写系统：在复杂性分析中的应用
Quantum Term Rewrite Systems: Applications to Complexity Analysis
arXiv 2607.20170 · 2026-07-23量子核与股票回报的横截面：消失优势的剖析
Quantum Kernels and the Cross-Section of Stock Returns: Anatomy of a Vanishing Advantage
arXiv 2607.20168 · 2026-07-23确定介质环形谐振器有效折射率的两种互补方法
Two Complementary Approaches to Determine the Effective Index of Dielectric Ring Resonators
arXiv 2607.20167 · 2026-07-23Audio-Zero：用于细粒度音频推理的无标签自我进化
Audio-Zero: Label-Free Self-Evolution for Fine-Grained Audio Reasoning
arXiv 2607.20166 · 2026-07-23扩展 GouDa：用于数据质量基准测试的带（和不带）错误的通用数据集生成
Extending GouDa: Generation of Universal Datasets with (and without) Errors for Data Quality Benchmarking
arXiv 2607.20165 · 2026-07-23内函数的重对数律
Law of iterated logarithm for inner functions
arXiv 2607.20164 · 2026-07-23接收神经元单元的自组织架构：一种面向边缘智能的硬件感知框架
Self-organizing Architecture of Receptron Units: a Hardware-Aware Framework for Edge Intelligence
arXiv 2607.20162 · 2026-07-23克莱因曲面上向量丛和希格斯丛模空间中实轨迹的连通分支
Connected components of real loci in moduli spaces of vector and Higgs bundles over a Klein surface
arXiv 2607.20161 · 2026-07-232009 - 2025年期间日冕物质抛射成分特征与太阳活动的关系
Relationship of ICME Composition Signatures with Solar Activity during 2009-2025
arXiv 2607.20160 · 2026-07-23SHFormer：用于自适应MRI重建的动态频谱滤波卷积神经网络和高通内核生成变压器
SHFormer: Dynamic Spectral Filtering Convolutional Neural Network and High-pass Kernel Generation Transformer for Adaptive MRI Reconstruction
arXiv 2607.20159 · 2026-07-23用基于控制和基于预测的反事实方法识别处理效应和溢出效应
Identifying Treatment and Spillover Effects with Control-Based and Forecast-Based Counterfactuals
arXiv 2607.20156 · 2026-07-23一些随机微分方程的保边界Lamperti-Itô-Taylor近似
Boundary-preserving Lamperti--Itô--Taylor approximations for some stochastic differential equations
arXiv 2607.20155 · 2026-07-23实现用于LIFE的高效宽带空间滤波：现状与计划
Achieving efficient broadband spatial filtering for LIFE: status and plan
arXiv 2607.20154 · 2026-07-23量化神经网络的局部稳定性和高斯平滑
Local Stability and Gaussian Smoothing of Quantized Neural Networks
arXiv 2607.20153 · 2026-07-23马尔可夫过程经验测度在切片瓦瑟斯坦距离下的无维收敛速率
Dimension-free Convergence Rate in Sliced Wasserstein Distance for Empirical Measures of Markov Processes
arXiv 2607.20150 · 2026-07-23伽罗瓦《回忆录》中命题二的意义，伽罗瓦自同构的起源
The Significance of Proposition II in Galois' Mémoire, The Origin of Galois Automorphisms
arXiv 2607.20147 · 2026-07-23必须抓住它们：谄媚的模式
Gotta Catch them all: the modes of Sycophancy
arXiv 2607.20146 · 2026-07-23特殊幂幺表示与余伴随轨道方法
Special unipotent representations and the coadjoint orbit method
arXiv 2607.20144 · 2026-07-23有偏噪声量子比特：利用误差层次实现高效容错的指南
Biased-noise qubits: a guide to efficient fault-tolerance using the hierarchy of errors
arXiv 2607.20143 · 2026-07-23用于即时护理放置引导的实时脑电图帽电极检测
Real-Time EEG Cap Electrode Detection for Guided Point-of-Care Placement
arXiv 2607.20142 · 2026-07-23基于小芯片的人工智能片上系统中已知良好可靠芯片筛选的形式基础
Formal Foundations for Known Good Reliable Die Screening in Chiplet-Based AI Systems-on-Chip
arXiv 2607.20141 · 2026-07-23CURED：创建、理解和修复错误演示器
CURED: Creating, Understanding, and Repairing Errors Demonstrator
arXiv 2607.20140 · 2026-07-23用于近场定位的群体与进化计算
Swarm and Evolutionary Computation for Near-Field Localization
arXiv 2607.20139 · 2026-07-23用于 CASSI 重建中具有 PSF 条件的非对角数据保真度的共轭梯度展开网络
Conjugate Gradient Unrolled Network with PSF Conditioning for Non-Diagonal Data Fidelity in CASSI Reconstruction
arXiv 2607.20138 · 2026-07-23点灯人群的多项式希尔伯特 - 施密特稳定性
Polynomial Hilbert-Schmidt stability of the lamplighter group
arXiv 2607.20135 · 2026-07-23无“分子混沌”型近似的玻尔兹曼方程的推导
Derivation of the Boltzmann equation with no "molecular chaos"-type approximation
arXiv 2607.20134 · 2026-07-23第四届艺术领域可解释人工智能国际研讨会（XAIxArts 4）会议录
Proceedings of The Fourth International Workshop on eXplainable AI for the Arts (XAIxArts 4)
arXiv 2607.20131 · 2026-07-23通过基于聚类的顺序置信传播学习解码量子低密度奇偶校验码
Learning to Decode Quantum LDPC Codes via Cluster-Based Sequential Belief Propagation
arXiv 2607.20130 · 2026-07-23与仿作并肩：人工智能生成的视觉当代艺术模仿作品的计算分析
Back to Back with a Copy: A Computational Analysis of AI-Generated Visual Contemporary Art Pastiches
arXiv 2607.20127 · 2026-07-23用于天文应用的Skipper CCD读出时间优化
Skipper CCD readout time optimization for astronomical applications
arXiv 2607.20126 · 2026-07-23HeadCast：为高效自回归视频生成分配注意力头
HeadCast: Casting Attention Heads for Efficient Autoregressive Video Generation
arXiv 2607.20125 · 2026-07-23基于共识推理的Tsetlin机集成中的自主协作学习
Autonomous Collaborative Learning Among an Ensemble of Tsetlin Machines with Consensus-Based Inference
arXiv 2607.20124 · 2026-07-23模拟氢原子（HI）与晕的联系：演化、散射以及基于晕的21厘米模拟目录处方
Modeling the HI-Halo Connection: Evolution, Scatter, and a Halo-based Prescription for 21-cm Mock Catalogs
arXiv 2607.20123 · 2026-07-23让我们谈谈膜：基于反应坐标的柄形成增强采样
Let's Stalk About Membranes: Committor-Based Enhanced Sampling of Stalk Formation
arXiv 2607.20122 · 2026-07-23迈向科学：用于科学计算的人工智能芯片探索
Ascend to Science: Exploration of AI Chips for Scientific Computing
arXiv 2607.20120 · 2026-07-23方向核均值差异：用于单变量分布比较的快速有符号统计量
Directional Kernel Mean Difference: A Fast Signed Statistic for Univariate Distribution Comparison
arXiv 2607.20119 · 2026-07-23具有核速度校正的紧束缚和连续狄拉克模型中的频率相关电子 - 声子耦合及振动响应
Frequency-dependent electron-phonon coupling and vibrational responses in tight-binding and continuous Dirac models with nuclear velocity correction
arXiv 2607.20117 · 2026-07-23通过因果追踪理解语言实现选择对大语言模型立场的影响
Understanding the Impact of Linguistic Realization Choices on LLM Stance with Causal Tracing
arXiv 2607.20115 · 2026-07-23三终端可达性保持最小边割的 \(O(\log n)\) 近似算法
An \(O(\log n)\)-Approximation for Three-Terminal Reachability-Preserving Minimum Edge Cut
arXiv 2607.20114 · 2026-07-23带线搜索的前向-反射-后向算法
Forward-Reflected-Backward algorithm with Linesearch
arXiv 2607.20113 · 2026-07-23高斯-博内特准伸缩子大质量引力中的宇宙视界热力学
Cosmological horizon thermodynamics in Gauss-Bonnet quasi-dilaton Massive Gravity
arXiv 2607.20112 · 2026-07-23代数曲线的利普希茨嵌入
Lipschitz embeddings of algebraic curves
arXiv 2607.20111 · 2026-07-23极端-RGMT：用于鲁棒通用类人机器人控制的高动态技能持续学习
Extreme-RGMT: Continual Learning of Highly Dynamic Skills for Robust Generalist Humanoid Control
arXiv 2607.20110 · 2026-07-23二维托达晶格和戴维 - 斯图尔特森方程的组合几何
Combinatorial geometry of the 2D Toda lattice and Davey Stewartson equation
arXiv 2607.20109 · 2026-07-23
