•  English
    • Persian
    • English
  •   Login
  • Ferdowsi University of Mashhad
  • |
  • Information Center and Central Library
    • Persian
    • English
  • Home
  • Source Types
    • Journal Paper
    • Ebook
    • Conference Paper
    • Standard
    • Protocol
    • Thesis
  • Use Help
Search 
  •   FUM Digital Library
  • Search
  •   FUM Digital Library
  • Search
  • All Fields
  • Title
  • Author
  • Year
  • Publisher
  • Subject
  • Publication Title
  • ISSN
  • DOI
  • ISBN
Advanced Search
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.

Now showing items 1-10 of 19

    • Relevance
    • Title Asc
    • Title Desc
    • Year Asc
    • Year Desc
    • 5
    • 10
    • 20
    • 40
    • 60
    • 80
    • 100
  • Export
    • 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 

    Type: Journal Paper
    Author : Mohammad Ardeshir; Rasoul Ramezanian
    Publisher: Elsevier Science
    Year: 2010
    Request PDF

    Decidability and Specker sequences in intuitionistic mathematics 

    Type: Journal Paper
    Author : Mohammad Ardeshir; Rasoul Ramezanian
    Publisher: John Wiley and Sons
    Year: 2009
    Request PDF

    On the constructive notion of closure maps 

    Type: Journal Paper
    Author : Mohammad Ardeshir; Rasoul Ramezanian
    Publisher: John Wiley and Sons
    Year: 2012
    Request PDF

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

    Type: Journal Paper
    Author : رسول رمضانیان; Rasoul Ramezanian
    Year: 2009
    Abstract:

    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 

    Type: Conference Paper
    Author : رسول رمضانیان; Rasoul Ramezanian
    Year: 2015
    Abstract:

    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 

    Type: Conference Paper
    Author : رسول رمضانیان; Rasoul Ramezanian
    Year: 2015
    Abstract:

    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 

    Type: Conference Paper
    Author : رسول رمضانیان; Rasoul Ramezanian
    Year: 2019
    Abstract:

    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 

    Type: Journal Paper
    Author : Rasoul Ramezanian; Akram Emdadi
    Year: 2015

    The double negation of the intermediate value theorem 

    Type: Journal Paper
    Author : Mohammad Ardeshir; رسول رمضانیان; Rasoul Ramezanian
    Year: 2010
    Abstract:

    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 

    Type: Journal Paper
    Author : Omid Gheibi; رسول رمضانیان; Rasoul Ramezanian
    Year: 2015
    Abstract:

    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

    Author

    ... View More

    Publisher

    Year

    Keywords

    ... View More

    Type

    Language (ISO)

    Content Type

    Publication Title

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