|
|
JAIST Repository >
一覧: 日付
検索結果: 12222-12242 / 19023.
| 発行日 | タイトル |
著者 |
|---|
| 7-Mar-2007 | Counterexample Discovery with a Combination of Induction and Bounded Model Checking | Ogata, Kazuhiro; Nakano, Masahiro; Kong, Weiqiang; Futatsugi, Kokichi |
| 7-Mar-2007 | Channels for Agent Communication | Saeger, Stijn De |
| 7-Mar-2007 | Semantic Parsing: transforming sentences to logical forms using machine learning models | Nguyen, Minh Le |
| 7-Mar-2007 | 法令文書の自然言語処理 | 島津, 明 |
| 7-Mar-2007 | 法令文の中の不整合の検出 | 東条, 敏 |
| 7-Mar-2007 | Electronic structure of Li-intercalated oligopyridines: A comparative study by photoelectron spectroscopy | Doherty III, Walter J.; Friedlein, Rainer; Renouard, Thierry; Mathis, Claude; Salaneck, William R. |
| 6-Mar-2007 | A note on the weak topology for the constructive completion of the space D(R) | YOSHIDA, Satoru |
| 6-Mar-2007 | An Introduction to Type Theoretical Ideas | Nordström, Bengt |
| 6-Mar-2007 | Simulation Theorems in Multi-valued Modalμ-Calculus | Nishizawa, Koki; Kameyama, Yukiyoshi; Kinoshita, Yoshiki |
| 2-Mar-2007 | Improvement in the conversion efficiency of single-junction SiGe solar cells by international introduction of the compositional distribution | Tayanagi, Misumi; Usami, Noritaka; Pan, Wugen; Ohdaira, Keisuke; Fujiwara, Kozo; Nose, Yoshitaro; Nakajima, Kazuo |
| 1-Mar-2007 | 軌道アトラクタを用いたパターンベース推論 | 山根, 健; 蓮尾, 高志; 末光, 厚夫; 森田, 昌彦; YAMANE, Ken; HASUO, Takashi; SUEMITSU, Atsuo; MORITA, Masahiko |
| 1-Mar-2007 | Power Estimation of Partitioned Register Files in a Clustered Architecture with Performance Evaluation | SATO, Yukinori; SUZUKI, Ken-ichi; NAKAMURA, Tadao |
| 1-Mar-2007 | Statistical Analysis Driven Synthesis of Application Specific Asynchronous Systems | OHASHI, Koji; KANEKO, Mineo |
| Mar-2007 | 野生生物保護学会（金沢大会）開催報告 | 敷田, 麻実 |
| Mar-2007 | 知識創造場のデザインと評価に関する研究 | 菊池, 智子; きくち, ともこ |
| Mar-2007 | Functional magnetic nanoparticles for medical application | Ichiyanagi, Yuko; Moritake, Shinji; Taira, Shu; Setou, Mitsutoshi |
| Mar-2007 | リサーチアシスタント〔RA〕プロジェクト 活動報告書 2006年度 : 知のコーディネータへ向けて | |
| Mar-2007 | 平成18年度リサーチアシスタント〔RA〕プロジェクト活動報告 ～ 知のコーディネータへ向けて ～ | |
| Mar-2007 | Spin-injection into organic light-emitting diodes with a ferromagnetic cathode and observation of the luminescence properties | Shikoh, Eiji; Kawai, Toru; Fujiwara, Akihiko; Ando, Yasuo; Miyazaki, Terunobu |
| Mar-2007 | Self-Repairing Property of Polymer Network with Dangling Chains | Yamaguchi, Masayuki; Ono, Susumu; Terano, Minoru |
| Mar-2007 | Iterative Joint-Over-Antenna Detection and WNRA Decoding in Single-Carrier Multiuser MIMO Systems | Yen, K.; Veselinovic, N.; Kansanen, K.; Matsumoto, T. |
|
