JAIST Research Report (School of Information Science) published in 1999; listed in chronological order.
Full article is stored in the shelves near the Doctoral Dissertations in the 3rd floor.

Publication #	IS-RR-99-0001P
Title	超高精細・高階調カラー画像の統計的性質と Lossless coding
Author(s)	戸田, 昌枝／剣持, 雪子／小谷, 一孔／加藤, 茂夫
Date Published	19990127
Pages	1-7

　

Publication #	IS-RR-99-0002F
Title	The super-amalgamation property of the variety of ortholattices
Author(s)	Miyazaki, Yutaka
Date Published	19990128
Pages	1-15

Publication #	IS-RR-99-0003F
Title	Substructural logics with mingle
Author(s)	上出, 哲広
Date Published	19990208
Pages	1-17

Publication #	IS-RR-99-0004P
Title	類似フレーズに着目したピアノ演奏の自動採譜システム
Author(s)	寺井, 浩司／堀口, 進
Date Published	19990226
Pages	1-23

Publication #	IS-RR-99-0005I
Title	エージェント指向プログラミングによる魚群アニメーション
Author(s)	大峯, 誠／阿部, 亨／堀口, 進
Date Published	19990226
Pages	1-21

Publication #	IS-RR-99-0006F
Title	On proving AC-termination by argument filtering method
Author(s)	Kusakari, Keiichirou/Toyama, Yoshihito
Date Published	19990323
Pages	1-10

Publication #	IS-RR-99-0007F
Title	The hierarchy of dependency pairs
Author(s)	Kusakari, Keiichirou/Toyama, Yoshihito
Date Published	19990323
Pages	1-6

Publication #	IS-RR-990008F
Title	Argument filtering transformation
Author(s)	Kusakari, Keiichirou/Nakamura, Masaki/Toyama, Yoshihito
Date Published	19990323
Pages	1-14

Publication #	IS-RR-99-0009F
Title	順序ソート 項書換え系のソート 復元可能に関する研究
Author(s)	五百蔵, 重典
Date Published	19990326
Pages	1-10

Publication #	IS-RR-99-0010
Title	Extending inductive generalization with abduction
Author(s)	Kanai, Takashi/Kunifuji, Susumu
Date Published	19990329
Pages	1-15

Publication #	IS-RR-99-0011F
Title	Linear programming with inexact coeffcients: some results in computational complexity
Author(s)	Ramik, Jaroslav
Date Published	19990406
Pages	1-23

Publication #	IS-RR-99-0012P
Title	手形状入力装置を用いた仮想楽器演奏システム　－サイバーミュージックインストゥルメント－
Author(s)	川上，隆/星芝，貴行/堀口，進
Date Published	19990412
Pages	1-17

Publication #	IS-RR-99-0013F
Title	Mingle converse principle for substructural logics
Author(s)	上出，哲宏
Date Published	19990416
Pages	1-8

Publication #	IS-RR-99-0014A
Title	New interconnections for massively parallel and distributed systems
Author(s)	Horiguchi ,Susumu
Date Published	19990423
Pages	1-75

Publication #	IS-RR-99-0015F
Title	Multiple-choice project scheduling
Author(s)	Levner ,Eugene/Sung ,Shao Chin/Vlach ,Milan
Date Published	19990426
Pages	1-21

Publication #	IS-RR-99-0016A
Title	超並列・分散型コンピュータの高性能ネットワーク
Author(s)	堀口，進
Date Published	19990427
Pages	1-45

Publication #	IS-RR-99-0017P
Title	振動子付き手形状入力装置を用いた指文字学習支援システムの性能評価
Author(s)	鈴木，信勝/大橋，功治/堀口，進
Date Published	19990427
Pages	1-21

Publication #	IS-RR-99-0018P
Title	高調波分析による手話単語認識システム
Author(s)	鈴木，信勝/堀口，進
Date Published	19990427
Pages	1-31

Publication #	IS-RR-99-0019
Title	量子モンテカルロ法による１次元Heisenberg spin modelのシミュレーションおよびその並列化
Author(s)	宮崎，裕
Date Published	19990430
Pages	1-63

Publication #	IS-RR-99-0020S
Title	Component-based algebraic specification and verification in cafeOBJ
Author(s)	Diaconescu, Razvan/Futatsugi, Kokichi/Iida, Shusaku
Date Published	19990506
Pages	1-20

Publication #	IS-RR-99-0021
Title	地球シミュレータ計画の現状
Author(s)	浅野, 俊幸/堀口, 進
Date Published	19990528
Pages	1-28

Publication #	IS-RR-99-0022F
Title	A quantum algorithm for finding the k -th smallest Member
Author(s)	Mihara, Takashi/Sung, Shao Chin
Date Published	19990528
Pages	1-12

Publication #	IS-RR-99-0023F
Title	Synthesis of supervisor using learning algorithm of regular languages
Author(s)	Hiraishi, Kunihiko
Date Published	19990630
Pages	1-25

Publication #	IS-RR-99-24I
Title	Automatic generation of web directories for specific categories
Author(s)	Sato, Satoshi/Sato, Madoka
Date Published	19990726
Pages	1-9

Publication #	IS-RR-99-0025I
Title	イベントとプロパティの区別を導入した型階層論理
Author(s)	兼岩, 憲/東条, 敏
Date Published	19990726
Pages	1-22

Publication #	IS-RR-99-0026F
Title	Proof-theoretic analysis of termination proofs by recursive path ordering with status
Author(s)	Ishii, Katsumasa
Date Published	19990804
Pages	1-10

Publication #	IS-RR-99-0027P
Title	動的輪郭モデルを用いた対称構造物体の抽出
Author(s)	斎藤, 康之/阿部, 亨/小谷, 一孔
Date Published	19990916
Pages	1-17

Publication #	IS-RR-99-0028F
Title	Kripke-style semantics of orthomodular logics
Author(s)	Miyazaki, Yutaka
Date Published	19991021
Pages	1-26

Publication #	IS-RR-99-0029F
Title	Leibniz style arithmetization of human reasoning
Author(s)	Sotirov, Vladimir
Date Published	19991105
Pages	1-8

Publication #	IS-RR-99-0030F
Title	Cut-free sequent calculi for Visser's propositional logics
Author(s)	Kikuchi, Kentaro
Date Published	19991110
Pages	1-12

Publication #	IS-RR-99-0031F
Title	Concept of linear fuzzy coalitional game
Author(s)	Mares, Milan/Vlach, Milan
Date Published	19991115
Pages	1-8

Publication #	IS-RR-99-0032F
Title	A note on provable well-founded relations
Author(s)	Ishii, Katsumasa
Date Published	19991117
Pages	1-12

Publication #	IS-RR-99-0033F
Title	Fixpoint formulation of the completion problem of orthomodular lattices
Author(s)	Miyazaki, Yutaka
Date Published	19991124
Pages	1-6

Publication #	IS-RR-99-0034F
Title	Triangular norms, generalized quasiconcavity and compromise solutions
Author(s)	Ramik, Jaroslav/Vlach, Milan
Date Published	19991201
Pages	1-9

Publication #	IS-RR-99-0035F
Title	Nonpreemtive flowshops with a dominant machine: Reductions to single machine problems
Author(s)	Cepek, Ondrej/Vlach, Milan
Date Published	19991201
Pages	1-9