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 : 安全動作領域を確保するゲート制御型電力半導体デバイスの設計法[湊]