System Neural Diversity: Measuring Behavioral Heterogeneity in Multi-Agent Learning

Get full text

Fine-grained Analysis and Faster Algorithms for Iteratively Solving Linear Systems

Get full text

Power Line Energy Harvesting System for GaN Transistors Monitoring

Get full text

Small Term Reachability and Related Problems for Terminating Term Rewriting Systems

Get full text

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

Get full text

A System of Interaction and Structure III: The Complexity of BV and Pomset Logic

Get full text

Classical System of Martin-Lof's Inductive Definitions is not Equivalent to Cyclic Proofs

Get full text

A Complete Quantitative Deduction System for the Bisimilarity Distance on Markov Chains

Get full text

On linear rewriting systems for Boolean logic and some applications to proof theory

Get full text

The General Vector Addition System Reachability Problem by Presburger Inductive Invariants

Get full text

LSTM-Based Estimation of Harmonic Source Equivalent Parameters in Power Systems

Get full text

Design and Evaluation of an LLM-Based Knowledge Graph System for Photosynthesis Research

Get full text

CRISP: Cyber-Resilient Intelligent Systems for Predicting Threats in Digital Ecosystems

Get full text

A Quantum Approximate Optimization Algorithm for Resource Allocation in Database System

Get full text

better_launch: A better replacement for the ROS2 launch system

Get full text

Termination of Graph Transformation Systems via Generalized Weighted Type Graphs

Get full text

A Reliable Stream Learning Model for Network Intrusion Detection Systems

Get full text

A Pulsar-Inspired Timing Framework for Power System: Optimization and Performance Evaluation

Get full text

Virtual Reality-Based Telerehabilitation System for Cerebral Palsy Treatment With Electromyography Feedback

Get full text

Implementation and Evaluation of Hierarchical Beam Selection Algorithm for mmWave WPT Systems

Get full text