|
|
JAIST Repository >
i. 北陸先端科学技術大学院大学(JAIST) >
i20. 学位論文 >
一覧: 日付
検索結果: 294-314 / 517.
| 発行日 | タイトル |
著者 |
|---|
| Mar-2010 | ハードウェア解析システムによる実行コードの動的最適化に関する研究 | 請園, 智玲; うけぞの, ともあき |
| Mar-2010 | モデル検査技術を活用した検証指向ソフトウェア設計手法の研究 | 金井, 勇人; かない, はやと |
| Mar-2010 | 構文獲得における対称性バイアスの有効性 | 的場, 隆一; まとば, りゅういち |
| Mar-2010 | 幾何的特徴を持つグラフクラスに対する効率のよいアルゴリズムに関する研究 | 齋藤, 寿樹; さいとう, としき |
| Mar-2010 | 匿名性を考慮した属性ベース方式に関する研究 | 江村, 恵太; えむら, けいた |
| Mar-2010 | Malware Propagation and its Impacts in Heterogeneous Ad hoc Wireless Networks: A Novel Framework | Nguyen, Hoai Nam; ぐえん, ほあい なむ |
| Mar-2010 | 複数のリソースからの大規模上位下位関係シソーラスの自動構築 | 隅田, 飛鳥; すみだ, あすか |
| Dec-2009 | プロセス代数に基づくシステムレベル設計アーキテクチャ | 岩政, 幹人; いわまさ, みきと |
| Sep-2009 | Theorem Proving and Institutions | Gaina, Daniel |
| Sep-2009 | Assume-Guarantee Verification of Evolving Component-Based Software | Pham, Ngoc Hung; Pham, Ngoc Hung |
| Mar-2009 | ユビキタスネットワークシミュレーション環境の構築に関する研究 | 中田, 潤也; なかた, じゅんや |
| Mar-2009 | インターネット上の背景放射パケットの解明と脅威検知手法の研究 | 石黒, 正揮; いしぐろ, まさき |
| Mar-2009 | 対立を用いた法的知識の整合性検証 | 萩原, 信吾; はぎわら, しんご |
| Mar-2009 | Network Access Control for Highly Mobile Systems: Performance Analysis and Improvements | Zrelli, Saber |
| Mar-2009 | Pushdown Automata and Inclusion Problems | Nguyen, Tang Van |
| Mar-2009 | 極微細化集積回路のための制御信号タイミングの詳細設計に基づいた高位合成 | 小畑, 貴之; おばた, たかゆき |
| Mar-2009 | An Architecture for Securing Component-Based Applications | Vo, Hieu Dinh |
| Mar-2009 | Improving Phrase-based Statistical Machine Translation Using Clause Splitting and Reordering Models | Vinh, Van Nguyen |
| Mar-2009 | 通信チャネルを組み込んだ論理体系に基づくエージェント間通信の表現 | 小林, 幹門; こばやし, みきと |
| Mar-2009 | Studies on Spectral Modification in Voice Transformation | Nguyen, Binh Phu |
| Mar-2009 | A Study On Construction And Control Of A Three-Dimensional Physiological Articulatory Model For Speech Production | Fang, Qiang; ふぁん, ちゃん |
|
