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

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

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

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

BAYESIAN MODELING OF FLUID FLOW EFFECTS IN DRUG-RELEASING ORTHOPEDIC IMPLANTS

Get full text

Exploring Novel Uncertainty Quantification through Forward Intensity Function Modeling

Get full text

UQLM: A Python Package for Uncertainty Quantification in Large Language Models

Get full text

A Reliable Stream Learning Model for Network Intrusion Detection Systems

Get full text

JAX-bandflux: differentiable supernovae SALT modelling for cosmological analysis on GPUs

Get full text

Prompting is not Enough: Exploring Knowledge Integration and Controllable Generation on Large Language Models

Get full text

A Hybrid Platform for Multi-Neurons Model with Optimum Co-Design Method

Get full text

Predicting an Optimal Virtual Data Model for Uniform Access to Large Heterogeneous Data

Get full text

STL‐Decomposition Functional Deep Learning Ensemble Models for Hydro Power Forecasting

Get full text