|
JAIST Repository >
i. 北陸先端科学技術大学院大学(JAIST) >
i20. 学位論文 >
一覧: 日付
検索結果: 274-294 / 517.
発行日 | タイトル |
著者 |
Jun-2013 | 多軸自在継手を用いた可変構造の形態解析および一般逆行列に基づく流体解析 | 横須賀, 洋平; よこすか, ようへい |
Mar-2013 | 血流解析による脳動脈瘤に対するステント治療後の親血管拡大が及ぼす影響 | 森, 太志; もり, ふとし |
Mar-2013 | リコンフィギャラブル・コンピューティングのための高位合成を用いた自動ハードウェア・チューニングに関する研究 | 荒木, 光一; あらき, こういち |
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 | ハードウェア解析システムによる実行コードの動的最適化に関する研究 | 請園, 智玲; うけぞの, ともあき |
|