Search Results - (((codee OR modee) OR more) OR (code OR model)) journal

Search alternatives:

Refine Results
  1. Cover Image

    A model of actors and grey failures

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

    A Spatial Logic for Simplicial Models

    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  3. 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:
  4. 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:
  5. 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:
  6. 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:
  7. 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:
  8. 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:
  9. 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:
  10. 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:
  11. 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:
  12. 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:
  13. 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:
  14. 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:
  15. 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:
  16. 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:
  17. 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:
  18. 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:
  19. 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:
  20. 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:

Search Tools: