AI Agent

Certified Detection of Bifurcation Candidates in Uncertain Nonlinear Systems using Interval Analysis

基于区间分析的不确定非线性系统中分岔候选点的认证检测

Rudra Prakash, S. Janardhanan, Shaunak Sen

专题命中 工作流自动化 ：workflow(abstract)

AI总结 本研究提出一种基于区间分析的经验证区间工作流，可认证不确定非线性系统中鞍结、霍普夫分岔候选点的存在性或不存在性，为鲁棒分析设计提供严格保证。

Comments 6 pages, 3 figures, 3 tables

Fact-Check Your Information (FYI): A Design Probe to Understand How People Actually Fact-Check Data-Driven Articles

验证你的信息（FYI）：一项用于理解人们如何实际核查数据驱动文章的设计探针

Nguyen-Truong Thinh, Yuxuan Du, Phongsakon Mark Konrad, Arpit Narechania

专题命中 工作流自动化 ：workflow(abstract)

AI总结 本研究提出嵌入阅读环境的浏览器扩展FYI作为设计探针，通过含四类工具的探索性研究（N=22），明确了用户核查数据主张的三类工作流，提出事实核查系统需将AI作为补充、强化可视化并支持灵活工作流的建议。

Comments 11 pages, 4 figures, 4 tables. To appear in IEEE VIS 2026

Toward surface-based registration of a virtual preoperative cutting guide onto the mandible for reconstruction surgery

面向虚拟术前切割导板与下颌骨的基于表面的配准技术用于重建手术

Yue Yang, Jie Ying Wu

机构 * Vanderbilt University（范德堡大学） 纠错

专题命中 工作流自动化 ：workflow(abstract)

AI总结 该研究提出一种无标记AR方案，通过扩展表面配准技术实现虚拟切割导板与术中暴露下颌骨的配准，经测试其配准误差与延迟支持替代物理打印导板的可行性。

Mapping Armenian Paris: Extracting and Geocoding Commercial Advertisements from the 20th-Century Diaspora Press

绘制亚美尼亚巴黎：从20世纪侨民报刊中提取并地理编码商业广告

Chahan Vidal-Gorène, Seda Kirakosyan, Edita Matevosyan

专题命中 工作流自动化 ：workflow(abstract)

AI总结 本研究提出基于IIIF的VLM驱动端到端流程，从西亚美尼亚语报刊中提取并地理编码商业广告，构建巴黎亚美尼亚商业社区交互式地图，相关成果可迁移至其他资源匮乏历史语料库。

An Open-Source Power Measurement Platform for System-Level Semiconductor Testing

面向系统级半导体测试的开源功耗测量平台

Linus Bantel, Sarah Rottacker, Dirk Pflüger

专题命中 工作流自动化 ：workflow(abstract)

AI总结 针对工业半导体测试设备昂贵难集成的问题，提出一款集成Raspberry Pi等组件的开源功耗测量平台，支持自动化测试与远程交互，适用于研究、原型开发及教育场景。

An End-to-End Threat Model for the Quantum-as-a-Service Pipeline

量子即服务（QaaS）流水线的端到端威胁模型

Badhon Rahman, Majid Haghparast, Tommi Mikkonen

专题命中 工作流自动化 ：workflow(abstract)

AI总结 本文针对QaaS流水线缺乏结构化威胁建模的问题，结合STRIDE将其工作流分解为六阶段模型，分析各层级攻击向量，研究未被充分探索的环节并区分出三条高影响跨阶段攻击链。

Comments 2 pages, 1 Table. Accepted as a poster paper at the IEEE International Conference on Quantum Computing & Engineering (QCE26)

BEGIN AI TRANSACTION: Semantic Isolation for Durable AI Workflows

AI事务：持久AI工作流的语义隔离

Barzan Mozafari

专题命中 工作流自动化 ：workflow(abstract)

