💻 计算机科学

Does Size Generalization Imply Disruption Robustness? A Pre-Registered Study of GNN–PPO Scheduling Policies for the Dynamic Flexible Job-Shop Problem

这项预注册研究表明,虽然在动态柔性车间调度问题上训练的 GNN–PPO 策略展现出了规模泛化性,但它们无法同时实现相对于传统调度规则的竞争力和针对多重扰动机制的鲁棒性,从而证明了这两个属性是可分离的而非共生的。

Joseph Javier Sánchez Acuña, David Álvarez2026-08-04
💻 计算机科学

The Price of Optimality Under Uncertainty: A Predictive–Reactive Robustness Analysis of Exact, Metaheuristic, and Dispatching-Rule Scheduling for the Dynamic Job-Shop Problem

本研究表明,对于不确定性环境下的动态作业车间调度问题,精确的最优调度方案往往不如简单的优先级调度规则具有鲁棒性,因为其缺乏松弛量导致无法吸收扰动,使得后者尽管标称性能较低,但在实际执行中却经常表现得更为优越。

Joseph Javier Sánchez Acuña2026-08-04
💻 计算机科学

AiDER: Auditing and Document Evaluation via Rule Compilation and Small Language Models - An Education Case Study

AoIDER 是一个用于根据自然语言需求评估文档的可审计框架,它将规则编译为可执行代码,以约束小语言模型的证据提取过程,从而确保判定结果的确定性与可检查性,同时证明在教育场景下,验证驱动的规则修复能显著提升 2B–4B 参数模型的准确率。

Valerio Crocetti, Elia Pacioni, Aldo Franco Dragoni, Michael, Davide Calvaresi2026-08-04
💻 计算机科学

External Validation and Interpretability Analysis of a Deep Learning Model for Forensic Age Estimation Across Brazilian and Romanian Populations

本研究表明,尽管深度学习模型能够捕捉用于法医年龄估计的生物学衰老模式,但其可靠性会因人群和硬件的变化而显著受损,这强调了在法医应用之前进行外部验证和可解释性分析,以检测非解剖学捷径的紧迫性。

Laura Meloni, Liviu-Mihai Iacob, Sorana Eftimie, Raluca Roman2026-08-04
💻 计算机科学

SPARE - STARE: Securing Progressive Web Apps - Trusted Web Activity Against Unauthorized Replications

本文提出并评估了“SPARE-STARE”,这是一种基于查询参数的安全框架,它通过使用加密和唯一标识符将渐进式 Web 应用(PWA)与受信任的 Web 活动(TWA)进行绑定,从而在有效缓解未经授权复制威胁的同时,克服了通信限制并降低了开发复杂度。

Sajib Talukder, Nur Imtiazul Haque, Hisham Kholidy2026-08-04