情報・システム-ソフトウェアサイエンス(開催日:2013/01/15)

タイトル/著者/発表日/資料番号
表紙

,  

[発表日]2013/1/15
[資料番号]
目次

,  

[発表日]2013/1/15
[資料番号]
調停に基づく多目的ゲームの水資源問題への応用

坪谷 浩美,  金澤 尚史,  潮 俊光,  

[発表日]2013/1/15
[資料番号]MSS2012-45
ネット商取引のゲーム理論的解析 : カスタマーレビューが購買活動に与える影響について

吉田 明弘,  坂間 千秋,  

[発表日]2013/1/15
[資料番号]MSS2012-46
観測データ欠落時における経路計画手法を用いた経路予測

澤田 めぐみ,  尾崎 敦夫,  渡部 修介,  

[発表日]2013/1/15
[資料番号]MSS2012-47
健全な拡張自由選択ワークフローネットの可達性の多項式時間判定について

加納 大暉,  山口 真悟,  

[発表日]2013/1/15
[資料番号]MSS2012-48
自由選択ワークフローネットにおける非安全マーキングへの可達性解析

村上 雄基,  豊嶋 伊知郎,  山口 真悟,  

[発表日]2013/1/15
[資料番号]MSS2012-49
滞留なしペトリネットにおける依存部分ネット決定アルゴリズムの提案

松本 唯尊,  葛 崎偉,  松野 浩嗣,  

[発表日]2013/1/15
[資料番号]MSS2012-50
[招待講演]ペトリネットに対するアルゴリズム設計と性能解析(招待講演)

渡邉 敏正,  

[発表日]2013/1/15
[資料番号]MSS2012-51
コンカレント同期合成でモデル化された離散事象システムの可観測性解析

王 龍江,  高井 重昌,  

[発表日]2013/1/15
[資料番号]MSS2012-52
1ステップ予測区間に着目した線形システムのSelf-Triggered最適制御

小林 孝一,  平石 邦彦,  

[発表日]2013/1/15
[資料番号]MSS2012-53
2シャフトエレベータにおけるピーク電力抑制と利便性を両立する制御手法の効果

中山 健太郎,  高橋 宏治,  

[発表日]2013/1/15
[資料番号]MSS2012-54
複数評価基準希望リストを用いた安定結婚問題における安定性に関する一考察

金城 秀樹,  名嘉村 盛和,  

[発表日]2013/1/15
[資料番号]MSS2012-55
順序木の類似度を評価する手法の提案 : C言語プログラムの類似性検証への応用

包 胡日査,  中田 充,  葛 崎偉,  

[発表日]2013/1/15
[資料番号]MSS2012-56
グラフの極小決定セットを発見するアルゴリズムの提案

高地 くるみ,  中田 充,  葛 崎偉,  

[発表日]2013/1/15
[資料番号]MSS2012-57
カンファレンスプログラム編成のための局所探索法の性能強化 : 初期解生成と近傍交換

奥本 政彦,  田岡 智志,  渡邉 敏正,  

[発表日]2013/1/15
[資料番号]MSS2012-58
複写される方へ

,  

[発表日]2013/1/15
[資料番号]
Notice for Photocopying

,  

[発表日]2013/1/15
[資料番号]
奥付

,  

[発表日]2013/1/15
[資料番号]
裏表紙

,  

[発表日]2013/1/15
[資料番号]