|
JAIST Repository >
i. 北陸先端科学技術大学院大学(JAIST) >
i20. 学位論文 >
M-IS. 修士(情報科学) >
M-IS. 2001年度(H13) >
一覧: タイトル
検索結果: 9-29 / 121.
発行日 | タイトル |
著者 |
Mar-2002 | tableau法に基づく定理自動証明システムの構築 | 杉江, 建輔; すぎえ, けんすけ |
Mar-2002 | Temporal DecompositionとSTRAIGHTを用いた低ビットレート音声符号化に関する研究 | 越智, 崇夫; おち, たかお |
Mar-2002 | UMLからのコンポーネントソフトウェア自動生成に関する研究 | 片山, 仁史; かたやま, よしひと |
Mar-2002 | XMLで表現されたCプログラムの静的解析ツールの設計と実現 | 川島, 勇人; かわしま, はやと |
Mar-2002 | Zonal法を用いた3次元分岐管内流れの並列計算 | 渡辺, 丈展; わたなべ, たけのぶ |
Mar-2002 | アドホックPANにおける個人情報環境に関する研究 | 田中, 洋; たなか, ひろし |
Mar-2002 | アドホックネットワークとインターネットの相互接続性に関する研究 | 芳炭, 将; よしずみ, まさし |
Mar-2002 | アルゴリズム理論に基づく効率の良いハーフトニング手法の開発 | 小蕎, 圭祐; おそば, けいすけ |
Mar-2002 | ウェーブ・パイプラインによる低消費電力プロセッサの設計と試作による性能実証 | 松居, 昭宏; まつい, あきひろ |
Mar-2002 | オンデマンド学習における学習者へのフィードバックに関する研究 | 田代, 健大郎; たしろ, けんたろう |
Mar-2002 | オープンソースソフトウェア開発に適したCVSリポジトリの階層型分散構成法の研究 | 嶋田, 大輔; しまだ, だいすけ |
Mar-2002 | カオス理論を利用した擬似乱数生成法に関する研究 | 石坂, 祐介; いしざか, ゆうすけ |
Mar-2002 | グループ通信におけるマルチキャスト配送方式の動的切り替えに関する研究 | 横堀, 充; よこほり, みつる |
Mar-2002 | スギ花粉飛散量の広域的予測に関する研究 | 野末, 直道; のずえ, なおみち |
Mar-2002 | スリット回転型エッジ特徴抽出器を用いたコーナー検出に関する研究 | 江藤, 康隆; えとう, やすたか |
Mar-2002 | ソースコードのメンテナンスを対象としたソースコード理解支援環境に関する研究 | 田中, 慎太郎; たなか, しんたろう |
Mar-2002 | ハウスメイト問題における平等性に関する研究 | 浅野, 美香; あさの, みか |
Mar-2002 | パス指向型インターネット技術の実装検証に関する研究 | 瀧, 智博; たき, ともひろ |
Mar-2002 | ビジネスソフトウェアのドメイン分析に基づくコンポーネント化の研究 | 中間, 貴規; なかま, たかのり |
Mar-2002 | ビデオネットワークにおける動的な資源発見及び接続機構 | 鈴木, 賢治; すずき, けんじ |
Mar-2002 | フィードバックのあるパイプライン回路のウェーブパイプライン化に関する研究 | 大石, 亮介; おおいし, りょうすけ |
|