一覧
登録利用者:
登録者ページ
利用者(E-people)

JAIST Repository >

一覧: 日付

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

検索結果: 11783-11803 / 18591.

前ページ 次ページ
発行日タイトル 著者
15-Mar-2007 注目の検出に基づいた興味モデルの作成と絵画推薦脇山, 孝貴; 吉高, 淳夫; 平嶋, 宗; WAKIYAMA, KOKI; YOSHITAKA, ATSUO; HIRASHIMA, TSUKASA
15-Mar-2007 ホルダ内におけるスタイラスの動作量を利用した入力インタフェース(インタフェースデザイン,<特集>インタラクション技術の原理と応用)三浦, 元喜; 國藤, 進; MIURA, MOTOKI; KUNIFUJI, SUSUMU
7-Mar-2007 量子理論に基づくセキュリティプロトコル双紙, 正和
7-Mar-2007 極微細ＬＳＩのタイミング設計 : 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 法令文の中の不整合の検出東条, 敏
7-Mar-2007 Electronic structure of Li-intercalated oligopyridines: A comparative study by photoelectron spectroscopyDoherty 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 IdeasNordström, Bengt
6-Mar-2007 Simulation Theorems in Multi-valued Modalμ-CalculusNishizawa, 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 distributionTayanagi, 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 EvaluationSATO, Yukinori; SUZUKI, Ken-ichi; NAKAMURA, Tadao
1-Mar-2007 Statistical Analysis Driven Synthesis of Application Specific Asynchronous SystemsOHASHI, Koji; KANEKO, Mineo
Mar-2007 野生生物保護学会（金沢大会）開催報告敷田, 麻実
前ページ 次ページ

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