JAIST Repository >

検索結果

 
全て 教員登録文献  

検索結果表示: 6081-6090 / 7099.


該当アイテム:

発行日タイトル 著者
20-Jul-2011 オントロジー工学に基づく技術知識統合管理システムの発展とビジネス展開高藤, 淳; 來村, 徳信; 溝口, 理一郎; Takafuji, Sunao; Kitamura, Yoshinobu; Mizoguchi, Riichiro
25-Apr-2012 Uncurrying for Termination and ComplexityHirokawa, Nao; Middeldorp, Aart; Zankl, Harald
Mar-2015 静電作用による脂質二分子膜小胞の秩序形成メカニズムの解明:2次元相分離構造と3次元膜孔形成のカップリング姫野, 泰輝; ひめの, ひろき
Mar-2022 多値論理に基づくマルチエージェントシステムSong, Yang; そう, よう
18-Feb-2015 Generic Proof Scores for Generate & Check Method in CafeOBJFutatsugi, Kokichi
Sep-2005 Maximum entropy models with inequality constraints: A case study on text categorizationKazama, J; Tsujii, J
Mar-2024 マルチモーダル対話コーパスの分析と主観ラポールの推定藤井, 樹; ふじい, たつき
Mar-2015 有線ネットワークによるすれ違い通信の性能改善の研究八木, 辰弥; やぎ, たつや
Mar-2023 シビックテック活動の発展と社会的要因―ICTを活用したプロボノを基盤とする社会課題解決活動を事例として―呉, 星辰; ご, せいしん
17-Mar-2014 Separating intermediate predicate logics of well-founded and dually well-founded structures by monadic sentencesBeckmann, Arnold; Preining, Norbert

前へ 600 601 602 603 604 605 606 607 608 609 610 611 612 613 614 615 616 617 618 次へ

 


お問合せ先 : 北陸先端科学技術大学院大学 研究推進課図書館情報係 (ir-sys[at]ml.jaist.ac.jp)