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

Search alternatives:

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

    LULUCF Is More Than a Mouthful: How the United States could implement the European Union’s land use, land-use change, and forestry policy to help fight against the US agricultural...

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

    The Global Energy System Model (GENeSYS-MOD) v4.0 - A Flexible Energy System Modeling Framework for Julia and GAMS

    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

    Modeling Soil Erosion Risk Areas Using the RUSLE Model Coupled With GIS and RS in Haro Bake Watershed, Yabello District, Southern Ethiopia

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

    No Model Fits All: Dynamic Ensemble Species Distribution Model Reveals Seasonal Patterns of Essential Habitat Use by Ocean Giants in the Southwest Pacific

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

    Integrating spatial and environmental stressors in a population model of Folsomia candida (Collembola, Isotomidae): a Formal Model within ALMaSS framework

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

    Modeling Factors Affecting Physicians' Acceptance of E‐Prescriptions Using Structural Equation Modeling‐Partial Least Squares Analysis: A Cross‐Sectional Study

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

    Predictive modeling of urbanization in Oran, Algeria: a spatial analysis of driving factors and land cover change using land change modeler and logistic regression

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

    Diff Studio: Ecosystem for Interactive Modeling by Ordinary Differential Equations

    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:

Search Tools: