JAIST Repository > JAIST > Theses > Master of Science（Information Science） >
Lightweight Termination Analysis For Term Rewriting
不確かな環境におけるワークフローの記述／実現方法に関する調査研究 [課題研究報告書]
脳機能信号と行動生理信号を組み合わせたBrain Machine Interface(BMI)の提案
赤外線カメラによる人物照合
家族間のインタラクションを考慮した人間行動シミュレーション
