Title	Transformation from Seal Calculus to Mobile Ambient Calculus
Author	Zhang Jing†, Zhang Li-Cui, Guo De-Gui
Citation	Vol. 6  No. 5  pp. 179-184
Keywords	Seal calculus, Mobile ambient calculus, process communication, mobile computation

Title	An automated system for the KIRAMS microbeam
Author	Seungwoo Park, Donghoon Lee, Sangmi Shim, Seunghong Hong
Citation	Vol. 6  No. 5  pp. 185-189
Keywords	Microbeam, cell irradiation, electron beam, target tracking

Title	Alpha-Beta Bidirectional Associative Memories Based Translator
Author	Mar?a Elena Acevedo-Mosqueda, Cornelio Y??ez-M?rquez, Itzam? L?pez-Y??ez
Citation	Vol. 6  No. 5  pp. 190-194
Keywords	Bidirectional Associative Memories, Alpha-Beta Associative Memories, perfect recall, transaltor

Title	Ultraproduct of first-order lattice-valued logic LF(X) based on finite lattice implication algebra
Author	Wang Xuefang, Liu Peishun
Citation	Vol. 6  No. 5  pp. 195-200
Keywords	Lattice-valued logic, lattice implication algebra, ultrafilter, ultraproduct, consistent theorem