JAIST Repository >
検索結果
検索結果表示: 6641-6650 / 6856.
該当アイテム:
発行日 | タイトル |
著者 |
Dec-2014 | Formal Semantics of Core SQL Language based on the K Framework | Sitthisak, Pakakorn |
15-Mar-2014 | Task-related oxygenation and cerebral blood volume changes estimated from NIRS signals in motor and cognitive tasks | Tanaka, Hirokazu; Katura, Takusige; Sato, Hiroki |
Mar-2013 | スピーカ配置に基づいたサラウンド音場補正手法の提案と評価 | 秋山, 大知; あきやま, だいち |
Mar-2009 | ソフトウェアプロダクトライン開発におけるコア資産の設計検証手法に関する研究 | 朝倉, 功太; あさくら, こうた |
Mar-2009 | センサ・デバイス情報に基づく忙しさ推定 | 川口, 弘暁; かわぐち, ひろあき |
Mar-2010 | 数値流体力学におけるλ2 法を用いた渦の可視化手法の提案 | 埴田, 翔; はにだ, しょう |
May-2008 | 構文獲得における対称性バイアスの有効性 | 的場, 隆一; 中村, 誠; 東条, 敏 |
Mar-2024 | 耳音響放射を用いた聴覚末梢系の時間分解能の評価 | 新谷, 小梅; しんたに, こうめ |
25-Jan-2013 | Tractabilities and Intractabilities on Geometric Intersection Graphs | Uehara, Ryuhei |
17-Apr-2010 | Cut elimination and strong separation for substructural logics: An algebraic approach | Galatos, Nikolaos; Ono, Hiroakira |
前へ
656
657
658
659
660
661
662
663
664
665
666
667
668
669
670
671
672
673
674
次へ
|