AI总结 针对AI工作流因语义环境并发变更导致结果不一致的问题，提出语义隔离框架，定义四类异常，推导隔离级别偏序，原型SemIso可高效检查并阻止不兼容资源与分支合并。

Comments 6 pages, 4 figures, and 3 tables

NeuroAdaptTrainer: A Fiji/ImageJ Plugin for YOLO-Based Neuron Segmentation, InteractiveCorrection and Transfer Learning

NeuroAdaptTrainer：一款用于基于YOLO的神经元分割、交互式校正与迁移学习的Fiji/ImageJ插件

Daniela Eraso-Casas, Gerard Villarroya-Pique, Esther Serrano-Pertierra, M. Teresa Fernández-Sánchez, Antonello Novellie, Angel Rio-Alvarez, Víctor M. González

机构 * University of Oviedo（奥维耶多大学） ； Institute of Biotechnology of Asturias (IUBA)（阿斯图里亚斯生物技术研究所） 纠错

专题命中 工作流自动化 ：workflow(abstract)

AI总结 该研究开发了一款名为NeuroAdaptTrainer的Fiji/ImageJ插件，整合YOLO实例分割模型，支持神经元自动检测、交互式校正及迁移学习，降低非专业用户使用深度学习分割技术的门槛。

A variational framework for Bayesian inversion in moving boundary Darcy flow

移动边界达西流中贝叶斯反演的变分框架

Michael E. Causon, Marco A. Iglesias, Michael V. Tretyakov

专题命中 工作流自动化 ：workflow(abstract)

AI总结 针对移动边界达西流的对数渗透率反演，提出逐观测表示公式的变分框架，大幅降低计算成本，1D精度接近MCMC，2D效果优于大规模集合卡尔曼反演。

Multiphysics tritium transport modelling of the ARC breeding blanket with FESTIM

采用FESTIM的ARC增殖包层多物理场氚输运建模

James Dark, Arpan Sircar, Jin Whan Bae, Jørgen S. Dokken, Rémi Delaporte-Mathurin

专题命中 工作流自动化 ：workflow(abstract)

AI总结 本研究开发耦合OpenMC、OpenFOAM与FESTIM的多物理场框架，模拟ARC级聚变反应堆包层氚输运，得到氚 inventory、输运机制等关键结果，为相关高保真分析提供基础。

Fine-Tuning Small Language Models for Reliable VASP INCAR Generation

微调小型语言模型以生成可靠的VASP INCAR文件

Xinyue Zhang, Jixiang Li, Bin Shao, Baishun Yang, Zhiyang Liu, Weichao Wang

专题命中 工作流自动化 ：workflow(abstract)

AI总结 本研究通过微调小型语言模型（SLM）并搭配后处理器VASPGuard构建INCAR-SLM，在INCARBench上优于通用大模型，证明小型模型经适配可可靠生成VASP INCAR文件，适配后性能随规模增长趋于饱和。

DefoEye: Python-Based Software for Facilitating Time-Series InSAR Analysis of Sentinel-1 Remote-Sensing Data

DefoEye：用于Sentinel-1遥感数据时间序列InSAR分析的Python软件

Alireza Taheri Dehkordi, Hossein Hashemi, Amir Naghibi

专题命中 工作流自动化 ：workflow(abstract)

AI总结 本文推出基于Python的开源软件DefoEye，封装GMTSAR并优化其不足，经多区域验证可生成可靠的Sentinel-1数据TS-InSAR产品，适用于多领域应用。

scikit-rom: An Open-Source Python Platform for Teaching and Prototyping Projection-Based Reduced-Order Modeling

scikit-rom：用于教学和原型设计的基于投影的降阶模型的开源Python平台

Suparno Bhattacharyya, Ali Syed, Jian Tao, Jean C. Ragusa

专题命中 工作流自动化 ：workflow(abstract)

