|
|
JAIST Repository >
i. 北陸先端科学技術大学院大学(JAIST) >
i20. 学位論文 >
一覧: タイトル
検索結果: 2215-2235 / 2524.
| 発行日 | タイトル |
著者 |
|---|
| Mar-2019 | [課題研究報告書] 韻律と発話意図の関係に関する調査研究 | 劉, 雨凝; りゅう, うぎょう |
| Mar-2022 | [課題研究報告書]Formal specification, model checking and graphical animation of an autonomous vehicle merging protocol | 劉, 旻軒; りゅう, みんけん |
| Mar-2021 | [課題研究報告書]General Sieve Kernelの考察および改良 | 長谷川, 奨; はせがわ, しょう |
| Mar-2022 | [課題研究報告書]Proof-theoretic aspects of the simply typed lambda calculus | 上田, 拓海; うえだ, たくみ |
| Jun-2020 | [課題研究報告書]Research on Clothing Impression Recognition and Information Analysis | Deng, Weitao; とう, いとう |
| 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; しゅう, ゆう |
|
