Parameterized Model-checking of Discrete-Timed Networks and Symmetric-Broadcast Systems

Get full text

Advanced Model Consistency Restoration with Higher-Order Short-Cut Rules

Get full text

A Formal Model for Polarization under Confirmation Bias in Social Networks

Get full text

Quantum Control in the Unitary Sphere: Lambda-S1 and its Categorical Model

Get full text

Trakhtenbrot's Theorem in Coq: Finite Model Theory through the Constructive Lens

Get full text

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