|
|
JAIST Repository >
i. 北陸先端科学技術大学院大学(JAIST) >
i20. 学位論文 >
一覧: 日付
検索結果: 483-503 / 515.
| 発行日 | タイトル |
著者 |
|---|
| Mar-1998 | 関数および属性文法型計算モデルを用いた耐故障ソフトウェアのための複製技法 | Cherif, Adel; しぇりふ, あでる |
| Mar-1998 | 抽象解釈に基づくソフトウェアの段階的構成法とその評価 | 吉岡, 信和; よしおか, のぶかず |
| Mar-1998 | 超並列・分散コンピュータネットワークにおける並列計算機モデルと設備配置に関する研究 | 當山, 孝義; とうやま, たかよし |
| Mar-1998 | 否定数限定回路計算量について | 宋, 少秋; そん, しょうしゅう |
| Mar-1998 | 神経細胞の局所変数モデルとカオスによる神経回路モジュールの統合 | 佐野, 彰; さの, あきら |
| Mar-1998 | 巨大分子の超並列分子動力学法シミュレーションに関する研究 | 林, 亮子; はやし, りょうこ |
| Mar-1998 | フローショップ問題:特殊条件下の完了時刻和最小化の解析 | 岡田, 政則; おかだ, まさのり |
| Mar-1998 | 合意形成プロセスにおける参加者の視点情報の共有に基づくグループ意思決定支援システムの研究 | 加藤, 直孝; かとう, なおたか |
| Mar-1998 | 超多自由度マニピュレータの形状制御 | 望山, 洋; もちやま, ひろみ |
| Mar-1998 | ネットワーク結合型並列ディスクシステムに関する研究 | 味松, 康行; みまつ, やすゆき |
| Mar-1998 | ロバスト推定による視覚サーボシステムの設計 | 川端, 昭弘; かわばた, あきひろ |
| Mar-1998 | 画像のサブバンド符号化における帯域分割の最適化に関する研究 | 亀田, 昌志; かめだ, まさし |
| Mar-1998 | オブジェクト指向方法論のための動的モデルの形式化の研究 | 伊藤, 恵; いとう, けい |
| Mar-1998 | 並行自己反映計算の宣言的記述に関する研究 | 石川, 洋; いしかわ, ひろし |
| Sep-1997 | 神経細胞の情報伝達機構に基づくシナプス可塑性モデル | 鳥居, 鉱太郎; とりい, こうたろう |
| Jun-1997 | 複数エージェントのコミュニケーションによる共通言語の組織化 | 小野, 哲雄; おの, てつお |
| Mar-1997 | メッセージ指向型並列アクティブデータベースシステムの高速化に関する研究 | 宮崎, 純 |
| Mar-1997 | Structure of Genetic code and its Evolution | 真栄城, 哲也 |
| Mar-1997 | Hyperdoctrinal Semantics for Non-classical Predicate Logics | 白須, 裕之 |
| Mar-1997 | 複数自己回避ランダムウォーク生成の並列化アルゴリズムに関する研究-溶液中の 高子物性のシミュレーション | 志田, 和人 |
| Mar-1997 | Automated Editing of Electronic Texts | 佐藤, 円 |
|
