بازگشت به فرم جستجو »

نمایش نتایج جستجو برای

نویسنده: Rasoul Ramezanian


موارد یافت شده: 16

1 - An Improvement Over Lee et al.\'s Key Agreement Protocol (چکیده)
2 - Avoiding Social Disappointment in Elections (چکیده)
3 - ﺷﺒﻴﻪ ﺳﺎزیﻋﺎﻣﻞ ﺑﻨﻴﺎن زﻧﺠﻴﺮه ﺑﺎﻧﻜﺪاری ﺗﺄﻣﻴﻦ ﺧﺪﻣﺖ ﺑﺮ ﻣﺒﻨﺎی ﻣﻨﻄﻖ ﻏﻠﺒه ﺧﺪﻣﺖ (چکیده)
4 - A Short Introduction to Two Approaches in Formal Verification of Security Protocols: Model Checking and Theorem Proving (چکیده)
5 - A Note on Group Authentication Schemes (چکیده)
6 - Coverage improvement in femtocell networks via efficient utility pricing (چکیده)
7 - An efficient hybrid approach based on K-means and generalized fashion algorithms for cluster analysis (چکیده)
8 - Diffusion of innovations over multiplex social networks (چکیده)
9 - A Computational Model and Convergence Theorem for Rumor Dissemination in Social Networks (چکیده)
10 - Process Algebraic Modeling of Authentication Protocols for Analysis of Parallel Multi-Session Executions (چکیده)
11 - The double negation of the intermediate value theorem (چکیده)
12 - A Solution to the Surprise Exam Paradox in Constructive Mathematics (چکیده)
13 - On the Constructive Notion of Closure Maps (چکیده)
14 - A process Algebraic form to represent extensive games (چکیده)
15 - Simulation of Skulduggery in a Multi-Agent System (چکیده)
16 - Decidability and Specker Sequences in Intuitionistic Mathematics (چکیده)