先行順序付き合流可能運搬経路問題に対する局所探索法 (最適化手法の深化と広がり)
スポンサーリンク
概要
著者
関連論文
- 制御マルコフ連鎖における成長確率最大化について (不確実・不確定性下での意思決定過程)
- QEのための数値数式paritial CADの実装 (Computer Algebra : Design of Algorithms, Implementations and Applications)
- 2-E-8 多段決定過程における非終端型閾値確率問題(意思決定(3))
- 数値数式CADの実装
- 縮小写像の離散不動点定理と展開形ゲーム (最適化モデルとアルゴリズムの新展開)
- 数値数式QE/CADの実装
- OpenXMの新サーバ, 新プロトコル (Computer Algebra : Design of Algorithms, Implementations and Applications)
- 各期間毎に目標をもつ多段決定過程 (不確実性下における意思決定問題)
- CADにおけるi-projection operator導入によるQEの効率化 (第19回日本数式処理学会大会報告)
- 数式処理によるパラメトリック多項式最適化手法 (最適化手法の深化と広がり)
- 先行順序付き合流可能運搬経路問題に対する局所探索法 (最適化手法の深化と広がり)
- CADにおける i-projection operator 導入によるQEの効率化
- パラメトリック多項式最適化問題専用 Cylindrical Algebraic Decomposition と動的計画法への適用(数式処理 : その研究と目指すもの)
- 最適化問題に対するCADの効率的な手法 (第20回日本数式処理学会大会報告)
- 数値数式最適化技術のものづくりへの適用(インダストリアルマテリアルズ)
- 符号情報利用による数値数式 CAD の効率的な実装 (Computer Algebra : Design of Algorithms, Implementations and Applications)
- 数値数式手法による多目的最適化 (Computer Algebra : Design of Algorithms, Implementations and Applications)
- 最適化問題に対するCADの効率的な手法
- 1-D-2 ピーク電力削減のためのノートPCのバッテリー充放電計画の最適化(節電)
- 奨励賞受賞論文 Bounded Cylindrical Algebraic DecompositionによるQuantifier Eliminationの効率化
- Sign Definite Condition 専用 Quantifier Elimination における論理式の簡単化 (数式処理 : その研究と目指すもの)
- ノートPCバッテリを活用したピーク電力削減のための充放電統合制御システム