Search Results - ((codee OR (code OR come)) OR (made OR model)) journal

Search alternatives:

Refine Results
  1. Cover Image

    Trakhtenbrot's Theorem in Coq: Finite Model Theory through the Constructive Lens

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

    Satisfiability and Model Checking for the Logic of Sub-Intervals under the Homogeneity Assumption

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

    On Thin Air Reads: Towards an Event Structures Model of Relaxed Memory

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

    Two Variable vs. Linear Temporal Logic in Model Checking and Games

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

    Complexity of Model Checking Recursion Schemes for Fragments of the Modal Mu-Calculus

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

    Models for industry differentiation in decision-making systems with an application to the Ukrainian economy

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

    Pop2net: Bipartite network generation for agent-based 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:
  8. Cover Image

    pytau: A Python package for streamlined changepoint model analysis in neuroscience

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

    Sea ice extent forecasting using statistical and deep learning models

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

    gkwreg: An R Package for Generalized Kumaraswamy Regression Models for Bounded Data

    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

    Assessing Digital Elevation Models for Battery Electric Buses Energy Prediction

    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

    Federated Learning With Dynamic Pruning for Efficient Model Aggregation in Heterogeneous Environments

    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

    Modeling Image Segmentation Label Noise Through Concave Region Removal

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

    Intelligent model for Alzheimer's disease imaging assessment based on federated learning

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

    Multi-Source Visual Language Model Fusion for Indoor Geolocation Reliability

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

    Validation of an agent-based model for cell interactions in a microfluidic chip

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

    Analysis of externally excited nonlinear Mathieu equation model for floating bodies

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

    BF-DETR: A Lightweight and Adjustable Model Based on RT-DETR

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

    anvay: A Web-based Tool for Interpretive Topic Modelling in Bengali

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

    Retraction: Natural gas price prediction based on artificial intelligence 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:

Search Tools: