|
|
JAIST Repository >
i. 北陸先端科学技術大学院大学(JAIST) >
i20. 学位論文 >
一覧: 日付
検索結果: 423-443 / 515.
| 発行日 | タイトル |
著者 |
|---|
| Mar-2002 | 階層型相互結合網のワームホール・ルーティングに関する研究 | 三浦, 康之; みうら, やすゆき |
| Mar-2002 | コンポーネントソフトウェア開発用軽量フォーマルメソッドの研究 | 松本, 充広; まつもと, みちひろ |
| Mar-2002 | 項書き換えシステムのための評価戦略の研究 | 中村, 正樹; なかむら, まさき |
| Mar-2002 | 有限差分法による非圧縮粘性流体シミュレーションの高性能並列計算の研究 | 黒川, 原佳; くろかわ, もとよし |
| Mar-2002 | 直観主義論理のいくつかの部分論理に対するゲンツェン流Sequent計算 | 菊池, 健太郎; きくち, けんたろう |
| Mar-2002 | 現実的な電子署名の設計と解析 | 岡本, 健; おかもと, たけし |
| Mar-2002 | フィッサーの論理,古典論理および一階算術に関する証明論的研究 | 石井, 克正; いしい, かつまさ |
| Mar-2002 | 遺伝的アルゴリズムの並列化と多目的最適化問題への適用 | 堀井, 宏祐; ほりい, ひろすけ |
| Mar-2002 | 塩水楔観測データ解析手法の研究 | 上野, 博芳; うえの, ひろよし |
| Dec-2001 | 協調共有力覚提示型仮想現実環境のシステムアーキテクチャに関する研究 | ALHALABI, M. Osama; あるはらび, おさま |
| Sep-2001 | 直観主義線形論理に対するペトリネットモデル | 石原, 啓子; いしはら, けいこ |
| Jun-2001 | 疎結合分散環境における耐故障性と適応性を実現するソフトウェアの構成に関する研究 | 豊島, 真澄; とよしま, ますみ |
| Mar-2001 | エージェント技術を利用した匿名通信に関する研究 | 北澤, 繁樹; きたざわ, しげき |
| Mar-2001 | 述語階層, イベント性および内在的否定を導入した順序ソート論理 | 兼岩, 憲; かねいわ, けん |
| Mar-2001 | 個性を考慮した情緒あるピアノ曲の自動演奏に関する研究 | 星芝, 貴行; ほししば, たかゆき |
| Mar-2001 | 様相論理に対する代数とフレーム | 橋本, 安司; はしもと, やすし |
| Mar-2001 | 再利用可能な拡張機構を備えた言語処理系 | 佐伯, 豊; さえき, ゆたか |
| Mar-2001 | 大規模決定木学習のためのスケーラブルアルゴリズム | Nguyen, Trong Dung |
| Mar-2001 | 論文間の参照情報の抽出と利用に関する研究 | 難波, 英嗣; なんば, ひでつぐ |
| Mar-2001 | 音楽・音響再生の高度感性情報再現の評価に重要な評価語解析と無歪み伝送装置の実現で用いられたキー評価語に基づく物理要因・特性の発見及び総合評価-キー評価語-物理要因・特性の関係の実証に関する研究(-高度感性情報の再現に関する心理物理学的研究-) | 石川, 智治; いしかわ, ともはる |
| Mar-2000 | 制限付き構造規則を持つ部分構造論理 | 上出, 哲広; かみで, のりひろ |
|
