💻 コンピュータサイエンス

Federated Learning Framework with Differential Privacy over Homomorphic Vector Encryption for Data-Sensitive Applications

本論文は、IoMTのようなデータ機密性の高いアプリケーションをリバースエンジニアリング攻撃から保護するために、差分プライバシーと準同型ベクトル暗号を統合した軽量で安全な連合学習フレームワークを提案し、それに伴う予測および暗号化のオーバーヘッドを定量化するものである。

Manu Narula, Jasraj Meena, Dinesh Vishwakarma2026-08-26
💻 コンピュータサイエンス

From Trustworthy AI Principles to Verifiable System Requirements: A Multi-Stakeholder Engineering Framework for Clinical Decision Support Systems

本論文は、多角的なステークホルダーのニーズと規制上の制約を、ISO/IEC/IEEE 29148およびFUTURE-AIタクソノミーに準拠した形式的かつ検証可能なシステム要件へと体系的に変換する、再現可能な3フェーズのエンジニアリング・フレームワークを提示するものであり、これはAI4HFプロジェクトにおける高リスクな臨床用AIシステムのための公開可能な要件コーパスの作成を通じて実証されている。

Antonino Angi, Joan Perramon-Llussà, Ilia Stepin, Miriam Cabrita, Laura Arbelaez Ossa, A. Anil Sinaci, Senan Postaci, Ca (…)2026-08-26
💻 コンピュータサイエンス

YOLO-WKPose v3.1: Turbulence-Aware, Motion-Robust and Temporally Consistent Keypoint Estimation for Fixed-Wing Aircraft — An Updated Gap, Model and Implementation Guide

本論文は、高高度の乱気流、モーションブラー、および時間的予測に対処するために5つの特定のモジュールを統合することで、従来の固定翼機のキーポイント推定を拡張した包括的なアップデートであるYOLO-WKPose v3.1を提示しており、実験結果の報告ではなく、定義された損失とスコープを伴う詳細な実装ガイドを提供するものである。

Anthony Ofosu-Kwarteng2026-08-26
💻 コンピュータサイエンス

Policy-Gated Firmware Trust and Anti-Rollback Resilience for Autonomous UAV Edge Platforms: A Formal Security and Software Validation

本論文は、マニフェストに基づく検証を通じてアンチロールバックおよびフェイルクローズドのセキュリティを強制する、自律型UAVのためのポリシーゲート型ファームウェア信頼メカニズムを提示し、形式的に検証するとともに、永続的な状態の完全性に対する決定的な依存関係を特定し、ハードウェアによるアテステーションへのロードマップを概説するものである。

Md Shahanur Islam Shagor2026-08-26
💻 コンピュータサイエンス

Sequence-, Epoch-, and Integrity-Aware Detection of Replay and Peer-Spoofing Attacks in Decentralized UAV Mesh Networks: A Software-Validated Security Framework

本論文は、HMAC-SHA256認証、エポック検証、および単調増加シーケンスチェックを組み合わせた厳格なパケット受理チェーンを通じて、リプレイ攻撃およびピアスプーフィング攻撃を防止する、分散型UAVスウォームのためのソフトウェア実装型セキュリティフレームワークを提示し、その妥当性を検証するとともに、その性能オーバーヘッドを定量化し、共有秘密の漏洩を主要な残留リスクとして特定するものである。

Md Shahanur Islam Shagor2026-08-26
💻 コンピュータサイエンス

OmniGuard V2X: A Hybrid-Security Prototype Framework with Assumption-Aware Validation for Smart Vehicle Systems

本論文は、耐量子計算機暗号を用いた複雑で多層的なV2Xセキュリティ評価の再現性と解釈可能性を向上させるために、仮定を考慮した検証とマシンリーダブルなセキュリティ境界を優先する、スマート車両システムのための6層ハイブリッドセキュリティ・プロトタイプフレームワークであるOmniGuard V2Xを導入するものである。

Md Shahanur Islam Shagor2026-08-26
💻 コンピュータサイエンス

Architectural Framework for ERP-WMS Integration: Mitigating Data Latency and Transactional Asymmetry in Integrated Logistics Systems

本論文は、ステートレスなミドルウェアを、ヒューリスティックな検証と二重ハンドシェイク・プロトコルを備えた能動的な状態保持レイヤーへと置き換えることで、統合されたERP-WMS物流システムにおけるデータ遅延とトランザクションの非対称性を緩和する、新たなステートフルなオーケストレーション・アーキテクチャであるSAILフレームワークを導入し、最終的に台帳の整合性を確保しながら手動による在庫修復を最大90%削減するものである。

Arijit Das2026-08-26
💻 コンピュータサイエンス

Genetic Fragmentation Gradient Descent: Failure-Constrained Scheduling for GPU-Sharing Clusters

本論文は、遺伝的アルゴリズムを用いてGPU共有クラスター向けの軽量かつ失敗制約のある方策を進化させることで、従来のシミュレーションに依存した手法と比較して、スケジューリングの遅延を大幅に削減しつつ、ジョブ完了率とリソース利用率を向上させる効率的なオフライン・オンラインスケジューラであるGenetic Fragmentation Gradient Descent(GFGD)を提案する。

Soeun Choi, Jaehyeong Sim2026-08-26✓ Author reviewed ⓘ
💻 コンピュータサイエンス

A Lightweight Time--Frequency Fusion Network for Accurate Wastewater Quality Forecasting

本論文は、既存のTransformerベースのアプローチにおける計算およびモデリングの限界を克服するために、適応型マルチスケール時間エンコーディングと低ランクスペクトル解析を組み合わせることで、正確かつ効率的な廃水水質の予測を実現する軽量な時間・周波数融合ネットワークであるTSF-Resonatorを提案するものである。

Jiahao Fu, Jianjun Sun, Gaunlin Li2026-08-26✓ Author reviewed ⓘ
💻 コンピュータサイエンス

Agentic AI System for Hospital Management

本論文は、病院管理のための協調型マルチエージェント強化学習フレームワークを提案および評価し、その4つの特化型エージェントが、リソース配分の最適化、患者の待ち時間の短縮、および最小限のコンフリクトによる高い運用効率の達成において、従来のシステムを大幅に上回ることを実証している。

Ashis Kumar Pati, Kaibalya Mohapatra, Mukesh Kumar Padhi, Shreya Tripathy2026-08-26