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

Search alternatives:

Refine Results
  1. Cover Image

    Antichains for the Automata-Based Approach to Model-Checking

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

    Real-Time Model-Checking: Parameters everywhere

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

    Linear Encodings of Bounded LTL Model Checking

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

    Identifying Weight-Variant Latent Causal Models

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

    Stem Distributions and Height-Diameter Allometries for Two Species of Irvingiaceae (Exell And Mendonça) in a Tropical Moist Forest of Southern Nigeria

    Published 2013
    Subjects: “…models…”
    Full Text Available
    Access Repository
    Article
    Save to List
    Saved in:
  6. Cover Image

    On the level of precision of the wavelet neural network in rainfall analysis

    Published 2014
    Subjects: “…Rainfall modelling…”
    Full Text Available
    Access Repository
    Article
    Save to List
    Saved in:
  7. Cover Image

    Statistical modeling of social risk factors for sexually transmitted diseases among female youths in Nigeria

    Published 2013
    Subjects: “…statistical modeling…”
    Full Text Available
    Access Repository
    Article
    Save to List
    Saved in:
  8. Cover Image

    Developing metacognition in pre-primary childhood education in Nigeria and Uganda

    Published 2022-07
    Subjects: “…Metacognition || Methods of teaching || Theories of learning ||Models of learning || Education…”
    Full Text Available
    Access Repository
    Article
    Save to List
    Saved in:
  9. Cover Image

    Development of Silvicultural Management Models for Gmelina arborea Roxb. Stands in Area J4, Omo Forest Reserve, Nigeria

    Published 2021
    Subjects: “…management models and rotation age…”
    Full Text Available
    Access Repository
    Article
    Save to List
    Saved in:
  10. Cover Image

    Structural Breaks, Parameter Stability and Energy Demand Modelling in Nigeria

    Published 2012
    Subjects: “…Energy demand modeling…”
    Full Text Available
    Access Repository
    Article
    Save to List
    Saved in:
  11. Cover Image

    Comparative assessment of the changing pattern of land cover along the Southwestern coast of Nigeria using GIS and remote sensing techniques

    Published 2022
    Subjects: “…Land Change Modeler…”
    Full Text Available
    Access Repository
    Article
    Save to List
    Saved in:
  12. Cover Image

    Isolation of pathogenic strains of methicillin-resistant Staphylococcus aureus from mobile phones in a tertiary institution in Ibadan, Nigeria

    Published 2022
    Subjects: “…Tsst-1…”
    Full Text Available
    Access Repository
    Conference Proceeding
    Save to List
    Saved in:
  13. Cover Image

    Gallic acid enhances reproductive function by modulating oxidoinflammatory and apoptosis mediators in rats exposed to aflatoxin-B1

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

    Effect of silicon content and shake-out time on hardness and grain size properties of GL 250 cast iron

    Published 2011
    Subjects: “…GL 250 C.I…”
    Full Text Available
    Access Repository
    Article
    Save to List
    Saved in:
  15. Cover Image

    Effect of silicon content and shake-out time on hardness and grain size properties of GL 250 cast iron

    Published 2011
    Subjects: “…GL 250 C.I…”
    Full Text Available
    Access Repository
    Article
    Save to List
    Saved in:
  16. Cover Image

    Mass casualty incident preparedness and response: A desk review of the Code Orange Plan and Assessment of Healthcare Workers’ Knowledge, Attitudes, and Practices in a Lebanese Tertiary Government Hospital

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

    Neonatal Morbidity and Mortality Pattern in a Mission Hospital in Nigeria: A Facility-Based One Year Retrospective Study

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

    Synthesis, Topological, and Biological Studies of a Novel One-Dimensional Hg(II) Coordination Polymer With Antibacterial and Anticancer Potentials

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

    First record of Obeza nigromaculata (Cameron, 1884) (Hymenoptera, Eucharitidae, Eucharitini) from Colombia, with one nomenclatural act for the species

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

    The role of trust in wildlife damage response systems: One step towards coexistence between livestock farming and large carnivores?

    Published in People and Nature (2026)
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:

Search Tools: