Measurement-Driven O-RAN Diagnostics with Tail Latency and Scheduler Indicators
この論文は、実測データを用いてアプリケーション層の遅延分布（特にテール遅延）と無線層のスケジューリング指標を統合的に分析する手法を提案し、O-RAN インスタンスの動作劣化を検知・診断するための解釈可能なクロスレイヤー診断フレームワークを構築したものである。
💻 Category
cs
3447 件の論文
LLMGreenRec: LLM-Based Multi-Agent Recommender System for Sustainable E-Commerce
本論文は、LLM を活用したマルチエージェントフレームワーク「LLMGreenRec」を提案し、ユーザーの持続可能な購買意図を推論して環境に配慮した製品を推薦すると同時に、システム自体のデジタル炭素フットプリントも削減する手法を確立したものである。
Separating Oblivious and Adaptive Differential Privacy under Continual Observation
この論文は、継続的観測モデルにおけるオブリビアス設定と適応的設定の差分プライバシーの間に明確な分離が存在することを示し、特定の相関ベクトルクエリ問題に対してオブリビアス設定では指数関数的な時間ステップまで正確なアルゴリズムが存在する一方、適応的設定では定数ステップで精度が失われることを証明して、Jain らが提起した未解決問題を解決しました。
Chasing RATs: Tracing Reading for and as Creative Activity
この論文は、アルゴリズムや AI による要約が圧縮・自動化しつつある人間の解釈的労働を可視化し、読書自体を創造的活動として再定義する「Reading Activity Traces（RATs）」という概念を提案し、その具体例としてウィキペディア向けの「WikiRAT」を紹介することで、人間の解釈が失われることなく知的ツールを設計するための新たな基盤を築こうとするものです。
DynVLA: Learning World Dynamics for Action Reasoning in Autonomous Driving
本論文は、自律運転における意思決定の精度向上を目指し、未来の環境変化をコンパクトなトークン列として表現・予測する「ダイナミクス CoT」を導入した新しい VLA モデル「DynVLA」を提案し、既存の手法を上回る性能を実証したものである。
Agentar-Fin-OCR
この論文は、複雑なレイアウトやページまたぎの構造といった金融ドキュメント特有の課題を解決し、監査レベルの追跡可能性を持つ構造化出力を実現する「Agentar-Fin-OCR」システムと、その評価のために専門家による注釈を備えた新しいベンチマーク「FinDocBench」を提案するものである。
Network Slicing in 5G Mobile Communication Architecture, Profit Modeling, and Challenges
この論文は、5G 以降の通信システムにおける鍵となる技術であるネットワークスライシングの概念とシステムアーキテクチャを解説し、特に「自社スライスの実装」と「外部スライスへのリソース貸与」という 2 つの側面から収益モデルを分析するとともに、実用化に向けた課題や今後の研究方向性について包括的に論じています。
Pwned: How Often Are Americans' Online Accounts Breached?
この論文は、Have I Been Pwned のデータと米国人 5,000 名の代表性サンプルを組み合わせることで、少なくとも 82.84% の米国人がオンラインアカウントの侵害に遭い、平均して 3 回以上侵害されていることを示し、教育水準が高い人、中年層、女性、白人がより高い侵害リスクにさらされていると結論付けています。
Online Monitoring of Metric Temporal Logic using Sequential Networks
本論文は、メトリック時相論理（MTL）仕様から離散・密時間両方の振る舞いに対してシーケンシャルネットワークを構築する手法を提案し、将来の時間的マーカーを用いた効率的なオンライン監視フレームワークを実現することで、既存手法よりも優れた性能と拡張性を示すものである。
Module checking of pushdown multi-agent systems
本論文は、プッシュダウン型マルチエージェントシステムのモジュール検査問題について、ATL 指定では 2EXPTIME 完全、ATL* 指定では 4EXPTIME 完全であることを示し、特に後者が自然な決定問題として三重指数時間を超える複雑性を持つ稀有な例であることを明らかにしています。
Probabilistic Counters for Privacy Preserving Data Aggregation
本論文は、モリスカウンターやマックスジオカウンターなどの確率的カウンターが、追加のランダム化なしで差分プライバシーを自然に満たすことを厳密に分析し、分散調査への応用可能性を示すものである。
Homomorphisms of (n,m)-graphs with respect to generalised switch
本論文は、(n,m)-グラフにおける一般化されたスイッチ操作に関する同型写像を公理的に研究し、既知の一般化を包括する新たな枠組みを構築するとともに、開問題の解決や積の存在証明、および森林に対する彩色数の決定など、この分野の基礎的な成果を多数導出したものである。
Excess demand in public transportation systems: The case of Pittsburgh's Port Authority
この論文は、満員により乗車できなかった乗客のデータ欠損（検閲）を補正するポアソン回帰モデルを用いた枠組みを提案し、ピッツバーグの公共交通システムにおける潜在的な超過需要を推定する手法を確立したものである。
Implicit Biases in Refereeing: Lessons from NBA Referees
この論文は、NBA のプレイバイプレイデータと最終 2 分レポートを用いた分析を通じて、ホームチームへのバイアス（特にプレーオフで顕著だがパンデミック後に減少）や特定の選手への有利な判定の存在を確認した一方で、特定の選手・チームに対する否定的なバイアスや人種的バイアスは見られなかったと結論付けています。
Towards Selecting the Informative Alternative Relational Query Plans for Database Education
本論文は、データベース教育において学習者がクエリ最適化の判断を理解できるよう、代替実行計画から最も情報価値の高い計画を選択する新しい問題（TIPS）を定義し、効率的な近似アルゴリズムを提案するとともに、実証的な評価を通じてその有効性を示しています。
An Elementary Proof of the FMP for Kleene Algebra
この論文は、正則表現の変換オートマトン表現を用いることで、最小化や双対性といった従来の手法に依存せず、クリーネ代数の有限モデル性およびそれに関連する完全性定理に対する新たな初等的証明を提示するものである。
Dyck Words, Pattern Avoidance, and Automatic Sequences
この論文は、0 と 1 をそれぞれ左括弧と右括弧とみなしたときの Dyck 語の性質を研究し、$7/3$-冪フリーな二進語の括弧の入れ子深さが有界であることを示すとともに、Thue-Morse 語に含まれる Dyck 語の因子を明示的に特徴づけ、その個数に関する厳密な上下界を導出したものである。
Proving Properties of -Representations with the Walnut Theorem-Prover
この論文は、Walnut 定理証明器を用いて Frougny と Sakarovitch の古典的定理をより計算直接的に再証明し、-表現に関する既存および新たな結果を統一的かつ自動的に導出する手法を提示しています。
Universal quantification makes automatic structures hard to decide
本論文は、自動構造における単一全称量化子の除去が、既存の手法では避けられない二重指数関数的な爆発を引き起こし、その言語の空性判定が EXPSPACE 完全であることを示すとともに、特定の量化子交互を持つ Büchi 算術の断片についても新たな下界を確立したことを述べています。
Termination of Graph Transformation Systems via Generalized Weighted Type Graphs
この論文は、グラフ変換系の停止性を証明するための重み付き型グラフ手法を改良し、その適用範囲を他の圏や DPO の変種へと拡張するとともに、グラフに対する手法の能力を向上させたものである。