Journal of Applied Mathematics

Intelligent Modeling and Verification 2014


Publishing date
04 Jul 2014
Status
Published
Submission deadline
14 Feb 2014

Lead Editor

1School of Software, Tsinghua University, Beijing 100084, China

2Maseeh College of Electrical and Computer Engineering, Portland State University,P.O. Box 751, Portland, OR 97207, USA

3Department of Mathematical Sciences, Tsinghua University, Beijing 100084, China

4School of Computer Science, University of Oklahoma, 200 Felgar Street, Room 114, Norman, OK 73019, USA


Intelligent Modeling and Verification 2014

Description

In practical applications, system modeling tends to have many complex features and 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, and 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 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, and 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/imv14/ according to the following timetable:


Articles

  • Special Issue
  • - Volume 2014
  • - Article ID 327465
  • - Research Article

A Case Study on Formal Analysis of an Automated Guided Vehicle System

Jie Zhang | Yuntao Peng | ... | Zhiping Shi
  • Special Issue
  • - Volume 2014
  • - Article ID 369350
  • - Research Article

Multitask Oriented Virtual Resource Integration and Optimal Scheduling in Cloud Manufacturing

Zhen Cheng | Dechen Zhan | ... | Hai Wan
  • Special Issue
  • - Volume 2014
  • - Article ID 512476
  • - Research Article

Modeling, Design, and Implementation of a Cloud Workflow Engine Based on Aneka

Jiantao Zhou | Chaoxin Sun | ... | Hongyan Tan
  • Special Issue
  • - Volume 2014
  • - Article ID 564976
  • - Research Article

Optimal Spatial Matrix Filter Design for Array Signal Preprocessing

Haiyong Zhang | Dong Han | ... | Hongyan Tan
  • Special Issue
  • - Volume 2014
  • - Article ID 181938
  • - Research Article

Semantic Consistency Checking in Building Ontology from Heterogeneous Sources

Shihan Yang | Hongyan Tan | Jinzhao Wu
  • Special Issue
  • - Volume 2014
  • - Article ID 645235
  • - Research Article

Test Purpose Oriented I/O Conformance Test Selection with Colored Petri Nets

Jing Liu | Xinming Ye | Jiantao Zhou
  • Special Issue
  • - Volume 2014
  • - Article ID 920123
  • - Research Article

A Bio-Inspired QoS-Oriented Handover Model in Heterogeneous Wireless Networks

Daxin Tian | Jianshan Zhou | ... | Anping He
  • Special Issue
  • - Volume 2014
  • - Article ID 197252
  • - Research Article

Functional Verification of High Performance Adders in COQ

Qian Wang | Xiaoyu Song | ... | Jiaguang Sun
  • Special Issue
  • - Volume 2014
  • - Article ID 592638
  • - Research Article

Adaptive Fault-Tolerant Routing in 2D Mesh with Cracky Rectangular Model

Yi Yang | Meirun Chen | ... | Lian Li
  • Special Issue
  • - Volume 2014
  • - Article ID 294870
  • - Research Article

Total Variation Based Perceptual Image Quality Assessment Modeling

Yadong Wu | Hongying Zhang | Ran Duan
Journal of Applied Mathematics
 Journal metrics
Acceptance rate15%
Submission to final decision42 days
Acceptance to publication64 days
CiteScore1.900
Journal Citation Indicator-
Impact Factor-
 Submit

Article of the Year Award: Outstanding research contributions of 2020, as selected by our Chief Editors. Read the winning articles.