3670 件の論文
本論文は、正当性の制約を遵守しつつ、意思決定に不可欠な不確実性を解消するために、各観測の後に認可権限を動的に再計算することで、自律エージェントによる安全な証拠収集を保証するフレームワークであるBranch-Relative Authority Closure（BRAC）を導入するものである。
本研究は、都市の電力効率のためのアンサンブルベースの異常検知システムを提案し、従来の機械学習アルゴリズムとディープラーニングのオートエンコーダを比較することで、オートエンコーダが（0.9740および0.9494のF1スコアにより）優れた性能を達成するとともに、持続可能なエネルギー管理を支援するためにSHAPを用いて解釈性を実現していることを示している。
TPA-Flowは、生理学的テンソル積アテンションを介して信頼性加重された周期的な事前知識を統合し、波形の歪みを補正するための新規な直接アンカー型Rectified Flowデコーディングメカニズムを用いることで、生理学的モニタリングの精度と堅牢性を高める統一されたリモートフォトプレチスモグラフィ・フレームワークである。
CogAlign-CausalXは、セグメンテーションマスクを形態学的分類の固有の説明として扱うポリープ解析パイプラインであり、Kvasir-SEGデータセットにおいて競争力のある性能を達成しつつ、絶対的なセグメンテーション精度における限界とアライメントスコアを従来の重複指標と組み合わせる必要性を認めた、高速で閉形式のアライメント・スコアリング指標（XAlign）によって検証されている。
本論文では、ラベルマッチングとコンポーネント移動によって強化されたパスリリンキング・メタヒューリスティックを、容量付き頂点分離問題を効率的に解くために導入し、ほとんどのケースで最適解に一致し、残りのケースでは上界を改善することによって、既存の厳密アルゴリズムに対する優れた性能を実証する。
本論文は、継続的インテグレーションにおけるテストケース優先順位付けのための軽量な異常検知型多層パーセプトロンであるAnoMLP-TCPを紹介しており、これは、より複雑なベースラインであるAnoLSTM-TCPに匹敵する性能を達成しつつ、モデルパラメータ数、学習時間、および計算コストを大幅に削減している。
本論文は、デザインサイエンス・リサーチを通じて開発された、DAGベースの台帳とゼロ知識証明を組み合わせた5層アーキテクチャを利用することで、低接続環境において安全、高性能、かつAML（アンチマネーロンダリング）に準拠した金融取引を実現する、新しいアーティファクトであるオフライン対応デジタルウォレット（OCDW）を提示し、既存のブロックチェーン・ソリューションをレイテンシ、スループット、およびエネルギー効率において大幅に上回るものである。
本論文は、再現可能で二重検証された準備基準を強制するために外部のトランザクション状態マシンを実装することが、生成的な開発を、オープンループの意見ベースのプロセスから、多様なモデル間で機能的同等性を達成し、最終的には総コストを削減し、ヒューマン・イン・ザ・ループの除去を可能にするクローズドループのシステムへと変革させることを実証するものである。
本論文は、相互帰納型、符号付き整数演算、およびカーネルとその自己記述的方程式の相互実装検証を通じてシステムの妥当性を確認することに成功した、Lean 4によって検証された定理と証明付き契約を持つ実行可能なRustコードを同時に生成する、OCamlのサブセットに対するPythonベースのHindley–Milnerフロントエンドを提示する。
この論文は、Googleのリッチリザルト テストにおける2つのサイレントな失敗を特定しており、それらは、警告なしにJSON-LDオブジェクトの数を102個で切り捨てる表示制限と、"EventCompleted"のような無効な値を誤って受け入れてしまうeventStatusプロパティの検証不足です。