实体
Abdelrahman Sayed Sayed
Abdelrahman Sayed Sayed
PulseAugur coverage of Abdelrahman Sayed Sayed — every cluster mentioning Abdelrahman Sayed Sayed across labs, papers, and developer communities, ranked by signal.
总计 · 30天
0
90 天内 2
发布 · 30天
0
90 天内 0
论文 · 30天
0
90 天内 2
层级分布 · 90 天
主题
最近 · 第 1/1 页 · 共 2 条
-
新AI框架增强AUV浮游生物分类鲁棒性
研究人员开发了一个新的鲁棒性验证框架，用于自主水下航行器（AUV）上监测浮游生物的AI分类器。该框架利用可达性分析和连续时间神经常微分方程（neural ODE）模型，并与SilCam成像系统集成。其目标是通过提供模型在环境噪声和模糊数据下的稳定性的形式化保证，来提高基于AUV的浮游生物监测的可靠性，从而减少海洋生物学家手动验证的需求。
-
新的TNODEV工具箱增强了常微分方程神经网络的验证
研究人员开发了TNODEV，一个用于常微分方程神经网络（neural ODEs）形式化验证的新工具箱。该工具通过集成一个伪造检查器、一个基于区间的可达性后端以及一个带有输入集分割启发式的验证精化循环，解决了现有方法的局限性。TNODEV旨在为用于安全关键应用（如网络物理系统和自动化决策管道）的常微分方程神经网络提供更精确的判断。