|
|
JAIST Repository >
i. 北陸先端科学技術大学院大学(JAIST) >
i20. 学位論文 >
一覧: 日付
検索結果: 295-315 / 515.
| 発行日 | タイトル |
著者 |
|---|
| 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; ふぁん, ちゃん |
| Mar-2009 | 状況情報の活用とプライバシ保護を両立するコミュニケーション支援に関する研究 | 内田, 達人; うちだ, たつひと |
| Mar-2009 | Decentralized Fault-tolerant Flocking Algorithms for a Group of Autonomous Mobile Robots | Xavier Defago; 楊, 燕; やん, いえん |
| Dec-2008 | プロジェクト管理知識のソフトウェア開発プロセスへの統合 | Aye, Saw Sanda |
|
