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

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

    MOLECULAR CHARACTERISATION OF MULTIDRUG-RESISTANT PSEUDOMONAS AERUGINOSA IN SOUTHWESTERN NIGERIA

    Published 2013
    Subjects: “…Class 1 integrons…”
    Full Text Available
    Access Repository
    Article
    Save to List
    Saved in:
  7. Cover Image

    Anti-proliferative activities of the aqueous root extract of Dianthus thunbergii ss Hooper (Caryophyllaceae)

    Published 2018
    Subjects: “…INS-1…”
    Full Text Available
    Access Repository
    Article
    Save to List
    Saved in:
  8. Cover Image

    Anti-proliferative activities of the aqueous root extract of Dianthus Thunbergii ss hooper (caryophyllaceae)

    Published 2018
    Subjects: “…INS-1…”
    Full Text Available
    Access Repository
    Article
    Save to List
    Saved in:
  9. Cover Image

    Chemoprevention of aflatoxin B1-induced genotoxicity and hepatic oxidative damage in rats by kolaviron, a natural biflavonoid of garcinia kola seeds

    Published 2005
    Subjects: “…Aflatoxin B1…”
    Full Text Available
    Access Repository
    Article
    Save to List
    Saved in:
  10. Cover Image

    Structure, electrical, and giant dielectric properties of fine-grained Na1/2Bi1/2Cu3Ti4O12 ceramics synthesized by mechanochemical activation and low-temperature spark plasma sintering

    Published in Materials Science-Poland (2026)
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  11. 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:
  12. 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:
  13. 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:
  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: