|
|
JAIST Repository >
一覧: 日付
検索結果: 11318-11338 / 18999.
| 発行日 | タイトル |
著者 |
| 4-Mar-2008 | Transforming Natural Language Processing to Logical Forms | Nguyen, Minh Le |
| 4-Mar-2008 | Belief Consolidation for Description Logic | Suzuki, Yoshitaka |
| 3-Mar-2008 | A Case Study : Analyzing the One Dimensional Ising Model by Probabilistic Model Checking | Sekizawa, Toshifusa; Tsuchiya, Tatsuhiro; Kikuno, Tohru; Takahashi, Koichi |
| 3-Mar-2008 | Model Checking Infinite State Machines : Who's who in Ogawa lab | 小川, 瑞史 |
| 3-Mar-2008 | WEBベース・ワークフローシステムのモデル化と検証 | 平石, 邦彦 |
| 3-Mar-2008 | Correctness Properties for Workflows with Multiple Starts and/or Ends | Takaki, O.; Takeuti, I.; Seino, T.; Izumi, N.; Takahshi, K. |
| 3-Mar-2008 | 様相論理の証明支援系上の実装 | 矢田部, 俊介 |
| Mar-2008 | Tree-to-String Phrase-based Statistical Machine Translation | NGUYEN, Thai Phuong |
| Mar-2008 | Knowledge process analysis : Framework and experience | Sugiyama, Kozo; Meyer, Bertolt |
| Mar-2008 | Structure and Properties for Biomass-Based Polyester Blends of PLA and PBS | Yokohara, Tadashi; Yamaguchi, Masayuki |
| Mar-2008 | リサーチアシスタント〔RA〕活動報告書 2007年度 : 知のコーディネータへ向けて | |
| Mar-2008 | 組織的知識創造研究のための理論・方法論的アプローチの検討 : 物語研究と質的研究手法についての研究 | 吉永, 崇史 |
| Mar-2008 | 社会イノベーションへの大学組織研究連携戦略 | 立瀬, 剛志; 小林, 俊哉 |
| Mar-2008 | 学際連携を支援するための学際コミュニケーション論 : 北陸先端科学技術大学院大学における実践 | 小林, 俊哉; 緒方, 三郎 |
| Mar-2008 | 「電子知識科学図書館」と社会人教育支援 | 小林, 俊哉; 緒方, 三郎 |
| Mar-2008 | 生涯学習の場としてのサイエンスカフェ | 小林, 俊哉; 浅野, 浩央 |
| Mar-2008 | 大学と社会イノベーション | 緒方, 三郎; 小林, 俊哉 |
| Mar-2008 | 大学と社会イノベーション -21世紀COEプログラム「知識科学に基づく科学技術の創造と実践」における地域再生・生涯学習・社会人教育の試行- | 小林, 俊哉ほか |
| Mar-2008 | 産官学における技術開発・研究活動の分析 | 菊池, 智子; 中森, 義輝; 平木, 肇 |
| Mar-2008 | 環境の不確実性による知識創造型リーダーシップのあり方 | 孫, 家勝; 吉永, 崇史; 遠山, 亮子 |
| Mar-2008 | 非営利組織としての実験系研究室 | 水元, 明法 |
|