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

Search alternatives:

Refine Results
  1. Cover Image

    Computational Models of Certain Hyperspaces of Quasi-metric Spaces

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

    Model Checking CTL is Almost Always Inherently Sequential

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

    Multi-Objective Model Checking of Markov Decision Processes

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

    Model Checking One-clock Priced Timed Automata

    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 Synchronized Products of Infinite Transition Systems

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

    The Complexity of Model Checking Higher-Order Fixpoint Logic

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

    Model-Checking Problems as a Basis for Parameterized Intractability

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

    Weak Simplicial Bisimilarity and Minimisation for Polyhedral Model Checking

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

    Model of the intelligent system for prediction of road traffic accidents

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

    ConstraintHg: A Kernel for Systems Modeling and Simulation

    Published in Journal of Open Source Software (2026)
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  11. Cover Image

    Implementation-Aware Latency and Energy Modeling for Tiling on the Edge

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

    FlightKooba: A Fast Interpretable FTP Model

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

    Yucatan Miniswine Model of Atrial Fibrillation: Clinical Relevance

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

    r.earthworks: a GRASS tool for terrain modeling

    Published in Journal of Open Source Software (2026)
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  15. Cover Image

    Using transformer-based models for Vietnamese language detection

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

    Diffusion-Enhanced Identifiable Confounder Modeling for Debiased Recommendation

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

    Machine-Learning-Empowered Propagation Measurement and Modeling for an Amphitheater

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

    Application of structural equation modelling to public health concern on psychosocial functioning and quality of life of adolescents in Nigeria

    Published 2019
    Subjects: “…Structural equation modelling…”
    Full Text Available
    Access Repository
    Book
    Save to List
    Saved in:
  19. Cover Image

    Pre-marital predictors of marital violence in the WHO World mental health (WMH) surveys

    Published 2019
    Subjects: “…Predictive modeling…”
    Full Text Available
    Access Repository
    Article
    Save to List
    Saved in:
  20. Cover Image

    Optimising Sampling Design with Semivariogram for Vegetation Survey of Derived Savannah, Ogun State, Nigeria

    Published 2024
    Subjects: “…semivariogram models…”
    Full Text Available
    Access Repository
    Article
    Save to List
    Saved in:

Search Tools: