|
|
JAIST Repository >
i. 北陸先端科学技術大学院大学(JAIST) >
i20. 学位論文 >
一覧: タイトル
検索結果: 744-764 / 2524.
| 発行日 | タイトル |
著者 |
|---|
| Mar-2003 | エージェント指向ペトリネットの解析について | 岡橋, 孝治; おかはし, こうじ |
| Mar-2016 | エージェント間の信頼度を考慮した知識状態の変化に関する研究 | 飯塚, 昂史; いいづか, たかし |
| Mar-2014 | エージェント間の通信チャネルの変化に対応した動作機構の構築 | 廣瀬, 伸也; ひろせ, しんや |
| Mar-2006 | エージェント間の通信経路を考慮した論理に基づく通信行為の形式化 | 小林, 幹門; こばやし, みきと |
| Mar-2024 | エージェント間の連携ネットワークにおける信じられる論証の集合の特定 | 清水, 颯太郎; しみず, そうたろう |
| Mar-2004 | エージェント間通信を考慮した論理に基づく推論システムの作成 | 渡邊, 光雄; わたなべ, みつお |
| Mar-1997 | オブジェクト指向に基づくナビエ・ストークス方程式の数値シミュレーション | 上田, 隆宏; うえだ, たかひろ |
| Mar-2008 | オブジェクト指向ソフトウェアに対する品質予測モデル | Camargo Cruz, Ana Erika; Camargo Cruz, Ana Erika |
| Mar-1999 | オブジェクト指向方法論における動的モデルの段階的構築法に関する研究 | 尾崎, 弘幸; おざき, ひろゆき |
| Mar-1998 | オブジェクト指向方法論のための形式的モデルの検証 | 石田, 至; いしだ, いたる |
| Mar-1999 | オブジェクト指向方法論のための検証フレームワークに関する研究 | 花田, 真樹; はなだ, まさき |
| Mar-2000 | オブジェクト指向方法論のための検証支援環境に関する研究 | 立石, 孝彰; たていし, たかあき |
| Mar-2001 | オブジェクト指向方法論のための通信モデルに関する研究 | 赤木, 匡博; あかぎ, まさひろ |
| Mar-2004 | オブジェクト指向方法論を用いたテレビゲームソフトウェアの開発実験 | 三浦, 陽平; みうら, ようへい |
| Mar-1997 | オブジェクト指向設計におけるデザインパターンの特定分野への適用に関する研究 | 清水, 裕光; しみず, ひろみつ |
| Jun-1997 | オブジェクト指向開発の実際の製品への適用に関する研究 | 小早川, 雅一; こはやかわ, まさかず |
| Mar-1997 | オプティカルフロー拘束方程式に基づく物体遮蔽判定方法に関する研究 | 坂, 貴志; さか, たかし |
| Mar-2006 | オペレーティングシステムのCソースコードに対する形式的モデル検査ツールの実践的利用 | 水上, 智雄; みずかみ, ともお |
| Mar-1997 | オペレーティングシステムの最適化に関する研究 | 寺田, 徹; てらだ, とおる |
| Mar-2002 | オンデマンド学習における学習者へのフィードバックに関する研究 | 田代, 健大郎; たしろ, けんたろう |
| Mar-1999 | オンデマンド学習に適した電子教材の編成法 | 猪俣, 敦夫; いのまた, あつお |
|
