|
|
JAIST Repository >
i. 北陸先端科学技術大学院大学(JAIST) >
i20. 学位論文 >
一覧: 日付
検索結果: 289-309 / 504.
| 発行日 | タイトル |
著者 |
|---|
| 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 |
| Dec-2008 | 三層構造を有する表現豊かな音声の知覚モデルに関する研究 | 黄, 純芳; こう, じゅんほう |
| Sep-2008 | ディジタル音響再生装置におけるjitterの影響の正体とその改善効果の実証に関する研究 | 三井, 実; みつい, みのる |
| Sep-2008 | Aspect-Oriented Design for Embedded Software | Noda, Natsuko; のだ, なつこ |
| Jun-2008 | 医療画像から作成したボクセルデータによる血流・血管壁 連成解析システム | 熊畑, 清; くまはた, きよし |
| Mar-2008 | Tree-to-String Phrase-based Statistical Machine Translation | NGUYEN, Thai Phuong |
|
