Satisfiability and Model Checking for the Logic of Sub-Intervals under the Homogeneity Assumption

Get full text

On Thin Air Reads: Towards an Event Structures Model of Relaxed Memory

Get full text

Two Variable vs. Linear Temporal Logic in Model Checking and Games

Get full text

Complexity of Model Checking Recursion Schemes for Fragments of the Modal Mu-Calculus

Get full text

Models for industry differentiation in decision-making systems with an application to the Ukrainian economy

Get full text

Pop2net: Bipartite network generation for agent-based modeling

Get full text

pytau: A Python package for streamlined changepoint model analysis in neuroscience

Get full text

Sea ice extent forecasting using statistical and deep learning models

Get full text

gkwreg: An R Package for Generalized Kumaraswamy Regression Models for Bounded Data

Get full text

Assessing Digital Elevation Models for Battery Electric Buses Energy Prediction

Get full text

Federated Learning With Dynamic Pruning for Efficient Model Aggregation in Heterogeneous Environments

Get full text

Modeling Image Segmentation Label Noise Through Concave Region Removal

Get full text

Intelligent model for Alzheimer's disease imaging assessment based on federated learning

Get full text

Multi-Source Visual Language Model Fusion for Indoor Geolocation Reliability

Get full text

Validation of an agent-based model for cell interactions in a microfluidic chip

Get full text

Analysis of externally excited nonlinear Mathieu equation model for floating bodies

Get full text

BF-DETR: A Lightweight and Adjustable Model Based on RT-DETR

Get full text

anvay: A Web-based Tool for Interpretive Topic Modelling in Bengali

Get full text

Retraction: Natural gas price prediction based on artificial intelligence models

Get full text

Exploring Novel Uncertainty Quantification through Forward Intensity Function Modeling

Get full text