|
JAIST Repository >
i. 北陸先端科学技術大学院大学(JAIST) >
i20. 学位論文 >
一覧: タイトル
検索結果: 74-94 / 2524.
発行日 | タイトル |
著者 |
Mar-2021 | BoostConv : An efficient convolution implement for 3D point cloud classification | 董, 煜; とう,いく |
Sep-2012 | Bounded Model Checking for Concurrent Behavior with Scheduler | ZHANG, Haitao |
Mar-2001 | BRDFによる微細構造の推定とシェーディングモデル | 早川, 水城; はやかわ, みずき |
Mar-2019 | Building a Sector Flow Model for Air Traffic Demand Prediction | Tran, Quang Khai; ちゃん, くわん かい |
Sep-2016 | Building a Strong Fighting Game Player | Vu, Ngoc Quang; ゔ, ごっく くあん |
Mar-2025 | Building Image Generation Using Retrieval Augmented Diffusion Models | 王, 征洋; おう, せいよう |
Mar-2000 | Cafe OBJ のラーニングシステムのデザインに関する研究 | 市山, 洋乃; しやま, ひろの |
Mar-2004 | CafeOBJ を用いたハイブリッドシステムの形式的な仕様記述と検証 | 山岸, 大悟; やまぎし, だいご |
Mar-1999 | CafeOBJからJavaへの変換と同期記述 | 兼, 英樹; かね, ひでき |
Mar-1998 | CafeOBJによるB-抽象機械モデルの検証法に関する研究 | 梅原, 伸年; うめはら, のぶとし |
Mar-2011 | CafeOBJを用いた在庫管理問題の記述と評価 | 坂本, 淳誌; さかもと, あつし |
Mar-2025 | Can AI Resign in an Appropriate Position? | 潘, 世沢; はん, せたく |
Mar-2025 | Can Large Language Models Speak Description Logic Language? | 王, 童語; おう, どうご |
Mar-2018 | CARATS Open Data における航空機位置のセクター決定問題について | 德丸, 翔也; とくまる, しょうや |
Mar-1997 | CASEツールを用いたオブジェクト指向方法論事例研究 | 岩槻, 伸洋; いわつき, のぶひろ |
Mar-2013 | A Categorical Description of Relativization | 吉村, 和人; よしむら, かずと |
Mar-2016 | Caterpillar Graphにおける独立点集合遷移問題についての研究 | 山田, 武; やまだ, たけし |
Mar-2002 | CATV網における双方向サービスの研究 | 山野, 智久; やまの, ともひさ |
Mar-2009 | Cellプロセッサ用プログラム検証法 | レ, ディンスアン; れ, でぃんすあん |
Sep-2012 | A CFD Technique To Diagnose Eect Of Post-treatment For Multiple Aortic Aneurysms Based On Medical Image | Bui Minh, Nhat Jr |
Mar-2021 | Chinese text sentiment analysis based on BERT model | Xiong, junyan; ゆう, しゅんひこ |
|