home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #31 / NN_1992_31.iso / spool / comp / research / japan / 331 < prev    next >
Encoding:
Internet Message Format  |  1992-12-28  |  7.6 KB
  1. Path: sparky!uunet!cs.utexas.edu!sun-barr!ames!ncar!noao!arizona!rick
  2. From: rick@cs.arizona.edu (Rick Schlichting)
  3. Newsgroups: comp.research.japan
  4. Subject: Kahaner Report: Transactions of Info Proc Soc Japan, Vol 33#8, 10, 11
  5. Message-ID: <28909@optima.cs.arizona.edu>
  6. Date: 28 Dec 92 17:14:57 GMT
  7. Sender: rick@cs.arizona.edu
  8. Lines: 192
  9. Approved: rick@cs.arizona.edu
  10.  
  11.  
  12.   [Dr. David Kahaner is a numerical analyst on sabbatical to the 
  13.    Office of Naval Research-Asia (ONR Asia) in Tokyo from NIST.  The 
  14.    following is the professional opinion of David Kahaner and in no 
  15.    way has the blessing of the US Government or any agency of it.  All 
  16.    information is dated and of limited life time.  This disclaimer should 
  17.    be noted on ANY attribution.]
  18.  
  19.   [Copies of previous reports written by Kahaner can be obtained using
  20.    anonymous FTP from host cs.arizona.edu, directory japan/kahaner.reports.]
  21.  
  22. To: Distribution
  23. From: 
  24.  David K. Kahaner
  25.  US Office of Naval Research Asia
  26.  (From outside US):  23-17, 7-chome, Roppongi, Minato-ku, Tokyo 106 Japan
  27.  (From within  US):  Unit 45002, APO AP 96337-0007
  28.   Tel: +81 3 3401-8924, Fax: +81 3 3403-9670
  29.   Email: kahaner@cs.titech.ac.jp
  30. Re: Transactions of Info Proc Soc Japan, Vol 33#8, 10, 11
  31. 25 Dec 1992
  32. This file is named "tipsj33.811"
  33.  
  34.  
  35. ABSTRACT. Titles and authors from Transactions of the Information
  36. Processing Society of Japan, Vol 33 Nos 8, 10, 11. (1992).
  37.  
  38.  
  39.  
  40. Transactions of Information Processing Society of Japan, Vol. 33, No. 8, 1992
  41.  
  42. On the optimization of some seven-stage sixth-order explicit Runge-Kutta
  43. method 
  44.      M. Tanaka (Faculty of Engineering, Yamanashi Univ.), et al.
  45.  
  46. A new numerical method for transient electromagnetic problem - Transient Green
  47. Method
  48.      H. Abe (C&C Information Technology Research Labs, NEC Corp.), et al.
  49.  
  50. A sufficient condition to design a deadlock-free and collision-free path-
  51. planning algorithm in an uncertain workspace and its algorithm's evaluation -
  52. path-planning based on the euclidean distance toward the Goal
  53.      H. Noborio (Faculty of Engineering, Osaka Electro-Communication Univ.)
  54.  
  55. A method for analyzing conjunctive structures in Japanese
  56.      S. Kurohashi (Faculty of Engineering, Kyoto Univ.), et al.
  57.  
  58. Vision system model with differentiated visual fields
  59.      C. Yoshida (Faculty of Engineering, Nagoya Inst. of Tech.), et al.
  60.  
  61. On the application of a set oriented language SOL to database system
  62.      Y. Shigematsu (Faculty of Engineering, Kyushu Inst. of Tech.), et al.
  63.  
  64. Designing Contracts for Behavior of Objects
  65.      H. Sakai (Faculty of Science and Engineering, Chuo Univ.)
  66.  
  67. Communication model for software requirements definition
  68.      A. Ohnishi (Data Processing Center, Kyoto Univ.)
  69.  
  70.  
  71.  
  72. -------------------------------------------------------------
  73.  
  74. Transactions of Information Processing Society of Japan, Vol. 33, No. 10, 1992
  75.  
  76. Computation of Airy Functions Ai(z), Bi(z), Ai'(z) and Bi'(z) with Complex
  77. Argument z 
  78.      Toshio Yoshida (Chubu University)
  79.  
  80. Blocking Algorithm for Data Transfer Control in Numerical Linear Algebra
  81. Programming
  82.      Hikaru Samukawa (IBM Japan, Ltd.)
  83.  
  84. An Efficient Sub-System of Doxastic Modal Logic
  85.      Mikio Yamamoto, Yasuhiro Morioka and Seiichi Nakagawa (Toyohashi
  86.      University of Technology)
  87.  
  88. Zero-Pronoun Resolution Based on Consistency of the Knowledge States          
  89. of Dialogue's Participants
  90.      Hideki Kashioka and Atsuko Takano (Osaka University), et al.
  91.  
  92. A Framework for Dependency Grammar Based on the Word's Modifiability Level -
  93. Restricted Dependency Grammar
  94.      Fumiyo Fukumoto (ICOT), et al.
  95.  
  96. A Fast Algorithm for Detecting Errors of Novice Typists
  97.      Naohiko Takeda (Toyohashi University of Technology), et al.
  98.  
  99. A Computer Graphics Representation Method of Cracks on a Plate Glass
  100.      Takeshi Agui (Tokyo Institute of Technology), et al.
  101.  
  102. A Robust Method for Tracing Algebraic Curves
  103.      Yukinobu Taniguchi (NTT Human Interface Labs.), et al.
  104.  
  105. A Method for Improving Retrieval Performance of a GBD Tree - A Proposal of a
  106. Method for Handling Large Graphic Elements
  107.      Hisashi Shimodaira (Nihon MECCS Co. Ltd.), et al.
  108.  
  109. Evaluation of a Semantic Analyzer of a Parallel Compiler Compas
  110.      Hiroyasu Nishiyama (University of Tsukuba), et al.
  111.  
  112. Pipeline Structure for Prolog-oriented RISC Processors
  113.      Kazuo Seo (Mitsubishi Electric Corp.), et al.
  114.  
  115. -------------------------------------------------------------
  116.  
  117.  
  118. Transactions of Information Processing Society of Japan, Vol. 33, No. 11, 1992
  119.  
  120. Selection of the Stochastic Model Based on the Minimum Description Length
  121. Principle and State Decomposition
  122.      J. Suzuki (School of Science and Engineering, Waseda University), et. al.
  123.  
  124. On the Calculation of Eigenvalues of Mathieu Function
  125.      Shin-ichiro Yamashita (College of Science and Technology, Nihon
  126.      University)
  127.  
  128. A Strategy of Game Three Search Modelling Experts' Thinking Process
  129.      Hiroyuki Iida (Faculty of Engineering, Tokyo University of Agriculture
  130.      and Technology), et al.
  131.  
  132. Structuring of Weight Parameters and Decision Boundary in Complex Back-
  133. propagation Network
  134.      Tohru Nitta (Computer Science Division, Electrotechnical Laboratory), et
  135.      al.
  136.  
  137. Structural Rule Base for High Speed Expert Scheduling System in Flexible
  138. Manufacturing
  139.      Rei Itsuki (Kansai Systems Lab., Hitachi Ltd.)
  140.  
  141. An Analysis and Parsing Method of the Omission of Post-Position and Inversion
  142. on Japanese Spoken Sentence in Dialogue
  143.      Mikio Yamamoto (Dept. of Information and Computer Sciences, Toyohashi
  144.      University of Technology), et al.
  145.  
  146. Methods of Implementing a Multi-byte C Compiler
  147.      Mitarou Namiki (Faculty of Technology, Tokyo University of Agriculture
  148.      and Technology), et al.
  149.  
  150. Performance Improvement for Computer Systems by Virtualized Input/Output and
  151. Its Analysis
  152.      Taketoshi Sakuraba (Software Development Center, Hitachi, Ltd.), et al.
  153.  
  154. Implementation of Parallel Processing Language System on a Multiprocessor Unix
  155. Machine
  156.      Hideya Iwasaki (Faculty of Engineering, University of Tokyo)
  157.  
  158. Performance Evaluation of Concurrency Control Algorithms in the Distributed
  159. Database System
  160.      Nobuhiro Kato (Information System Engineering Lab., Toshiba Corp.)
  161.  
  162. Sense Retrieval on a Image Database of Full Color Paintings
  163.      Takio Kurita (Electro Technical Lab.), et al.
  164.  
  165. Nested Transaction Based Reliable Distributed Computing Environment for a
  166. Network of Workstations
  167.      Tatsunori Kanai (Research and Development Center, Toshiba Corp.), et al.
  168.  
  169. The Testing Criterion on Dataflows with Common Variables for Concurrent
  170. Programs
  171.      Zengo Furukawa (Faculty of Engineering, Kyushu University), et al.
  172.  
  173. Design and Implementation of KyotoDB:  A Software Engineering Database
  174.      Tsuneo Ajisaka (Faculty of Engineering, Kyoto University), et al.
  175.  
  176. Fundamental Control Structure of Software Process
  177.      Keqing He (State Key Lab. of Computer Software Engineering, Wuhan
  178.      University), et al.
  179.  
  180. A Route Status Reporting Method in a Computer Network
  181.      Satoshi Miyazaki (Systems Development Lab., Hitachi, Ltd.), et al.
  182.  
  183. Evaluation of Mean Search Length on Distributed Electronic Mail Directory
  184. Systems
  185.      Lin Yang (University of Tsukuba), et al.
  186.  
  187. TACT: An Interface System to Support User Task Switching
  188.      Yasuko Toju (Faculty of Science and Technology, Keio University), et al.
  189.  
  190. An Exponential-S-shaped Software Reliability Growth Model with Two Classes of
  191. Error Detectability
  192.      Mitsuhiro Kimura (Faculty of Engineering, Hiroshima University), et al.
  193.  
  194. Reliability Evaluations of Stop-and-Wait ARQ Policies for a System with Multi-
  195. Stage Error Control
  196.      Kazumi Yasui (Dept. of Industrial Engineering, Aichi Institute of
  197.      Technology), et al.
  198.  
  199.  
  200. ----------------------------END OF REPORT------------------------------------
  201.  
  202.  
  203.