2026-07论文中文摘要
对度量区间时态逻辑的一种简单义务
A Simple Obligation to Metric Interval Temporal Logic
arXiv 2607.13598 · 2026-07-16用于成功人机协作的主动信任管理：从信任修复到信任满意视角
Active Trust Management for Successful Human-Robot Teaming: Moving from a Trust Repair to a Trust Satisficing Perspective
arXiv 2607.13595 · 2026-07-16非可消去簇、极大环面与马卡洛夫 - 利马诺夫不变量
Non-cancellative varieties, maximal tori, and the Makar-Limanov invariant
arXiv 2607.13593 · 2026-07-16轴子样暴胀子产生右手型中微子：对轻子生成的影响
Right-Handed Neutrino Production by an Axion-like Inflaton: Implications for Leptogenesis
arXiv 2607.13592 · 2026-07-16具有采样应用的两两正交Parseval框架的刻画与构造
Characterization and Construction of Pairwise Orthogonal Parseval Frames with Applications to Sampling
arXiv 2607.13590 · 2026-07-16利用背散射热中子监测硼中子俘获治疗期间的硼浓度：蒙特卡罗可行性研究
Using backscattered thermal neutrons to monitor boron concentration during BNCT: a Monte Carlo feasibility study
arXiv 2607.13589 · 2026-07-16最优非二进制单轨道格雷码
Optimal Non-Binary Single-Track Gray Code
arXiv 2607.13588 · 2026-07-16从预测到协作：交互式符号音乐分析
From Prediction to Collaboration: Interactive Symbolic Music Analysis
arXiv 2607.13587 · 2026-07-16激光驱动氘-氘锂包层氚增殖试验中的中子源保真度
Neutron-source fidelity for laser-driven D--D lithium-blanket tritium-breeding tests
arXiv 2607.13585 · 2026-07-16使用具有离散STDP学习的速率编码脉冲神经网络进行视觉场所识别
Visual Place Recognition Using Rate-Encoded Spiking Neural Networks with Discrete STDP Learning
arXiv 2607.13584 · 2026-07-16元件级变化下的可重构智能表面波束成形：统计特性与稳健设计
RIS Beamforming under Element-Level Variations: Statistical Characterization and Robust Design
arXiv 2607.13583 · 2026-07-16关于挤压天线系统（PASS）中的阻塞效应
On the Blockage Effect in Pinching-Antenna Systems (PASS)
arXiv 2607.13582 · 2026-07-16关于存在阻塞的动态信道下挤压天线系统（PASS）的性能
On the Performance of Pinching-Antenna Systems (PASS) Under Dynamic Channels with Blockages
arXiv 2607.13581 · 2026-07-16用于高度振荡受控量子系统的菲隆方法
Filon Methods for Highly Oscillatory Controlled Quantum Systems
arXiv 2607.13580 · 2026-07-16野外四足机器人的敏捷感知多技能运动
Agile perceptive multi-skill locomotion for quadrupedal robots in the wild
arXiv 2607.13579 · 2026-07-16具有诺伊曼边界条件的热方程的自适应时空边界元法
Adaptive space-time BEM for the heat equation with Neumann boundary conditions
arXiv 2607.13578 · 2026-07-16恰好具有三个主特征值的树
Trees with exactly three main eigenvalues
arXiv 2607.13577 · 2026-07-16用于贝叶斯说服的结构化强化学习：在智能交互驾驶中的应用
Structured Reinforcement Learning for Bayesian Persuasion : Application to Intelligent Interactive Driving
arXiv 2607.13576 · 2026-07-16旋转拓扑态：理论与材料实现
Rotation topological states: theory and material realization
arXiv 2607.13575 · 2026-07-16用残差神经网络逼近参数依赖问题的解
Approximation of solutions of parameter-dependent problems by residual neural networks
arXiv 2607.13574 · 2026-07-16IMMNet：基于模型与数据驱动方法的混合融合用于机动目标跟踪
IMMNet: Hybrid Fusion of Model-based and Data-driven Approaches for Maneuvering Target Tracking
arXiv 2607.13573 · 2026-07-16量子比特间相关错误下的张量网络解码
Tensor Network decoding under inter-qubit correlated errors
arXiv 2607.13570 · 2026-07-16语言模型中的分级实体熟悉度读数：波兰语适配、跨语言鲁棒性和拒绝引导
Graded Entity-Familiarity Readouts in Language Models: Polish Adaptation, Cross-Language Robustness, and Refusal Steering
arXiv 2607.13568 · 2026-07-16全局分岔与悬垂周期稳态水波的构造性存在性
Global Bifurcation and the Constructive Existence of Overhanging Periodic Steady Water Waves
arXiv 2607.13567 · 2026-07-16谱信息神经网络在高维偏微分方程中优于谱方法
Spectral-Informed Neural Networks Outperform Spectral Methods in High-dimensional PDEs
arXiv 2607.13566 · 2026-07-16UTS在2026年ELOQUENT Voight-Kampff中的表现：人工智能写作中的结构转变绕过了最先进的检测器
UTS at ELOQUENT 2026 Voight-Kampff: structural shifts in AI writing bypass state-of-the-art detectors
arXiv 2607.13565 · 2026-07-16基于本福特定律的离散分数操纵测试
Manipulation testing based on Benford's Law for discrete scores
arXiv 2607.13564 · 2026-07-16Nexus：基于扩散的原生网格生成
Nexus: Native Mesh Generation with Diffusion
arXiv 2607.13563 · 2026-07-16人工智能建议抑制人们说“我不知道”的意愿，即使建议错误且鼓励准确性
AI advice suppresses people's willingness to say "I don't know", even when the advice is wrong and accuracy is incentivized
arXiv 2607.13562 · 2026-07-16用于AIMS的微服务架构主控制系统的设计与实现
Design and Implementation of a Microservice-Architecture Master Control System for AIMS
arXiv 2607.13561 · 2026-07-16生物有机体和未来具身人工智能中的基础世界模型
Grounded world models in biological organisms and future embodied AI
arXiv 2607.13560 · 2026-07-16基于工具增强证据的多智能体协作推理用于城市区域剖析
Multi-Agent Collaborative Reasoning with Tool-Augmented Evidence for Urban Region Profiling
arXiv 2607.13558 · 2026-07-16改进盖亚波段中造父变星的红化估计：一种机器学习方法用于 PAC(Z) 关系
Improving reddening estimates for RR Lyrae stars in the Gaia bands: a machine learning approach to the PAC(Z) relation
arXiv 2607.13557 · 2026-07-16扩张叶状结构上的Margulis测度：构造与刚性
Margulis Measures on Expanding Foliations: Construction and Rigidity
arXiv 2607.13556 · 2026-07-16基于多元密码学的匿名证书方案
Multivariate Cryptography-Based Anonymous Certificate Scheme
arXiv 2607.13554 · 2026-07-16通过强化学习在非定常流中进行流量感知最优导航
Flow-aware Optimal Navigation in Unsteady Flows through Reinforcement Learning
arXiv 2607.13553 · 2026-07-16用于BioASQ A+和B阶段的成本实用质量门控和选择融合多模型组合器
Cost-Pragmatic Quality Gating and Selection-Fusion Multi-Model Combiners for BioASQ Phases A+ and B
arXiv 2607.13551 · 2026-07-16用于条件分布灵活估计的并行梯度提升
Parallel gradient boosting for flexible estimation of conditional distributions
arXiv 2607.13550 · 2026-07-16JW-ASTClaw：一种用于自主太阳望远镜的通用多智能体框架及其在中国子午工程中的实现
JW-ASTClaw: A Generalizable Multi-Agent Framework for Autonomous Solar Telescope and Its Implementation within Chinese Meridian Project
arXiv 2607.13549 · 2026-07-16根因分析在实际遥测数据上能走多远？
How Far Can Root Cause Analysis Go on Real-World Telemetry Data?
arXiv 2607.13548 · 2026-07-16具有变号贴现因子的无限时域随机最优控制
Infinite horizon stochastic optimal control with sign-changing discount factor
arXiv 2607.13547 · 2026-07-16从新手到专家：众包感知中用于提升工人绩效的成本感知策略
From Novice to Expert: Cost-Aware Bandits for Evolving Worker Performance in Crowdsensing
arXiv 2607.13546 · 2026-07-16SaNDi-SHoP：使用恒星跳跃程序搜索卫星和圆盘 II. 直接成像伴星的分光光度分析和轨道监测
SaNDi-SHoP: Searching for Satellites'N'Disks with a Star-Hopping Program II. Spectrophotometric analysis and orbital monitoring of directly imaged companions
arXiv 2607.13545 · 2026-07-16用于多变量风电场SCADA数据过滤的聚类算法
Clustering algorithms for multivariate wind farm SCADA data filtering
arXiv 2607.13544 · 2026-07-16加权伯格曼空间的加布里埃尔问题和弗雷泽问题及其应用
Gabriel's and Frazer's problems for weighted Bergman spaces and their applications
arXiv 2607.13543 · 2026-07-16在热光上印记拓扑结构
Imprinting topology on thermal light
arXiv 2607.13542 · 2026-07-16当文本到图像合成数据适得其反时：真实-合成混合训练中的隐私风险放大
When T2I Synthetic Data Backfires: Amplified Privacy Risks in Real-Synthetic Mix Training
arXiv 2607.13541 · 2026-07-16关于有效零知识证明的证明复杂性视角
A proof complexity perspective on effectively zero-knowledge proofs
arXiv 2607.13540 · 2026-07-16ThinkBLOX：基于渐进推理的3D室内场景生成
ThinkBLOX: 3D Indoor Scene Generation with Progressive Reasoning
arXiv 2607.13539 · 2026-07-16平面图和外平面图中不含C_{k,l}的谱极值问题
Spectral extremal problems on planar and outerplanar graphs without $C_{k,l}
arXiv 2607.13538 · 2026-07-16
