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 632027
  • - Editorial

Intelligent Modeling and Verification 2014

Guiming Luo | Xiaoyu Song | ... | Krishnaiyan Thulasiraman
  • Special Issue
  • - Volume 2014
  • - Article ID 201214
  • - Research Article

Formalization of Function Matrix Theory in HOL

Zhiping Shi | Zhenke Liu | ... | Hongxing Wei
  • Special Issue
  • - Volume 2014
  • - Article ID 123983
  • - Research Article

Reconstruction of Uncertain Historical Evolution of the Polysyllablization of Chinese Lexis

Bing Qiu | Jie Li
  • Special Issue
  • - Volume 2014
  • - Article ID 814159
  • - Research Article

Towards Light-Weight Probabilistic Model Checking

Savas Konur
  • Special Issue
  • - Volume 2014
  • - Article ID 857186
  • - Research Article

Multigranulations Rough Set Method of Attribute Reduction in Information Systems Based on Evidence Theory

Minlun Yan
  • Special Issue
  • - Volume 2014
  • - Article ID 742341
  • - Research Article

Precomputed Clustering for Movie Recommendation System in Real Time

Bo Li | Yibin Liao | Zheng Qin
  • Special Issue
  • - Volume 2014
  • - Article ID 624863
  • - Research Article

Constitutive Relation of Engineering Material Based on SIR Model and HAM

Haoxiang He | Enzhen Han | Maolin Cong
  • Special Issue
  • - Volume 2014
  • - Article ID 983204
  • - Research Article

Formal Analysis of Fairness for Optimistic Multiparty Contract Signing Protocol

Xiaoru Li | Xiaohong Li | ... | Zhiyong Feng
  • Special Issue
  • - Volume 2014
  • - Article ID 352152
  • - Research Article

Unified Mathematical Framework for Slicing and Symmetry Reduction over Event Structures

Xinyan Gao | Yingcai Ding | ... | Dakui Li
  • Special Issue
  • - Volume 2014
  • - Article ID 194574
  • - Research Article

Groebner Bases Based Verification Solution for SystemVerilog Concurrent Assertions

Ning Zhou | Xinyan Gao | ... | Dakui Li
Journal of Applied Mathematics
 Journal metrics
Acceptance rate15%
Submission to final decision45 days
Acceptance to publication64 days
CiteScore1.100
Impact Factor-
 Submit

We are committed to sharing findings related to COVID-19 as quickly as possible. We will be providing unlimited waivers of publication charges for accepted research articles as well as case reports and case series related to COVID-19. Review articles are excluded from this waiver policy. Sign up here as a reviewer to help fast-track new submissions.