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

  1. Model-Checking Problems as a Basis for Parameterized Intractability

    Get full text
    Online Article RSS Article
  2. Weak Simplicial Bisimilarity and Minimisation for Polyhedral Model Checking

    Get full text
    Online Article RSS Article
  3. Model of the intelligent system for prediction of road traffic accidents

    Get full text
    Online Article RSS Article
  4. ConstraintHg: A Kernel for Systems Modeling and Simulation

    Published in Journal of Open Source Software (2026)
    Get full text
    Online Article RSS Article
  5. Implementation-Aware Latency and Energy Modeling for Tiling on the Edge

    Published in IEEE Access (2026)
    Get full text
    Online Article RSS Article
  6. FlightKooba: A Fast Interpretable FTP Model

    Published in IEEE Access (2026)
    Get full text
    Online Article RSS Article
  7. Yucatan Miniswine Model of Atrial Fibrillation: Clinical Relevance

    Published in PLOS ONE (2026)
    Get full text
    Online Article RSS Article
  8. r.earthworks: a GRASS tool for terrain modeling

    Published in Journal of Open Source Software (2026)
    Get full text
    Online Article RSS Article
  9. Using transformer-based models for Vietnamese language detection

    Published in PLOS ONE (2026)
    Get full text
    Online Article RSS Article
  10. Diffusion-Enhanced Identifiable Confounder Modeling for Debiased Recommendation

    Published in IEEE Access (2026)
    Get full text
    Online Article RSS Article
  11. Machine-Learning-Empowered Propagation Measurement and Modeling for an Amphitheater

    Published in IEEE Access (2026)
    Get full text
    Online Article RSS Article
  12. 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
    Online Article RSS Article
  13. 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
    Online Article RSS Article
  14. 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
    Online Article RSS Article
  15. Enriched MU-Calculi Module Checking

    Get full text
    Online Article RSS Article
  16. Assessment of a Reconstructed Modulation Strategy for Energy Balance in Multilevel Cascade Inverters Varying the Modulation Index

    Published in IET Power Electronics (2026)
    Get full text
    Online Article RSS Article
  17. The More, the Better: Is This True in Endoscopy for Gastric Cancer Screening?

    Published in Annals of Rehabilitation Medicine (2018)
    Get full text
    Online Article RSS Article
  18. The effects of more intensive counseling for disadvantaged unemployed youth

    Published in IZA Journal of Labor Policy (2023)
    Get full text
    Online Article RSS Article
  19. Notebook and Open science : toward more FAIR play

    Get full text
    Online Article RSS Article