知識ベース指向処理に関する研究
知識ベースビューに基づくエキスパートシステム構築に関する研究
型理論に基づく高次推論処理に関する研究
依存性解析に基づく非同期式プロセッサの論理合成に関する研究
知識工学に基づく建築デザインプロセスに関する研究
消散システム理論に基づく制御系設計
エキスパート知識に基づく分散システムの設計に関する研究
様相記号統一化による様相論理定理証明器の研究
線形推定理論に基づく画像復元法とその安定性に関する研究
構成的論理に基づくプログラムの合成と解析の研究
定性推論に基づく動的システムの因果理解に関する研究
不可逆熱力学構成式理論に基づく連続体損傷力学の研究
シュライエルマッハーの社交性理論に関する研究 : 教育学的基礎理論としての社交性理論
非線形動力学理論に基づく原子炉出力振動の解析
新しい原理に基づく機能性薄膜の熱拡散率測定に関する研究
韓国・京釜運河の実現可能性に関する研究
視覚特性に基づく立体テレビジョン画像に関する基礎研究
論理プログラミング言語による知識獲得支援システムの研究
適合の原理に基づく制御系設計に関する研究
多属性効用理論に基づく消費者購買モデルからみた戦略的デザイン投入計画
現地観測に基づく河川流の乱流特性に関する研究
鉄鉱石性状に基づく高品質焼結鉱の製造に関する基礎的研究
非線形理論に基づく撹拌槽内の長周期ゆらぎ現象の研究
部分例示手法に基づく定理自動証明に関する研究
最終更新日:
登録日: 2020-12-17