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

Get full text

Characterization and Derivation of Heard-Of Predicates for Asynchronous Message-Passing Models

Get full text

Model Checking Flat Freeze LTL on One-Counter Automata

Get full text

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

Get full text

Model Checking the Quantitative mu-Calculus on Linear Hybrid Systems

Get full text

Model Checking Vector Addition Systems with one zero-test

Get full text

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

Get full text

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

Get full text

Model Checking Probabilistic Timed Automata with One or Two Clocks

Get full text

Exploratory analysis of logical and intuitive reasoning in large language models

Get full text

Type Region Model and Its Application in Program Static Detection

Get full text

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

Get full text

Cavitation bubble near a wall: Sensitivity to modeling conditions

Get full text

stan-playground: Run Stan models directly in your browser

Get full text

corrselect: Fast and flexible predictor pruning for data analysis and modeling

Get full text

Boosted Control Functions: Distribution Generalization and Invariance in Confounded Models

Get full text

Two-way Node Popularity Model for Directed and Bipartite Networks

Get full text

Nonparametric Estimation of a Factorizable Density using Diffusion Models

Get full text

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

Get full text

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

Get full text