|
|
JAIST Repository >
i. 北陸先端科学技術大学院大学(JAIST) >
i20. 学位論文 >
一覧: 日付
検索結果: 435-455 / 515.
| 発行日 | タイトル |
著者 |
|---|
| Mar-2001 | エージェント技術を利用した匿名通信に関する研究 | 北澤, 繁樹; きたざわ, しげき |
| Mar-2001 | 述語階層, イベント性および内在的否定を導入した順序ソート論理 | 兼岩, 憲; かねいわ, けん |
| Mar-2001 | 個性を考慮した情緒あるピアノ曲の自動演奏に関する研究 | 星芝, 貴行; ほししば, たかゆき |
| Mar-2001 | 様相論理に対する代数とフレーム | 橋本, 安司; はしもと, やすし |
| Mar-2001 | 再利用可能な拡張機構を備えた言語処理系 | 佐伯, 豊; さえき, ゆたか |
| Mar-2001 | 大規模決定木学習のためのスケーラブルアルゴリズム | Nguyen, Trong Dung |
| Mar-2001 | 論文間の参照情報の抽出と利用に関する研究 | 難波, 英嗣; なんば, ひでつぐ |
| Mar-2001 | 音楽・音響再生の高度感性情報再現の評価に重要な評価語解析と無歪み伝送装置の実現で用いられたキー評価語に基づく物理要因・特性の発見及び総合評価-キー評価語-物理要因・特性の関係の実証に関する研究(-高度感性情報の再現に関する心理物理学的研究-) | 石川, 智治; いしかわ, ともはる |
| Mar-2000 | 制限付き構造規則を持つ部分構造論理 | 上出, 哲広; かみで, のりひろ |
| Mar-2000 | Orthologicsの意味論的研究 | 宮崎, 裕; みやざき, ゆたか |
| Mar-2000 | マイクロホン対を用いた雑音除去法に関する研究 | 水町, 光徳; みずまち, みつのり |
| Mar-2000 | Software Agents and Quality of Service Issues in Distributed Systems | Mamadou, Tadiou Kone |
| Mar-2000 | 項書換え系の停止性，AC停止性，依存対に関する研究 | 草刈, 圭一朗; くさかり, けいいちろう |
| Mar-2000 | 感覚遮断環境におけるヒトの心拍変動・脳波ダイナミクスと意識の状態に 関する研究 | 岩田, 一樹; いわた, かずき |
| Mar-2000 | 同一結合子を持つ非古典論理とその代数的特徴付け | 石井, 忠夫; いしい, ただお |
| Mar-2000 | リフレクションを利用したCORBAアプリケーション開発環境に関する研究 | 藤枝, 和宏; ふじえだ, かずひろ |
| Mar-2000 | 誤り生成/伝搬のグラフモデルに基づくアルゴリズムレベル耐故障化システム | 朴, 春植; ぱく, ちゅんしく |
| Mar-2000 | 拡張の合成を容易とするメタレベルアーキテクチャの研究 | 田中, 哲; たなか, あきら |
| Sep-1999 | 繰り返し連続化囚人のジレンマゲームによるマルチエージェント系の解析 | 千葉, 一博; ちば, かずひろ |
| Sep-1999 | 人間の持つ解決戦略を利用した問題解決システムの構築及びその設計法に関する研究 | 飯田, 栄治; いいだ, えいじ |
| Mar-1999 | 代数の表現と無限および述語論理のクリプキ完全性 | 田中, 義人; たなか, よしひと |
|
