لطفا کمی صبر نمایید ...
ورود
Advanced Search
Thesis
مقالات فارسی
ISI
کنفرانسها
ژورنالها
Papers
ISI
EVENTS
Journals
PPROCEEDINGS
Meetings
Login / Register
Papers
ISI
EVENTS
Journals
PPROCEEDINGS
Meetings
Thesis
Dark Mode
استعلام پایان نامه
جستجوی مقالات داخلی
Catehory
Conference Papers
Journal Papers
Books
Plans
Research documents
Rports
Result Type:
Full Text
Has Word File
Search regardless of the position of the words
Limit article publication year to:
All years
Specific years:
Search
Show
All Information
Only Paper Title
Item Per Page
10
20
Sort By
Paper title
Year
Indexing
ABS
DESC
فیلتر نتایج
Behzad Soleimani Neysiani
Mohammad Izadi
Ali Movaghar
Seyed Morteza Babamir
نتایج 1 تا 10 از مجموع 15
1
2
Journal Paper
Verification of Rainfall Forecasts for the South Central Climate Region of Vietnam
Authors:
Van Thang Nguyen
،
Mai Van Khiem
،
Hoang-Minh Nguyen
،
Vu Van Thang
Year 1399
Publish place:
Journal of the Earth and Space Physics Issue 4، Vol 46
Pages:
12
| Language: English
View And Download
Journal Paper
ارائه یک روش رسمی جهت اعتبارسنجی ماشین قلب-ریه
Authors:
رضا رافع
،
فاطمه یوسفی فرد
،
سیده زینب حسینی کب
Year 1394
Publish place:
Journal of Ilam University of Medical Sciences Issue 3، Vol 23
Pages:
13
| Language: Persian
View And Download
Journal Paper
Design and verification of WM protocol for Electronic Commerce Transactions
Authors:
K.V Krishnamraju
Year 1399
Publish place:
International Journal of Industrial Engineering & Production Research Issue 2، Vol 31
Pages:
16
| Language: English
View And Download
Journal Paper
A Hybrid Meta-heuristic Approach to Cope with State Space Explosion in Model Checking Technique for Deadlock Freeness
Authors:
N. Rezaee
،
H. Momeni
Year 1399
Publish place:
Journal of Artificial Intelligence & Data Mining Issue 2، Vol 8
Pages:
11
| Language: English
View And Download
Conference Paper
EMF-DEVS Simulation Models Validation Formalism based on the Fractal Theory
Authors:
Abbas MahmoodiMarkid
،
Narmin Zarrin Abadi
Year 1398
Publish place:
3rd International Conference on Soft Computing
Pages:
6
| Language: English
View And Download
Conference Paper
Formal Verification of UML Statecharts using the LOTOS Formal Language
Authors:
Mohamad Javani
،
Behzad Soleimani Neysiani
،
Seyed Morteza Babamir
Year 1394
Publish place:
2nd Internatioanl Conference on Knowledge -Base Engineering and Innovation
Pages:
7
| Language: English
View And Download
Conference Paper
Improving Verification of Dense Markov Decision Processes
Authors:
Mohammadsadegh Mohagheghi
Year 1394
Publish place:
International Conference on New Research Findings in Science, Engineering and Technology with a Focus on Need-Based Research
Pages:
7
| Language: English
View And Download
Conference Paper
Accelerating of Modified Policy Iteration in Probabilistic Model Checking
Authors:
Mohammadsadegh Mohagheghi
Year 1394
Publish place:
International Conference on New Research Findings in Science, Engineering and Technology with a Focus on Need-Based Research
Pages:
6
| Language: English
View And Download
Journal Paper
Presenting a New Text-Independent Speaker Verification System Based on Multi Model GMM
Authors:
Mohammad Mosleh
،
Faraz Forootan
،
Najmeh Hosseinpour
Year 1393
Publish place:
Journal of Advances in Computer Research Issue 4، Vol 5
Pages:
12
| Language: English
View And Download
Conference Paper
رویکردی تازه بهدرستی یابی ویژگیهای توصیف شده در حساب : Mu استفاده از نظریه خودکار ها
Authors:
محمد ایزدی
،
علی موقر
Year 1381
Publish place:
8th Annual Conference of Computer Society of Iran
Pages:
7
| Language: Persian
View And Download
نتایج 1 تا 10 از مجموع 15
1
2