List of Articles

• Open Access Article
  • Abstract Page
  • Full-Text
  
  1 - Determination of Formal Methods Capabilities for Software Specification and Analysis
  H. Banki V. Ahmadi Sabet
  20.1001.1.16823745.1391.10.2.1.7
• Open Access Article
  • Abstract Page
  • Full-Text
  
  2 - A Comprehensive Method to Secure Time Synchronization in Wireless Sensor
  Z. Ahmadi  
  20.1001.1.16823745.1391.10.2.2.8
• Open Access Article
  • Abstract Page
  • Full-Text
  
  3 - A New Approach for the Diagnosis of Mammographic Masses Based on BI-RADS Features and Opposition-Based Classification
  F. Saki A. Tahmasbi Shahriar  Baradaran Shokouhi
  20.1001.1.16823745.1391.10.2.3.9
• Open Access Article
  • Abstract Page
  • Full-Text
  
  4 - Intelligent Bargaining in Market Using Reinforcement Learning
  M. A. Saadatjoo V. Derhami فاطمه سعادت جو
  20.1001.1.16823745.1391.10.2.4.0
• Open Access Article
  • Abstract Page
  • Full-Text
  
  5 - Modeling and Analysis Iterated Prison Dilemma Game by Grossberg Counter-Propagation Neural Network
  Gh. A. Montazer N. Rastegar Ramshe Alireza Askarzadeh
  20.1001.1.16823745.1391.10.2.5.1
• Open Access Article
  • Abstract Page
  • Full-Text
  
  6 - Extracting Bottlenecks Using Object Recognition in Reinforcement Learning
  B. Ghazanfari N. Mozayani M. R. Jahed Motlagh
  20.1001.1.16823745.1391.10.2.6.2