Sheaves as a Means of Maintaining Consistency in Model-based Systems Engineering

Get full text

LoKA: Low-precision Kernel Applications for Recommendation Models At Scale

Get full text

Learning to Focus Synthetic Aperture Radar On-line with State-Space Models

Get full text

ALAM: Algebraically Consistent Latent Transitions for Vision-Language-Action Models

Get full text

A Fully Abstract Model of PCF Based on Extended Addressing Machines

Get full text

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