学位論文審査報告

• 資料種別: 文書・図像類
• タイトル: 学位論文審査報告
• 著者・編者: 劉, 楽源; Krishna, Nunna Chaitanya; 陳, 斌; Suhariadi, Iping; 湊, 忠玄
• 著者標目: 劉, 楽源; Krishna, Nunna Chaitanya; 陳, 斌; Suhariadi, Iping; 湊, 忠玄
• 出版事項: 九州大学大学院システム情報科学研究院
• 出版年月日等: 2015-01-26
• 出版年（W3CDTF）: 2015-01-26
• 並列タイトル等: Reviewing Reports of Doctor's Theses
• タイトル（掲載誌）: 九州大学大学院システム情報科学紀要
• 巻号年月日等（掲載誌）: 20 1
• 掲載巻: 20
• 掲載号: 1
• 掲載ページ: 29-37
• ISSN（掲載誌）: PISSN : 1342-3819; EISSN : 2188-0891
• 本文の言語コード: jpn
• 対象利用者: 一般
• 一般注記: 出版タイプ： VoR; Acceleration of Bounded Model Checking based on Satisfiability-Modulo-Theories for Embedded Software Designs : 組込みソフトウェア設計のためのSMT有限モデル検査の加速技術[劉] / A Temperature-dependent Power-aware Partitioning for Three-dimensional Field Programmable Gate Arrays : 3次元実装FPGA用途向きの温度依存かつ消費電力指向型回路分割技術[Krishna] / Terpene Gas Detection Device Based on Localized Surface Plasmon Resonance Phenomenon of Au Nanoparticles : 金ナノ粒子の局在プラズモン共鳴現象を用いたテルペンガス検知デバイスに関する研究[陳] / GROWTH MECHANISM OF ZnO THIN FILMS FABRICATED BY NITROGEN MEDIATED CRYSTALLIZATION : 窒素添加結晶化法で形成したZnO薄膜の成長機構[Suhariadi] / Safety Operation Area Based Design Methodology for Gate Controlled Power Semiconductor Device : 安全動作領域を確保するゲート制御型電力半導体デバイスの設計法[湊]
• オンライン閲覧公開範囲: インターネット公開
• 掲載誌（NCID）: AN10569524; https://ci.nii.ac.jp/ncid/AN10569524
• 連携機関・データベース: 国立情報学研究所 : 学術機関リポジトリデータベース（IRDB）（機関リポジトリ）; https://irdb.nii.ac.jp
• 提供元機関・データベース: 九州大学学術情報リポジトリ(QIR); https://www.lib.kyushu-u.ac.jp/papers

• オンライン閲覧公開範囲: インターネット公開
• 掲載誌（NCID）: AN10569524; https://ci.nii.ac.jp/ncid/AN10569524
• 連携機関・データベース: 国立情報学研究所 : 学術機関リポジトリデータベース（IRDB）（機関リポジトリ）; https://irdb.nii.ac.jp
• 提供元機関・データベース: 九州大学学術情報リポジトリ(QIR); https://www.lib.kyushu-u.ac.jp/papers