Module checking of pushdown multi-agent systems

Subjects: “…Computer Science & Information Science…”
Get full text

Asynchronous Composition of LTL Properties over Infinite and Finite Traces

Subjects: “…Computer Science & Information Science…”
Get full text

SerializableSimpy: Parallel and Serializable Discrete-Event Simulation in Python

Subjects: “…Computer Science & Information Science…”
Get full text

Htool-DDM: A C++ library for parallel solvers and compressed linear systems.

Subjects: “…Computer Science & Information Science…”
Get full text

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

Subjects: “…Computer Science & Information Science…”
Get full text

pyDARTdiags: A Python package for manipulating observation sequences and calculating observation-space diagnostics for the Data Assimilation Research Testbed (DART)

Subjects: “…Computer Science & Information Science…”
Get full text

KinOpt: A Python package for chemical kinetics analysis and optimization

Subjects: “…Computer Science & Information Science…”
Get full text

LiDAR Desnowing via Adaptive Snow-Candidate Generation and Confidence-Based Label Correction

Subjects: “…Computer Science & Information Science…”
Get full text

L-MACD: Learning-Based Adaptive CAPTCHA Defense Against Multimodal AI Attacks

Subjects: “…Computer Science & Information Science…”
Get full text

A Stochastic Time-Dependent Optimization for Sustainable E-Grocery Chain With Cold-Storage Hubs and Perishability Constraints

Subjects: “…Computer Science & Information Science…”
Get full text

Calibrated Recommendation Algorithm for Multi-Source Heterogeneous Online Learning Resources: A Dual Knowledge Graph Approach

Subjects: “…Computer Science & Information Science…”
Get full text

Topology Optimization of Thin-Walled Square Tubes Under Axial and Oblique Crushing Using Deep Neural Networks

Subjects: “…Computer Science & Information Science…”
Get full text

Exploring the Use of Social Robots for Depression Screening Among Older Adults: An Expanded Feasibility Study

Subjects: “…Computer Science & Information Science…”
Get full text

Design of a Linear Optimal Controller for Mobile Robots Using Distance Normalization Factor

Subjects: “…Computer Science & Information Science…”
Get full text

PROcess Mining and Simulation for Healthcare Analysis: PROMSHA-Methodology

Subjects: “…Computer Science & Information Science…”
Get full text

3-D Relational Learning in Tabular Data: A Dual-Graph Attention Approach

Subjects: “…Computer Science & Information Science…”
Get full text

TICNN—A Hybrid Light-Weight CNN for Large Imbalanced Multi-Class Datasets on Intrusion Detection System in IoT

Subjects: “…Computer Science & Information Science…”
Get full text

CricShot10k: A Large-Scale Video Dataset for Cricket Shot Classification

Subjects: “…Computer Science & Information Science…”
Get full text

A Deep Learning-Based Fusion Framework for Temperature-Aware Relative Humidity Sensing Using Dual Fiber-Optic Sensors

Subjects: “…Computer Science & Information Science…”
Get full text

SplitFed-CKD: SplitFed Learning With Contrastive Learning and Knowledge Distillation on Non-IID Datasets

Subjects: “…Computer Science & Information Science…”
Get full text