|
|
JAIST Repository >
一覧: タイトル
検索結果: 18317-18337 / 18636.
| 発行日 | タイトル |
著者 |
|---|
| Mar-1999 | 韻律情報を用いた漸次的音声認識に関する研究 | 新庄, 勲; しんじょう, いさお |
| Mar-2018 | 韻律特徴による日本方言の知覚的グルーピング | 張, 羚; ちょう, れい |
| 26-May-2010 | 項書き換えに基づく計算量解析の自動化 | 廣川, 直; HIROKAWA, NAO |
| 15-Apr-2005 | 項書き換えシステムにおける可簡約演算子とその応用 | 中村, 正樹; 緒方, 和博; 二木, 厚吉; NAKAMURA, MASAKI; OGATA, KAZUHIRO; FUTATSUGI, KOKICHI |
| Mar-2002 | 項書き換えシステムのための評価戦略の研究 | 中村, 正樹; なかむら, まさき |
| Mar-2021 | 項書換えに基づく線形対数時間計算量の自動解析 | 土屋, 智之; つちや, ともゆき |
| Sep-2023 | 項書換えのための合成可能な合流性基準 | 新谷, 喜楽; しんたに, きらく |
| 3-Jun-2016 | 項書換えの合流性解析とその応用 | 廣川, 直; Hirokawa, Nao |
| Mar-2017 | 項書換えの正規化性自動解析 | 渡辺, 亮子; わたなべ, りょうこ |
| Mar-2003 | 項書換えを用いた安全性検証の組織化 | 清野, 貴博; せいの, たかひろ |
| Mar-1999 | 項書換え系における到達可能性の決定問題 | 安藤, 欣司; あんどう, きんじ |
| Mar-2000 | 項書換え系の停止性，AC停止性，依存対に関する研究 | 草刈, 圭一朗; くさかり, けいいちろう |
| Mar-1999 | 項書換え系の簡略戦略に関する研究 | 長谷, 崇; ながや, たかし |
| Mar-2013 | 順列の判定を行う省メモリアルゴリズム | 宝輪, 智也; ほうわ, ともや |
| 26-Mar-1999 | 順序ソート項書き換え系のソート復元可能に関する研究 | 五百蔵, 重典; Ioroi, Shigenori; イオロイ, シゲノリ |
| Mar-1999 | 順序付多重署名方式に関する研究 | 吉藤, 右子; よしふじ, ゆうこ |
| Mar-2021 | 順次堆積された二層型有機太陽電池のデバイス性能向上におけるラビングとアニーリングによる効果の分離 | Mohd Zaidan Bin Abdul Aziz; もはまっど ざいだん びん あぶどぅる あじず |
| Mar-2003 | 領域分割法による実数型格子ガスモデルの並列計算に関する研究 | 寺井, 優晃; てらい, まさあき |
| Sep-2018 | 領域横断的オントロジーの協調的開発アプローチ：ライフサイクルアセスメントにおけるシナリオベース知識構築システム | Takhom, Akkharawoot; たーこん, あからうっと |
| 3-Jun-2015 | 領域選択形成したＩｎＡｓナノワイヤ／強磁性体複合構造によるスピンデバイス | 赤堀, 誠志; Akabori, Masashi |
| 15-Oct-2011 | 頭脳流出が国際共同研究に与える影響 | 村上, 由紀子 |
|
