スポンサーリンク
名古屋大学大学院 情報科学研究科 | 論文
- 移動時間コスト関数を考慮した時間枠つき配送計画問題に対する局所探索法 (数理最適化から見た「凸性の深み,非凸性の魅惑」)
- Local Search Algorithms for the Two-Dimensional Cutting Stock Problem with a Given Number of Different Patterns (Captivation of Convexity : Fascination of Nonconvexity)
- 移動時間コスト関数を考慮した時間枠つき配送計画問題に対する局所探索法(組合せ(1))
- 段取り替え制約付きカッティングストック問題に対する列生成法を用いた局所探索法の提案(組合せ(1))
- 条件付き等式の変換に基づくプログラム生成
- 制約付き項書換え系における書換え帰納法
- プレスブルガー文付き項書換え系における書換え帰納法について
- 非完全な仕様における振舞等価性の自動証明法
- Particle Filterを用いた複数無線LAN基地局の位置推定手法(セッション1:位置検出)
- 暗号プロトコル記述からカラーペトリネットへの変換による機密性検証
- 投入順序決定ドメインシェルの開発-バンパー塗装ラインへの応用
- 3U-10 制約指向パラダイムによるAT油圧回路ロジック検証システム
- セルオートマトンモデルによる構造デザイン
- 特集「第11回MPSシンポジウム: 複雑系の科学とその応用」の発刊にあたって(第11回MPSシンポジウム: 複雑系の科学とその応用)
- 特集「第11回MPSシンポジウム : 複雑系の科学とその応用」の発刊にあたって
- セル・オートマトンを用いた三次元構造物の最適設計(OS7 計算固体力学とシミュレーション)
- 2-F-15 点容量付き内向木詰込問題の計算量(グラフ(2))
- 点容量付き内向木詰込問題の計算複雑度
- 長方形配置問題に対するbest-fit法の効率的な実現
- 配置コストをもつ長方形詰込み問題に対する局所探索法の高速化 (最適化の数理とアルゴリズム)