rick@cs.arizona.edu (Rick Schlichting) (06/05/91)
[Dr. David Kahaner is a numerical analyst visiting Japan for two-years under the auspices of the Office of Naval Research-Asia (ONR/Asia). The following is the professional opinion of David Kahaner and in no way has the blessing of the US Government or any agency of it. All information is dated and of limited life time. This disclaimer should be noted on ANY attribution.] [Copies of previous reports written by Kahaner can be obtained from host cs.arizona.edu using anonymous FTP.] To: Distribution From: David K. Kahaner, ONR Asia [kahaner@xroads.cc.u-tokyo.ac.jp] Re: Titles, JIFIP & Transactions IFIP Japan 5 June 1991 ABSTRACT. Titles of articles from J Info Proc, Vol.13, No.4, 1990, (articles in English), and Trans Info Proc Soc of Japan, Vol. 32 1991, (articles in Japanese). Journal of Information Processing Vol.13, No.4, 1990 (In English) How to Draw a Directed Graph Peter Eades (Geometric Algorithms Laboratory, Key Centre for Software Technology, Department of Computer Science, University of Queensland, Queensland Australia) Kozo Sugiyama (International Institute for Advabced Study of Social Information Science, Fujitsu Ltd., Shizuoka, Japan) A Survey of Key-to-Key User Hierarchic Representation Mechanisms Chin-Chen Chang (Institute of Computer Science and Information Engineering, National Chung Cheng University, Taiwan, ROC) Systematized Approaches to the Complexity of Subgraph Problems Satoru Miyano (Research Institute of Fundamental Information Science, Faculty of Science, Kyushu University, Fukuoka, Japan) A Survey of Average Time Analyses of Satisfiability Algorithms Paul Purdom (Department of Computer Science, Indiana University, Bloomington, Indiana, USA) Shortest Rectilinear Paths among Weighted Rectangles C.D. Yang, T.H. Chen, D.T. Lee (Department of Electrical Engineering and Computer Science, Northwestern University, Evanston, ILL, USA) A Fast Algorithm for Computing Longest Common Subsequences of Small Alphabet Size Francis Y.L. Chin, C.K. Poon (Department of Computer Science, University of Hong Kong, Hong Kong) On the Dynamic Shortest Path Problem Chin-Chung Lin (Institute of Computer and Information Science, National Chiao Tung University, Hsinchu, Taiwan, ROC) Ruei-Chuan Chang (Institute of Information Science, Academia Sinica, Taipei, Taiwan, ROC) Closure Properties of Alternating One-way Multihead Finite Automata with Constant Leaf-sizes Hiroshi Matsuno (Oshima National College of Maritime Technology, Yamaguchi, Japan) Katsushi Inoue, Itsuo Takanami (Faculty of Engineering, Yamaguchi University, Ube, Japan) Monotone Polygon Containment Problems Under Translation Jun-Shang Chu, Jia-Shung Wang (Institute of Computer Science, National Tsing Hua University, Taiwan, ROC) Knowledge Table: An Approach to Speeding up the Search for Relational Information in Knowledge Base Toramatsu Shintani (International Institute for Advanced Study of Social Information Science, Fujitsu Ltd., Japan) Evaluation of Storage Structures in Image Database System Jun Sekine (NTT Communications and Information Processing Laboratories, Yokosuka, Japan) On the Attainable Order of Convergence for Some Multipoint Iteration Functions Takahiko Murakami (Department of Mathematics, Kobe University of Mercantile Marine, Kobe, Japan) Deriving a Functional Knuth-Morris-Pratt Algorithm by Transformation Masato Takeichi, Yoji Akama (Department of Mathematical Engineering and Information Physics, Faculty of Engineering, University of Tokyo, Tokyo, Japan) Proposal of a Scheme for Linking Different Computer Languages - from the Viewpoint of Algebraic-Numeric Computation Takeaki Sasaki, Masayuki Suzuki (Institute of Physical and Chemical Research, Wako, Japan) Yoshinari Fukui (Total Information & Systems Division, Toshiba Corp., Kawasaki, Japan) Mitsuhisa Satou (Department of Information Science, University of Tokyo, Tokyo, Japan) Transactions of Information Processing Society of Japan Vol. 32 1991 (In Japanese) Development of a Tool for Building Expert System in Organic Chemistry Tatsuya Akutsu (Computer Science Division, Department of Applied Physics and Information Science, Mechanical Engineering Laboratory) Chung Li, Einoshin Suzuki, Setsuo Ohsuga (Research Center for Advanced Science and Technology, The University of Tokyo) Representation of Flaring Flames by Using 2-D Texture Toshikazu Ohshima (Doctoral Program in Engineering, Graduate School, University of Tsukuba) Shuichi Itahashi (Institute of Information Sciences and Electronics, University of Tsukuba) An Intuitive Method of Constructing Rational Bzier or Spline Curves and Surfaces Tsuyoshi Saitoh, Mamoru Hosaka (Department of Communication Engineering, Faculty of Engineering, Tokyo Denki University) Measuring Clarity of Computer Manuals Zenbun Takahashi (Software Engineering Department, Software Division, Computer System Group, Fujitsu, Ltd.) Kazuo Ushijima (Department of Computer Science and Communication Engineering, Faculty of Engineering, Kyushu University) Distributed Segmentation in Database Operating System: OPT-R Kazuo Kunieda, Eiji Okubo, Takao Tsuda (Department of Information Science, Faculty of Engineering, Kyoto University) Memory Management of Parallel Processing Systems under Multi-Thread Environment Masahiko Saitoh, Tadashi Kamiwaki, Shinichiro Yamaguchi (Hitachi, Ltd.) Methods for Idiom Recognition by Automatic Vectorizing Compilers Motonori Nakamura, Takao Tsuda (Department of Information Science, Faculty of Engineering, Kyoto University) An Accelerated Retrieval Method for Term Relations Haruo Yokota, Hajime Kitakami, Akira Hattori (Fujitsu ltd.) A Retrieval Method of Image Database Using Attributive Features of Objects - In Case of a Mountain in the Scene Image as an Example Michihiko Minoh (Faculty of Engineering, Kyoto University) Hiroshi Okazaki (Information System Research Center, Canon Inc.) Toshiyuki Sakai (Faculty of Science and Technology, Ryukoku University) A Technique for Automatic Logic Error Location and Correction Masahiro Tomita (The Graduate School of Science and Technology, Kobe University) Honghai Jiang, Tamotsu Yamamoto (Department of Precision Engineering, Faculty of Engineering, University of Tokyo) An Interconnection Model Consisting of Hypercube and Global Bus Connections Susumu Shibusawa (Department of Computer Science, Faculty of Technology, Gunma University) Reliability Evaluations of Batteries for a Power Supply System of a Computer Kazumi Yasui, Toshio Nakagawa, Mitsuo Motoori (Department of Industrial Engineering, Aichi Institute of Technology) Almost Boolean Algebraic Computation of LALR (1) Look-Ahead Sets Hiroyuki Anzai (Faculty of Engineering, Kyushu Institute of Technology) A Nonmonotonic Temporal Logic and its Kripke Semantics Yasushi Fujiwara, Shinichi Honiden (Systems & Software Engineering Laboratory, Toshiba Corporation) Accurate Reconstruction of a 3D Object Composed of Multiple Surfaces Kazufumi Kaneda, Yutaka Wakasu, Eihachiro Nakamae (Faculty of Engineering, Hiroshima University) Mineo Yasuda, Akinao G. Sato (School of Medicine, Hiroshima University) A Dynamic Algorithm for Placing Rectangles without Overlapping Takeshi Tokuyama (IBM Research, Tokyo Research Laboratory) Takao Asano (Faculty of Science and Technology, Sophia University) Shuji Tsukiyama (Faculty of Science and Engineering, Chuo University) Roughly Sorting: A Generalization of Sorting Yoshihide Igarashi (Department of Computer Science, Gunma University) Derick Wood (Department of Computer Science, University of Waterloo) Remote Object Access Mechanism Kaoru Yoshida (Institute for New Generation Computer Technology (ICOT)) A New Reorthogonalization in the Lanczos Algorithm Hitoshi Imai, Makoto Natori, Eiji Kawamura (Institute of Information Sciences and Electronics, University of Tsukuba) Design Issues of OMEGA: An Object-Oriented Multimedia Database Management System Yoshifumi Masunaga (Department of Library and Information Science, University of Library and Information Science) An Experimental Reflective Programming System Written in GHC Jiro Tanaka (IIAS-SIS, Fujitsu Laboratories Ltd.) --------------------------END OF REPORT----------------------------------