Normal Forms for Elements of -Continuous Kleene Algebras Representing the Context-Free Languages
本文通过利用-连续 Kleene 代数与双括号多项式 Kleene 代数张量积中的自动机表示及正规形定理，构建了无需变量绑定器的上下文无关表达式演算基础，并探讨了相关代数结构及其完备性方程。
💻 Category
cs
8102 篇论文
Minimum Star Partitions of Simple Polygons in Polynomial Time
该论文提出了一种多项式时间算法，解决了简单多边形最小星形划分这一悬置四十余年的开放问题，填补了从禁止 Steiner 点到允许 Steiner 点以及从凸划分到星形划分的研究空白。
Summing the sum of digits
本文通过引用 Mohanty 等人 2023 年关于基因型 - 表型映射最大突变稳健性的定理，重新审视并推广了整数进制下数位和累加函数的不等式，从而推导出了多个已知结论。
Isomorphism for Tournaments of Small Twin Width
本文证明了双宽度有界竞赛图的同构判定可在 时间内完成，从而确立了该类问题的多项式时间可解性，并揭示了竞赛图同构问题在群论方法下的固定参数易解性及其对组合式 Weisfeiler-Leman 算法的局限性。
Asynchronous Composition of LTL Properties over Infinite and Finite Traces
本文提出了一种针对通过数据端口交互的异步软件组件的 LTL 属性异步组合方法，该方法利用符号模型检查技术，通过一种新颖的 LTL 重写算法将局部属性转换为全局属性，同时支持无限和有限轨迹语义，并已在 OCRA 工具中实现与验证。
Pattern Avoidance for Fibonacci Sequences using -Regular Words
本文通过简洁证明确立了-正则词中避免特定模式集合的计数分别对应于两类-阶斐波那契递推数列，并提出了关于vincular模式避免数与斐波那契数平方关系的猜想。
Positional -regular languages
本文通过刻画识别位置性语言的奇偶自动机，为-正则语言的位置性提供了完整刻画，从而证明了其判定问题的多项式时间可解性、有限到无限及单玩家到双玩家的提升性质，并证实了前缀独立位置性目标在并运算下的封闭性，解决了 Kopczyński 在-正则情形下的猜想。
Representing Guardedness in Call-by-Value and Guarded Parametrized Monads
本文通过将 Uustalu 的参数化单子推广至 Freyd 范畴，证明了在值调用语言中表示受保护的效应函数空间需要特定的参数化单子，从而将受保护性从范畴上的谓词描述提升为程序的内蕴范畴性质。
Enumeration for MSO-Queries on Compressed Trees
该论文提出了一种针对由直线性程序（SLP）压缩的无秩森林的 MSO 查询枚举算法，仅需线性预处理时间和输出线性延迟，显著提升了压缩数据下的查询效率，并支持对顶点重标号的快速更新。
Causal Graph Dynamics and Kan Extensions
本文通过将因果图动力学（Causal Graph Dynamics）表达为多种形式的 Kan 扩张，证明了全局变换（Global Transformations）形式化框架同样适用于描述其局部、同步且确定性的空间变换，并在此过程中揭示了单调因果图动力学在一般因果图动力学中的普适性。
Using weakest application conditions to rank graph transformations for graph repair
该论文提出了一种基于最弱应用条件（包括损害指示和修复指示条件）的图变换排序方法，通过量化变换前后约束违反数的变化来评估修复潜力，从而支持高效且可扩展的图修复。
Möbius-Transformed Trapezoidal Rule
本文提出了一种结合莫比乌斯变换与梯形法则的数值积分方法，证明了该方法在仅需评估权重函数值而无需导数信息或概率采样的条件下，能在特定加权索伯列夫空间上达到最优收敛速率，并进一步拓展至函数逼近、随机积分及高维积分等应用。
Deterministic approximate counting of colorings with fewer than colors via absence of zeros
该论文通过证明在最大度为 的图中，当颜色数 时 Potts 模型配分函数在包含 的开集内无零点，从而利用 Barvinok 插值法打破了 的界限，首次给出了该范围内图着色计数的确定性多项式时间近似算法。
Optimizing QoS in HD Map Updates: Cross-Layer Multi-Agent with Hierarchical and Independent Learning
本文提出了一种结合应用层与 MAC 层跨层设计、采用分层独立学习多智能体技术的解决方案，通过协同调整 IEEE 802.11 标准中的 CWmin、CWmax、IFSn 及等待传输时间等参数，有效降低了高密度车联网环境下自动驾驶高清地图更新的延迟，显著提升了多业务场景下的服务质量。
TIMotion: Temporal and Interactive Framework for Efficient Human-Human Motion Generation
本文提出了名为 TIMotion 的高效框架，通过因果交互注入、角色演化扫描和局部模式放大三个核心模块，解决了现有双人运动生成方法在时序建模与交互混合方面的不足，从而在 InterHuman 和 InterX 数据集上实现了更优越的性能。
VisPoison: An Effective Backdoor Attack Framework for Tabular Data Visualization Models
本文提出了 VisPoison 框架，通过数据投毒在文本生成可视化模型中引入隐蔽触发器，实现了对敏感信息的泄露、误导性图表生成及拒绝服务攻击，并证实了现有防御策略对此类攻击的防御效果有限。
Open-World Task and Motion Planning via Vision-Language Model Genereated Constraints
该论文提出了一种名为 OWL-TAMP 的新方法，通过利用视觉语言模型生成离散的行动排序约束和连续的代码化约束，成功将大模型的常识推理能力与任务运动规划系统相结合，从而实现了在开放世界中直接根据自然语言指令解决复杂的长程机器人操作任务。
"Should I Give Up Now?" Investigating LLM Pitfalls in Software Engineering
该研究通过分析 26 名参与者在复杂 Web 开发任务中的数据，揭示了大语言模型（LLM）在软件工程中的九类常见失败模式，并发现尽管用户尝试通过提示工程缓解问题，但持续的不准确回复仍导致 17 人最终放弃使用，且无帮助回复使放弃概率增加了 11 倍。
Active Prompt Learning with Vision-Language Model Priors
该论文提出了一种基于视觉语言模型先验的预算高效主动提示学习框架，通过类引导聚类和自适应类阈值选择策略，在主动学习场景下实现了比现有基线更优的少样本分类性能。
Towards a Taxonomy of Software Log Smells
该研究通过文献综述和编码分析，构建了一个包含九类日志坏味（Log Smells）的分类体系，并评估了现有修复工具，旨在帮助开发者编写更高质量的日志代码并指明未来的研究方向。