JAIST Repository > JAIST > Theses > Master of Science（Information Science） >
【課題研究報告書】分散リーダエレクションプロトコルの形式仕様とモデル検査
エージェント間の連携ネットワークにおける信じられる論証の集合の特定
スマートホームにおける資源管理機能に関する研究
就職面接訓練における自己評価・他者評価と生体情報の関連性の分析
生体情報に基づく心理的にポジティブな印象を与える画像に関する研究
