Title	An efficient development method for plant control software using algebraic specification and software components
Author	Masakazu Takahashi, Satoru Takahashi, Kazuhiko Tsuda
Citation	Vol. 6  No. 1  pp. 69~80
Keywords	Plant, control software, algebraic specification, software components, integrated development environment

Title	Full-informed Electromagnetism-like Mechanism Nonlinear Genetic Algorithm
Author	Cui Zhihua, Zeng Jianchao
Citation	Vol. 6  No. 1  pp. 64~68
Keywords	Genetic Algorithm, Electromagnetism-like Mechanism, Nonlinear Crossover Operator, Nonlinear Mutation Operator

Title	GILAO*: Solving Uncertainty Planning with Comparison of Generalized Intervals
Author	Jigui Sun, Shuai Lu, Minghao Yin, Shulin Cui
Citation	Vol. 6  No. 1  pp. 57~63
Keywords	uncertainty planning, comparison of generalized intervals, Markov Decision Process

Title	Lossless Medical Image Compression using Redundancy Analysis
Author	Se-Kee Kil, Jong-Shill Lee, Dong-Fan Shen, Je-Goon Ryu, Eung-Hyuk Lee, Hong-Ki Min, Seung-Hong Hong
Citation	Vol. 6  No. 1  pp. 50~56
Keywords	compression, variable block size, segmentation, redundancy