AI总结 scikit-rom是基于scikit-fem的开源Python库，提供透明可修改的基于投影的ROM流程，含四种超降阶策略及示例，适用于ROM领域教学、研讨与研究原型设计。

Adversarial Attacks for Good: A Survey of Proactive Protection across the Visual Content Lifecycle

用于良性目的的对抗性攻击：视觉内容全生命周期主动保护综述

Jiaming Zhang, Boyang Chen, Zherui Li, Fuyao Zhang, Xinyu Yan, Hong Xi Tae, Wenwen He, Xuan Wang, Siqi Guo, Junhao Dong, Kun Wang, Hanxun Huang, Yige Li, Xingjun Ma, Yang Cao, Lingjuan Lyu, Wei Yang Bryan Lim

专题命中 工作流自动化 ：autonomous agent(abstract)

AI总结 本综述研究了视觉内容全生命周期中用于主动保护的“良性对抗性攻击”范式，涵盖五类方法并评估其特性，同时指出当前保护措施的不足与未来研究方向。

Computational Microstructure Analysis of Sintered Ceramics

烧结陶瓷的计算显微结构分析

Nikhil Dhanankam, Deeksha Kodangal, Rajendra K. Bordia, Ulf D. Schiller

专题命中 工作流自动化 ：workflow(abstract)

AI总结 本研究提出自动化流程，结合拓扑滤波与Sauvola阈值处理，从烧结陶瓷的SEM图像提取显微结构特性，经1200℃、1400℃样品验证，IoU达95.14%、99.85%，可用于生成机器学习材料数据集。

Comments Full Paper, ICCS 2026 Workshops

Journal ref In Paszynski, M., Barnard, A.S., Zhang, Y.J. (eds) Computational Science - ICCS 2026 Workshops. Lecture Notes in Computer Science, vol 16787. Springer, Cham

Accountability Asymmetry and Structural Trust in Autonomous AI Systems

自主AI系统中的问责不对称性与结构性信任

Nathan DeBardeleben

专题命中 工作流自动化 ：AI agent(abstract)

AI总结 本文针对自主AI系统中问责不对称导致的信任问题，提出将其治理视为基础设施可靠性问题，通过工程异质性方案，即独立监测审查补充流程，解决该问题。

Comments 16 pages, 2 figures

LLM-Assisted Review Prioritization for German Statutory Health Insurance Websites: A Multi-Stage Corpus Audit

大语言模型辅助的德国法定医疗保险网站审核优先级排序：多阶段语料审计

Martin Möller

专题命中 工作流自动化 ：workflow(abstract)

AI总结 本研究针对德国法定医疗保险网站，提出一种结合多步骤的大语言模型辅助审核优先级排序工作流程，经实验验证可有效分配审核工作量，区分AI来源信号与质量声明。

Comments 31 pages, 5 figures. Also archived at Zenodo: https://doi.org/10.5281/zenodo.21738595

Residual Flow Matching with Dynamic Cross-Interaction for 3D Multi-Person Motion Prediction

面向三维多人运动预测的带动态交叉交互的残差流匹配

Wei Wei, Yinyuan Zhao, Ruixuan Yu

专题命中 工作流自动化 ：agent(abstract)

AI总结 针对三维多人运动预测中流匹配的结构一致性与智能体交互问题，提出先验引导残差流匹配框架，含DCP、DCI机制和解耦关节-运动架构，在多数据集上实现最优预测精度。

Fovea: Physical-Implication-Aware Wafer-Scale DSE with Decision-Domain-Guided Cross-Fidelity Refinement

Fovea：具备物理含义感知的晶圆级设计空间探索，结合决策域引导的跨保真度优化

Jinxi Li, Huizheng Wang, Jinyi Deng, Yang Hu, Shouyi Yin

专题命中 工作流自动化 ：workflow(abstract)

AI总结 Fovea是一种晶圆级设计空间探索方法，通过物理含义感知的空间构建与决策域引导的跨保真度优化，在LLM训练工作负载的晶圆架构选择中实现了最优解恢复与显著加速。

