JAIST Repository >

一覧: 日付

年月を指定して移動:
年を入力して移動:
降順ソート 昇順ソート

検索結果: 11845-11865 / 18662.

前ページ 次ページ
発行日タイトル 著者
Apr-2007 Limited error based event localizing temporal decomposition and its application to variable-rate speech codingNguyen, Phu Chien; Akagi, Masato; Nguyen, Binh Phu
Apr-2007 Antenna Doping: A Countermeasure Against MIMO Spatial CorrelationKai, Yen; Karjalainen, J.; Matsumoto, T.
Apr-2007 Phenomena in Resonant Tunneling Through Degenerated Energy States with Electron CorrelationErmakov, 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 systemKong, Weiqiang; Ogata, Kazuhiro; Futatsugi, Kokichi
21-Mar-2007 Structures and physiological roles of 13 integral lipids of bovine heart cytochrome c oxidaseShinzawa-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 servicesXiang, 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 SoftwareAoki, Toshiaki
7-Mar-2007 Algebraic Approaches to Formal Analysis of the Mondex Electronic Purse SystemKong, Weiqiang; Ogata, Kazuhiro; Futatsugi, Kokichi
7-Mar-2007 Counterexample Discovery with a Combination of Induction and Bounded Model CheckingOgata, Kazuhiro; Nakano, Masahiro; Kong, Weiqiang; Futatsugi, Kokichi
7-Mar-2007 Channels for Agent CommunicationSaeger, Stijn De
7-Mar-2007 Semantic Parsing: transforming sentences to logical forms using machine learning modelsNguyen, Minh Le
7-Mar-2007 法令文書の自然言語処理島津, 明
7-Mar-2007 法令文の中の不整合の検出東条, 敏
前ページ 次ページ

 


お問合せ先 : 北陸先端科学技術大学院大学 研究推進課図書館情報係 (ir-sys[at]ml.jaist.ac.jp)