HOME>
List>Title List of Research Report (School of Information Science)
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 |