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

AnoMLP-TCP: An Anomaly Aware Multilayer Perceptron for Test Case Prioritization in Continuous Integration

本論文は、継続的インテグレーションにおけるテストケース優先順位付けのための軽量な異常検知型多層パーセプトロンであるAnoMLP-TCPを紹介しており、これは、より複雑なベースラインであるAnoLSTM-TCPに匹敵する性能を達成しつつ、モデルパラメータ数、学習時間、および計算コストを大幅に削減している。

MUSA ISYAKU2026-10-07
💻 コンピュータサイエンス

A Design Science Research Approach to Developing an Offline-Capable Secure Digital Wallet for Low-Connectivity Environments

本論文は、デザインサイエンス・リサーチを通じて開発された、DAGベースの台帳とゼロ知識証明を組み合わせた5層アーキテクチャを利用することで、低接続環境において安全、高性能、かつAML(アンチマネーロンダリング)に準拠した金融取引を実現する、新しいアーティファクトであるオフライン対応デジタルウォレット(OCDW)を提示し、既存のブロックチェーン・ソリューションをレイテンシ、スループット、およびエネルギー効率において大幅に上回るものである。

Patricia Ghann, Gabriel Teye, Eric Apomah Adu, Isaac Junior Loveland Gavua, Mccarthy Newman-King, Carl Dela2026-10-07
💻 コンピュータサイエンス

Closing the Verification Loop in Generative Development: An External Transactional State Machine and a Field Evaluation of Its Economics and Convergence

本論文は、再現可能で二重検証された準備基準を強制するために外部のトランザクション状態マシンを実装することが、生成的な開発を、オープンループの意見ベースのプロセスから、多様なモデル間で機能的同等性を達成し、最終的には総コストを削減し、ヒューマン・イン・ザ・ループの除去を可能にするクローズドループのシステムへと変革させることを実証するものである。

Anton N. Smolin2026-10-07
💻 コンピュータサイエンス

From LaTeX and OCaml to LEAN4 and Executables: Lean-Checked Theorems and Generating Proof-Carrying Rust

本論文は、相互帰納型、符号付き整数演算、およびカーネルとその自己記述的方程式の相互実装検証を通じてシステムの妥当性を確認することに成功した、Lean 4によって検証された定理と証明付き契約を持つ実行可能なRustコードを同時に生成する、OCamlのサブセットに対するPythonベースのHindley–Milnerフロントエンドを提示する。

Brent Hartshorn2026-10-07
💻 コンピュータサイエンス

Google's Rich Results Test Displays No More Than 102 Objects for One JSON-LD Entity and Accepts an Invalid eventStatus Value

この論文は、Googleのリッチリザルト テストにおける2つのサイレントな失敗を特定しており、それらは、警告なしにJSON-LDオブジェクトの数を102個で切り捨てる表示制限と、"EventCompleted"のような無効な値を誤って受け入れてしまうeventStatusプロパティの検証不足です。

Brian R. Hatten2026-10-07
💻 コンピュータサイエンス

3D CT-GraphEdgeMAE: 3D CT Image Anomaly Detection Using Self-Supervised Graph Edge Mask Autoencoders

本論文は、エッジマスキング、アダマール積と部分グラフ類似性を備えた新規デコーダ、およびトポロジー認識型の対照再構成損失を利用することで、LUNA16データセットにおいて計算コストと学習時間を大幅に削減しつつ、効率的で高性能な3D CT異常検知を実現する自己教師ありグラフベースのフレームワークである3D CT-GraphEdgeMAEを提案する。

Qiong Wu2026-10-07
💻 コンピュータサイエンス

Redistributing Lossless-Compression Test Corpora: An Audit of Nine Corpora and a File-Level Publication Procedure

本論文は、広く用いられている9つのロスレス圧縮テスト用コーパスを監査することで、蔓延するライセンスの曖昧さと再現性の欠如を明らかにし、次いで、圧縮データセットの安全な再配布を可能にするために、リネージ記録、二重レビュー検証、および標準化されたメタデータを備えた厳格なファイルレベルの公開手順を提案し、その妥当性を検証するものである。

Eugen Spivak2026-10-07
💻 コンピュータサイエンス

Skillbase - AI Driven E-learning Platform

本論文では、React.jsおよびSpring Bootアーキテクチャに基づいて構築された、AI駆動型のeラーニングプラットフォームであるSkillBaseを提案しており、これは、インテリジェントなアシスタンス、インタラクティブなアセスメント、および実践的なプログラミング演習といった機能を通じて、パーソナライズされた適応型学習体験を提供することで、従来の教育の限界に対処するものである。

Aieleni Abhinav Reddy, Munamarthi Rohit2026-10-07
💻 コンピュータサイエンス

The social psychology of AI agents

この研究は、大規模言語モデルが一致した、かつ社会的に望ましいとされる自己報告的な性格を示す一方で、実際の観察される社会的行動はモデル間で大きく異なり、自己報告からは予測できないことを明らかにしており、これは社会的相互作用のためのAIエージェントを選定する際に、行動評価が不可欠であることを示唆している。

Magdalena Katharina Wekenborg, Josi Harzbecker, Oleksandr Husak, Janani Sridharan, Julian Eder, Joseph Kambeitz, Venkat (…)2026-10-07