1993



A Parallel Descent Algorithm for Convex Programming
Masao FUKUSHIMA, Mounir HADDOU, Van Hien NGUYEN, Jean-Jacques STRODIOT and Takanobu SUGIMOTO
No. 93001, December 1993
Postscript files:
Report  Cover



Some Reformulations and Applications of the Alternating Direction Method of Multipliers
Jonathan ECKSTEIN and Masao FUKUSHIMA
No. 93002, December 1993
Postscript files: Report  Cover



A Polynomial Approximation Algorithm for the Separable Convex Cost Flow Problem
Masakatsu HIGASHIKUBO, Masao FUKUSHIMA and Toshihide IBARAKI
No. 93003, December 1993
Postscript files: Report  Cover



A Model of Time-Varying Flows on a Congested Multidestination Network
Masayuki TSUJINO, Masao FUKUSHIMA and Toshihide IBARAKI
No. 93004, December 1993
Postscript files: Report  Cover



Parallel Relaxation Method for Quadratic Programming Problems with Interval Constraints
Takanobu SUGIMOTO, Masao FUKUSHIMA and Toshihide IBARAKI
No. 93005, December 1993
Postscript files: Report  Cover



Optimization Based Globally Convergent Methods for the Nonlinear Complementarity Problem
Kouichi TAJI and Masao FUKUSHIMA
No. 93006, December 1993
Postscript files: Report  Cover



On Stationary Points of the Mangasarian and Solodov's Function for Nonlinear Complementarity Problems
Nobuo YAMASHITA and Masao FUKUSHIMA
No. 93007, December 1993
Postscript files: Report  Cover



Splitting Algorithms for a Class of Monotone Mappings with Application to the Traffic Equilibrium Problem
Masao FUKUSHIMA
No. 93008, December 1993
Postscript files: Report  Cover



Primal-Dual Proximal Point Algorithm for Multicommodity Network Flow Problems
Satoru IBARAKI and Masao FUKUSHIMA
No. 93009, December 1993
Postscript files: Report  Cover



Implicit Lagrangian for Generalized Complementarity Problems
Nobuo YAMASHITA and Masao FUKUSHIMA
No. 93010, December 1993
Postscript files: Report  Cover



The Universal Recognition Problem for Lexical-Functional Grammars
Sachiko Ando, Ryuichi Nakanishi, Hiroyuki Seki and Tadao Kasami
No. 93011, December 1993
Postscript files: Report  Cover



Finite State Translation Systems and Parallel Multiple Context-Free Grammars
Yuichi Kaji, Hiroyuki Seki, and Tadao Kasami
No. 93012, December 1993
Postscript files: Report  Cover






1994



Surface Reconstruction from Stereo Images Preserving Discontinuities
Naokazu Yokoya
No. 94001, January 1994
Postscript files:
Report  Cover



On Branch Labels of Parallel Components of the $L$-section Minimal Trellis Diagrams for Binary Linear Block Codes
Tadao KASAMI, Toru FUJIWARA, Yoshihisa DESAKI, and Shu LIN
No. 94002, January 1994
Postscript files: Report  Cover



知識の共有のためのソフトウェア技術
西田豊明
No. 94003, 1994年1月
Postscript files: Report  Cover



The B-mode Ultrasound Image Restoration To Degraded Images
Anping Yu, Osamu Oshiro and Kunihiro Chihara
No. 94004, February 1994
Postscript files: Report  Cover



Equivalence of Complementarity Problems to Differentiable Minimization: A Unified Approach
Paul Tseng, Nobuo Yamashita and Masao Fukushima
No. 94005, February 1994
Postscript files: Report  Cover



Towards Multi-aspect Design Support Systems
Hideaki Takeda
No. 94006, February 1994
Postscript files: Report  Cover



Generative Capacity and Recognition of Lexical-Functional Grammars
Hiroyuki Seki, Ryuichi Nakanishi, Sachiko Ando and Tadao Kasami
No. 94007, March 1994
Postscript files: Report  Cover



Robust Algorithm for Motion Analysis Based on Active Tubes
Ryo FURUKAWA, Masakazu IMAI and Takeshi UNO
No. 94008, March 1994
Postscript files: Report  Cover



A Primal-Dual Proximal Point Algorithm for Variational Inequality Problems
Kouichiro IWAOKA, Masao FUKUSHIMA and Toshihide IBARAKI
No. 94009, April 1994
Postscript files: Report  Cover



A Multisplitting Method for Symmetric Linear Complementarity Problems
Naoki MACHIDA, Masao FUKUSHIMA and Toshihide IBARAKI
No. 94010, April 1994
Postscript files: Report  Cover



Solving a Unification Problem under Constrained Substitutions Using Tree Automata
Yuichi KAJI, Toru FUJIWARA and Tadao KASAMI
No. 94011, May 1994
Postscript files: Report  Cover



Partial Proximal Method of Multipliers for Convex Programming Problems
Satoru IBARAKI and Masao FUKUSHIMA
No. 94012, June 1994
Postscript files: Report  Cover



A New Merit Function and A Successive Quadratic Programming Algorithm for Variational Inequality Problems
Kouichi TAJI and Masao FUKUSHIMA
No. 94013, June 1994
Postscript files: Report  Cover



Acquisition of Translation Rules from Parallel Corpus
Yuji Matsumoto and Mihoko Kitamura
No. 94014, June 1994
Postscript files: Report  Cover



Bilingual Text Matching using Bilingual Dictionary and Statistics
Takehito Utsuro and Yuji Matsumoto
No. 94015, June 1994
Postscript files: Report  Cover



Image Processing for Quality/Process Control of Polymer Process
Fumihiro Koizumi, Eiichi Kunugita and Hirokazu Nishitani
No. 94016, July 1994
Postscript files: Report  Cover



Operation Support System Using Dynamic Simulation for a Combined Batch/Continuous Plant
Hiroyuki Deguchi, Yoshihiko Yamasaki and Hirokazu Nishitani
No. 94017, July 1994
Postscript files: Report  Cover



Computer Aids for Plant Operation
Hirokazu Nishitani
No. 94018, July 1994
Postscript files: Report  Cover



Human-Computer Interaction in the New Process Technology
Hirokazu Nishitani
No. 94019, July 1994
Postscript files: Report  Cover



Sequential Control Issues in the Plant-Wide Control System
Daisuke Hiranaka and Hirokazu Nishitani
No. 94020, July 1994
Postscript files: Report  Cover



Extraction of Operation Signatures by Episodic Representation
Takeshi Fujiwara, Miho Koyama and Hirokazu Nishitani
No. 94021, July 1994
Postscript files: Report  Cover



Development of Real-Time Failure Detection System for Batch Reactor
Takeshi Fujiwara and Hirokazu Nishitani
No. 94022, July 1994
Postscript files: Report  Cover



Abstraction of Operating Data on the Episode Map
Takeshi Fujiwara and Hirokazu Nishitani
No. 94023, July 1994
Postscript files: Report  Cover



NAIST Natural Language Tools
Yuji Matsumoto, Yasuharu Den, Takehito Utsuro and Kiyoshi Yanagi
No. 94024, July 1994
Postscript files: Report  Cover



日本語形態素解析システムJUMAN 使用説明書\ \ version 2.0
松本裕治, 黒橋禎夫, 宇津呂武仁, 妙木 裕, 長尾 真
No. 94025, July 1994
Postscript files: Report  Cover



Implementation of Natural Language Specifications of Communication Protocols by Executable Specifications
Yasunori ISHIHARA, Hiroyuki SEKI and Tadao KASAMI
No. 94026, July 1994
Postscript files: Report  Cover



Dense Matching of Two Views with Large Displacement
Naokazu Yokoya
No. 94027, August 1994
Postscript files: Report  Cover



Algorithms for Finding the Causal Distributed Breakpoint
T. Masuzawa and N. Tokura
No. 94028, September 1994
Postscript files: Report  Cover



A Globally Convergent Newton Method for Solving Variational Inequality Problems with Inequality Constraints
Kouichi TAJI and Masao FUKUSHIMA
No. 94029, September 1994
Postscript files: Report  Cover



On a Complex Object Model over Specialization Constraints Supporting Selective Inheritance
Nobutaka Suzuki and Minoru Ito
No. 94030, October 1994
Postscript files: Report  Cover



Application Level QoS Modeling for A Distributed Multimedia System
Kazutoshi FUJIKAWA, Shinji SHIMOJO, Hisashi SHIMAMURA, Yuuichi TERANISHI, Toshio MATSUURA and Hideo MIYAHARA
No. 94031, October 1994
Postscript files: Report  Cover



A Scheduling Problem in Test Generation
Tomoo Inoue, Hironori Maeda and Hideo Fujiwara
No. 94032, October 1994
Postscript files: Report  Cover



A Block-Parallel Conjugate Gradient Method for Separable Quadratic Programming Problems
Eiki YAMAKAWA and Masao FUKUSHIMA
No. 94033, November 1994
Postscript files: Report  Cover



Equivalent Unconstrained Minimization and Global Error Bounds for Variational Inequality Problems
Nobuo YAMASHITA and Masao FUKUSHIMA
No. 94034, November 1994
Postscript files: Report  Cover



A Globally and Superlinearly Convergent Algorithm for Nonsmooth Convex Minimization
Masao FUKUSHIMA and Liqun QI
No. 94035, December 1994
Postscript files: Report  Cover






1995



Equivalence of the Generalized Complementarity Problem to Differentiable Unconstrained Minimization
Christian KANZOW and Masao FUKUSHIMA
No. 95001, January 1995
Postscript files:
Report  Cover



Optimizing Nearest Neighbor Retrieval by Similarity Template and Retrieval Query Generation
Takehito Utsuro
No. 95002, January 1995
Postscript files: Report  Cover



オブジェクト指向データモデルにおけるオブジェクトの多重表現
石丸知之,植村俊亮
No. 95003, January 1995
Postscript files: Report  Cover



Trajectory Control of a Mobile Robot by Gazing One Point
Kenichi Tokuda, Yasuhiro Ueda, Masakazu Imai and Takeshi Uno
No. 95004, January 1995
Postscript files: Report  Cover



Genetic Algorithm Enlarges Capacity of Associative Memory
Akira Imada and Keijiro Araki
No. 95005, February 1995
Postscript files: Report  Cover



Genetic Algorithm as a Learning Method in Associative Memory
Akira Imada and Keijiro Araki
No. 95006, February 1995
Postscript files: Report  Cover



Amalgamating SGML Documents and Databases
Masatoshi Yoshikawa, Osamu Ichikawa and Shunsuke Uemura
No. 95007, February 1995
Postscript files: Report  Cover



Perspective View of Spatial Relations in 3D Space
Atsushi YAMADA
No. 95008, March 1995
Postscript files: Report  Cover



Three-Dimensional Dynamic Imaging by a Spherical Pulsed Wave of Ultrasound
Hirofumi TOJO, Naotoshi FUJIMOTO, Osamu OSHIRO, Ayumu MATANI, Kosuke SATO, Kunihiro CHIHARA, Masato ASAO and Toshiyuki FURUKAWA
No. 95009, March 1995
Postscript files: Report  Cover



Three-Dimensional Motion Display of Human Heart from Medical Ultrasonic Images
Masaaki KUROZUMI, Osamu OSHIRO, Ayumu MATANI, Kosuke SATO, Kunihiro CHIHARA, Taisei MIKAMI and Akira KITABATAKE
No. 95010, March 1995
Postscript files: Report  Cover



Visualization and Analysis of Myocardial Transition by Cardiac Ultrasound Images
Naohiro AMAMOTO, Osamu OSHIRO, Ayumu MATANI, Kosuke SATO and Kunihiro CHIHARA
No. 95011, March 1995
Postscript files: Report  Cover



Intravascular Ultrasonic Imaging with a Micromotor
Seiji MATSUMOTO, Osamu OSHIRO, Ayumu MATANI, Kosuke SATO, Kunihiro CHIHARA, Atsuo IIDA, Kenji KAWABE, Takaki SHIMURA, Masato ASAO and Toshiyuki FURUKAWA
No. 95012, March 1995
Postscript files: Report  Cover



Visualization of a blood flow with Two-Dimensional Moving Target Indication
Tsuyoshi KIMURA, Osamu OSHIRO, Ayumu MATANI, Kosuke SATO and Kunihiro CHIHARA
No. 95013, March 1995
Postscript files: Report  Cover



An Optimal Parallel Algorithm for the Euclidean Distance Maps
Akihiro Fujiwara, Toshimitu Masuzawa and Hideo Fujiwara
No. 95014, March 1995
Postscript files: Report  Cover



Assignment of Data Types to Words in a Natural Language Specification
Yasunori ISHIHARA, Atsushi OHSAKI, Hiroyuki SEKI, and Tadao KASAMI
No. 95015, March 1995
Postscript files: Report  Cover



A Successive Projection Method for Multilayer Neural Networks
Keiji TATSUMI and Masao FUKUSHIMA
No. 95016, March 1995
Postscript files: Report  Cover



Design of a Digital University Library: Mandala Library
Masakazu IMAI, Hisakazu HADA, Suguru YAMAGUCHI, Kosuke SATO, Haruo TAKEMURA, Naokazu YOKOYA, Kunihiro CHIHARA and Tadao KASAMI
No. 95017, April 1995
Postscript files: Report  Cover



Design and Performance Analysis of Indexing Schemes for Set Retrieval of Nested Objects
Yoshiharu Ishikawa and Hiroyuki Kitagawa
No. 95018, May 1995
Postscript files: Report  Cover



The weight distributions of cosets of the second-order Reed-Muller code of length 128 in the third-order Reed-Muller code of length 128
Tadao Kasami, Toru Fujiwara and Yoshihisa Desaki
No. 95019, May 1995
Postscript files: Report  Cover



On the Minimum-Weight Trellis Diagrams of Reed-Muller Codes
T.Kasami and S.Lin
No. 95020, May 1995
Postscript files: Report  Cover



Modified Newton Methods for Solving Semismooth Reformulations of Monotone Complementarity Problems
Nobuo YAMASHITA and Masao FUKUSHIMA
No. 95021, May 1995
Postscript files: Report  Cover



Merit Functions for Variational Inequality and Complementarity Problems
Masao FUKUSHIMA
No. 95022, June 1995
Postscript files: Report  Cover



部分スキャンによる同期化可能な有限状態機械の合成について
四浦 洋, 井上 智生, 増澤 利光, 藤原 秀雄
No. 95023, July 1995
Postscript files: Report  Cover



Unconstrained Optimization Reformulations of Variational Inequality Problems
Nobuo YAMASHITA, Kouichi TAJI and Masao FUKUSHIMA
No. 95024, August 1995
Postscript files: Report  Cover



Proximal Quasi-Newton Methods for Nondifferentiable Convex Optimization
Xiaojun CHEN and Masao FUKUSHIMA
No. 95025, September 1995
Postscript files: Report  Cover



Minimizing and Stationary Sequences of Merit Functions for Complementarity Problems and Variational Inequalities
Masao FUKUSHIMA and Jong-Shi PANG
No. 95026, September 1995
Postscript files: Report  Cover



An Immune Network Approach for Sensor-Based Diagnosis with Sensor Faults: An Experimental Simulation for Cement Plant
Yoshiteru Ishida and Francois Mizessyn
No. 95027, October 1995
Postscript files: Report  Cover



An Immune Network Approach to Sensor-Network with Self-Organization for Sensor and Process Faults
Yoshiteru Ishida
No. 95028, October 1995
Postscript files: Report  Cover



An Immune Network Approach for Sensor-Based Diagnosis with Measurement Noise and Gross Errors
Yoshiteru Ishida and Yasunori Tokimasa
No. 95029, October 1995
Postscript files: Report  Cover
v



An Immunological Algorithm and Its Application to Disturbance Rejection
Yoshiteru Ishida and Norihiko Adachi
No. 95030, October 1995
Postscript files: Report  Cover



Note on Immune Network and Majority Network
Yoshiteru Ishida
No. 95031, October 1995
Postscript files: Report  Cover



Structural Analysis on Interval Matrices by Signed Digraph: Determinant Maximization and Singularity
Yoshiteru Ishida
No. 95032, October 1995
Postscript files: Report  Cover



Structural Analysis on Interval Matrices by Signed Digraph: Structural Perturbation Principle
Yoshiteru Ishida
No. 95033, October 1995
Postscript files: Report  Cover



Machine Formulation and Understanding of the Equations of Physical Laws by Symmetry
Yoshiteru Ishida
No. 95034, October 1995
Postscript files: Report  Cover



A Computable Generalized Hessian of the D-Gap Function and Newton-Type Methods for Variational Inequality Problems
Defeng SUN, Masao FUKUSHIMA and Liqun QI
No. 95035, October 1995
Postscript files: Report  Cover



Simple Genetic Algorithm as a Learning Method for Associative Memory
Akira Imada and Keijiro Araki
No. 95036, November 1995
Postscript files: Report  Cover



A Trust Region Method for Solving Generalized Complementarity Problems
Houyuan JIANG, Masao FUKUSHIMA, Liqun QI, Defeng SUN
No. 95037, November 1995
Postscript files: Report  Cover



Evolution of Associative Memory with Environmental Change
Akira Imada and Keijiro Araki
No. 95038, November 1995
Postscript files: Report  Cover



Lamarckian Evolution of Associative Memory
Akira Imada and Keijiro Araki
No. 95039, December 1995
Postscript files: Report  Cover






1996



GINGER: a quantitative analysis environment for improving programmer performance
Torii K., Matsumoto K., and Kusumoto S.
No. 96001, January 1996
Postscript files:
Report  Cover



A New NCP-Function and Its Properties
Nobuo YAMASHITA and Masao FUKUSHIMA
No. 96002, January 1996
Postscript files: Report  Cover



Baldwin Effect on the Evolution of Associative Memory
Akira Imada and Keijiro Araki
No. 96003, January 1996
Postscript files: Report  Cover



Basin of Attraction of Hebb-rule Associative Memory as it Evolves
Akira Imada and Keijiro Araki
No. 96004, February 1996
Postscript files: Report  Cover



形態素解析視覚化システム {\bf Vi\,JUMAN} version 1.0 使用説明書
山下達雄,松本裕治
No. 96005, February 1996
Postscript files: Report  Cover



Weight Distributions of the Third and Fifth Order Reed-Muller Codes of Length 512
Tsukasa Sugita, Tadao Kasami, Toru Fujiwara
No. 96006, February 1996
Postscript files: Report  Cover



Basin of Attraction of Associative Memory as it is Evolved by a Genetic Algorithm
Akira Imada and Keijiro Araki
No. 96007, February 1996
Postscript files: Report  Cover



Basin of Attraction of Associative Memory as it is Evolved from Random Weights
Akira Imada and Keijiro Araki
No. 96008, February 1996
Postscript files: Report  Cover



Basin of Attraction of Hebb-rule Associative Memory as it Evolves
Akira Imada and Keijiro Araki
No. 96009, February 1996
Postscript files: Report  Cover



New NCP-Functions and Their Properties
Christian KANZOW, Nobuo YAMASHITA and Masao FUKUSHIMA
No. 96010, March 1996
Postscript files: Report  Cover



Theoretical and Numerical Investigation of the D-Gap Function for Box Constrained Variational Inequalities
Christian KANZOW and Masao FUKUSHIMA
No. 96011, March 1996
Postscript files: Report  Cover



Syntactic Unification Problem under Constrained Substitutions
Kazuhiro Takada, Yuichi Kaji and Tadao Kasami
No. 96012, April 1996
Postscript files: Report  Cover



ローマ字圏でない国の情報処理
植村俊亮
No. 96013, June 1996
Postscript files: Report  Cover



One Resettable State Variable Is Almost Sufficient for Synthesizing Synchronizable FSMs
Toshimitsu Masuzawa, Tomoo Inoue, Hiroshi Youra, and Hideo Fujiwara
No. 96014, July 1996
Postscript files: Report  Cover



A Method for Computing Split Weight Distributions of Reed-Muller Codes
Tsukasa Sugita, Tadao Kasami, Toru Fujiwara
No. 96015, July 1996
Postscript files: Report  Cover



組合せテスト生成可能な拡張部分スキャン設計
高崎 智也、井上 智生、藤原 秀雄
No. 96016, September 1996
Postscript files: Report  Cover



回路疑似変換による順序回路テスト生成の一手法
大竹哲史, 井上智生, 藤原秀雄
No. 96017, September 1996
Postscript files: Report  Cover



Searching Real-Valued Synaptic Weights of Hopfield's Associative Memory using Evolutionary Programming
Akira Imada and Keijiro Araki
No. 96018, September 1996
Postscript files: Report  Cover



Detecting the Organization of Semantic Subclasses of Japanese Verbs
Akira Oishi and Yuji Matsumoto
No. 96019, October 1996
Postscript files: Report  Cover



Application of an Evolution Strategy to the Hopfield Model of Associative Memory
Akira Imada and Keijiro Araki
No. 96020, November 1996
Postscript files: Report  Cover



Evolved Asymmetry and Dilution of Random Synaptic Weights in Hopfield Network Turn a Spin-glass Phase into Associative Memory
Akira Imada and Keijiro Araki
No. 96021, November 1996
Postscript files: Report  Cover



Hopfield Model of Associative Memory as a Test Function of Evolutionary Computations
Akira Imada and Keijiro Araki
No. 96022, November 1996
Postscript files: Report  Cover



二言語間の対訳文構造照合GUI ``V-Para'' の作成
中塚幸毅, 宇津呂武仁, 北村美穂子, 松本裕治
No. 96023, December 1996
Postscript files: Report  Cover






1997



Random Perturbations to Hebbian Synapses of Associative Memory using a Genetic Algorithm
Akira Imada and Keijiro Araki
No. 97001, January 1997
Postscript files:
Report  Cover



An analysis of the Hopfield Model of Associative Memory by means of a Genetic Algorithm
Akira Imada and Keijiro Araki
No. 97002, January 1997
Postscript files: Report  Cover



A Recursive Maximum Likelihood Decoding Algorithm for Reed-Muller Codes and Related Codes
Tadao KASAMI, Hitoshi TOKUSHIGE, Toru FUJIWARA, Hiroshi YAMAMOTO and Shu LIN
No. 97003, January 1997
Postscript files: Report  Cover



Evolution of Hopfield Model of Associative Memory by the Breeder Genetic Algorithm
Akira Imada and Keijiro Araki
No. 97004, January 1997
Postscript files: Report  Cover



