Search Results - (comee OR (code OR (model OR made))) journal

Search alternatives:

Refine Results
  1. 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:
  2. 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:
  3. 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:
  4. 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:
  5. 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:
  6. 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:
  7. Cover Image

    Predatory Publishing and the Dilemma of the Nigerian Academic

    Published 2018-01
    Full Text Available
    Access Repository
    Article
    Save to List
    Saved in:
  8. 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:
  9. 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:
  10. 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:
  11. 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:
  12. 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:
  13. 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:
  14. 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:
  15. 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:
  16. Cover Image

    THE EFFECTIVENESS OF THE IMPLEMENTATION OF FINE PENALTIES IN NARCOTICS CRIMES FOLLOWING LAW NUMBER 01 OF 2023 CONCERNING THE CRIMINAL CODE (A FIELD STUDY IN THE JURISDICTIONAL REGI...

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

    A fast and physically grounded ocean model for GCMs: the Dynamical Slab Ocean Model of the Generic-PCM (rev. 3423)

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

    Numerical Model of Formation of Ejecta Faculae on Ceres

    Published in Artificial Satellites (2024)
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  19. Cover Image

    Modeling of ferroelectric properties of KNN-based ceramics

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

    ClioMD: An artificial intelligence model for ciliopathies

    Published in EuroBiotech Journal (2025)
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:

Search Tools: