Title List of Research Report (School of Information Science)

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

Research Report (School of Information Science) 1996 : ISSN 0918-7553

Publication # IS-RR-96-0001I
Title Robustness of robot programs generated by genetic programming
Author(s) 伊藤, 拓也/伊庭, 斉志/木村, 正行
Date Published 19960119
Pages 1-11

Publication # IS-RR-96-0002F
Title Minimizing maximum absolute lateness and range of lateness under generalized due dates on a single machine
Author(s) 田中, 圭介/Vlach, Milan
Date Published 19960215
Pages 1-17

Publication # IS-RR-96-0003
Title The efficient fault-tolerant design of artificial neural networks
Author(s) 山森, 一人/堀口, 進
Date Published 19960219
Pages 1-9

Publication # IS-RR-96-0004F
Title Single machine scheduling with sequence-dependent due dates
Author(s) 田中, 圭介
Date Published 19960312
Pages 1-10

Publication # IS-RR-96-0005P
Title 3次元動画像と仮想物体映像の合成
Author(s) 伊藤, 嘉昭/阿部, 亨/堀口, 進
Date Published 19960312
Pages 1-18

Publication # IS-RR-96-0006S
Title JAIST-REPORT completeness of semantic paramodulation : a category-based approach
Author(s) Diaconescu, Razvan
Date Published 19960300
Pages 1,1-37

Publication # IS-RR-96-0007
Title 仮想現実空間上での3次元物体造形システム
Author(s) 滝口, 章広/阿部, 亨/堀口, 進
Date Published 19960300
Pages 1-19

Publication # IS-RR-96-0008A
Title Shifted Recursive Torus interconnection network for massively parallel computers
Author(s) 井口, 寧/堀口, 進
Date Published 19960315
Pages 1-19

Publication # IS-RR-96-0009F
Title Persistency of confluence
Author(s) 青戸, 等人/外山, 芳人
Date Published 19960315
Pages 1-18

Publication # IS-RR-96-0010S
Title PCTEによるCASEツールの統合とその応用
Author(s) 池田, 克則/落水, 浩一郎
Date Published 19960318
Pages vi,1-72

Publication # IS-RR-96-0011P
Title 多視点距離画像に基づく単一参照パターンを用いた3次元物体認識
Author(s) 大野, 克俊/阿部, 亨
Date Published 19960318
Pages 1-14

Publication # IS-RR-96-0012S
Title ネットワークを介した協調活動の支援環境
Author(s) 川上, 直木/川瀬, 宏一郎/小寺, 康男/鈴木, 大輔/萩原, 豊隆/橋本, 雅嗣/落水, 浩一郎
Date Published 19960416
Pages 1-60

Publication # IS-RR-96-0013A
Title HR-crossed cube interconnection and WSI implementation
Author(s) 堀口, 進/小貫, 昌幸
Date Published 19960528
Pages 1-16

Publication # IS-RR-96-0014S
Title 移動計算機環境を支援する言語LEADとそのメタレベルアーキテクチャ
Author(s) 天野, 憲樹/渡部, 卓雄
Date Published 19960531
Pages 1-27

Publication # IS-RR-96-0015F
Title An improved strategy for a pursuit-evasion problem on grids
Author(s) 田中, 圭介
Date Published 19960614
Pages 1-4

Publication # IS-RR-96-0016
Title A user behavior model of organizational knowledge support
Author(s) 門脇, 千恵/山上, 俊彦/爰川, 知宏/杉田, 恵三/國藤, 進
Date Published 19960620
Pages 1-18

Publication # IS-RR-96-0017A
Title The 3D-mesh array architecture on stacked Wafers
Author(s) 堀口, 進/沼田, 一成
Date Published 19960621
Pages 1-14

Publication # IS-RR-96-0018A
Title ウェーハスタック構造型自律再構成超並列コンピュータ
Author(s) 堀口, 進
Date Published 19960701
Pages 1-77

Publication # IS-RR-96-0019F
Title On some evolutionary implications of the genetic code
Author(s) 真栄城, 哲也/木村, 正行
Date Published 19960702
Pages 1-20

Publication # IS-RR-96-0020A
Title Self-reconfigurable massively parallel computer on stacked Wafers
Author(s) 堀口, 進
Date Published 19960703
Pages 1-66

Publication # IS-RR-96-0021F
Title Duality in super-intuitionistic and modal predicate logics
Author(s) 白須, 裕之
Date Published 19960700
Pages 1-10

Publication # IS-RR-96-0022I
Title Common language acquisition by multi-agents
Author(s) 小野, 哲雄/東条, 敏/佐藤, 理史
Date Published 19960800
Pages 1-14

Publication # IS-RR-96-0023F
Title Top-down labelling and modularity of term rewriting systems
Author(s) 青戸, 等人/外山, 芳人
Date Published 19960819
Pages 1-21

Publication # IS-RR-96-0024S
Title Logical semantics for CafeOBJ
Author(s) Razvan, Diaconescu/ 二木, 厚吉
Date Published 19960828
Pages 1-18

Publication # IS-RR-96-0025F
Title Extending persistency of confluence with ordered sorts
Author(s) 青戸, 等人/外山, 芳人
Date Published 19960829
Pages 1-21

Publication # IS-RR-96-0026F
Title Improved algorithms for single machine scheduling with fuzzy due dates
Author(s) 田中, 圭介/Vlach, Milan
Date Published 19960902
Pages 1-10

Publication # IS-RR-96-0027F
Title Advanced modal logic
Author(s) Zakharyaschev, Michael/Wolter, Frank/Chagrov, Alexander
Date Published 19960900
Pages 1-173

Publication # IS-RR-96-0028F
Title An exact algorithm for the subset-sum problem
Author(s) 飯田, 浩志/Vlach, Milan
Date Published 19960925
Pages 1-18

Publication # IS-RR-96-0029F
Title On structural properties of genetic codes with high adaptability and robustness
Author(s) 真栄城, 哲也/木村, 正行
Date Published 19961018
Pages 1-22

Publication # IS-RR-96-0030
Title A consensus making support system using AHP in combination with KJ method and relationship matrix
Author(s) 加藤, 直孝/國藤, 進
Date Published 19961112
Pages 1-14

Publication # IS-RR-96-0031
Title A group desicion support system by externalizing, sharing and reflecting individual viewpoints
Author(s) 加藤, 直孝/中条, 雅庸/國藤, 進
Date Published 19961112
Pages 1-8

Publication # IS-RR-96-0032F
Title Still more on complexity of negation-limited circuits
Author(s) 宋, 少秋/田中, 圭介
Date Published 19961113
Pages 1-10

Publication # IS-RR-96-0033
Title Dynamic load balancing scheme for parallel molecular dynamics simulation
Author(s) 林, 亮子/堀口, 進
Date Published 19961128
Pages 1-11

Publication # IS-RR-96-0034P
Title 下部側頭葉皮質IT野における神経細胞結合モデル
Author(s) 加藤, 聡/堀口, 進
Date Published 19961129
Pages 1-20