Ontology-Centric Knowledge Organization
Hideaki Takeda, Michiaki Iwazume, and Toyoaki Nishida
No. 97005, January 1997
Postscript files: Report  Cover



Learning Probabilistic Subcategorization Preference and its Application to Syntactic Disambiguation
Takehito Utsuro and Yuji Matsumoto
No. 97006, February 1997
Postscript files: Report  Cover



日本語形態素解析システム『茶筌』version 1.0 使用説明書
松本裕治, 北内啓, 山下達雄, 今一修, 今村友明
No. 97007, February 1997
Postscript files: Report  Cover



Evolution of Associative Memory using Diploid Chromosomes
Akira Imada and Keijiro Araki
No. 97008, February 1997
Postscript files: Report  Cover



Clustering Words by Syntactical Behavior
Wide. R. Hogenhout and Yuji Matsumoto
No. 97009, March 1997
Postscript files: Report  Cover



Scalable Networked Virtual Reality System with Live Video
Seiwoong OH, Daisuke KADO, Tomohiro TAIRA, Kazutoshi FUJIKAWA, Shinji SHIMOJO, Masatoshi ARIKAWA, Hideo MIYAHARA
No. 97010, June 1997
Postscript files: Report  Cover



User Authentication with the Help of Simple Memory Devices
Keiji Amo, Yuichi Kaji and Tadao Kasami
No. 97011, June 1997
Postscript files: Report  Cover



One sufficient termination condition for some iterative soft-decision algorithms decoding binary linear block codes
Tang Yuansheng, Tadao Kasami
No. 97012, June 1997
Postscript files: Report  Cover



オブジェクト指向データベースにおける型検査問題の計算量
清水 將吾, 石原 靖哲, 関 浩之, 伊藤 実
No. 97013, June 1997
Postscript files: Report  Cover



Sequential Test Generation Based on Circuit Pseudo-Transformation
Satoshi Ohtake, Tomoo Inoue and Hideo Fujiwara
No. 97014, July 1997
Postscript files: Report  Cover



Telepresence by Real-time View-dependent Image Generation from Omnidirectional Video Streams
Yoshio Onoe, Kazumasa Yamazawa, Haruo Takemura and Naokazu Yokoya
No. 97015, August 1997
Postscript files: Report  Cover



Evolution of Random Synaptic Weights of the Hopfield Associative Memory: How Chaotic Trajectories Turn into Fixed Point Attractors?
Akira Imada and Keijiro Araki
No. 97016, August 1997
Postscript files: Report  Cover



Fitness Landscape of the Hopfield Model of Associative Memory
Akira Imada and Keijiro Araki
No. 97017, September 1997
Postscript files: Report  Cover



How does the Landscape of a Hopfield Associative Memory Look Like?
Akira Imada and Keijiro Araki
No. 97018, October 1997
Postscript files: Report  Cover



Bayesian Network Models of Subcategorization and Their MDL-Based Learning from Corpus
Takashi Miyata and Takehito Utsuro and Yuji Matsumoto
No. 97019, October 1997
Postscript files: Report  Cover



On the Complexity of Universal Fault Diagnosis for Look-up Table FPGAs
Tomoo Inoue, Satoshi Miyazaki, and Hideo Fujiwara
No. 97020, October 1997
Postscript files: Report  Cover



Explorations of Fitness Landscapes of a Hopfield Associative Memory with Random and Evolutionary Walks
Akira Imada and Keijiro Araki
No. 97021, October 1997
Postscript files: Report  Cover



Partial Scan Design Methods Based on Internally Balanced Structure
Tomoya TAKASAKI, Tomoo INOUE, and Hideo FUJIWARA
No. 97022, November 1997
Postscript files: Report  Cover






1998



Some Theoretical Considerations on Integration of Ontologies
Hideaki Takeda and Toyoaki Nishida
No. 98001, March 1998
Postscript files:
Report  Cover



巡回セールスマン問題に対する$\lambda$-optの確率的多項式性
岡田正浩,田地宏一,高橋豊
No. 98002, April 1998
Postscript files: Report  Cover



Simulation Study on Multi-hop Jitter Behavior in Integrated ATM Network with CATV and Internet
Naotoshi Adachi, Shoji Kasahara and Yutaka Takahashi
No. 98003, April 1998
Postscript files: Report  Cover



The Type-Consistency Problem for Queries in Object-Oriented Databases
Yasunori Ishihara, Shougo Shimizu, Hiroyuki Seki and Minoru Ito
No. 98004, April 1998
Postscript files: Report  Cover



Practical Time-scale Fitting of Self-similar Traffic with Markov-modulated Poisson Process
Tadafumi Yoshihara, Shoji Kasahara and Yutaka Takahashi
No. 98005, April 1998
Postscript files: Report  Cover



Self-organizing Network Learning of Sub-millisecond Temporal Coded Information
Kenichi Amemori and Shin Ishii
No. 98006, April 1998
Postscript files: Report  Cover



A Formal Approach to Detecting Security Flaws in Object-Oriented Database Schemas
Toshiyuki Morita, Yasunori Ishihara, and Minoru Ito
No. 98007, June 1998
Postscript files: Report  Cover



Computation Complexity for Computing Sufficient Conditions on the Optimality of a Decoded Codeword
Tadao Kasami and Takuya Koumoto
No. 98008, July 1998
Postscript files: Report  Cover



A Non-scan DFT Method for RTL Data Paths to Achieve Complete Fault Efficiency
Toshimitsu MASUZAWA and Hiroki WADA and Kewal K. SALUJA and Hideo FUJIWARA
No. 98009, July 1998
Postscript files: Report  Cover



