نمایش نتایج جستجو برای
نویسنده: Rasoul Ramezanian
موارد یافت شده: 22
1 - Robust ex-post Pareto efficiency and fairness in random assignments: Two impossibility results (چکیده)2 - بازی وارسازی در آموزش الگوریتم به دانش آموزان پایه دوم متوسطه اول (چکیده)
3 - Ex-post favoring ranks: a fairness notion for the random assignment problem (چکیده)
4 - Stepwise ordinal efficiency for the random assignment problem (چکیده)
5 - Borda paradox in the 2017 Iranian presidential election: empirical evidence from opinion polls (چکیده)
6 - The Marriage Problem with Interdependent Preferences (چکیده)
7 - An Improvement Over Lee et al.'s Key Agreement Protocol (چکیده)
8 - Avoiding Social Disappointment in Elections (چکیده)
9 - ﺷﺒﻴﻪ ﺳﺎزیﻋﺎﻣﻞ ﺑﻨﻴﺎن زﻧﺠﻴﺮه ﺑﺎﻧﻜﺪاری ﺗﺄﻣﻴﻦ ﺧﺪﻣﺖ ﺑﺮ ﻣﺒﻨﺎی ﻣﻨﻄﻖ ﻏﻠﺒه ﺧﺪﻣﺖ (چکیده)
10 - A Short Introduction to Two Approaches in Formal Verification of Security Protocols: Model Checking and Theorem Proving (چکیده)
11 - A Note on Group Authentication Schemes (چکیده)
12 - Coverage improvement in femtocell networks via efficient utility pricing (چکیده)
13 - An efficient hybrid approach based on K-means and generalized fashion algorithms for cluster analysis (چکیده)
14 - Diffusion of innovations over multiplex social networks (چکیده)
15 - A Computational Model and Convergence Theorem for Rumor Dissemination in Social Networks (چکیده)
16 - Process Algebraic Modeling of Authentication Protocols for Analysis of Parallel Multi-Session Executions (چکیده)
17 - The double negation of the intermediate value theorem (چکیده)
18 - A Solution to the Surprise Exam Paradox in Constructive Mathematics (چکیده)
19 - On the Constructive Notion of Closure Maps (چکیده)
20 - A process Algebraic form to represent extensive games (چکیده)
21 - Simulation of Skulduggery in a Multi-Agent System (چکیده)
22 - Decidability and Specker Sequences in Intuitionistic Mathematics (چکیده)
