北陸先端科学技術大学院大学附属図書館所蔵
情報科学研究科リサーチレポート目録情報(発行順)


これは,本学情報科学研究科のリサーチレポートを発行番号,論文タイトル,著者,発行年月日,掲載ページの順に一覧表にしたものです。
この論文本文は,図書館3階レポートコーナーに配架してありますので,御利用ください。


◆Research Report◆

* IS-RR-2002-001 *
Construction of rule base for the Control of discrete event dynamic systems
Hiraishi, Kunihiko/Capkovic, Frantisek
20020108
Page: 1-8
* IS-RR-2002-002 *
Competitve envy-free division
Sung, Shao Chin/Vlach, Milan
20020115
Page: 1-7
* IS-RR-2002-003 *
ガウシアンピラミッドを用いたオプティカルフロー推定
安達, 栄輔/堀口, 進
20020313
Page: 1-13
* IS-RR-2002-004 *
フィルタリングの影響を考慮した多重解像度オプティカルフロー推定
安達, 栄輔/堀口, 進
20020313
Page: 1-17
* IS-RR-2002-005 *
Some properties of orthologics
Miyazaki, Yutaka
20020319
Page: 1-22
* IS-RR-2002-006 *
Optimal parellel weghted multiselection
Hong, Shen
20020328
Page: 1-10
* IS-RR-2002-007 *
Efficient weighted multiselection in parallel architectures
Hong, Shen
20020328
Page: 1-13
* IS-RR-2002-008 *
A new text representation method using fuzzy concept in text categorization
Son, Doan/Horiguchi, Susumu
20020419
Page: 1-14
* IS-RR-2002-009 *
A constructive meaning for the convergence and the Cauchyness of seqences of the space D (R)
Yoshida, Satoru
20020517
Page: 1-8
* IS-RR-2002-010 *
A constructive completion of the space D (R)
Yoshida, Satoru
20020517
Page: 1-22
* IS-RR-2002-011 *
An adaptive routing for hierarchical interconnection network TESH
Miura, Yasuyuki/Horiguchi, Susumu
20020517
Page: 1-13
* IS-RR-2002-012 *
A constructive look at Weierstrass' theorem
Yoshida, Satoru
20020610
Page: 1-6
* IS-RR-2002-013 *
A note on nondiscontinuity in constructive mathematics
Yoshida, Satoru
20020610
Page: 1- 3
* IS-RR-2002-014 *
係数被決定非圧縮性粘性流体オプティカルフロー拘束方程式を用いた重み付き投票法によるオプティカルフロー推定法
今村, 弘樹/小谷, 一孔
20020614
Page: 1-14
* IS-RR-2002-015 *
顔部品画像解析システムのための目領域画像の平均輝度値を用いた目のアクション識別手法
今村, 弘樹/小谷, 一孔
20020614
Page: 1-8
* IS-RR-2002-016 *
Approach to scalable statistical text summarization
Nguyen, Minh Le/Horiguchi, Susumu
20020627
Page: 1-16
* IS-RR-2002-017 *
There exists a continuum of normal modal logics over KTB
Miyazaki, Yutaka
20020722
Page: 1-14
* IS-RR-2002-018 *
Providing a framework for conflict resolution
Kirsten, Schroeter/Shao Chin, Sung
20020724
Page: 1-11
* IS-RR-2002-019 *
Extracting threads from concurrent objects for the design of embedded systems
Okazaki, Mitsutaka/Aoki, Toshiaki/Katayama, Takuya
20020805
Page: 1-10
* IS-RR-2002-020 *
Formal analysis of the iKP electronic payment protocols
Ogata,Kazuhiro /Futatsugi,Kokichi
20020820
Page: 1-23
* IS-RR-2002-021 *
JAIST Campus Grid の構築について
井口 寧/松澤, 照男
20021203
Page: 1-15
* IS-RR-2002-022 *
A polynomal time algorithm for a just-in-time scheduling problem with periodic time slots
Hiraishi, Kunihiko
20021205
Page: 1-9



電子情報担当 Mail: syori@jaist.ac.jp