Evaluating the Application of Software Metrics to Data Flow Diagrams and Class Diagrams in Usability Laboratory Experiments (CADPRO Pilot \#1)
Andy Brooks, Louise Scott, Shingo Takada
No. 98010, October 1998
Postscript files: Report  Cover



A Procedure for Solving an Order-Sorted Unification Problem --- extension for left nonlinear system
Toshinori Takai, Yuichi Kaji, Takehiko Tanaka and Hiroyuki Seki
No. 98011, October 1998
Postscript files: Report  Cover



An Optimality Testing Algorithm for a Decoded Codeword of Binary Block Codes
Tang Yuansheng, Tadao Kasami and Toru Fujiwara
No. 98012, October 1998
Postscript files: Report  Cover



New DFT Techniques of Non-Scan Sequential Circuits with Complete Fault Efficiency
Debesh Kumar Das, Satoshi Ohtake and Hideo Fujiwara
No. 98013, November 1998
Postscript files: Report  Cover






1999



フラクタル的トラフィックの諸性質と待ち行列長分布の近似的解析法
笠原正治
No. 99001, January 1999
Postscript files:
Report  Cover



Anonymous Bidding Protocols Using an Anonymous Undeniable Signature
Toru Nakanishi, Toru Fujiwara and Hajime Watanabe
No. 99002, January 1999
Postscript files: Report  Cover



Evaluating data flow diagrams and class diagrams in usability laboratory experiments (CADPRO Pilot \#2)
Shingo Takada, Louise Scott, Andy Brooks
No. 99003, February 1999
Postscript files: Report  Cover



共有メモリマルチプロセッサシステムにおける同期時間最適な無待機時計合わせプロトコル
守屋 宣,井上美智子,増澤 利光,藤原 秀雄
No. 99004, March 1999
Postscript files: Report  Cover



Jitter Behavior of MPEG2 Stream in Self-similar Traffic of ATM Network Integrating CATV and Internet
Naotoshi Adachi, Shoji Kasahara and Yutaka Takahashi
No. 99005, April 1999
Postscript files: Report  Cover



Universal Test Complexity of Field-Programmable Gate Arrays
Tomoo Inoue, Hideo Fujiwara, Hiroyuki Michinishi, Tokumi Yokohira, and Takuji Okamoto
No. 99006, April 1999
Postscript files: Report  Cover



Test Generation for Acyclic Sequential Circuits with Hold Registers
Tomoo Inoue, Chiiho Sano, Takahiro Mihara, and Hideo Fujiwara
No. 99007, April 1999
Postscript files: Report  Cover



日本語形態素解析システム『茶筌』version 2.0 使用説明書
松本裕治, 北内啓, 山下達雄, 平野善隆
No. 99008, April 1999
Postscript files: Report  Cover



Japanese Morphological Analysis System ChaSen version 2.0 Manual
Yuji Matsumoto, Akira Kitauchi, Tatsuo Yamashita and Yoshitaka Hirano
No. 99009, April 1999
Postscript files: Report  Cover



A sufficient condition for the termination of the procedure for solving an order-sorted unification problem
Toshinori Takai, Yuichi Kaji, and Hiroyuki Seki
No. 99010, August 1999
Postscript files: Report  Cover



Measurement Analysis of Cell Stream in ATM Network Integrating CATV and Internet
Kohhei Yamada, Naotoshi Adachi, Shoji Kasahara, and Yutaka Takahashi
No. 99011, September 1999
Postscript files: Report  Cover



日本語形態素解析システム『茶筌』version 2.0 使用説明書 第二版
松本裕治, 北内啓, 山下達雄, 平野善隆, 松田寛, 浅原正幸
No. 99012, December 1999
Postscript files: Report  Cover






2000



A New Data Structure for Complete Implication Graph with Application for Static Learning
Emil Gizdarski and Hideo Fujiwara
No. 2000001, January 2000
Postscript files:
Report  Cover



Computational Complexity of Finding Highly Co-occurrent Itemsets in Market Basket Databases
Yeon-Dae Kwon, Yasunori Ishihara, Shougo Shimizu and Minoru Ito
No. 2000002, February 2000
Postscript files: Report  Cover



A reinforcement learning for continuous systems
Junichiro Yoshimoto, Shin Ishii, Masa-aki Sato
No. 2000003, February 2000
Postscript files: Report  Cover



Theorems for Separable Primary Input Faults in Internally Balanced Structures
Michiko Inoue, Emil Gizdarski, Hideo Fujiwara
No. 2000004, March 2000
Postscript files: Report  Cover



SPIRIT: Satisfiability Problem Implementation for Redundancy Identification and Test Generation
Emil Gizdarski and Hideo Fujiwara
No. 2000005, April 2000
Postscript files: Report  Cover



Blocking Behavior of Queueing System with Finite Buffer and Pseudo Self-similar Input
Shoji Kasahara
No. 2000006, August 2000
Postscript files: Report  Cover



SPIRIT: A High Robust Combinational Test Generation Algorithm
Emil Gizdarski and Hideo Fujiwara
No. 2000007, October 2000
Postscript files: Report  Cover



Application-Level Jitter Reduction Scheme for Multimedia Communication over ATM-ABR Service
Naotoshi Adachi, Shoji Kasahara and Yutaka Takahashi
No. 2000008, October 2000
Postscript files: Report  Cover



A Non-scan DFT Method at RTL Based on Fixed-control Testability to Achieve 100\% Fault Efficiency
Satoshi Ohtake, Shintaro Nagai, Hiroki Wada and Hideo Fujiwara
No. 2000009, November 2000
Postscript files: Report  Cover



定数幅量子ブランチングプログラムの計算能力
中西正樹,浜口清治,柏原敏伸
No. 2000010, November 2000
Postscript files: Report  Cover



A-tree: An Index Structure for High-Dimensional Spaces Using Relative Approximation
Yasushi Sakurai, Masatoshi Yoshikawa, Shunsuke Uemura and Haruhiko Kojima
No. 2000011, December 2000
Postscript files: Report  Cover



An XML Indexing Structure with Relative Region Coordinate
Dao Dinh Kha, Masatoshi Yoshikawa and Shunsuke Uemura
No. 2000012, December 2000
Postscript files: Report  Cover



Flexible Category Structure for Supporting Document Retrieval and Its Evaluation
Kokoro Nakagawa, Yoshiaki Takata, and Hiroyuki Seki
No. 2000013, December 2000
Postscript files: Report  Cover



非決定性量子有限オートマトン
中西正樹, 印藤隆夫, 浜口清治, 柏原敏伸
No. 2000014, December 2000
Postscript files: Report  Cover






2001



ソフトウェア利用知識の共有における機能実行履歴の提示
森崎 修司,門田 暁人,松本 健一,井上 克郎,鳥居 宏次
No. 2001001, March 2001
Postscript files:
Report  Cover



CLAS: An Approach for Full Use of Application Software
Ken-ichi Matsumoto, Shuuji Morisaki, Akito Monden, Koji Torii
No. 2001002, March 2001
Postscript files: Report  Cover



Decidability and Complexity of the Security Verification Problem for Programs with Stack Inspection
Naoya Nitta, Satoshi Ikada, Yoshiaki Takata and Hiroyuki Seki
No. 2001003, March 2001
Postscript files: Report  Cover



Fault Set Partition for Efficient Width Compression
Emil Gizdarski and Hideo Fujiwara
No. 2001004, March 2001
Postscript files: Report  Cover



On the Power of Quantum Pushdown Automata with a Classical Stack and 1.5-way Quantum Finite Automata
Masaki Nakanishi, Takao Indoh, Kiyoharu Hamaguchi, and Toshinobu Kashiwabara
No. 2001005, March 2001
Postscript files: Report  Cover



A DFT Method for Core-Based Systems-on-a-Chip based on Consecutive Testability
Tomokazu Yoneda, and Hideo Fujiwara
No. 2001006, May 2001
Postscript files: Report  Cover



Software Quality Analysis by Code Clones in Industrial Legacy Software
Akito Monden, Daikai Nakae, Toshihiro Kamiya, Shin-ichi Sato, Ken-ichi Matsumoto
No. 2001007, September 2001
Postscript files: Report  Cover






2002



不連続再収斂順序回路のパス遅延故障に対するテスト生成法
岩垣 剛,大竹 哲史,藤原 秀雄
No. 2002001, February 2002
Postscript files:
Report  Cover



固定制御可検査性に基づくRTL回路の非スキャンテスト容易化設計法
永井慎太郎,和田弘樹,大竹哲史,藤原秀雄
No. 2002002, January 2002
Postscript files: Report  Cover



Preemptive Power Constrained TAM Scheduling for Scan-based System-on-Chip
Erik Larsson and Hideo Fujiwara
No. 2002003, January 2002
Postscript files: Report  Cover



ホールドレジスタを含む内部平衡構造
神野 元彰,井上 美智子,藤原 秀雄
No. 2002004, February 2002
Postscript files: Report  Cover



An ILP Formulation for Consecutive Testability of System-on-a-Chip
Tomokazu Yoneda and Hideo Fujiwara
No. 2002005, February 2002
Postscript files: Report  Cover



非同期共有メモリシステムにおけるポイント競合度適応型繰り返し改名アルゴリズム
梅谷真也,井上美智子,増澤利光,藤原秀雄
No. 2002006, March 2002
Postscript files: Report  Cover



縮退故障のテスト生成アルゴリズムを用いたパス遅延故障に対するテスト生成法
大谷浩平,大竹哲史,藤原秀雄
No. 2002007, March 2002
Postscript files: Report  Cover



レジスタ転送レベルでのデータフロー依存型回路の階層テスト容易化設計法
永井慎太郎,大竹哲史,藤原秀雄
No. 2002008, April 2002
Postscript files: Report  Cover



Similarity Search for Adaptive Ellipsoid Queries Using Spatial Transformation
Yasushi Sakurai, Masatoshi Yoshikawa, Ryoji Kataoka and Shunsuke Uemura
No. 2002009, May 2002
Postscript files: Report  Cover



Processing XML Queries on Structure and Keyword in SKEYRUS
Dao Dinh Kha, Masatoshi Yoshikawa and Shunsuke Uemura
No. 2002010, June 2002
Postscript files: Report  Cover



Optimal Test Time for System-on-Chip Designs using Preemptive Scheduling and Reconfigurable Wrappers
Erik Larsson and Hideo Fujiwara
No. 2002011, July 2002
Postscript files: Report  Cover



Ubiquitous Memories: Wearable Interface for Computational Augmentation of Human Memory based on Real World Objects
Tatsuyuki Kawamura, Tomohiro Fukuhara, Hideaki Takeda, Yasuyuki Kono, Masatsugu Kidode
No. 2002012, July 2002
Postscript files: Report  Cover



Design for Consecutive Transparency of RTL Circuits
Tomokazu Yoneda and Hideo Fujiwara
No. 2002013, July 2002
Postscript files: Report  Cover



QoS Provisioning with Shared Wavelength Allocation for Limited-range Wavelength Conversion
Takuji Tachibana and Shoji Kasahara
No. 2002014, August 2002
Postscript files: Report  Cover



Corpus counts of NP sequences in Japanese
Ryu Iida and Edson T. Miyamoto
No. 2002015, November 2002
Postscript files: Report  Cover



QoS-Guaranteed Wavelength Allocation for WDM Networks with Limited-Range Wavelength Conversion
Takuji Tachibana and Shoji Kasahara
No. 2002016, November 2002
Postscript files: Report  Cover



Remembering the Object Location with a Wearable Vision Interface
Takahiro Ueoka, Tatsuyuki Kawamura, Norimichi Ukita, Yasuyuki Kono, Masatsugu Kidode
No. 2002017, December 2002
Postscript files: Report  Cover






2003



Performance Analysis of Dynamic Light-path Configuration for Symmetric WDM Ring Networks
Takuji Tachibana and Shoji Kasahara
No. 2003001, February 2003
Postscript files:
Report  Cover



Area and Time Co-Optimization for System-on-a-Chip based on Consecutive Testability
Tomokazu Yoneda, Tetsuo Uchiyama and Hideo Fujiwara
No. 2003002, February 2003
Postscript files: Report  Cover



Round-Robin Burst Assembly and Constant Transmission Scheduling for Optical Burst Switching Networks
Takuji Tachibana, Tomoya Ajima and Shoji Kasahara
No. 2003003, April 2003
Postscript files: Report  Cover



Dynamic Parameter Adjustment for Available-Bandwidth Estimation of TCP in Wired-Wireless Networks
Natsuki Itaya and Shoji Kasahara
No. 2003004, April 2003
Postscript files: Report  Cover



Test Synthesis for Strongly Testable Datapaths using Datapath-Controller Functions
Michiko Inoue, Kazuhiro Suzuki, Hiroyuki Okamoto, Hideo Fujiwara
No. 2003005, May 2003
Postscript files: Report  Cover



Software-Based Delay Fault Testing of Processor Cores
Virendra Singh, Michiko Inoue, Kewal K Saluja, Hideo Fujiwara
No. 2003006, May 2003
Files: Report (PDF file)  (postscript file) 
        Cover (postscript file)



An Extension of Pushdown System and Its Model Checking Method
Naoya Nitta and Hiroyuki Seki
No. 2003007, June 2003
Postscript files: Report  Cover



Automatic Generation of Java Query API Capable of Simulating Active Database
Toshiaki Majima
No. 2003008, August 2003
Files: Report (PDF file)  (postscript file) 
        Cover (postscript file)



Reducibility of Sequential Test Generation to Combinational Test Generation for Several Delay Fault Models
Tsuyoshi Iwagaki, Satoshi Ohtake and Hideo Fujiwara
No. 2003009, September 2003
Files: Report (postscript file) 
        Cover (postscript file)



A Design Scheme for Delay Fault Testability of Controllers Using State Transition Information
Tsuyoshi Iwagaki, Satoshi Ohtake and Hideo Fujiwara
No. 2003010, September 2003
Files: Report (postscript file) 
        Cover (postscript file)



One-Sided Error Quantum Pushdown Automata with Classical Stack Operations
Masaki Nakanishi
No. 2003011, October 2003
Files: Report (postscript file) 
        Cover (postscript file)



Virtual Joins for XML Data
Dao Dinh Kha, Masatoshi Yoshikawa, Shunsuke Uemura
No. 2003012, November 2003
Files: Report (postscript file) 
        Cover (postscript file)



Obfuscated Instructions for Software Protection
Akito Monden, Antoine Monsifrot, Clark Thomborson
No. 2003013, November 2003
Files: Report (postscript file) 
        Cover (postscript file)  (postscript file2)
        Cover & report (PDF file)



Detecting the Theft of Programs Using Birthmarks
Haruaki Tamada, Masahide Nakamura, Akito Monden, Ken-ichi Matsumoto
No. 2003014, November 2003
Files: Report (postscript file) 
        Cover (postscript file)  (postscrit file2)
        Cover & report (PDF file)



Image Similarity Mesurement by an Integrated Probabilistic Histogram
Tatsuyuki Kawamura, Takahiro Ueoka, Yutaka Kiuchi, Yasuyuki Kono, Masatsugu Kidode
No. 2003015, December 2003
Files: Report (postscript file) 
        Cover (postscript file)



Functional Evaluation of a Wearable Object Remembrance Support System
Takahiro Ueoka, Tatsuyuki Kawamura, Yasuyuki Kono, Masatsugu Kidode
No. 2003016, December 2003
Files: Report (postscript file) 
        Cover (postscript file)



Rating Human Relations for Recommendation of an Augmented Video Memory using Human Profile Data and Meeting Logs
Tatsuyuki Kawamura, Chin-Chan Lin, Yasuyuki Kono, Masatsugu Kidode
No. 2003017, December 2003
Files: Report (postscript file) 
        Cover (postscript file)






2004



Classification of Sequential Circuits Based on Combinational Test Generation Complexity
Chia Yee Ooi and Hideo Fujiwara
No. 2004001, January 2004
Files: Report
(postscript file) 
        Cover (postscript file)



Some tau-Equivalent Classes of Sequential Circuits
Chia Yee Ooi and Hideo Fujiwara
No. 2004002, June 2004
Files: Report (postscript file) 
        Cover (postscript file)



Performance Analysis of Timer-Based Burst Assembly with Slotted Scheduling for Optical Burst Switching Networks
Takuji Tachibana and Shoji Kasahara
No. 2004003, September 2004
Files: Report (postscript file) 
        Cover (postscript file)



Burst-Cluster Transmission: Service Differentiation Mechanism for Immediate Reservation in Optical burst Switching Networks
Takuji Tachibana and Shoji Kasahara
No. 2004004, September 2004
Files: Report (postscript file) 
        Cover (postscript file)



Optimal Lightpath Establishment Policy for Service Differentiation in WDM Networks with Full-Range Wavelength Conversion
Takuji Tachibana and Shoji Kasahara
No. 2004005, September 2004
Files: Report (postscript file) 
        Cover (postscript file)



Software-Based Delay Fault Self-Testing of Pipelined Processor Cores
Virendra Singh, Michiko Inoue, Kewal K. Saluja, and Hideo Fujiwara
No. 2004006, September 2004
Files: Report (postscript file) 
        Cover (postscript file)



XML文書に対するアクセシビリティ・ガイドライン適合性検証
高田喜朗, 中村岳志, 関浩之
No. 2004007, October 2004
Files: Report (postscript file) 
        Cover (postscript file)



Link Analysis with Kernels
Takahiko Ito, Masashi Shimbo, Taku Kudo, and Yuji Matsumoto
No. 2004008, October 2004
Files: Report (postscript file) 
        Cover (postscript file)



Acceleration of Transition Test Generation for Acyclic Sequential Circuits Utilizing Constrained Combinational Stuck-at Test Generation
Tsuyoshi Iwagaki, Satoshi Ohtake and Hideo Fujiwara
No. 2004009, December 2004
Files: Report (postscript file) 
        Cover (postscript file)






2005



単一端子変化遅延テストに基づくデータパスのテスト容易化設計
吉川祐樹,大竹哲史,井上美智子,藤原秀雄
No. 2005001, January 2005
Files: Report
(postscript file) 
        Cover (postscript file)



View Angle Evaluation of A First-person Video to Support An Object-finding Task
Takahiro Ueoka, Tatsuyuki Kawamura, Yasuyuki Kono and Masatsugu Kidode
No. 2005002, March 2005
Files: Report (postscript file) 
        Cover (postscript file)



Test Generation Complexity for Stuck-At and Path Delay Faults Based on tau^k-Notation
Chia Yee Ooi, Thomas Clouqueur and Hideo Fujiwara
No. 2005003, May 2005
Files: Report (postscript file) 
        Cover (postscript file)



Power-Constrained Test Scheduling for Multi-Clock Domain SoCs
Tomokazu Yoneda, Kimihiko Masuda and Hideo Fujiwara
No. 2005004, June 2005
Files: Report (postscript file) 
        Cover (postscript file)



Design for Testability Based on Single-Port-Change Delay Testing for Data Paths
Yuki Yoshikawa, Satoshi Ohtake, Michiko Inoue, Hideo Fujiwara
No. 2005005, August 2005
Files: Report (postscript file) 
        Cover (postscript file)



A Presence-aware Trust Management System
Yoshiaki Takata, Jun Noda, Mie Takahashi, Hisashi Mouri, Itaru Hosomi, Daigo Taguchi, and Hiroyuki Seki
No. 2005006, October 2005
Files: Report (postscript file) 
        Cover (postscript file)



Off-Policy Natural Actor-Critic
Takeshi Mori, Yutaka Nakamura, Shin Ishii
No. 2005007, November 2005
Files: Report (postscript file) 
        Cover (postscript file)



Balancing plasticity and stability of on-line learning based on hierarchical Bayesian adaptation of forgetting factors
Junichiro Hirayama, Junichiro Yoshimoto and Shin Ishii
No. 2005008, November 2005
Files: Report (postscript file) 
        Cover (postscript file)



Model-based Reinforcement Learning for Partially Observable Games with Sampling-based State Estimation
Hajime Fujita and Shin Ishii
No. 2005009, November 2005
Files: Report (postscript file) 
        Cover (postscript file)






2006



An approach to Reduce Over-testing of Path Delay Faults in Data Paths Using RT-level Information
Yuki Yoshikawa, Satoshi Ohtake and Hideo Fujiwara
No. 2006001, February 2006
Files: Report
(postscript file) 
        Cover (postscript file)



Stochastic Multiple Context-Free Grammar for RNA Pseudoknot Modeling
Yuki Kato and Hiroyuki Seki
No. 2006002, March 2006
Files: Report (postscript file) 
        Cover (postscript file)



A New Class of Sequential Circuits with Acyclic Test Generation Complexity
Chia Yee Ooi and Hideo Fujiwara
No. 2006003, May 2006
Files: Report (postscript file) 
        Cover (postscript file)



Classification of Sequential Circuits Based on Acyclic Test Generation Complexity
Chia Yee Ooi and Hideo Fujiwara
No. 2006004, July 2006
Files: Report (postscript file) 
        Cover (postscript file)



Efficient and Effective Test Program Generation for Software-Based Self-Test of Pipelined Processors
Michiko Inoue, Masato Nakazato, Shinya Yokoyama, Kazuko Kambe, Hideo Fujiwara
No. 2006005, August 2006
Files: Report (postscript file) 
        Cover (postscript file)



An SoC Test Scheduling Algorithm using Reconfigurable Union Wrappers
Tomokazu Yoneda, Masahiro Imanishi and Hideo Fujiwara
No. 2006006, September 2006
Files: Report (postscript file) 
        Cover (postscript file)



On the Generative Power of Multiple Context-Free Grammars and Macro Grammars
Hiroyuki Seki and Yuki Kato
No. 2006007, September 2006
Files: Report (postscript file) 
        Cover (postscript file)



An Extension of Association Rule Mining for Software Engineering Data Repositories
Shuji Morisaki, Akito Monden, Haruaki Tamada, Tomoko Matsumura, and Ken-ichi Matsumoto
No. 2006008, November 2006
Files: Report (postscript file) 
        Cover (postscript file)






2007



自動データ収集・可視化ツールを用いたリアルタイムフィードバックシステムの構築と試行
松村知子, 勝又敏次, 森崎修司, 玉田春昭, 大杉直樹, 門田暁人, 楠本真二, 松本健一
No. 2007001, February 2007
Files: Report
(postscript file) 
        Cover (postscript file)



プロジェクト遅延リスク検出を目的とするソフトウェア開発プロセス可視化ツール ProStar
玉田 春昭, 松村 知子, 森崎 修司, 松本 健一
No. 2007002, February 2007
Files: Report (postscript file) 
        Cover (postscript file)



相関ルール分析を用いた障害対応データの特徴分析
森崎修司, 松村知子, 玉田春昭, 大杉直樹, 門田暁人, 松本健一
No. 2007003, February 2007
Files: Report (postscript file) 
        Cover (postscript file)



A Placement and Routing Algorithm for a Reconfigurable 1-bit Processor Array
Mitsuru Tomono, Masaki Nakanishi, Shigeru Yamashita, and Yasuhiko Nakashima
No. 2007004, March 2007
Files: Report (postscript file) 
        Cover (postscript file)



GQMモデルに基づく設計工程完成度計測手法の提案
松村知子,森崎修司,玉田春昭,大杉直樹,門田暁人,松本健一
No. 2007005, March 2007
Files: Report (postscript file) 
        Cover (postscript file)



プロセス改善を目的とするODCを用いた欠陥修正工数分析
松村知子,森崎修司,玉田春昭,大杉直樹,門田暁人,松本健一
No. 2007006, March 2007
Files: Report (postscript file) 
        Cover (postscript file)



設計書の再利用を考慮したレビュー効率の比較方法の提案と事例紹介
松村知子,大杉直樹,森崎修司,玉田春昭,門田暁人,松本健一
No. 2007007, March 2007
Files: Report (postscript file) 
        Cover (postscript file)



マハラノビス距離による制御対象の熱容量推定手法
鈴木 新,杉本 謙二
No. 2007008, April 2007
Files: Report (postscript file) 
        Cover (postscript file)



An Experiment to Explore Practical Training for Object-Oriented Design Novices
Izuru Kume, Naoya Nitta and Yasuhiro Takemura
No. 2007009, May 2007
Files: Report (postscript file) 
        Cover (postscript file)



誤差因子を用いたMTシステムにおける単位空間擬似データ作成法と評価実験
鈴木 新,杉本 謙二
No. 2007010, May 2007
Files: Report (postscript file) 
        Cover (postscript file)



Design and Evaluation of Dynamic Software Birthmarks Based on API Calls
Haruaki Tamada, Keiji Okamoto, Masahide Nakamura, Akito Monden, Ken-ichi Matsumoto
No. 2007011, May 2007
Files: Report (postscript file)    (PDF file)
        Cover (postscript file)



Over-testing Reduction for Delay Faults through False Path Exclusion Using RTL Information
Yuki Yoshikawa, Satoshi Ohtake and Hideo Fujiwara
No. 2007012, June 2007
Files: Report (postscript file) 
        Cover (postscript file)



Policy Gradient Reinforcement Learning with Log Stationary Distribution Gradients
Tetsuro Morimura, Eiji Uchibe, Junichiro Yoshimoto, and Kenji Doya
No. 2007013, September 2007
Files: Report (postscript file) 
        Cover (postscript file)



WBSデータを用いた工数予実差と終了日予実差の関連分析
黒崎 章, 玉田 春昭, 森崎 修司, 角田 雅輝, 松本 健一
No. 2007014, November 2007
Files: Report (postscript file) 
        Cover (postscript file)



高級言語によって偽装内容を指定できる拡張プログラムカムフラージュ法
神崎雄一郎, 門田暁人, 中村匡秀, 松本健一
No. 2007015, December 2007
Files: Report (postscript file) 
        Cover (postscript file)






2008



A Minimum Weight Test Procedure for a Certain Subclass of Array LDPC Codes
Kenji SUGIYAMA, Yuichi KAJI
No. 2008001, January 2008
Files: Report
(postscript file) 
        Cover (postscript file)



ソフトウェア開発プロジェクト管理支援のための構成管理・ 障害管理データの活用
松村知子,門田暁人
No. 2008002, February 2008
Files: Report (postscript file) 
        Cover (postscript file)



ソフトウェア品質への影響計測のためのテスト工程での手戻り作業量の特徴分析
松村知子,松本健一
No. 2008003, February 2008
Files: Report (postscript file) 
        Cover (postscript file)



構成管理情報の定量的計測による異常モジュール検知手法の提案
松村知子,勝又敏次,森崎修司,玉田春昭,角田雅照,門田暁人,松本健一
No. 2008004, March 2008
Files: Report (postscript file) 
        Cover (postscript file)



SHINOBI: A Real-Time Code Clone Detection Tool for Software Maintenance
Takanobu Yamashina, Hidetake Uwano, Kyohei Fushida, Yasutaka Kamei, Masataka Nagura, Shinji Kawaguchi, Hajimu Iida
No. 2008005, March 2008
Files: Report (PDF file) 
        Cover (PDF file)



Risk-based Inspection
Shuji Morisaki
No. 2008006, May 2008
Files: Report (postscript file) 
        Cover (postscript file)



Comparison of the Expressive Power of Language-based Access Control Models
Yoshiaki Takata and Hiroyuki Seki
No. 2008007, July 2008
Files: Report (postscript file), (PDF file) 
        Cover (postscript file), (PDF file)



定量的管理計画の立案を支援するシステムの開発
高田 純, 伏田 享平, 川口 真司, 飯田 元
No. 2008008, November 2008
Files: Report (PDF file) 
        Cover (PDF file)






2009



Efficient Mutual Exclusion Algorithm for High System Congestion
Tsuyoshi Suzuki, Michiko Inoue, Hideo Fujiwara
No. 2009001, January 2009
Files: Report
(postscript file), (PDF file) 
        Cover (postscript file), (PDF file)



A Trace Analysis Approach to Comprehend Features in Object-Oriented Effect Systems
Izuru Kume and Etsuya Shibayama
No. 2009002, February 2009
Files: Report (postscript file), (PDF file) 
        Cover (postscript file), (PDF file)



Bypassed Alignment Graph for Learning Coordination in Japanese Sentences: Supplementary Material
Hideharu Okuma, Kazuo Hara, Masashi Shimbo, and Yuji Matsumoto
No. 2009003, July 2009
Files: Report (PDF file) 
        Cover (PDF file)



An Approach to RTL False Path Mapping Using Uniqueness of Paths
Hiroshi Iwata, Satoshi Ohtake and Hideo Fujiwara
No. 2009004, September 2009
Files: Report (PDF file) 
        Cover (PDF file)



オフショア開発におけるユーザ・ ベンダ間コミュニケーション情報の分析による仕様伝達の評価
松村 知子,大平 雅雄,森崎 修司,松本 健一
No. 2009005, October 2009
Files: Report (PDF file) 
        Cover (PDF file)



ユーザとベンダ間の協調による要求品質確保のための定量化事例
松村 知子,松本 健一
No. 2009006, November 2009
Files: Report (PDF file) 
        Cover (PDF file)



実行系列差分攻撃によるプログラムの耐タンパー性評価
山内 寛己,門田 暁人,松本 健一
No. 2009007, December 2009
Files: Report (PDF file) 
        Cover (PDF file)






2010



Standardizing the Software Tag in Japan for Transparency of Development
Masateru Tsunoda, Tomoko Matsumura, Hajimu Iida, Kozo Kubo, Shinji Kusumoto, Katsuro Inoue, Ken-ichi Matsumoto
No. 2010001, January 2010
Files: Report
(PDF file) 
        Cover (PDF file)



Automatic Generation of History-Based Access Control from Information Flow Specification
Yoshiaki Takata, Hiroyuki Seki
No. 2010002, April 2010
Files: Report (PDF file) 
        Cover (PDF file)



Chomsky-Schützenberger-Type Characterization of Multiple Context-Free Languages
Ryo Yoshinaka, Yuichi Kaji, and Hiroyuki Seki
No. 2010003, April 2010
Files: Report (PDF file) 
        Cover (PDF file)



Enhanced Functional Fault Model for Micro Operation Faults
Chia Yee Ooi, Hideo Fujiwara
No. 2010004, July 2010
Files: Report (PDF file) 
        Cover (PDF file)



Proceedings of the International Workshop on Empirical Software Engineering in Practice 2010 (IWESEP 2010)
Akinori Ihara and Takashi Ishio
No. 2010005, December 2010
Files: Report (PDF file) 
        Cover (PDF file)






2011



ソフトウェアエンジニアリングリポジトリを対象とした 例外ルール抽出
森崎 修司, 門田 暁人, 松本 健一
No. 2011001, February 2011
Files: Report
(PDF file) 
        Cover (PDF file)



ソフトウェア開発の要求品質の向上のためのユーザ・ベンダ間のコミュニケーションの 計測方法と計測例
松村知子,吉田誠,井手直子,森崎修司,戸田航史,松本健一
No. 2011002, May 2011
Files: Report (PDF file) 
        Cover (PDF file)



Proceedings of the International Workshop on Empirical Software Engineering in Practice 2011 (IWESEP 2011)
Yasutaka Kamei and Bram Adams
No. 2011003, November 2011
Files: Report (PDF file) 
        Cover (PDF file)






2012



構成管理ツールおよびその運用手順に関するリスク分析とアシュアランスケースの記述事例
高井 利憲
No. 2012001, June 2012
Files: Report
(PDF file) 
        Cover (PDF file)



Determinacy and Subsumption for Single-valued Bottom-up Tree Transducers
Kenji Hashimoto, Ryuta Sawada, Yasunori Ishihara, Hiroyuki Seki and Toru Fujiwara
No. 2012002, November 2012
Files: Report (PDF file) 
        Cover (PDF file)






2013



ソフトウェア委託開発プロジェクトの超上流工程における非機能要件評価に関する研究
齊藤康廣,門田暁人,松本健一
No. 2013001, January 2013
Files: Report
(PDF file) 
        Cover (PDF file)