💻 computer science

Formal Verification of Smart Contracts for EEG Data Governance: A Case Study with Slither and Formal Specification

本文表明,虽然 Slither 和 Mythril 等自动化工具能有效检测已知的漏洞模式,但形式化规范对于验证基于区块链的脑电图(EEG)数据治理中的逻辑正确性并确保安全性至关重要,因为该规范唯一识别出了自动化工具未能发现的一个种子数组越界漏洞。

Jonathas Tavares Neves, Moisés Pereira Bastos, Lucas Carvalho Cordeiro, Carlos Augusto de Moraes Cruz2026-06-29
💻 computer science

Innovative Strategies for Efficient Traffic Sign Prediction using Dense-CN Net Classification

本文提出了一种创新的交通标志预测框架,该框架集成了非局部均值预处理、改进的 U-Net 架构、密集卷积神经网络(Dense CNN)分类以及用于超参数调优的岩蹄兔群优化算法,在 TT100K 数据集上达到了 99.64% 的精度,并在 GTSDB 数据集上达到了 99.6% 的精度,实现了最先进的性能。

Naveen N, Senthil Mahesh P C, Kumari P, Praveenkumar G D2026-06-29
💻 computer science

EDNet-20: Enhancing Multi-Label Ocular Disease Detection through Deep Learning Optimization

本文介绍了 EDNet-20,这是一种通过光度数据增强和可解释人工智能技术进行优化的新型深度学习框架,其多标签眼部疾病检测准确率优于现有的最先进模型,为早期临床诊断提供了一个极具前景的工具。

Shahed Hossain, Munjir Mahmud Sayeb, Tahmeed Ali Patwary, Mohsina Mehenaj, Anika Tasnim Ritu, Md Mizanur Rahman, Md. Zah (…)2026-06-29
💻 computer science

Evaluating the Use of LLM-based Multi-Agent Systems for Internal Information Sharing and Access Within Manufacturing

本文评估了一种用于制造信息获取的模块化大语言模型(LLM)多智能体系统,研究发现,虽然在特定数据条件下,顶尖模型在追溯任务上的准确性和速度优于平均水平的人类用户,但该系统的有效性仍取决于模型选择、数据质量和提示词设计,因此有必要保持持续的人类监督。

Ngoc Bach Nguyen, Sam Brooks, Zhengyang Ling2026-06-29
💻 computer science

A Composite Evaluation Framework for Unsupervised Maritime Anomaly Detection in AIS Data with Applications to Ocean Monitoring

本研究提出了海事异常检测质量指数(MADQI),这是一种新颖的综合评估框架,通过将地理空间分析与四项特定指标相结合,解决了无监督自动识别系统(AIS)异常检测中缺乏标注数据的问题,旨在稳健地评估模型性能,以实现增强的海事监测与可持续治理。

Ismet Gocer, Zakirul Bhuiyan, Raza Hasan, Shakeel Ahmad2026-06-29