An Approach for Safe and Secure Software Protection Supported by Symbolic Execution

该论文提出了一种基于物理不可克隆函数(PUF)和符号执行技术的新型工业控制软件保护方法,确保软件仅在目标硬件上正确运行,并在非目标环境或 PUF 响应异常时通过符号执行保障安全属性,同时具备抵御逆向工程的能力。

Daniel Dorfmeister, Flavio Ferrarotti, Bernhard Fischer, Evelyn Haslinger, Rudolf Ramler, Markus Zimmermann2026-03-12💻 cs

AdaClearGrasp: Learning Adaptive Clearing for Zero-Shot Robust Dexterous Grasping in Densely Cluttered Environments

本文提出了 AdaClearGrasp 框架,通过结合预训练视觉语言模型进行自适应清理决策与强化学习策略,实现了在密集杂乱环境中对多样化物体的零样本鲁棒灵巧抓取,并引入了首个分级复杂度仿真基准 Clutter-Bench 来验证其有效性。

Zixuan Chen, Wenquan Zhang, Jing Fang, Ruiming Zeng, Zhixuan Xu, Yiwen Hou, Xinke Wang, Jieqi Shi, Jing Huo, Yang Gao2026-03-12💻 cs

QuantumX: an experience for the consolidation of Quantum Computing and Quantum Software Engineering as an emerging discipline

本文总结了在 JISBD 2025 上举办的首届 QuantumX 专题研讨会,该活动汇聚了西班牙顶尖研究团队,探讨了软件工程原则在量子计算领域的应用,促进了社区协作,并系统梳理了量子软件工程的研究主题、开放挑战及未来发展方向。

Juan M. Murillo, Ignacio García Rodríguez de Guzmán, Enrique Moguel, Javier Romero-Álvarez, Jaime Alvarado-Valiente, Álvaro M. Aparicio-Morales, Jose Garcia-Alonso, Ana Díaz Muñoz, Eduardo Fernández-Medina, Francisco Chicano, Carlos Canal, José Daniel Viqueira, Sebastián Villarroya, Eduardo Gutiérrez, Adrián Romero-Flores, Alfonso E. Márquez-Chamorro, Antonio Ruiz-Cortes, Cyrille YetuYetu Kesiku, Pedro Sánchez, Diego Alonso Cáceres, Lidia Sánchez-González, Fernando Plou2026-03-12💻 cs

A Hypergraph-Based Framework for Exploratory Business Intelligence

本文提出了名为 ExBI 的新型系统,通过引入基于超图的数据模型、支持动态模式演化的算子以及具有理论保证的采样算法,有效解决了传统商业智能系统在探索性分析中面临的计算瓶颈与静态架构限制,在 LDBC 数据集上实现了远超 Neo4j 和 MySQL 的查询加速效果(平均 16.21 倍至 46.67 倍),同时保持了极高的分析精度(COUNT 平均误差仅 0.27%)。

Yunkai Lou, Shunyang Li, Longbin Lai, Jianke Yu, Wenyuan Yu, Ying Zhang2026-03-12💻 cs

How To Embed Matters: Evaluation of EO Embedding Design Choices

该论文利用 NeuCo-Bench 对地球观测基础模型(GeoFMs)的嵌入设计进行了系统分析,揭示了骨干架构、预训练策略及聚合方式等关键选择对下游任务性能的影响,并证明了通过特定设计可将原始数据压缩为 500 倍以上的紧凑嵌入,同时保持广泛的下游任务适用性。

Luis Gilch, Isabelle Wittmann, Maximilian Nitsche, Johannes Jakubik, Arne Ewald, Thomas Brunschwiler2026-03-12💻 cs

STM32-Based Smart Waste Bin for Hygienic Disposal Using Embedded Sensing and Automated Control

本文介绍了一种基于 STM32 微控制器、超声波传感器和伺服电机的低成本自动感应垃圾桶系统,该系统通过非接触式检测实现自动开盖与垃圾满溢监测,并辅以 OLED 实时状态显示,旨在为各类环境提供卫生便捷的废弃物处理方案。

Mohammed Aman Bhuiyan, Aritra Islam Saswato, Md. Misbah Khan, Anish Paul, Ahmed Faizul Haque Dhrubo, Mohammad Abdul Qayum2026-03-12💻 cs

Breaking User-Centric Agency: A Tri-Party Framework for Agent-Based Recommendation

该论文针对现有基于智能体的推荐系统过度以用户为中心而忽视物品与平台利益的局限,提出了首个协调用户效用、物品曝光与平台公平性的三方大模型推荐框架(TriRec),通过赋予物品个性化自我推广能力及平台多目标重排序机制,在提升推荐准确率的同时显著改善了公平性与长尾物品表现,打破了传统上准确性与公平性必然权衡的假设。

Yaxin Gong, Chongming Gao, Chenxiao Fan, Wenjie Wang, Fuli Feng, Xiangnan He2026-03-12💻 cs

From Education to Evidence: A Collaborative Practice Research Platform for AI-Integrated Agile Development

该论文提出了一种基于项目的 AI 集成敏捷教育平台,作为介于受控研究与真实行业之间的协作研究环境,旨在通过迭代结构、质量门禁及利益相关者参与,高效生成具有可复用背景的实践相关证据,以解决敏捷开发研究中理论滞后与转化困难的问题。

Tobias Geger, Andreas Rausch, Ina Schiering, Frauke Stenzel, Stefan Wittek2026-03-12💻 cs