Search Results - (code OR (model OR more))

Search alternatives:

Refine Results
  1. Cover Image

    Geometric Model Checking of Continuous Space

    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  2. Cover Image

    Addressing Machines as models of lambda-calculus

    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  3. Cover Image

    Interface Modeling for Quality and Resource Management

    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  4. Cover Image

    On the characterization of models of H*: The semantical aspect

    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  5. Cover Image

    FO Model Checking of Interval Graphs

    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  6. Cover Image

    Modeling and Verification of Infinite Systems with Resources

    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  7. Cover Image

    Polylogarithmic Cuts in Models of V^0

    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  8. Cover Image

    A Graph Model for Imperative Computation

    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  9. Cover Image

    Model Checking Probabilistic Pushdown Automata

    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  10. Cover Image

    Modeling the determinants of fertility among women of childbearing age in Nigeria: Analysis using generalized linear modeling approach

    Published 2012
    Subjects: “…Generalized linear models…”
    Full Text Available
    Access Repository
    Article
    Save to List
    Saved in:
  11. Cover Image

    Building Energy Simulation Model Application to Greenhouse Microclimate, Covering Material and Thermal Blanket Modelling: A Review

    Published 2022
    Full Text Available
    Access Repository
    Article
    Save to List
    Saved in:
  12. Cover Image

    Modeling HIV/AIDS epidemics in West Africa: Results for UNAIDS modeling approach from some selected countries

    Published 2007
    Subjects: “…HIV/AIDS modeling…”
    Full Text Available
    Access Repository
    Article
    Save to List
    Saved in:
  13. Cover Image

    Modelling of Stress Into Humidified Porous Layer Under Influence of Microwave Irradiation Part II the General Model Equations

    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  14. Cover Image

    The Formal Model article format: justifying modelling intent and a critical review of data foundations through publication

    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  15. Cover Image

    Coupling the Glacio-hydrological Degree-day Model (GDM) with PCRaster for spatial dynamic modeling of Himalayan river basins

    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  16. Cover Image

    The Formal Model article format: justifying modelling intent and a critical review of data foundations through publication

    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  17. Cover Image

    Evaluation and selection of the quality of internal doors for buildings using building information modeling building information modeling (BIM)

    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  18. Cover Image

    Modeling Urban Traffic Heat Flux in the Community Earth System Model: Formulation and Validation for Two Test Sites

    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  19. Cover Image

    No silver bullet in software analytics: Understanding the impact of model tuning metrics on the performance of software defects prediction models

    Published in EMSE (2026)
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  20. Cover Image

    Spectral Model eXplainer: a chemically-grounded explainability framework for spectral-based machine learning models

    Published in ArXiv cs.LG Recent Papers (2026)
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:

Search Tools: