Search Results - (((codee OR code) OR (modee OR madee)) OR (mode OR model)) journal

Search alternatives:

Refine Results
  1. Cover Image

    Zero-Knowledge Model Checking

    Published in ArXiv cs.LO Recent Papers (2026)
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  2. Cover Image

    Hyperbolic Concept Bottleneck Models

    Published in ArXiv cs.CV Recent Papers (2026)
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  3. Cover Image

    Completions of Kleene's second model

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

    Relational Graph Models at Work

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

    Ordered Models of the Lambda Calculus

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

    Modelling Probabilistic Wireless Networks

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

    A Model of Cooperative Threads

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

    Balancing Accuracy and Resources in FPGA Approximate HLS: Model-Free Versus Model-Based Approaches

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

    Approximate Inverse Model Explanations as a Model-Agnostic Framework for Linking Musical Scores and Performance

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

    Impact of the Internal Structure Density in the Process of Fabrication of Orthodontic Master Models by Fused Deposition Modeling

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

    Correction to “Mathematical Modelling of COVID-19 Transmission in Kenya: A Model with Reinfection Transmission Mechanism”

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

    Boundary modeling in model-based calibration for automotive engines via the vertex representation of the convex hulls

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

    Modeling and Tracking Simulation of ROV for Bottom Inspection of a Ship using Component Drag Model

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

    Modified elastic-plastic model: implementation algorithm and comparison of computational efficiency with the elastic-viscoplastic model

    Published in Fracture and Structural Integrity (2025)
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  15. Cover Image

    The Community Fire Behavior model for coupled fire–atmosphere modeling: implementation in the Unified Forecast System

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

    Modeling Large Dust Aerosols in the Community Earth System Model Version 2 (CESM2)

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

    Assessing the performance of reanalysis and meso-scale model datasets for onshore wind power modelling in Germany

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

    Cross-Model Consistency of Feature Importance in Electrospinning: Separating Robust from Model-Dependent Features

    Published in ArXiv cs.DB Recent Papers (2026)
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  19. Cover Image

    A Classical Realizability Model arising from a Stable Model of Untyped Lambda Calculus

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

    Low‐Complexity Model‐Free Predictive Torque Control for Induction Motor Drives Using an Ultralocal Model

    Published in IET Power Electronics (2026)
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:

Search Tools: