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 1997;
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) 1997 ： ISSN 0918-7553
| Publication # |
IS-RR-97-0001F |
| Title |
Varieties of monadic Heyting algebras. Part 1 |
| Author(s) |
Bezhanishvili, Guram |
| Date Published |
19970100 |
| Pages |
1-32 |
| Publication # |
IS-RR-97-0002F |
| Title |
Speaking about transitive frames in propositional languages |
| Author(s) |
鈴木, 康人/Wolter, Frank/Zakharyaschev, Michael |
| Date Published |
19970117 |
| Pages |
1-23 |
| Publication # |
IS-RR-97-0003F |
| Title |
Lower bounds on the negation-limited circuit complexity |
| Author(s) |
宋, 少秋／田中, 圭介 |
| Date Published |
19970117 |
| Pages |
1-11 |
| Publication # |
IS-RR-97-0004F |
| Title |
Varieties of monadic Heyting algebras. Part 2 : Duality theory |
| Author(s) |
Bezhanishvili, Guram |
| Date Published |
19970100 |
| Pages |
1-36 |
| Publication # |
IS-RR-97-0005A |
| Title |
A parallel optimistic dynamic optimization of discrimination networks for
active databases |
| Author(s) |
宮崎, 純／横田, 治夫 |
| Date Published |
19970220 |
| Pages |
1-18 |
| Publication # |
IS-RR-97-0006 |
| Title |
自己組織化ニューラルネットワークの並列学習シミュレーション |
| Author(s) |
山森, 一人／堀口, 進 |
| Date Published |
19970306 |
| Pages |
1-16 |
| Publication # |
IS-RR-97-0007F |
| Title |
Completeness theorem of infinitary propositional modal logic |
| Author(s) |
田中, 義人 |
| Date Published |
19970307 |
| Pages |
1-25 |
| Publication # |
IS-RR-97-0008P |
| Title |
大脳視覚野における階層型神経細胞結合モデルの学習シミュレーション |
| Author(s) |
加藤, 聡／堀口, 進 |
| Date Published |
19970312 |
| Pages |
1-14 |
| Publication # |
IS-RR-97-0009S |
| Title |
ソフトウェアプロセス実行における系統的コミュニケーション支援の一方式 |
| Author(s) |
門脇, 千恵／落水, 浩一郎 |
| Date Published |
19970313 |
| Pages |
1-30 |
| Publication # |
IS-RR-97-0010A |
| Title |
ウェーハ積層構造３次元階層型ネットワーク |
| Author(s) |
大木, 孝之／堀口, 進 |
| Date Published |
19970314 |
| Pages |
1-25 |
| Publication # |
IS-RR-97-0011P |
| Title |
動的輪郭モデルを用いた多方向に移動する複数物体の追跡に関する研究 |
| Author(s) |
金田, 丘／阿部, 亨 |
| Date Published |
19970317 |
| Pages |
1-20 |
| Publication # |
IS-RR-97-0012S |
| Title |
Constructing a support environment for cooperative works over computer network
by integrating software process enactment support and communication support=ソフトウェア・プロセス実行支援とコミュニケーション支援の統合によるネットワークを介した共同作業支援環境の構築 |
| Author(s) |
落水, 浩一郎 |
| Date Published |
19970324 |
| Pages |
1-17,1-18 |
| Publication # |
IS-RR-97-0013S |
| Title |
A framework of a support environment for cooperative works over distributed
computing system based on a decision management |
| Author(s) |
Ochimizu, Koichiro／Kadowaki, Chie |
| Date Published |
19970324 |
| Pages |
1-16 |
| Publication # |
IS-RR-97-0014 |
| Title |
並列ラジオシティ法による画像生成の高速化 |
| Author(s) |
阿部, 寛之/阿部, 亨/堀口, 進 |
| Date Published |
19970328 |
| Pages |
1-17 |
| Publication # |
IS-RR-97-0015P |
| Title |
発話速度に基づいた文脈効果モデルの話者適応化 |
| Author(s) |
米沢, 裕司 |
| Date Published |
19970331 |
| Pages |
1-11 |
| Publication # |
IS-RR-97-0016F |
| Title |
Varieties of monadic heyting algebras. Part 3 |
| Author(s) |
Bezhanishvili, Guram |
| Date Published |
19970400 |
| Pages |
1-29 |
| Publication # |
IS-RR-97-0017S |
| Title |
ネットワークを介した共同作業の支援環境構築にむけて |
| Author(s) |
落水, 浩一郎 |
| Date Published |
19970411 |
| Pages |
1-36 |
| Publication # |
IS-RR-97-0018F |
| Title |
Strong pareto optimality of compromise decisions in multi-criteria anlysis |
| Author(s) |
Ramik, Jaroslav／Vlach, Milan |
| Date Published |
19970414 |
| Pages |
1-14 |
| Publication # |
IS-RR-97-0019F |
| Title |
Linear programming with inexact coefficients |
| Author(s) |
Ramik, Jaroslav |
| Date Published |
19970414 |
| Pages |
1-31 |
| Publication # |
IS-RR-97-0020A |
| Title |
Parallel computation model logPQ and its evaluation |
| Author(s) |
Touyama, Takayoshi／Horiguchi, Susumu |
| Date Published |
19970416 |
| Pages |
1-18 |
| Publication # |
IS-RR-97-0021A |
| Title |
A parallel learning algorithm to compensate hardware defects for Kohonen's
SOM |
| Author(s) |
Yamamori, Kunihito／Horiguchi, Susumu |
| Date Published |
19970506 |
| Pages |
1-18 |
| Publication # |
IS-RR-97-0022S |
| Title |
計算機を介した共同作業の評価と共同ソフトウエア開発におけるグループウエア利用の検討 |
| Author(s) |
村越, 広亨／海谷, 治彦／落水, 浩一郎 |
| Date Published |
19970520 |
| Pages |
1-39 |
| Publication # |
IS-RR-97-0023 |
| Title |
超並列シミュレーションとビジュアライゼーション |
| Author(s) |
堀口, 進／井口, 寧／山森, 一人／林, 亮子／加藤, 聡 |
| Date Published |
19970523 |
| Pages |
1-81 |
| Publication # |
IS-RR-97-0024 |
| Title |
ピアノ演奏における音楽要素と聴取印象との関係 |
| Author(s) |
吉田, 貴子／堀口, 進 |
| Date Published |
19970523 |
| Pages |
1-20 |
| Publication # |
IS-RR-97-0025F |
| Title |
On solving the max-min 0-1 knapsack problem |
| Author(s) |
Iida, Hiroshi |
| Date Published |
19970602 |
| Pages |
1-23 |
| Publication # |
IS-RR-97-0026 |
| Title |
ピアノ曲奏者の演奏ルール抽出と自動演奏 |
| Author(s) |
星芝, 貴行／堀口, 進 |
| Date Published |
19970606 |
| Pages |
1-29 |
| Publication # |
IS-RR-97-0027 |
| Title |
Performance evaluation of interconnection network for large disk systems |
| Author(s) |
Mimatsu, Yasuyuki／Yokota, Haruo |
| Date Published |
19970618 |
| Pages |
1-17 |
| Publication # |
IS-RR-97-0028 |
| Title |
Discrete-time system analysis using constrained positively invariant set |
| Author(s) |
Hirata, Kenji／Fujita, Masayuki |
| Date Published |
19970707 |
| Pages |
1-21 |
| Publication # |
IS-RR-97-0029 |
| Title |
Neuronal cell model with the synaptic interaction, Part 1:newronal cell modeling
and the analysis of single input/output properties |
| Author(s) |
Sano, Akira |
| Date Published |
19970721 |
| Pages |
1-14 |
| Publication # |
IS-RR-97-0030F |
| Title |
Second order tangent sets and optimality conditions |
| Author(s) |
Cambini, Alberto／Martein, Laura／Vlach, Milan |
| Date Published |
19970725 |
| Pages |
1-13 |
| Publication # |
IS-RR-97-0031F |
| Title |
Single-machine scheduling with fuzzy precedence constraints |
| Author(s) |
Levner, Eugene／Vlach, Milan |
| Date Published |
19970725 |
| Pages |
1-18 |
| Publication # |
IS-RR-97-0032F |
| Title |
Extra theory morphisims for institutions : Logical semantics for muliti-paradigm
languages |
| Author(s) |
Diaconescu,Razvan |
| Date Published |
19970801 |
| Pages |
1-22 |
| Publication # |
IS-RR-97-0033F |
| Title |
Tree lifting orderings for termination transformations of term rewriting
systems |
| Author(s) |
Aoto, Takahito／Toyama, Yoshihito |
| Date Published |
19970801 |
| Pages |
1-19 |
| Publication # |
IS-RR-97-0034F |
| Title |
The equivalence of the reductions with the E-strategy with and without marks |
| Author(s) |
Nagaya, Takashi／Matsumoto, Michihiro／Ogata, Kazuhiro／Futatsugi, Kokichi |
| Date Published |
19970813 |
| Pages |
1-9 |
| Publication # |
IS-RR-97-0035F |
| Title |
Monadic version of Glivenko's theorem |
| Author(s) |
Bezhanishvili, Guram |
| Date Published |
19970800 |
| Pages |
1-15 |
| Publication # |
IS-RR-97-0036 |
| Title |
Robust visual servo control of planar manipulators under the eye-in-hand
configurations |
| Author(s) |
Maruyama, Akira／Fujita, Masayuki |
| Date Published |
19970821 |
| Pages |
1-14 |
| Publication # |
IS-RR-97-0037F |
| Title |
A family of substructural implicational logics |
| Author(s) |
Kashima, Ryo／Kamide, Norihiro |
| Date Published |
19970900 |
| Pages |
1-66 |
| Publication # |
IS-RR-97-0038S |
| Title |
モーバイルコンピューティングのための動的適応可能なソフトウエアアーキテクチャ |
| Author(s) |
中島, 達夫 |
| Date Published |
19970911 |
| Pages |
1-10 |
| Publication # |
IS-RR-97-0039S |
| Title |
適応可能なアプリケーションの構築を支援する環境サーバ |
| Author(s) |
中島, 達夫／会津, 宏幸／小林, 勝／嶋本, 堅司 |
| Date Published |
19970911 |
| Pages |
1-9 |
| Publication # |
IS-RR-97-0040F |
| Title |
Hilbert style proof system for BPL |
| Author(s) |
Suzuki, Yasuhito／Ono, Hiroakira |
| Date Published |
19971007 |
| Pages |
1-8 |
| Publication # |
IS-RR-97-0041F |
| Title |
Negation-limited circuit complexity of symmetric functions |
| Author(s) |
Sung, Shao-Chin |
| Date Published |
19971030 |
| Pages |
1-16 |
| Publication # |
IS-RR-97-0042F |
| Title |
Propositional calculus with identity |
| Author(s) |
Ishii, Tadao |
| Date Published |
19971104 |
| Pages |
1-22 |
| Publication # |
IS-RR-97-0043F |
| Title |
時間付き離散事象システムの時間付き安定性
Timed stability of timed discrete event systems |
| Author(s) |
望山, 洋／平石, 邦彦 |
| Date Published |
Mochiyama, Hiromi／Hiraishi, Kunihiko |
| Pages |
19971113 |
| Pages |
1-22 |
| Publication # |
IS-RR-97-0044F |
| Title |
Splitting monadic heyting algebras |
| Author(s) |
Bezhanishvili, Guram |
| Date Published |
19971100 |
| Pages |
1-20 |
| Publication # |
IS-RR-97-0045 |
| Title |
Analysis of listening impression of modified piano performance by local tempo
and dynamics |
| Author(s) |
Yoshida, Takako／Fujinaga, Ichiro／Horiguchi, Susumu |
| Date Published |
19971201 |
| Pages |
1-20 |
| Publication # |
IS-RR-97-0046F |
| Title |
Modality in open institutions with concrete syntax |
| Author(s) |
Diaconescu, Razvan／Stefaneas, Petros |
| Date Published |
19971203 |
| Pages |
1-12 |