Search Results - ((code OR come) OR model)

Search alternatives:

Refine Results
  1. 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:
  2. 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:
  3. 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:
  4. 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:
  5. 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:
  6. 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:
  7. 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:
  8. 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:
  9. 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:
  10. 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:
  11. 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:
  12. 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:
  13. 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:
  14. 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:
  15. 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:
  16. 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:
  17. 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:
  18. Cover Image

    Exploring New Directions for the Transformation of the Built Environment in Nigeria: The Role of Building Information Modeling

    Published 2016
    Subjects: “…Building information modeling (BIM)…”
    Full Text Available
    Access Repository
    Article
    Save to List
    Saved in:
  19. Cover Image

    Considerations for using occupancy surveys to monitor forest primates: a case study with sclater’s monkey (cercopithecus sclateri)

    Published 2011
    Subjects: “…Modeling…”
    Full Text Available
    Access Repository
    Article
    Save to List
    Saved in:
  20. Cover Image

    Vehicle headway distribution modelling of free-flowing traffic on two-lane single carriageways

    Published 2015
    Subjects: “…hyperbolic distribution models…”
    Full Text Available
    Access Repository
    Article
    Save to List
    Saved in:

Search Tools: