لطفا کمی صبر نمایید ...
ورود
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
Seyed mahyar Mahdizade moghaddam
Seyed Morteza Babamir
Hamidreza Baradaran Kashani
نتایج 51 تا 60 از مجموع 90
First
...
3
4
5
6
7
8
9
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
Conference Paper
High Performance Speaker Verification Using Wideband, rich Database
Authors:
Ali Kafaei
،
Abolghasem Sayadian
،
Hamidreza Baradaran Kashani
Year 1395
Publish place:
The first international conference of modern research engineers in electricity and computer
Pages:
5
| Language: English
View And Download
Conference Paper
CASA-Based Robust Speaker Verification Using Popular Features in Real Environments
Authors:
Haydar Azizi
Year 1395
Publish place:
The first international conference of modern research engineers in electricity and computer
Pages:
10
| 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
Journal Paper
Verification of Legal Entities' Overpaid Claims in Value Added Tax System in Iran
Authors:
Ahmad Vakili Arki
،
Mahmoud Motevaselian
،
Hamid Sadeghi Rad
Year 1393
Publish place:
International Journal of Management, Accounting and Economics (IJMAE) Issue 5، Vol 1
Pages:
8
| Language: English
View And Download
Conference Paper
Reliability in modeled systems using formal methods
Authors:
Somayeh Azizi
،
Naser Nematbakhsh
Year 1394
Publish place:
3rd International Conference on Applied Research in Computer Engineering and Information Technology
Pages:
8
| Language: English
View And Download
Conference Paper
طراحی مدل بهینه برای عمل V&ATS سیستم های مبتنی بر PLC
Authors:
سید مهیار مهدی زاده مقدم
Year 1393
Publish place:
The first national conference on electrical engineering of Islamic Azad University, Langarud branch
Pages:
10
| Language: Persian
View And Download
Conference Paper
A numerical algorithm for the solution of Volterra integro-differential equations
Authors:
m attary
Year 1393
Publish place:
The Second National Conference on Applied Research in Mathematics and Physics
Pages:
7
| Language: English
View And Download
نتایج 51 تا 60 از مجموع 90
First
...
3
4
5
6
7
8
9