|
JAIST Repository >
一覧: 日付
検索結果: 11845-11865 / 18662.
発行日 | タイトル |
著者 |
Apr-2007 | Limited error based event localizing temporal decomposition and its application to variable-rate speech coding | Nguyen, Phu Chien; Akagi, Masato; Nguyen, Binh Phu |
Apr-2007 | Antenna Doping: A Countermeasure Against MIMO Spatial Correlation | Kai, Yen; Karjalainen, J.; Matsumoto, T. |
Apr-2007 | Phenomena in Resonant Tunneling Through Degenerated Energy States with Electron Correlation | Ermakov, Vladimir N.; Kruchinin, Sergei P.; Hori, Hidenobu; Fujiwara, Akihiko |
28-Mar-2007 | ソフトウェアアカウンタビリティ実現のためのGORAと法理論の利用に関する報告 | 杉森, 隼人; 落水, 浩一郎 |
23-Mar-2007 | Algebraic approaches to formal analysis of the mondex electronic purse system | Kong, Weiqiang; Ogata, Kazuhiro; Futatsugi, Kokichi |
21-Mar-2007 | Structures and physiological roles of 13 integral lipids of bovine heart cytochrome c oxidase | Shinzawa-Itoh, Kyoko; Aoyama, Hiroshi; Muramoto, Kazumasa; Terada, Hirohito; Kurauchi, Tsuyoshi; Tadehara, Yoshiki; Yamasaki, Akiko; Sugimura, Takashi; Kurono, Sadamu; Tsujimoto, Kazuo; Mizushima, Tsunehiro; Yamashita, Eiki; Tsukihara, Tomitake; Yoshikawa, Shinya |
20-Mar-2007 | 熱科学を創った人々 : 熱力学・統計力学・超流動・超伝導の世界 | 佐々木, 祥介; 堀, 秀信; SASAKI, Shosuke; HORI, Hidenobu |
20-Mar-2007 | JAIST NOW 創刊号(2007 Spring) | |
16-Mar-2007 | Analysis of membership sharing in digital subscription services | Xiang, Jianwen; Ogata, Kazuhiro; Futatsugi, Kokichi |
15-Mar-2007 | 注目の検出に基づいた興味モデルの作成と絵画推薦 | 脇山, 孝貴; 吉高, 淳夫; 平嶋, 宗; WAKIYAMA, KOKI; YOSHITAKA, ATSUO; HIRASHIMA, TSUKASA |
15-Mar-2007 | ホルダ内におけるスタイラスの動作量を利用した入力インタフェース(インタフェースデザイン,<特集>インタラクション技術の原理と応用) | 三浦, 元喜; 國藤, 進; MIURA, MOTOKI; KUNIFUJI, SUSUMU |
7-Mar-2007 | 量子理論に基づくセキュリティプロトコル | 双紙, 正和 |
7-Mar-2007 | 極微細LSIのタイミング設計 : Timing Issues in Nanotechnology LSI | 金子, 峰雄 |
7-Mar-2007 | 法令工学におけるソフトウェアアカウンタビリティの実現法 | 落水, 浩一郎 |
7-Mar-2007 | Verification of Multi-Task Software | Aoki, Toshiaki |
7-Mar-2007 | Algebraic Approaches to Formal Analysis of the Mondex Electronic Purse System | Kong, Weiqiang; Ogata, Kazuhiro; Futatsugi, Kokichi |
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 | 法令文の中の不整合の検出 | 東条, 敏 |
|