|
JAIST Repository >
検索結果
検索結果表示: 6381-6390 / 7099.
該当アイテム:
| 発行日 | タイトル |
著者 |
|---|
| Sep-2020 | Formal verification of some mutual exclusion protocols with CafeInMaude, its proof assistant and its proof generator | Tran Dinh, Duong; とらん でぃん, どぅおんぐ |
| Mar-2025 | 二者関係の概念化に基づく構文交替の文化進化シミュレーション | 岩村, 入吹; いわむら, いぶき |
| Mar-2025 | 生成AIを用いたビジネスモデル設計支援手法 | 渡邉, 匡裕; わたなべ, まさひろ |
| Mar-2025 | シャボン膜凍結式透過型スクリーンのための凍結条件の調査と映像投影時の視認性評価 | 寺澤, 真一郎; てらさわ, しんいちろう |
| Mar-2025 | サーキュラーファッション動向の日中比較分析 [課題研究報告書] | 門, 天天; もん, てんてん |
| Mar-2025 | Rollopod: 多脚歩行と登坂ローリング走行が可能な新しいヘキサポッドロボット の無次元輸送コスト削減効果検証 | 原田, 恒迪; はらだ, ひさみち |
| Mar-2025 | 音色関連特徴量に着目した教師なし機械学習による異常音検知 | 小倉, 稜也; おぐら, りょうや |
| Mar-2025 | 感情を喚起させる立方体ロボットの動きが記憶と印象に与える影響の調査 | 井上, 悠香; いのうえ, ゆうか |
| Mar-2025 | 覆面算・虫食い算の計算複雑性に関する研究 | 入野, 耀太; いりの, ようた |
| Mar-2025 | (古典)完全準同型暗号を用いた依頼量子計算法の改良 | 川野, 公誠; かわの, こうせい |
前へ
630
631
632
633
634
635
636
637
638
639
640
641
642
643
644
645
646
647
648
次へ
|
