Journal of Applied Mathematics

Intelligent Modeling and Verification


Publishing date
28 Jun 2013
Status
Published
Submission deadline
08 Feb 2013

Lead Editor

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

2Department of Electrical and Electronic Engineering, University of Hong Kong, Pokfulam Road, Hong Kong

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

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


Intelligent Modeling and Verification

Description

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:


Articles

  • Special Issue
  • - Volume 2013
  • - Article ID 791363
  • - Editorial

Intelligent Modeling and Verification

Guiming Luo | Graziano Chesi | ... | Xiaojing Yang
  • Special Issue
  • - Volume 2013
  • - Article ID 462532
  • - Research Article

Bounded Model Checking of ETL Cooperating with Finite and Looping Automata Connectives

Rui Wang | Wanwei Liu | ... | Ji Wang
  • Special Issue
  • - Volume 2013
  • - Article ID 709071
  • - Research Article

A Transformation-Based Approach to Implication of GSTE Assertion Graphs

Guowu Yang | William N. N. Hung | ... | Wensheng Guo
  • Special Issue
  • - Volume 2013
  • - Article ID 595897
  • - Research Article

A Model Reduction Method for Parallel Software Testing

Tao Sun | Xinming Ye
  • Special Issue
  • - Volume 2013
  • - Article ID 962765
  • - Research Article

Efficient Semantics-Based Compliance Checking Using LTL Formulae and Unfolding

Liang Song | Jianmin Wang | ... | Hui Kong
  • Special Issue
  • - Volume 2013
  • - Article ID 740194
  • - Research Article

Wu’s Characteristic Set Method for SystemVerilog Assertions Verification

Xinyan Gao | Ning Zhou | ... | Dakui Li
  • Special Issue
  • - Volume 2013
  • - Article ID 781856
  • - Research Article

Convergence Analysis of EFOP Estimate Based on Frequency Domain Smoothing

Yulai Zhang | Kueiming Lo | Yang Su
  • Special Issue
  • - Volume 2013
  • - Article ID 838694
  • - Research Article

Proactive Communicating Process with Asymmetry in Multiagent Systems

Jiafang Wang | Zhiyong Feng | Chao Xu
  • Special Issue
  • - Volume 2013
  • - Article ID 605469
  • - Research Article

Action Recognition by Joint Spatial-Temporal Motion Feature

Weihua Zhang | Yi Zhang | ... | Jiliu Zhou
  • Special Issue
  • - Volume 2013
  • - Article ID 470139
  • - Research Article

Formal Modeling and Verification for MVB

Mo Xia | Kueiming Lo | ... | Mian Sun
Journal of Applied Mathematics
 Journal metrics
See full report
Acceptance rate19%
Submission to final decision84 days
Acceptance to publication16 days
CiteScore2.300
Journal Citation Indicator-
Impact Factor-
 Submit Check your manuscript for errors before submitting

Article of the Year Award: Impactful research contributions of 2022, as selected by our Chief Editors. Discover the winning articles.