Search Results - ((((codee OR comee) OR mode) OR (code OR model)) OR some) journal

Search alternatives:

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

    Seizing the future: a robust epileptic seizure recognition model-based cloud computing platform and advanced deep learning model

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

    The Surrender of Fugitive Offenders between Mainland China and Hong Kong: European Arrest Warrant Model or US Interstate Rendition Model?

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

    Modelling Orebody Structures: Block Merging Algorithms and Block Model Spatial Restructuring Strategies Given Mesh Surfaces of Geological Boundaries

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

    Mechanistic modelling of highly pathogenic avian influenza: A scoping review revealing critical gaps in cross-species transmission models

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

    Correction: A survey on augmenting knowledge graphs (KGs) with large language models (LLMs): models, evaluation metrics, benchmarks, and challenges

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

    Retraction: Erectile dysfunction drugs altered the activities of antioxidant enzymes, oxidative stress and the protein expressions of some cytochrome P450 isozymes involved in the...

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

    PCR bias in 16S rRNA genes caused by GC content leads to insufficient detection of some abundant species in amplicon sequencing analyses of thermophilic microbial communities

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

    Evaluation of proximate compositions and heavy metal concentrations of Amaranthus spinosus L. and Talinum fruticosum (L.) Juss. harvested on some poultry dumpsites in Badagry, Lago...

    Published in Annals of Science and Technology (2023)
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  17. Cover Image

    Biological control potential of some selected endophytic bacteria against the Colorado potato beetle, Leptinotarsa decemlineata (Say, 1824) (Coleoptera: Chrysomelidae), and their e...

    Published in Turkish Journal of Entomology (2026)
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  18. Cover Image

    The Formal Model for the hoverfly Sphaerophoria scripta (Diptera, Syrphidae) agent-based model in the Animal Landscape and Man Simulation System (ALMaSS)

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

    The Formal Model for the hoverfly Eristalis tenax (Diptera, Syrphidae) agent-based model in the Animal Landscape and Man Simulation System (ALMaSS)

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

    The Formal Model for the butterfly Pieris napi (Lepidoptera, Pieridae) agent-based model in the Animal Landscape and Man Simulation System (ALMaSS)

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

Search Tools: