فیلتر نتایج
نتایج 31 تا 40 از مجموع 93
Journal Paper
درستی سنجی صوری معماری مدیریت توان در سطح سیستم برای پردازنده های مدرن
Authors: سید رضا شرفی نژاد، بیژن علیزاده
Year 1400
Publish place: Journal of Iranian Association of Electrical and Electronics Engineers Issue 4، Vol 18
Pages: 12 | Language: Persian
Journal Paper
Structural Health Monitoring of Multi-Storey Frame Structures using Piezoelectric Incompatibility Filters: Theory and Numerical Verification
Authors: Michael Krommer، Markus Zellhofer، Hans Irschik
Year 1400
Publish place: Journal of Applied and Computational Mechanics Issue 0، Vol 7
Pages: 20 | Language: English
Journal Paper
Use of the Shearlet Transform and Transfer Learning in Offline Handwritten Signature Verification and Recognition
Authors: Atefeh Foroozandeh، Ataollah Askari Hemmat، Hossein Rabbani
Year 1399
Publish place: Sahand Communications in Mathematical Analysis Issue 3، Vol 17
Pages: 32 | Language: English
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
Journal Paper
An Extension of CryptoPAi to the Formal Analysis of E-voting Protocols
Authors: Hamid Reza Mahrooghi، Rasool Jalili
Year 1398
Publish place: Journal of Computing and Security Issue 1، Vol 6
Pages: 18 | Language: English
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
Conference Paper
CODE 729 THE FIRST IRANIAN GUIDELINE FOR STRENGTH-BASED DESIGN OF NON-STRUCTURAL MASONRY WALLS: A VERIFICATION REPORT
Authors: Seyed Amin Mousavi
Year 1398
Publish place: 8th International Conference on Seismology and Earthquake Engineering
Pages: 8 | Language: English
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
Conference Paper
An Efficient Identity-based Storage and Computation Auditing Protocol in Cloud Computing
Authors: Maryam Rahabzadeh Asaar، Niloufar Vatanara
Year 1398
Publish place: 7th International Conference on Information Technology, Computer and Telecommunication
Pages: 11 | Language: English
Journal Paper
Evaluation of the RtDosePlan Treatment Planning System using Radiochromic Film and Monte Carlo Simulation
Authors: Micaeil Mollazadeh، Mahmood Allahverdi، Tayyeb Allahverdi Pourfallah، Nader Riahi Alam
Year 1389
Publish place: Iranian Journal of Medical Physics Issue 2، Vol 7
Pages: 13 | Language: English
نتایج 31 تا 40 از مجموع 93