As computer-based systems and informatics-related technologies proliferate, more and more research and development efforts have been made in recent years. The 1st International Conference on Systems and Informatics (ICSAI, May 2012, Yantai, China) aims to bring together researchers and engineers around the world to showcase their work in systems and informatics. We were delighted to receive well over one thousand submissions from 33 countries, out of which 587 papers were selected for inclusion in the conference program. The 18 papers in this special issue are extended from some of the best submissions to the conference and represent a cross-section of these exciting fields.

Yufei Lin et al. devise a discrete-event execution-driven performance simulation method based on symmetric multi-processors for designing and implementing a large-scale parallel system. Yufei Jiang et al. propose a low-complexity carrier frequency offset estimation approach and an independent component analysis-based semi-blind equalization structure for the multiuser coordinated multi-point (CoMP) communication system. Nakhat Fatima et al. investigate speech unit category-based short utterance speaker recognition. Lanfang Tan et al. study formal verification of signature-monitoring mechanisms by model checking. Liubao Deng and Yuanguo Zhu discuss an uncertain optimal control model with n jumps and its applications. A formal approach to testing programs in practice is presented by Shaoying Liu et al. Huaibin Wang et al. discuss image denoising using anisotropic second and fourth order diffusions based on gradient vector convolution.

Xue Zhang and Wangxin Xiao present an active semi-supervised framework with data editing in order to address the insufficient training data problem. Ping Guo and Zhujin Liu propose an ant system based on moderate search and demonstrate the technique in the traveling salesman problem. Ling Wang et al. solve the optimal node placement problem in industrial wireless sensor networks using an adaptive mutation probability binary particle swarm optimization algorithm. Zhi-gang Su et al. propose an automatic Takagi-Sugeno fuzzy model with applications to designing predictive controllers. Yunong Zhang et al. discuss superior performance of using hyperbolic sine activation functions in ZNN and illustrate it via time-varying matrix square roots finding. Clustering-based two-stage text classification requiring minimal training data is studied by Xue Zhang and Wang-xin Xiao. Ray-I Chang et al. present a content-based image retrieval system using K-means/K nearest neighbors (KNN) with feature extraction. Lu Guo et al. investigate prediction models for integrated scheduling in semiconductor manufacturing lines. Tingna Shi et al. apply grid-based K-means clustering for optimal image processing. Xiangrong Tong et al. discuss agent negotiation on resources with nonlinear utility functions. Zhao Du et al. study university campus social networks for knowledge sharing.

We thank Professor Mirjana Ivanović, Editor-in-Chief of the Computer Science and Information Systems journal, for her support and comments regarding this special issue. We are grateful to the authors of this special issue for contributing their excellent work and to the reviewers for their timely evaluations.

Editors of the special issue
Xu Zhu, Wuwei Shen, Lipo Wang