JAIST Repository > i. 北陸先端科学技術大学院大学(JAIST) > i20. 学位論文 > D-IS. 博士（情報科学） >
業務プロセスの信頼性のアセスメント手法の提案－取引の伝票不整合リスクのある業務プロセスを判定する手法ー
ワイアレスのネットワークテクノロジーの実験的なアセスメントについて
音環境バリアフリーのためのパワーエンベロープ処理体系
室内空調における空間認識手法と人の快適性の評価モデルに関する研究
マルチエージェント・コミュニケーションのための様相論理に関する線形代数的意味論