Comments 13 pages, 10 figures, 5 tables

EditFlow3D: Automated Local Editing of 3D Assets with Trajectory Preservation

EditFlow3D：保留轨迹的3D资产自动化局部编辑

Rui Nie, Chuang Wang, Haitao Zhou, Jiahe Song, Buyu Li, Sheng Wang, Qian Yu

专题命中 工作流自动化 ：workflow(abstract)

AI总结 EditFlow3D是一种无需训练的3D局部编辑框架，通过VLM驱动工作流生成掩码与视觉引导，结合掩码引导差分流和轨迹保留技术，在新基准EditFlow-Bench上验证了其编辑准确性与非目标区域保留能力优于现有方法。

DAMPyF: a Python implementation of the DAMPF method for the simulation of open-system dynamics

DAMPyF：用于开放系统动力学模拟的DAMPF方法的Python实现

Nicola Lorenzoni, Susana F. Huelga, Martin B. Plenio

专题命中 工作流自动化 ：workflow(abstract)

AI总结 DAMPyF是DAMPF方法的开源Python实现，用于数值精确模拟与玻色环境耦合的有限维量子系统，支持激发能量转移与分子光谱计算两种工作流，本文介绍了其相关模型、算法及使用内容。

UAV-Based Environmental Monitoring of Rip-Current Indicators Using Wavelet-Derived Texture Features

基于无人机的裂流指标环境监测：使用小波衍生的纹理特征

Yonatan Ben Avraham, Baruch Binyaminov, Yehudit Aperstein

专题命中 工作流自动化 ：workflow(abstract)

AI总结 本研究提出结合小波衍生纹理特征与深度学习的无人机裂流监测工作流程，通过不同策略融入离散小波变换特征，在分类和定位任务中提升性能，为海滩安全风险缓解提供可解释的无人机决策支持工具。

Comments 24 pages, 10 figures

Loggia dei Lanzi: AI Thermography Enhancement Comparisons through 3D Photogrammetry

兰齐凉廊：基于三维摄影测量的AI热成像增强对比研究

Scott McAvoy, Jonathan Klingspon, George Bent, Dave Pfaff, Aviral Agarwal, Maurizio Seracini, Falko Kuester

机构 * University of California San Diego（加利福尼亚大学圣迭戈分校） ； Washington and Lee University（华盛顿与李大学） ； Editech（爱迪泰克公司） 纠错

专题命中 工作流自动化 ：workflow(abstract)

AI总结 该研究以佛罗伦萨兰齐凉廊为对象，通过对比原生分辨率、FLIR UltraMax硬件超分辨率及AI上采样模型的热成像效果，为文化遗产热成像摄影测量工作流程提供了硬件与AI超分辨率的直接对比数据，相关数据集公开并集成到扩展现实应用中。

Comments 19 pages, 10 figures, to be presented at the 8th International Symposium on Cultural Heritage Conservation by Digitization (CHCD2026) in Beijing

TrainShield: Targeted Awareness for Cybersecurity Training

TrainShield：面向网络安全培训的目标感知机制

Giovanni Pizzenti, Alberto Verna, Nikhil Jha, Giuseppe Tipaldo, Stefano Traverso, Marco Mellia

专题命中 工作流自动化 ：workflow(abstract)

AI总结 本研究提出嵌入用户工作流的场景化网络安全培训范式TrainShield，结合实时风险检测与LLM生成内容，初步验证其可提升风险意识，为行为导向网络安全教育提供新方向。

Comments Paper accepted for publication at ACM Hypertext 2026

Toward Geometry-Scalable Whole-Body Touch for Humanoids: A 3D-Printed Conformal EIT Skin

面向人形机器人的几何可扩展全身触觉：一种3D打印的保形EIT皮肤

