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

Search alternatives:

Refine Results
  1. Cover Image

    Model Checking Flat Freeze LTL on One-Counter Automata

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

    An intensionally fully-abstract sheaf model for $pi$ (expanded version)

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

    Model Checking the Quantitative mu-Calculus on Linear Hybrid Systems

    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 Vector Addition Systems with one zero-test

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

    Proof-irrelevant model of CC with predicative induction and judgmental equality

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

    Turing machines on represented sets, a model of computation for Analysis

    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 Probabilistic Timed Automata with One or Two Clocks

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

    Exploratory analysis of logical and intuitive reasoning in large language models

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

    Type Region Model and Its Application in Program Static Detection

    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

    Recovery-induced tipping in Stommel’s kicked ocean box model

    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

    Cavitation bubble near a wall: Sensitivity to modeling conditions

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

    stan-playground: Run Stan models directly in your browser

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

    corrselect: Fast and flexible predictor pruning for data analysis and 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:
  14. Cover Image

    Boosted Control Functions: Distribution Generalization and Invariance in Confounded Models

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

    Two-way Node Popularity Model for Directed and Bipartite Networks

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

    Nonparametric Estimation of a Factorizable Density using Diffusion Models

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

    Econometric Modelling of the Variations of Norway’s Export Trade across Continents and over Time: The Two-Stage Non-Full Rank Hierarchical Linear Econometric Model Approach

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

    Refining gravity anomaly data of coastal areas by combining XGM2019e-2159 and SRTM/GEBCO_2024 residual terrain model with forward modeling method

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

    Haramboure, Marion; Iyaloo, Diana et al. - Modelling the impact of sterile male releases on a wild mosquito population – model assessment from field trials in Mauritius

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

    Development of a spatio-temporal representation of agricultural landscapes as the modelling environment for spatially explicit agent-based models in the Animal Landscape and Man Si...

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

Search Tools: