|
|
JAIST Repository >
i. 北陸先端科学技術大学院大学(JAIST) >
i20. 学位論文 >
一覧: 日付
検索結果: 275-295 / 515.
| 発行日 | タイトル |
著者 |
|---|
| Mar-2013 | A Study on Updating Documents: Information Insertion and Inconsistency Recognition | PHAM, Minh Quang Nhat; ふぁむ, みん くあん にゃっと |
| Jun-2012 | Equational Reasoning and Completion | Klein, Dominik; くらいん, どみにく |
| Mar-2012 | 負荷容量参照モデルによるプロジェクトの実現可能性の検討方法の提案と適用評価 | 艸薙, 匠; くさなぎ, たくみ |
| Dec-2011 | ソフトウェア設定の整合性判定と作成支援手法に関する研究 | 谷﨑, 裕明; たにざき, ひろあき |
| Sep-2011 | A UML Approximation of a Subset of the CK Metrics and Their Ability to Predict Faulty Classes | CAMARGO CRUZ, Ana Erika |
| Sep-2011 | ホームネットワークサービスおよびそのシステムの実証的検証に関する研究 | 岡田, 崇; おかだ, たかし |
| Sep-2011 | ビヘイビアミスマッチのためのアダプタ自動生成法 | 林, 信宏; りん, しんこう |
| Sep-2011 | Development of an Energy-Aware Resource Provisioning System for Datacenters in Clouds | Truong, Vinh Truong Duy; Truong, Vinh Truong Duy |
| Mar-2011 | A Study on Statistical Generation of a Hierarchical Structure of Topic-information for Multi-documents | NGUYEN, Viet Cuong |
| Mar-2011 | サービス指向型システムにおけるゴール指向要求技術による要求連携法 | 矢嶋, 健一; やじま, けんいち |
| Mar-2011 | インターネット環境に適した構造化P2Pネットワークソフトウェアの設計と実装 | 高野, 祐輝; たかの, ゆうき |
| Mar-2011 | ハイブリッドシステムの離散抽象化と最適制御への応用 | 崔, 舜星; さい, しゅんせい |
| Mar-2011 | 音声信号と調音状態の一対多の関係の分析及びその応用に関する検討 | 錦戸, 信和; にしきど, あきかず |
| Sep-2010 | オーバーフロー・丸め誤差検出のための静的解析とテキスト手法の合成 | Do, Thi Bich Ngoc |
| Jun-2010 | Load and Interference Aware Routing Metric for WLAN Mesh Networks | Nguyen, Lan Tien |
| Mar-2010 | Model Synthesis and Parametric Model Checking for Real-Time System Designs | サタウォンウィチット, チャイワット; さたうぉんうぃちっと, ちゃいわっと |
| Mar-2010 | モンテカルロ木探索とアマゾンへの応用 | Kloetzer, Julien; クロエツェー, ジュリアン |
| Mar-2010 | ハードウェア解析システムによる実行コードの動的最適化に関する研究 | 請園, 智玲; うけぞの, ともあき |
| Mar-2010 | モデル検査技術を活用した検証指向ソフトウェア設計手法の研究 | 金井, 勇人; かない, はやと |
| Mar-2010 | 構文獲得における対称性バイアスの有効性 | 的場, 隆一; まとば, りゅういち |
| Mar-2010 | 幾何的特徴を持つグラフクラスに対する効率のよいアルゴリズムに関する研究 | 齋藤, 寿樹; さいとう, としき |
|
