奨励賞受賞論文 Bounded Cylindrical Algebraic DecompositionによるQuantifier Eliminationの効率化
スポンサーリンク
概要
著者
関連論文
- QEのための数値数式paritial CADの実装 (Computer Algebra : Design of Algorithms, Implementations and Applications)
- 数値数式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バッテリを活用したピーク電力削減のための充放電統合制御システム