|
|
JAIST Repository >
i. 北陸先端科学技術大学院大学(JAIST) >
i20. 学位論文 >
一覧: タイトル
検索結果: 2220-2240 / 2524.
| 発行日 | タイトル |
著者 |
|---|
| Sep-2022 | [課題研究報告書]Termination Analysis of Term Rewrite Systems with Bounded Increase | Li, Hanyuan; り, かんげん |
| Sep-2022 | [課題研究報告書]UEFI に適応した単一目的アプリケーション向けオペレーティングシステムの研究 | 笠井, 彰人; かさい, あきと |
| Sep-2024 | [課題研究報告書]グラフニューラルネットワークの実装技術に関する調査 | 玉川, 徹; たまがわ, とおる |
| Sep-2022 | [課題研究報告書]パケットフィルタリングの iptables から BPF への移行妥当性調査 | 花家, 研一; はなけ, けんいち |
| Sep-2022 | [課題研究報告書]マルチパス近距離無線通信を利用した速度・頑強性に優れたコミュニケーションライブラリの実装と実証実験 | 白山, 文彦; しろやま, ふみひこ |
| 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 | 岩﨑, 礼江; いわさき, のりえ |
|
