•  Persian
    • Persian
    • English
  •   ورود
  • دانشگاه فردوسی مشهد
  • |
  • مرکز اطلاع‌رسانی و کتابخانه مرکزی
    • Persian
    • English
  • خانه
  • انواع منابع
    • مقاله مجله
    • کتاب الکترونیکی
    • مقاله همایش
    • استاندارد
    • پروتکل
    • پایان‌نامه
  • راهنمای استفاده
Search 
  •   کتابخانه دیجیتال دانشگاه فردوسی مشهد
  • Search
  •   کتابخانه دیجیتال دانشگاه فردوسی مشهد
  • Search
  • همه
  • عنوان
  • نویسنده
  • سال
  • ناشر
  • موضوع
  • عنوان ناشر
  • ISSN
  • شناسه الکترونیک
  • شابک
جستجوی پیشرفته
JavaScript is disabled for your browser. Some features of this site may not work without it.

Search

Show Advanced FiltersHide Advanced Filters

Filters

Use filters to refine the search results.

نمایش تعداد 1-10 از 19

    • Relevance
    • Title Asc
    • Title Desc
    • سال صعودی
    • سال نزولی
    • 5
    • 10
    • 20
    • 40
    • 60
    • 80
    • 100
  • خروجی
    • CSV
    • RIS
    • Sort Options:
    • Relevance
    • Title Asc
    • Title Desc
    • Issue Date Asc
    • Issue Date Desc
    • Results Per Page:
    • 5
    • 10
    • 20
    • 40
    • 60
    • 80
    • 100

    The double negation of the intermediate value theorem 

    نوع: Journal Paper
    نویسنده : Mohammad Ardeshir; Rasoul Ramezanian
    ناشر: Elsevier Science
    سال: 2010
    Request PDF

    Decidability and Specker sequences in intuitionistic mathematics 

    نوع: Journal Paper
    نویسنده : Mohammad Ardeshir; Rasoul Ramezanian
    ناشر: John Wiley and Sons
    سال: 2009
    Request PDF

    On the constructive notion of closure maps 

    نوع: Journal Paper
    نویسنده : Mohammad Ardeshir; Rasoul Ramezanian
    ناشر: John Wiley and Sons
    سال: 2012
    Request PDF

    Process Algebraic Modeling of Authentication Protocols for Analysis of Parallel Multi-Session Executions 

    نوع: Journal Paper
    نویسنده : رسول رمضانیان; Rasoul Ramezanian
    سال: 2009
    خلاصه:

    Many security protocols have the aim of authenticating one agent acting as initiator to another agent acting as responder and vice versa. Sometimes, the authentication fails because of executing several parallel sessions ...

    An efficient hybrid approach based on K-means and generalized fashion algorithms for cluster analysis 

    نوع: Conference Paper
    نویسنده : رسول رمضانیان; Rasoul Ramezanian
    سال: 2015
    خلاصه:

    Clustering is the process of grouping data objects into set of disjoint classes called clusters so that objects within a class are highly similar with one another and dissimilar with the objects in other classes. The k-means ...

    Diffusion of innovations over multiplex social networks 

    نوع: Conference Paper
    نویسنده : رسول رمضانیان; Rasoul Ramezanian
    سال: 2015
    خلاصه:

    The ways in which an innovation (e.g., new behaviour, idea, technology, product) diffuses among people can determine its success or failure. In this paper, we address the problem of diffusion of innovations over multiplex ...

    Avoiding Social Disappointment in Elections 

    نوع: Conference Paper
    نویسنده : رسول رمضانیان; Rasoul Ramezanian
    سال: 2019
    خلاصه:

    Mechanism design is concerned with settings where a policy maker
    (or social planner) faces the problem of aggregating the announced
    preferences of multiple agents into a collective (or social), systemwide
    decision. ...

    Simulation of Skulduggery in a Multi-Agent System 

    نوع: Journal Paper
    نویسنده : Rasoul Ramezanian; Akram Emdadi
    سال: 2015

    The double negation of the intermediate value theorem 

    نوع: Journal Paper
    نویسنده : Mohammad Ardeshir; رسول رمضانیان; Rasoul Ramezanian
    سال: 2010
    خلاصه:

    In the context of intuitionistic analysis, we consider the set FF consisting of all continuous functions ϕϕ from [0,1][0,1] to RR such that ϕ(0)=0ϕ(0)=0 and ϕ(1)=1ϕ(1)=1, and the set I0I0 consisting of ϕϕ’s in FF where ...

    A process Algebraic form to represent extensive games 

    نوع: Journal Paper
    نویسنده : Omid Gheibi; رسول رمضانیان; Rasoul Ramezanian
    سال: 2015
    خلاصه:

    In this paper, we introduce an agent-based representation of games, in order to propose a compact representation for multi-party games in game theory. Our method is inspired by concepts in process theory and process algebra. ...

    • 1
    • 2

    نویسنده

    ... View More

    ناشر

    سال

    کلیدواژه

    ... View More

    نوع

    زبان

    نوع محتوا

    عنوان ناشر

    ... View More
    • درباره ما
    نرم افزار کتابخانه دیجیتال "دی اسپیس" فارسی شده توسط یابش برای کتابخانه های ایرانی | تماس با یابش
    DSpace software copyright © 2019-2022  DuraSpace