•  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 1056

    • 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

    Keynote talk by Dr. Oskar Mencer: Computing in space 

    Type: Conference Paper
    Publisher: IEEE
    Year: 2014

    An Architecture and Formalism For Handling Modular Ontologies 

    Type: Conference Paper
    Author : فائزه انسان; F Ensan
    Year: 2008
    Abstract:



    builds on top of a fundamental formalism for modular

    ontologies. Through this formalism we are able to de-

    fine mechanisms for integrating different modules and

    develop algorithms for reasoning over the integrated...

    A New Approach to Software Development Process with Formal Modeling of Behavior based on Visualization 

    Type: Conference Paper
    Author : عباس رسول زادگان; Ahmad Abdollahzadeh Barforoush; Abbas Rasoolzadegan
    Year: 2011
    Abstract:

    . This work proposes a new feasible

    approach to improve the software development process by integrating semi-formal and formal modeling methods. In this approach, software is initially modeled using the formal specification language Object-Z. The formal...

    Bayesian inversion for the filtered flow at the Earth\'s core mantle boundary 

    Type: Journal Paper
    Author : Baerenzung, J. - Holschneider, M. - Lesur, V.
    Publisher: Blackwell Publishing Ltd
    Year: 2014

    Parametrized post-Newtonian virial theorem 

    Type: Journal Paper
    Author : محمود روشن المه جق; Mahmood Roshan
    Year: 2012
    Abstract:

    Using the parametrized post-Newtonian equations of hydrodynamics, the tensor and the scalar form of the parametrized post-Newtonian (PPN) virial theorem are derived. The PPN virial theorem then is used to estimate the ...

    Persian Back Channel Responses in Formal Versus Informal Contexts 

    Type: Journal Paper
    Author : شهلا شریفی; مهناز آزادمنش; Shahla Sharifi; Mahnaz Azadmanesh
    Year: 2012
    Abstract:

    or informality. This paper studies the types and functions of the back of these responses in both formal and informal settings and provides a comparison of usage of these responses in these two kinds of contexts. The results show /bale/(yes) and /doroste...

    Generalized PPM-based BB84 QKD protocol 

    Type: Conference Paper
    Author : Yequn Zhang , Djordjevic, I.B.
    Publisher: IEEE
    Year: 2014

    CISIS IEETel Welcome Message 

    Type: Conference Paper
    Publisher: IEEE
    Year: 2014

    Compact quadruplet bandpass filter synthesis using λ/4 resonators 

    Type: Conference Paper
    Author : Songbai Zhang , Lei Zhu
    Publisher: IEEE
    Year: 2014

    Estimation of automotive urea-based selective catalytic reduction systems during low temperature operations 

    Type: Conference Paper
    Author : Pingen Chen , Junmin Wang
    Publisher: IEEE
    Year: 2014
    • 1
    • 2
    • 3
    • 4
    • . . .
    • 106

    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