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

Search alternatives:

Refine Results
  1. Cover Image

    Intuitionistic implication makes model checking hard

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

    Noncomputable functions in the Blum-Shub-Smale model

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

    The Complexity of Infinite Computations In Models of Set Theory

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

    Neighbourhood Structures: Bisimilarity and Basic Model Theory

    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  5. 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:
  6. 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:
  7. 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:
  8. 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:
  9. 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:
  10. Cover Image

    Comparison of mathematical models describing the growth of tropically adapted Ross 308 commercial broiler chickens

    Published 2024
    Subjects: “…Mathematical models…”
    Full Text Available
    Access Repository
    Article
    Save to List
    Saved in:
  11. 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:
  12. Cover Image

    Finite element modeling of heat transfer in salt bath furnaces

    Published 2009
    Subjects: “…Modeling…”
    Full Text Available
    Access Repository
    Article
    Save to List
    Saved in:
  13. 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:
  14. 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:
  15. 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:
  16. Cover Image

    “Vous en avez d’autres comme celui-ci?” (“Do you have any more like this one?”): Teaching Françoise Sagan’s 1954 Novel Bonjour tristesse to 21st-century Students

    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  17. 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:
  18. Cover Image

    Long non-coding RNA PSMB8-AS1 as a potential biomarker for postoperative recurrence in patients with Fuhrman grades 1–3 clear cell renal cell carcinoma

    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:
  19. Cover Image

    Inc3ViTs Model: A Hybrid Architecture to Accelerate and Reduce Complexity for the DeepVariant Model for Variant Calling

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

    Assessment of snow model uncertainty in relation to the effect of a 1 °C warming using the snow modelling framework openAMUNDSEN

    Published in The Cryosphere (TC) (2026)
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:

Search Tools: