On the Multi-Commodity Flow with convex objective function: Column-Generation approaches
この論文は、リンクの混雑度に応じて凸関数的に増加するコストを最小化する容量制約付き多商品フロー問題（分割可能および非分割可能の両方）に対し、凸関数やブラックボックス関数にも対応できる列生成法に基づく効率的な最適化アルゴリズムを提案するものである。
💻 Category
cs
2528 件の論文
VeriInteresting: An Empirical Study of Model Prompt Interactions in Verilog Code Generation
本論文は、大規模言語モデルの推論能力、専門性、プロンプト設計戦略の相互作用を分析し、Verilog コード生成におけるモデルクラスごとの反応パターンや一般化可能な傾向を明らかにする実証研究である。
AnalogToBi: Device-Level Analog Circuit Topology Generation via Bipartite Graph and Grammar Guided Decoding
本論文は、バイパートグラフ表現と文法ガイド付きデコーディングを導入し、電気的に妥当で新規性のあるデバイスレベルのアナログ回路トポロジーを条件付きで自動生成するフレームワーク「AnalogToBi」を提案し、既存手法を凌駕する性能を実証したものである。
Artificial Intelligence (AI) Maturity in Small and Medium-Sized Enterprises: A Framework of Internalized and Ecosystem-Embedded Capabilities
本論文は、中小企業（SME）の資源制約や生態系への依存といった実情を反映し、AI 成熟度を線形的な企業中心モデルから脱却させ、多面的で非線形かつ生態系に埋め込まれた能力として再概念化する新たな枠組みを提唱している。
Self-hosted Lecture-to-Quiz: Local LLM MCQ Generation with Deterministic Quality Control
この論文は、外部 API に依存せずローカル LLM と決定論的な品質管理を用いて講義資料から多肢選択問題を生成するエンドツーエンドのパイプラインを提案し、その有効性と教育ワークフローにおけるプライバシーや環境負荷への貢献を論じています。
Fair and Square: Replacing One Real Multiplication with a Single Square and One Complex Multiplication with Three Squares When Performing Matrix Multiplication and Convolutions
この論文は、行列乗算や畳み込みにおいて実数乗算を単一の二乗演算へ、複素数乗算を 3 つの二乗演算へ漸近的に置換可能であることを示し、ハードウェア実装におけるリソース削減を実現する手法とアーキテクチャを提案しています。
RSH-SpMM: A Row-Structured Hybrid Kernel for Sparse Matrix-Matrix Multiplication on GPUs
本論文は、実世界の疎行列における極端な不規則性に対応し、Tensor Core の利用率とスループットを最大化するため、適応的な行分割と RS-Tile 表現を採用したハイブリッドカーネル「RSH-SpMM」を提案し、最先端の手法と比較して最大 6.13 倍の高速化を実現したことを報告しています。
FormalRTL: Verified RTL Synthesis at Scale
この論文は、曖昧な仕様や形式保証の欠如といった産業規模のハードウェア設計における課題を克服するため、ソフトウェア参照モデルを形式仕様として統合し、計画・合成・形式等価性検査を密接に連携させる新しいマルチエージェントフレームワーク「FormalRTL」を提案し、大規模な産業グレードのベンチマークによる評価でその有効性を示したものです。
Adaptive Multi-Objective Tiered Storage Configuration for KV Cache in LLM Service
この論文は、LLM 推論における KV キャッシュのオフロードを多目的最適化問題として定式化し、非解析的な目的関数と複雑な変数結合を効率的に処理する「Kareto」という適応型最適化ツールを提案することで、コスト、スループット、レイテンシのバランスを最適化し、固定構成に比べて最大 9.3% のスループット向上や最大 58.3% のレイテンシ削減を実現することを示しています。
Extension of ACETONE C code generator for multi-core architectures
この論文は、安全クリティカルシステム向けに開発された機械学習用 C 言語コード生成フレームワーク「ACETONE」を、マルチコアアーキテクチャに対応させるため、プロセッサ割り当て問題の定義や既存手法の調査を通じて並列コード生成機能の拡張を提案するものである。
ChatNeuroSim: An LLM Agent Framework for Automated Compute-in-Memory Accelerator Deployment and Optimization
本論文は、計算内蔵メモリ（CIM）アクセラレータの設計空間探索を自動化し、大規模言語モデル（LLM）エージェントと設計空間剪定技術を用いてシミュレーションから最適化までのワークフローを効率化し、DNN ワークロードに対する最適構成の迅速な特定を可能にする「ChatNeuroSim」というフレームワークを提案するものである。
Electoral Systems Simulator: An Open Framework for Comparing Electoral Mechanisms Across Voter Distribution Scenarios
本論文は、有権者の分布シナリオに基づいて複数の選挙制度をシミュレーションし、その結果と有権者分布の幾何学的中央値との距離を評価するオープンソースの Python フレームワーク「electoral_sim」を提案し、既存の制度から理論的な上限性能を示す仮想的な新方式までを比較検証したものである。
Serving Compound Inference Systems on Datacenter GPUs
複数の ML モデルをタスクグラフとして構成する化合物推論システムに対し、モデルのバリエーション選択と GPU の空間的パーティショニングを統合的に最適化することで、既存の手法と比較して最大 11.3 倍のサービス処理能力を実現し、高い精度と低遅延を維持しながら GPU リソースを大幅に削減する「JigsawServe」という新しい推論サービスフレームワークを提案する論文です。
Granulon: Awakening Pixel-Level Visual Encoders with Adaptive Multi-Granularity Semantics for MLLM
この論文は、CLIP ベースの視覚エンコーダが抱える細粒度理解の課題と DINOv3 が持つ粗粒度抽象化の欠点を補うため、テキスト入力に応じて視覚抽象化レベルを動的に調整する「Granulon」という新しいマルチモーダル大規模言語モデルを提案し、単一のフォワードパスでピクセルから粗粒度までを統合的に推論可能にすることで、精度の向上とハルシネーションの削減を実現したことを示しています。
Time warping with Hellinger elasticity
任意の距離空間に値を持つ時系列のマッチング問題に対し、ヘリングカーネルを伸縮ペナルティとして用いる最適化手法「弾性時間歪み（Elastic Time Warping）」アルゴリズムを提案し、その計算量を立方（O(n³)）に抑えている。
Where, What, Why: Toward Explainable 3D-GS Watermarking
この論文は、3D ガウススプラッティングの品質を損なわずにロバストな透かし埋め込みを実現し、どのガウスプリミティブに情報を埋め込み、なぜそれが選択されたかを説明可能な「Trio-Experts」モジュールと「SBAG」ゲートを用いた新しいフレームワークを提案するものです。
Age-Related Differences in the Perception of Eye-Gaze from a Social Robot
この論文は、高齢者が日常生活支援を行う社会ロボットからの視線手がかりを若年層と比較してどのように知覚するかを調査し、加齢に伴う変化を考慮した適応的な非言語キューの設計に貢献することを目的としています。
VisionCreator-R1: A Reflection-Enhanced Native Visual-Generation Agentic Model
本論文は、視覚生成エージェントにおける中間エラー修正のための体系的なリフレクション機構の欠如を解決するため、リフレクションと計画の非対称性を踏まえた「リフレクション・プラン共最適化（RPCO）」トレーニング手法を提案し、これにより単一画像および複数画像タスクにおいて既存のベンチマークで Gemini2.5 Pro を凌駕する VisionCreator-R1 を開発したことを報告しています。
HMR-1: Hierarchical Massage Robot with Vision-Language-Model for Embodied Healthcare
本論文は、視覚言語モデルを用いた階層的なマッサージロボット「HMR-1」を提案し、12,190 枚の画像と 17 万 4,177 組の QA ペアからなるマルチモーダルデータセット「MedMassage-12K」および評価ベンチマークを構築することで、医療分野における身体知能の課題を解決し、実機実験を通じてその実用性を検証したものです。
Clarifying the Compass: A Reflexive Narrative on Entry Barriers into HCI and Aging Research
この論文は、HCI と高齢化研究の分野への参入障壁をテーマに、高齢者ニーズと技術設計の乖離を指摘するとともに、シニアコミュニティでのボランティア活動を通じて培った共感や理解の深まりを、2 人の研究者が自らの経験に基づき振り返った内容を示しています。