|
|
JAIST Repository >
i. 北陸先端科学技術大学院大学(JAIST) >
i20. 学位論文 >
一覧: タイトル
検索結果: 212-232 / 2524.
| 発行日 | タイトル |
著者 |
|---|
| Sep-2016 | Fast Search of Audio Fingerprint using K40 GPGPU | Nguyen, Mau Toan; ぐえん, もう とあん |
| Jun-2020 | Faster R-CNN に基づく人が密集する場所における通行人検出 | ZHANG, YUJIE; ちょう, うけつ |
| Sep-2024 | Federated Learning approach for IoT network intrusion detection | Nguyen, Van Tuan; ぐえん, ばん とぅあん |
| Mar-2025 | Finite-Length Incomplete Compute and Forward Based on Non-Binary LDPC Codes | 余, 鑫峰; ゆー, しんふおん |
| Mar-2015 | FireMarking:Androidアプリケーションのセキュリティ指向サジェスションシステム | 加藤, 邦章; かとう, くにあき |
| 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利用を前提とした最小リンク付加による相互結合網の耐故障化に関する研究 | 松本, 英樹; まつもと, ひでき |
|
