|
|
JAIST Repository >
i. 北陸先端科学技術大学院大学(JAIST) >
i20. 学位論文 >
一覧: タイトル
検索結果: 217-237 / 2524.
| 発行日 | タイトル |
著者 |
|---|
| Mar-2013 | Flood Filling Gameの計算量に関する研究 | 福井, 宏行; ふくい, ひろゆき |
| Mar-2009 | FMO-QMC法を用いたDNAの分子間力結合に関する研究 | 対馬, 孔聖; つしま, こうせい |
| Sep-2022 | Focus On Precise Semantic Unit : Utilize Elementary Discourse Units for Automated Text Summarization | XIONG, YE; ゆう, よう |
| Mar-2025 | Formal and Experimental Verification of Robot Control Protocols for Smart Buildings | WU, JINGTING; ご, けいてい |
| Dec-2018 | Formal Semantics Extraction from Natural Language Specifications for ARM | VU, Viet Anh; ゔ, ゔぃえ あん |
| Dec-2014 | Formal Semantics of Core SQL Language based on the K Framework | Sitthisak, Pakakorn |
| Sep-2020 | Formal verification of some mutual exclusion protocols with CafeInMaude, its proof assistant and its proof generator | Tran Dinh, Duong; とらん でぃん, どぅおんぐ |
| Mar-2018 | Formalization and Verification of AUTOSAR OS Standard's Memory Protection | Le, Khanh Trinh; れ, かん ちん |
| Mar-2014 | FPGAにおける最適なフォン・ノイマン型アーキテクチャの実現に関する研究 | XIE, Fengxiang |
| Mar-2005 | FPGAによる一般化調和解析の高速化手法に関する研究 | 南里, 洋亮; なんり, ようすけ |
| Mar-2020 | FPGAの動的再構成を用いた畳み込みニューラルネットワーク学習の電力効率の向上 | 齋藤, 卓磨; さいとう, たくま |
| Mar-2006 | FPGAを利用したコンテンツフィンガープリンティングの高速化に関する研究 | 礒永, 久史; いそなが, ひさし |
| Mar-2003 | FPGAを用いたCKYパージングの高速化 | 伊藤, 靖朗; いとう, やすあき |
| Mar-2003 | FPGAを用いたNP完全問題の全解探索法に関する研究 | 山岸, 洋平; やまぎし, ようへい |
| Mar-2017 | FPGAを用いたオーディオ電子透かしアルゴリズムの実装に関する研究 [課題研究報告書] | 趙, 旭陽; ちょう, きょくよう |
| Mar-1997 | FPGA利用を前提とした最小リンク付加による相互結合網の耐故障化に関する研究 | 松本, 英樹; まつもと, ひでき |
| Mar-2015 | FPGA用ソフトプロセッサのための自動最適化コンフィギュレータの構築 [課題研究報告書] | 宮内, 哲夫; みやうち, てつお |
| Mar-2007 | FSBを用いた多機能移動機構を有するミミズ型ロボットの開発 | 久保, 貴史; くぼ, たかひと |
| Mar-2008 | FSB車輪併用型移動ロボットの開発 | 鵜飼, 真広; うかい, まさひろ |
| Mar-2025 | Full Domain Functional Bootstrappingの改良 | 雨宮, 岳; あまみや, がく |
| Mar-2002 | Functional Scripting - 汎用的関数型言語における系統的な外部リソース操作の原理と実装 - | 大和谷, 潔; やまとだに, きよし |
|