Haofeng Chen, Carson Kohlbrenner, Jiri Kubik, Lukas Rustler, Alexander Dickhans, Karel Bartunek, Alessandro Roncone, Hyosang Lee, Matej Hoffmann

机构 * Czech Technical University in Prague（布拉格捷克技术大学） ； Eindhoven University of Technology（埃因霍温理工大学） 纠错

专题命中 工作流自动化 ：workflow(abstract)

AI总结 该研究提出一种3D打印的保形EIT触觉皮肤，通过增材制造工艺实现几何适配，在弯曲原型上18个接触点平均定位误差6mm，可减轻人形机器人触觉覆盖的形态重设计负担。

Comments Submitted to IEEE Humanoids

GalSAS-SDR-SIM: An End-to-End Simulation Platform for Galileo Signal Authentication Service

GalSAS-SDR-SIM：伽利略信号认证服务的端到端仿真平台

Haiyang Wang, Yuanyu Zhang, Wensen Du, Ji He, Pinchang Zhang, Ning Xi

专题命中 工作流自动化 ：workflow(abstract)

AI总结 该研究提出开源SDR仿真平台GalSAS-SDR-SIM，模拟伽利略SAS工作流程，可灵活配置参数、生成多频段信号，为接收机开发和信号认证研究提供实用工具。

Comments 10 pages, 15 figures

Benign Alone, Harmful Together: Exploiting Experience Composition in Self-Evolving LLM Agents

单独无害，联合有害：在自进化大语言模型智能体中利用经验组合

Bingyu Yan, Xiaoming Zhang, Chaozhuo Li, Ziyi Zhou, Yirui Qi, Litian Zhang

专题命中 工作流自动化 ：agent(abstract)

AI总结 本研究提出EvoBreak攻击，利用自进化LLM智能体的良性经验组合，结合BreakGym生成训练目标，在保持高无害性的同时优于现有攻击，揭示了新的安全风险。

LEO-Aware DRL Meta-Scheduler for 5G Non-Terrestrial Network Slicing

面向5G非地面网络切片的低地球轨道（LEO）感知深度强化学习元调度器

Víctor Vilchez, Tiago P. C. de Andrade, Edward Hinojosa, Edmundo Madeira, and Carlos A. Astudillo

专题命中 工作流自动化 ：agent(abstract)

AI总结 针对5G非地面网络集成LEO带来的资源管理挑战，提出基于TD3智能体的DRL元调度器，在牺牲1%不显著容量的情况下，严格限制关键业务排队延迟，且不会导致宽带切片饥饿，为6G O-RAN NTN资源分配提供基础。

Comments This paper was accepted for publication at the IEEE Global Communications Conference (GLOBECOM 2026)

Extended KAFR: A kinematic-adaptive paradigm for the efficient analysis of surgical video

扩展KAFR：用于手术视频高效分析的运动学自适应范式

Huu Phong Nguyen, Shekhar Madhav Khairnar, Ganesh Sankaranarayanan

机构 * University of Texas Southwestern Medical Center（德克萨斯大学西南医学中心） 纠错

专题命中 工作流自动化 ：workflow(abstract)

AI总结 本研究验证了运动学自适应帧识别（KAFR）可泛化至腹腔镜手术，其结合YOLO、X3D模型，仅用0.58%的帧就达到91.0%的F1分数，性能优于传统采样且与先进模型相当，大幅降低了手术视频分析的计算负担。

Comments 18

Forbench: Symbolic Simulation Helps Make Your Testbench More Formal

Forbench：符号仿真助力您的测试平台更具形式化

Ziyi Yang, Wenbin Che, Ziyue Zheng, Guangyu Hu, Hongce Zhang

专题命中 工作流自动化 ：workflow(abstract)

AI总结 本文提出字级符号仿真框架Forbench，保留仿真语义并增强符号支持，提供易用Python接口，可系统探索RTL行为，实验显示其在不损失覆盖率的前提下比现有符号方法显著加速，旨在降低形式化验证应用门槛。