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