JAIST Repository > JAIST > Theses > Doctor of Philosophy(Information Science) >
SysMLメタモデルを用いた宇宙機システム運用シナリオ評価
モデル検査に基づくフラッシュファイルシステムのクラッシュ整合性検証
グラフニューラルネットワークを用いた知識グラフ表現学習に関する研究
完全パイプライン型2LAL断熱論理回路の設計自動化および最適化
軌道走行型パトロールロボットシステムの速度制御とSim-to-Real展開のための説明可能な深層強化学習フレームワーク