|
|
JAIST Repository >
i. 北陸先端科学技術大学院大学(JAIST) >
i20. 学位論文 >
一覧: タイトル
検索結果: 316-336 / 2524.
| 発行日 | タイトル |
著者 |
|---|
| Mar-2015 | An Investigation of the Chandy-Lamport Distributed Snapshot Algorithm and its Model Checking [課題研究報告書] | Zhang, Wenjie |
| Mar-2023 | Involution処理を用いた医用画像セグメンテーションモデルの軽量化に関する研究 | 黒澤, 樹音; くろさわ, じゅおん |
| Mar-2008 | Involutiveな部分構造論理に対する証明論的アプローチ | 瀧田, 康晴; たきだ, やすはる |
| Mar-2019 | IoT Training System Using the Cooja Network Simulator | 王, 季東; おう, きとう |
| Mar-2022 | IoTシステムの双方向データフローにおける設計と実装の複雑さを解消する手法の提案 | 栗林, 健太郎; くりばやし, けんたろう |
| Mar-2010 | IPテレコミュニケーションサービスの統合試験環境の構築 | 佐川, 喜昭; さがわ, よしあき |
| Mar-2008 | IPネットワークに発信規制の概念を適用した輻輳制御の研究 | 本田, 英之; ほんだ, ひでゆき |
| Mar-2003 | IPネットワークを介した仮想現実環境モデル介在型遠隔操作ロボットシステムの構築に関する研究 | 原, 久美子; はら, くみこ |
| Mar-2022 | Irregularly Clipped Sparse Regression Codes | 李, 文聡; り，ぶんそう |
| Mar-2006 | JAPANESE - ENGLISH - SPANISH DICTIONARY AND GRAMMAR FOR POCKET PC | フィゲロア松本カルロス健司; フィゲロア マツモト カルロス ケンジ |
| Mar-2000 | Java RMI実行環境のZ言語による仕様化 | 高瀬, 泰宏; たかせ, やすひろ |
| Mar-2000 | Java 仮想機械の形式仕様とその検証 | 奥村, 滋; おくむら, しげる |
| Mar-1997 | Java 言語における非同期通信の抽象化 | 阿部, 修; あべ, おさむ |
| Mar-2010 | JAVAソースコードにおける協調クラス群の抽出 | グェン ヴァン, トゥアン; グェン ヴァン, トゥアン |
| Mar-2003 | Java言語の難読化に関する研究 | 刑部, 裕介; さかべ, ゆうすけ |
| Mar-2005 | Jini技術とUNICOREを用いたリアルタイム可視化システムの構築 | 浅野, 喜宣; あさの, よしのぶ |
| Sep-2018 | A Joint Model of Term Extraction and Polarity Classification for Aspect-based Sentiment Analysis | Nguyen, Ngoc Gia Hy; ぐえん, ご ざ ふい |
| Mar-2019 | Joint Optimization Scheme of Electric Vehicles and Smart Home Energies Considering User Comfort Preference | 劉, 歓; りゅう, かん |
| Mar-2004 | JPEG2000プロセスに適応させたWavelet変換による顔画像解析 | 中村, 一也; なかむら, かずや |
| Mar-2001 | Kalman filterによる内挿を用いた音声補間に関する研究 | 五十嵐, 文輔; いからし, ふみやす |
| Sep-2003 | Kleene 代数と regular events の代数に関する研究 | 田村, 宜之; たむら, よしゆき |
|
