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

Publication #	IS-RR-98-0001A
Title	スーパーコンピュータの並列化動向
Author(s)	井口, 寧
Date Published	19980116
Pages	1-12

　

Publication #	IS-RR-98-0002F
Title	Locally finite varieties
Author(s)	Bezhanishvili, Guram
Date Published	19980100
Pages	1-18

Publication #	IS-RR-98-0003F
Title	Conservative extensions in relevant implicational logics
Author(s)	上出, 哲広／鹿島, 亮
Date Published	19980100
Pages	1-26

Publication #	IS-RR-98-0004F
Title	On the finite model property of intuitionistic modal logics over MIPC
Author(s)	Aoto, Takahito／Shirasu, Hiroyuki
Date Published	19980130
Pages	1-16

Publication #	IS-RR-98-0005P
Title	A method of signal extraction from noisy signal based on auditory scene analysis
Author(s)	Unoki, Masashi／Akagi, Masato
Date Published	19980206
Pages	1-29

Publication #	IS-RR-98-0006P
Title	A computational model of co-modulation masking release
Author(s)	Unoki, Masashi／Akagi, Masato
Date Published	19980206
Pages	1-23

Publication #	IS-RR-98-0007F
Title	Nonpreemtive flowshop scheduling with machine dominance
Author(s)	Cepek, Ondrej／Okada, Masanori／Vlach, Milan
Date Published	19980209
Pages	1-20

Publication #	IS-RR-98-0008F
Title	A proof of the conjecture of zantema on a persistent property of term rewriting systems
Author(s)	Aoto, Takahito
Date Published	19980220
Pages	1-16

Publication #	IS-RR-98-0009S
Title	Concurrent object composition in CafeOBJ
Author(s)	Iida, Shusaku／Matsumoto, Michihiro／Diaconescu, Razvan／Futatsugi, Kokichi／Lucanu, Dorel
Date Published	19980220
Pages	1-40

Publication #	IS-RR-98-0010I
Title	テキスト自動要約技術の現状と課題
Author(s)	奥村, 学／難波, 英嗣
Date Published	19980200
Pages	1-22

Publication #	IS-RR-98-0011P
Title	口腔疾患に伴う構音障害の音響的特徴に関する研究
Author(s)	齋藤, 浩人／赤木, 正人
Date Published	19980326
Pages	2-39

Publication #	IS-RR-98-0012P
Title	ガンマチャープフィルタバンクの構築
Author(s)	鵜木, 祐史／入野, 俊夫／下平, 博
Date Published	19980327
Pages	1-11

Publication #	IS-RR-98-0013F
Title	Generating all arcs in the transitive closure of a directed hypergraph
Author(s)	Cepek, Ondrej
Date Published	19980424
Pages	1-13

Publication #	IS-RR-98-0014F
Title	Categorical foundations of modularisation for multi-paradigm
Author(s)	Diaconescu, Razvan／Stefaneas, Petros
Date Published	19980509
Pages	1-16

Publication #	IS-RR-98-0015F
Title	Minimizing total completion time in a two-machine no-idle flowshop
Author(s)	Cepek, Ondrej／Okada, Masanori／Vlach, Milan
Date Published	19980512
Pages	1-23

Publication #	IS-RR-98-0016F
Title	Embedding symmetric simply typed classical lambda calculus into arrow typed lambda calculus with bottom
Author(s)	Tanaka, Yoshihito
Date Published	19980500
Pages	1-17

Publication #	IS-RR-98-0017F
Title	Behavioural coherence in object-oriented algebraic specification
Author(s)	Diaconescu, Razvan
Date Published	19980605
Pages	1-22

Publication #	IS-RR-98-0018A
Title	Network performances of TESH: a new hierarchical interconnection network for 3-D integration
Author(s)	Horiguchi, Susumu／Ooki, Takayuki／Jain, Vijay
Date Published	19980608
Pages	1-26

Publication #	IS-RR-98-0019
Title	階層化ヘミキューブを用いた並列ラジオシティ法による高速画像生成
Author(s)	佐藤, 敦／阿部, 亨／堀口, 進
Date Published	19980608
Pages	1-20

Publication #	IS-RR-98-0020P
Title	パラメトリックな眼鏡フレームモデルを用いた顔画像内の眼鏡フレーム領域の抽出と除去
Author(s)	齋藤, 康之／剣持, 雪子／小谷, 一孔
Date Published	19980716
Pages	1-20

Publication #	IS-RR-98-0021F
Title	Applications of Shimura's methods of canonical model to intermediate infinitary logics
Author(s)	Tanaka, Yoshihito
Date Published	19980800
Pages	1-13

Publication #	IS-RR-98-0022F
Title	Strongly normalization from weakly normalization on some restricted λ-calculus
Author(s)	Motohama, Yoko
Date Published	19980827
Pages	1-12

Publication #	IS-RR-98-0023F
Title	A family of substructural logics with restricted/generalized structural rules
Author(s)	上田, 哲広
Date Published	19980917
Pages	1-41

Publication #	IS-RR-98-0024F
Title	Simplification ordering for higher-order rewrite systems
Author(s)	Iwami, Munehiro／Toyama, Yoshihito
Date Published	19981020
Pages	1-14

Publication #	IS-RR-98-0025F
Title	Single machine scheduling under fuzziness
Author(s)	Vlach, Milan
Date Published	19981020
Pages	1-26

Publication #	IS-RR-98-0026F
Title	On proving AC-termination by AC-dependency pairs
Author(s)	Kusakari, Keiichirou／Toyama, Yoshihito
Date Published	19981026
Pages	1-13

Publication #	IS-RR-98-0027F
Title	フォーシブルな事象をもつ時間付き離散事象システムの時間付き安定性 Timed stability of timed discrete-event systems with forcible events
Author(s)	望山, 洋／平石, 邦彦 Mochiyama, hiromi／Hiraishi, kunihiko
Date Published	19981026
Pages	1-11

Publication #	IS-RR-98-0028F
Title	The completeness of linear logic for petri net models
Author(s)	Ishihara, Keiko／Hiraishi, Kunihiko
Date Published	19981116
Pages	1-13

Publication #	IS-RR-98-0029P
Title	振動子付き手形状入力装置を用いた指文字学習支援システム
Author(s)	鈴木, 信勝／堀口, 進
Date Published	19981130
Pages	1-28

Publication #	IS-RR-98-0030F
Title	Decidable/undecidable properties of conditional term rewriting systems
Author(s)	Aoto, Takahito／Nagaya, Takashi
Date Published	19981204
Pages	1-19

Publication #	IS-RR-98-0031F
Title	Decidability for left-linear growing term rewriting systems
Author(s)	Nagaya, Takashi／Toyama, Yoshihito
Date Published	19981208
Pages	1-17

Publication #	IS-RR-98-0032F
Title	The completeness of linear logic with modal operator for Petri net models
Author(s)	Ishihara, Keiko／Hiraishi, Kunihiko
Date Published	19981214
Pages	1-10

Publication #	IS-RR-98-0033P
Title	手形状入力装置を用いた指文字認識システム
Author(s)	鈴木, 信勝／後藤, 岳志／堀口, 進
Date Published	19981221
Pages	1-29