· ai
[Paper] 融合人工智能与混合整数线性规划：航空运输中的可解释基于图的实例空间分析
本文分析了人工智能 (AI) 与混合整数线性规划 (MILP) 的结合，以在...中应对复杂的优化挑战。
Source
arXiv
470 posts from this source
-
- · software
[Paper] 生成具有描述性名称的 REST API 测试
自动化测试生成已成为确保软件质量的关键技术，尤其是在现代基于 API 的架构中。然而，自动生成…
- · ai
[Paper] 重新审视直接编码：可学习的时间动态用于静态图像脉冲神经网络
处理缺乏固有时间动态的静态图像仍然是脉冲神经网络（SNN）的一项根本性挑战。在直接训练的SNN中，静态...
- · ai
[Paper] 当前 Symbolic Regression 的挑战：优化、选择、模型简化和基准测试
符号回归（SR）是一种回归方法，旨在发现描述变量之间关系的数学表达式，且它通常...
- · ai
[Paper] Morphling：快速、融合且灵活的大规模 GNN 训练
图神经网络（GNN）通过将不规则、受内存限制的图遍历与规则、计算密集的稠密矩阵运算相结合，提出了一个根本性的硬件挑战。
- · ai
[Paper] 上下文逆最优性用于公平数字孪生：基于偏好的方法
Digital Twins (DTs) 正在越来越多地作为复杂社会技术系统中的自主决策者使用。它们的数学上最优的决策常常会出现偏差……
- · software
[Paper] MIT Lincoln Laboratory：提升研究项目的软件支持的案例研究
软件在复杂系统开发和原型制作中扮演着日益重要的角色，近年来，MIT Lincoln Laboratory一直致力于改进……
- · devops
【论文】StarDist：用于分布式图算法的代码生成器
现实世界中的关系数据通常以图的形式组织，这些图提供了进行分析推导所需的逻辑抽象，使其简化……
- · software
[Paper] Package Dashboard：跨生态系统的双视角软件包分析框架
软件供应链攻击暴露了现有 SCA 工具的盲点，这些工具通常仅限于单一生态系统，并且只评估软件制品……
- · ai
[Paper] 并行延迟记忆单元用于提升生物医学和生物声学信号分析中的时间建模
先进的深度学习架构，尤其是循环神经网络（RNN），已被广泛应用于音频、生物声学和生物医学信号分析。
- · software
[Paper] 当高性能计算遇上软件测试：使用 MPI 的分布式模糊测试
本文探讨了将基于 MPI 的同步技术集成到分布式模糊测试框架中，强调了可能带来的显著性能提升。
- · software
[Paper] GPTrace：使用 LLM 嵌入的有效崩溃去重
模糊测试是一种极其有效的发现软件漏洞的方法，但分析产生的数据通常需要大量的人工工作。Thi...