|
JAIST Repository >
一覧: タイトル
検索結果: 13884-13904 / 18592.
発行日 | タイトル |
著者 |
Mar-2006 | 構造的に異なるロボット同士の模倣学習のための3D自己調節モーションアダプタの開発 | 李, 敏 |
Mar-2004 | 様々なデータを扱えるストリーミング技術を用いて機器間の通信・制御を行う研究 | 明壁, 祐基; あすかべ, ゆうき |
Mar-2019 | 様々な雑音環境下における母音発話の変動に関する研究 | 松本, 俊平; まつもと, しゅんぺい |
Mar-2000 | 様相オペレータを具備したマルチエージェントによる追跡問題の研究 | 鈴木, 貴雄; すずき, たかお |
Dec-2006 | 様相演算を持つ部分構造論理の証明論的研究 | 鶴見, 卓哉; つるみ, たくや |
Jun-2004 | 様相論理および時間論理の証明図探索 | 松本, 利雅; まつもと, としまさ |
Sep-2005 | 様相論理における不完全性への代数的アプロ-チ | Tadeusz, Litak; タデウシュ, リタク |
Mar-2001 | 様相論理に対する代数とフレーム | 橋本, 安司; はしもと, やすし |
Mar-2000 | 様相論理の積とシーケント計算による形式化の試み | 岩下, 達哉; いわした, たつや |
Jun-2003 | 様相論理の結合体系 | 丸山, 晃生; まるやま, あきお |
3-Mar-2008 | 様相論理の証明支援系上の実装 | 矢田部, 俊介 |
28-Oct-2017 | 標準を利用したアウトバウンド型オープンイノベーションの効用分類 | 江藤, 学 |
21-Oct-2006 | 標準仕様開発型コンソーシアムの戦略とマネジメント(標準化 (1)) | 新井, 克己; 長田, 洋 |
15-Oct-2011 | 標準化における知的財産権マネージメント : 無線移動通信の標準化事業の例から | カン, ビョンウ; 元橋, 一之 |
27-Oct-2012 | 標準化の射程 : EU/ドイツにおけるEVの事例に見る境界横断的ネットワークの考察 | 糸久, 正人; 安本, 雅典 |
15-Oct-2004 | 標準化の経済効果(標準化(2)) | 依田, 高典; 木下, 信; 京極, 政宏 |
15-Oct-2004 | 標準化の経済性分析のための枠組みの整理 : 企業経営と標準化効果の基本的な関係(標準化(2)) | 京極, 政宏; 垣田, 行雄; 橋本, 伸; 関根, 重幸; 吉川, 治; 後藤, 芳一 |
15-Oct-2004 | 標準化の経済性評価に向けた政策的取り組み : 産業政策上の要請と評価の枠組(標準化(1)) | 後藤, 芳一; 吉川, 治; 橋本, 伸; 関根, 重幸; 京極, 政宏; 垣田, 行雄 |
27-Oct-2007 | 標準化をつかった事業戦略 : インテルのプラットフォーム戦略の事例(標準化(2),一般講演,第22回年次学術大会) | 立本, 博文 |
22-Oct-2005 | 標準化をベースにした国際協調戦略 : DVD産業におけるアーキテクチャ分析((ホットイシュー) 国際的技術標準戦略と研究開発 (3), 第20回年次学術大会講演要旨集II) | 新宅, 純二郎; 善本, 哲夫; 小川, 紘一 |
27-Oct-2007 | 標準化プロセスにおけるOrganizing Discipline(標準化(2),一般講演,第22回年次学術大会) | 高梨, 千賀子; 武石, 彰 |
|