Intelligent Modeling and Verification 2014

Intelligent Modeling and Verification 2014

Saved in:

Bibliographic Details
Main Authors:	Guiming Luo, Xiaoyu Song, Xiaojing Yang, Krishnaiyan Thulasiraman
Format:	Article
Language:	English
Published:	Wiley 2014-01-01
Series:	Journal of Applied Mathematics
Online Access:	http://dx.doi.org/10.1155/2014/632027
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Intelligent Modeling and Verification
by: Guiming Luo, et al.
Published: (2013-01-01)

Pantograph Multiple Rigid-body Dynamics Model and Its VerificationBased on Relative Coordinate System
by: WANG Jiangwen, et al.
Published: (2016-01-01)

Functional Verification of High Performance Adders in COQ
by: Qian Wang, et al.
Published: (2014-01-01)

Modelling and Intelligent Decision of Partially Observable Penetration Testing for System Security Verification
by: Xiaojian Liu, et al.
Published: (2024-12-01)

Using Artificial Intelligence Systems in News Verification: An Application on X
by: Sefer Kalaman, et al.
Published: (2024-07-01)

An Answer Verification Approach to Objective Questions in Intelligent Tutoring Systems
by: Wenzu Li
Published: (2023-03-01)

Verification of temporal consistency constraints in the evolution of software for intelligent unmanned systems driven by model checking
by: Chaoze Lu, et al.
Published: (2025-07-01)

Accurate prediction of mediolateral episiotomy risk during labor: development and verification of an artificial intelligence model
by: Tingting Hu, et al.
Published: (2025-03-01)

Formal Modeling and Verification for MVB
by: Mo Xia, et al.
Published: (2013-01-01)

Algorithm and analytical verification of roller straightening process model considering stress inheritance behavior
by: Xiaoyu Zhu, et al.
Published: (2025-03-01)

Modeling and Verification of A Novel Vector Hysteron Model
by: Kai DENG, et al.
Published: (2020-10-01)

Dynamics Model and Its Verification of Aerospace Three-Ring Gear Reducer
by: Jinyong Lai, et al.
Published: (2024-12-01)

Experimental verification of Hill’s model for wood
by: Jan Pełczyński
Published: (2025-03-01)

Superelement Verification in Complex Structural Models
by: B. Dupont, et al.
Published: (2008-01-01)

Verification of functional models of chemical manufacturing
by: E. V. Burlyaeva, et al.
Published: (2019-08-01)

VERIFICATION OF DISCRETE MODELS OF HYDROLITHOSPHERIC PROCESSES
by: I. M. Pershin, et al.
Published: (2022-08-01)

Design and Experimental Verification of a New Type of Refrigerated Vehicle Model
by: Xia Quangang, et al.
Published: (2014-01-01)

Modeling and verification of an improved contact force in multibody systems
by: Wenhui Chen, et al.
Published: (2024-12-01)

Empirical Assessment of Deepfake Detection: Advancing Judicial Evidence Verification Through Artificial Intelligence
by: Ebrima Hydara, et al.
Published: (2024-01-01)

Verification of the Improvement Effect of Artificial Intelligence Computer Control Technology on Electrical Automation Control
by: Jinpeng Li
Published: (2022-01-01)

Construction and Verification of the Refined Forecast Model for Storm Surges Based on ADCIRC in Guangzhou
by: LUO Zhifeng, et al.
Published: (2022-01-01)

Development and Verification of the Diagnostic Model of the Sieving Screen
by: Pavlo Krot, et al.
Published: (2020-01-01)

E-invoice authenticity verification scheme based on signature verification
by: Rongna XIE, et al.
Published: (2019-12-01)

Reliability Modeling and Verification of Locking Mechanisms Based on Failure Mechanisms
by: Ping Qian, et al.
Published: (2025-04-01)

Application of Intelligent Robot Palletizer Technology in the Optimization of High-Speed Train Operation and Simulation Verification
by: Xiaoling Zhang
Published: (2023-01-01)

Dynamic assessment approach for intelligent power distribution systems based on runtime verification with requirements updates
by: Yunshuo Li, et al.
Published: (2025-06-01)

Speaker Model Clustering to Construct Background Models for Speaker Verification
by: Gökay DİŞKEN, et al.
Published: (2017-01-01)

Automatic construction and verification algorithm for smart contracts based on formal verification
by: Rui Xie, et al.
Published: (2024-11-01)

Modeling and Verification of Reconfigurable and Energy-Efficient Manufacturing Systems
by: Jiafeng Zhang, et al.
Published: (2015-01-01)

CONTROL CHART AS VERIFICATION TOOLS IN TIME SERIES MODEL
by: Nurfitri Imro'ah, et al.
Published: (2022-09-01)

Tesla Coil Theoretical Model and its Experimental Verification
by: Voitkans Janis, et al.
Published: (2014-12-01)

VERIFICATION OF GEAR DYNAMIC MODEL IN DIFFERENT OPERATING CONDITIONS
by: Grzegorz PERUŃ
Published: (2014-09-01)

Verification of mathematical model of transonic axial compressor stage
by: A. S. Zolotukhin, et al.
Published: (2025-06-01)

Using TLA+/TLC for modeling and verification of cryptographic protocols
by: Maxim V. Neyzov, et al.
Published: (2024-12-01)

Modelling and verification of parameterized architectures: A functional approach
by: Salah Merniz, et al.
Published: (2021-09-01)

Generalisation of availability models for resilient systems with online verification
by: Vyacheslav Kharchenko, et al.
Published: (2025-07-01)

Involvement of Fatty Acid Binding Protein 5 and PPARβ/δ in Prostate Cancer Cell Growth
by: Elwin Morgan, et al.
Published: (2010-01-01)

Retracted: Application of Intelligent Robot Palletizer Technology in the Optimization of High-Speed Train Operation and Simulation Verification
by: Journal of Robotics
Published: (2024-01-01)

FPGA Verification Module
by: Ivan Aleksi, et al.
Published: (2014-09-01)

Towards Hazard Analysis Result Verification for Autonomous Ships: A Formal Verification Method Based on Timed Automata
by: Xiang-Yu Zhou, et al.
Published: (2025-05-01)