|
|
JAIST Repository >
i. 北陸先端科学技術大学院大学(JAIST) >
i20. 学位論文 >
一覧: タイトル
検索結果: 2225-2245 / 2524.
| 発行日 | タイトル |
著者 |
|---|
| Sep-2022 | [課題研究報告書]前処理付きGMRES法のGPUに対する適合性調査 | 伊藤, 健一; いとう, けんいち |
| Mar-2022 | [課題研究報告書]直観主義論理上での再帰理論の導入と諸概念の分離 | 森山, 巧; もりやま, たくみ |
| Sep-2021 | [課題研究報告書]量子論理の量子計算的意味論 | 高木, 翼; たかぎ, つばさ |
| Dec-2024 | 「課題研究報告書」Recoverable WaitFree MCSの形式仕様とモデル検査 | 脇, 謙太朗; わき, けんたろう |
| Dec-2024 | 「課題研究報告書」TensorCoreを使用する尾崎スキームのGEMVへの適用 | 阿部, 哲也; あべ, てつや |
| Mar-2024 | 【課題研究報告書】Development of a Phase Retrieval Method in Coherent X-ray Diffraction Imaging for Nanoscale Structure Visualization | 唐, 朝宇; とう, ちょうう |
| Sep-2023 | 【課題研究報告書】DevSecOps スキームにおいて脆弱性逓減を可能にする OSS ベースの環境調査 | 森, 健太郎; もり, けんたろう |
| Mar-2024 | 【課題研究報告書】Maudeを用いた形式仕様作成とモデル検査の調査研究 | 中村, 剛; なかむら, つよし |
| Mar-2023 | 【課題研究報告書】PROLEGによるアメリカ第二次契約法リステイトメントの実装 | 西岡, 志貴; にしおか, しだか |
| Mar-2024 | 【課題研究報告書】オンライン議論における注目コンテンツ抽出 | 王, 治中; おう, じちゅう |
| Mar-2023 | 【課題研究報告書】ソーシャルメディア感情推定と機械学習を用いた仮想通貨の価格変動予測 | Zhou, You; しゅう, ゆう |
| Mar-2024 | 【課題研究報告書】分散リーダエレクションプロトコルの形式仕様とモデル検査 | 小椋, 友芳; おぐら, ともよし |
| Sep-2023 | 【課題研究報告書】分散合意プロトコル Raft の形式仕様とモデル検査 | 石橋, 孝則; いしばし, たかのり |
| Mar-2023 | 【課題研究報告書】分散型自己修復アルゴリズムを用いたネットワークの対話的な可視化に関する課題研究 | 仙田, 一吉; せんだ, かずよし |
| Sep-2023 | 【課題研究報告書】業務アプリケーションのユーザビリティ向上のための評価モデルおよび指標に関する調査研究 | 伊藤, 敦彦; いとう, あつひこ |
| Jun-2023 | 【課題研究報告書】自然言語処理 生成AIの新分子生成・創薬への応用とCase Study | 岩﨑, 礼江; いわさき, のりえ |
| Sep-2022 | 【課題研究報告書】量子計算を用いた古典的モデル検査手法の検討 | 本田, 光希; ほんだ, こうき |
| Mar-2024 | 【課題研究報告書】音質評価指標を用いた感覚的快さと感覚的快くなさの評価に関する調査 | 谷口, 亮太郎; たにぐち, りょうたろう |
| Sep-2022 | [課題研究報告書］高位合成を用いたQR法による固有値計算のFPGAアクセラレーション | 浦本, 真人; うらもと, まこと |
| Mar-2010 | 調波複合音のスペクトル包絡に応じて変化する音の高さに関する研究 | 石田, 舞; いしだ, まい |
| Mar-2003 | 調音運動を考慮した音声認識法に関する研究 | 飯塚, 陽介; いいづか, ようすけ |
|
