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

Search alternatives:

  1. Architectures in parametric component-based systems: Qualitative and quantitative modelling

    Get full text
    Online Article RSS Article
  2. Characterization and Derivation of Heard-Of Predicates for Asynchronous Message-Passing Models

    Get full text
    Online Article RSS Article
  3. Model Checking Flat Freeze LTL on One-Counter Automata

    Get full text
    Online Article RSS Article
  4. An intensionally fully-abstract sheaf model for $pi$ (expanded version)

    Get full text
    Online Article RSS Article
  5. Model Checking the Quantitative mu-Calculus on Linear Hybrid Systems

    Get full text
    Online Article RSS Article
  6. Model Checking Vector Addition Systems with one zero-test

    Get full text
    Online Article RSS Article
  7. Proof-irrelevant model of CC with predicative induction and judgmental equality

    Get full text
    Online Article RSS Article
  8. Turing machines on represented sets, a model of computation for Analysis

    Get full text
    Online Article RSS Article
  9. Model Checking Probabilistic Timed Automata with One or Two Clocks

    Get full text
    Online Article RSS Article
  10. Exploratory analysis of logical and intuitive reasoning in large language models

    Published in JDSA (2026)
    Get full text
    Online Article RSS Article
  11. Type Region Model and Its Application in Program Static Detection

    Published in IEEE Access (2026)
    Get full text
    Online Article RSS Article
  12. Recovery-induced tipping in Stommel’s kicked ocean box model

    Published in PLOS ONE (2026)
    Get full text
    Online Article RSS Article
  13. Cavitation bubble near a wall: Sensitivity to modeling conditions

    Published in Technische Mechanik (2026)
    Get full text
    Online Article RSS Article
  14. stan-playground: Run Stan models directly in your browser

    Published in Journal of Open Source Software (2026)
    Get full text
    Online Article RSS Article
  15. corrselect: Fast and flexible predictor pruning for data analysis and modeling

    Published in Journal of Open Source Software (2026)
    Get full text
    Online Article RSS Article
  16. Boosted Control Functions: Distribution Generalization and Invariance in Confounded Models

    Get full text
    Online Article RSS Article
  17. Two-way Node Popularity Model for Directed and Bipartite Networks

    Get full text
    Online Article RSS Article
  18. Nonparametric Estimation of a Factorizable Density using Diffusion Models

    Get full text
    Online Article RSS Article
  19. 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
    Online Article RSS Article