|
|
JAIST Repository >
i. 北陸先端科学技術大学院大学(JAIST) >
i20. 学位論文 >
一覧: 日付
検索結果: 1996-2016 / 2551.
| 発行日 | タイトル |
著者 |
|---|
| Mar-2002 | 証明論的手法を用いた部分構造論理間の埋め込みに関する研究 | 松田, 真由美; まつだ, まゆみ |
| Mar-2002 | 耐タンパ・モバイルエージェントを実現するセキュリティ機構の提案と実装 | 長谷川, 信; はせがわ, まこと |
| Mar-2002 | 残響時間の自動推定による残響波形パワーエンベロープの回復に関する研究 | 古川, 正和; ふるかわ, まさかず |
| Mar-2002 | 二次元warpingを用いた頸部X線画像からの骨年齢推定に関する研究 | 福田, 将彦; ふくだ, まさひこ |
| Mar-2002 | ハウスメイト問題における平等性に関する研究 | 浅野, 美香; あさの, みか |
| Mar-2002 | 整合性を考慮したOCLからSQLへの変換に関する研究 | 吉積, 邦浩; よしづみ, くにひろ |
| Mar-2002 | Functional Scripting - 汎用的関数型言語における系統的な外部リソース操作の原理と実装 - | 大和谷, 潔; やまとだに, きよし |
| Mar-2002 | 高度感性情報再生に重要な物理要因の発見とその実現 -“力強さ”再生から発見したバランス伝送回路とＣＤ盤に重要な物理要因 - | 藤本, 桂一; ふじもと, けいいち |
| Mar-2002 | 家電ネットワークのためのIEEE1394-IEEE802.3透過接続に関する研究 | 菊池, 研自; きくち, けんじ |
| Mar-2002 | 音楽的音高知覚に関わる時間情報の優位性に関する研究 | 長谷川, 勝巳; はせがわ, かつみ |
| Mar-2002 | 高階述語論理定理証明器HOLのための問題領域ライブラリの構築 | 矢竹, 健朗; やたけ, けんろう |
| Mar-2002 | HPSGによるユークリッド『原論』の構文木の作成 | 仙田, 圭介; せんだ, けいすけ |
| Mar-2002 | マルチビデオストリームを配信するオンデマンド学習システムに関する研究 | 澤田, 憲志; さわだ, けんじ |
| Mar-2002 | 延長的簡約を拡張したGTTMによる楽曲の構造解析 | 井田, 健太郎; いだ, けんたろう |
| Mar-2002 | 怒りの感情音声における音響特徴量と感情知覚との関係に関する研究 | 平館, 郁雄; ひらだて, いくお |
| Mar-2002 | 多様性を持つエージェントによる人工市場モデルの構築 | 松井, 宏樹; まつい, ひろき |
| Mar-2002 | 型理論に基づくプログラミング言語の効率的な実装に関する研究 | 挽地, 篤志; ひきち, あつし |
| Mar-2002 | XMLで表現されたCプログラムの静的解析ツールの設計と実現 | 川島, 勇人; かわしま, はやと |
| Mar-2002 | 電子メールコミュニケーションにおける討議内容の要約と呈示法について | 渡邊, 大貴; わたなべ, ひろき |
| Mar-2002 | 参照ページからの情報を利用したWeb探索支援 | 板橋, 英夫; いたばし, ひでお |
| Mar-2002 | 時間論理とその情報科学への応用 | 今井, 英明; いまい, ひであき |
|
