About this Journal Submit a Manuscript Table of Contents

Intelligent Modeling and Verification

Call for Papers

In practical applications, system modeling tends to have many complex features, uncertainty influencing many important aspects and complications. It is often very difficult to construct an unchanging mathematical model. Intelligent Modeling is a prospective discipline merging mathematical approach and computer technology. It embeds new frontier sciences and technologies such as neural networks, automatic modeling and verification, computer calculating, and simulation. Intelligent modeling has already been applied to many engineering fields.

With the rapid development of computer science and technology, a great deal of attention has been paid to improving accuracy and reliability for intelligent computing in the recent years. We invite investigators to submit original research and review articles that demonstrate current research in areas of intelligent modeling, intelligent computing, and formal method. Original contributions related to this theme are especially solicited, including theories, methodologies, and applications. Topics covering industrial issues/applications and academic research into intelligent modeling will be welcome. Potential topics include, but are not limited to:

  • Uncertain systems modeling, data modeling, intelligent signal processing, programming, and computational methods
  • Intelligent computing, adaptive algorithm, genetic algorithms, and abstract and logic reasoning
  • Formal method, automatic verification, and model checking

Before submission authors should carefully read over the journal's Author Guidelines, which are located at http://www.hindawi.com/journals/jam/guidelines/. Prospective authors should submit an electronic copy of their complete manuscript through the journal Manuscript Tracking System at http://mts.hindawi.com/submit/journals/jam/imv/ according to the following timetable:

Manuscript DueFriday, 8 February 2013
First Round of ReviewsFriday, 3 May 2013
Publication DateFriday, 28 June 2013

Lead Guest Editor

  • Guiming Luo, School of Software, Tsinghua University, Beijing 100084, China

Guest Editors

  • Graziano Chesi, Department of Electrical and Electronic Engineering, University of Hong Kong, Pokfulam Road, Hong Kong
  • Xiaoyu Song, Maseeh College of Electrical and Computer Engineering, Portland State University, P.O. Box 751, Portland, OR 97207, USA
  • Xiaojing Yang, Department of Mathematical Sciences, Tsinghua University, Beijing 100084, China