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)
2014
A Silent Self-Stabilizing Algorithm for 1-Maximal Matching in Anonymous Networks
Yuma Asada, Michiko Inoue
No. 2014001, October 2014
Files: Report
(PDF file)
Cover (PDF file)
Automatic Approach to Prepare Information for
Constructing an Assurance Case
Khana Chindamaikul, Toshinori Takai, Daniel Port,
and Hajimu Iida
No. 2014002, December 2014
Files: Report
(PDF file)
Cover (PDF file)
2016
Byzantine gathering in networks with authenticated whiteboards
Masashi Tsuchida, Fukuhito Ooshita, and Michiko Inoue
No. 2016001, December 2016
Files: Report
(PDF file)
Cover (PDF file)
2018
Gathering of Mobile Agents in Asynchronous Byzantine Environments with Authenticated Whiteboards
Masashi Tsuchida, Fukuhito Ooshita, and Michiko Inoue
No. 2018001, April 2018
Files: Report
(PDF file)
Cover (PDF file)