software testing

A low-cost, high-performing wireless communication architecture for heliostat fields

NLR partnered with Caribou Labs to develop and test a flexible wireless control architecture optimized for heliostat fields. The project goals were to keep per-heliostat hardware cost to less than $35 per heliostat while achieving sub-second communication rates with 1000s of heliostats at distances greater than 1 km fr...

BRUTUS PAPILLON 144: Experimental Software Benchmark and Property-Based Audit

BRUTUS PAPILLON 144 est une architecture logicielle expérimentale développée par Gabriel St-Pierre pour représenter de grandes populations numériques au moyen d'un réseau fixe de 144 accumulateurs plutôt que par matérialisation individuelle de chaque élément. Une fonction de référence utilisant une précision Decimal de...

A Deterministic Matrix-Based Inventory-State Model for Multi-Product and Multi-Period Systems

A deterministic matrix algebra approach for modelling inventory management in multi- product, multi-period systems has been developed, overcoming the limitations of existing inventory models which rely on conventional methods and computational software. The framework combines the initial inventory vector, replenishment...

THE EFFECTIVENESS OF DIGITAL TECHNOLOGIES IN TEACHING CHEMISTRY TO STUDENTS WITH SPECIAL EDUCATIONAL NEEDS

This study presents an empirical analysis of the effectiveness of digital technologies (PhET, Labster, Gimkit, Padlet) in teaching chemistry to students with special educational needs (SEN). The purpose was to determine the effectiveness of these platforms based on the evaluations of 80 master's students (future teache...

KAM: A Holonic Organizational Adaptation Framework for Dynamic Multi-Agent Systems

KAM v0.4.0-paper is the reproducible software release accompanying the manuscript "KAM: A Holonic Organizational Adaptation Framework for Dynamic Multi-Agent Systems." The release contains the implementations of C-KAM and D-KAM, four dynamic multi-agent benchmark domains, comparison methods, experiment runners, frozen...

Beyond Meta Muse/Sentinel: AI-Agent Security Gaps and Execution-Finality Mitigations

Who verifies what actually happened after an AI agent receives permission to act? Meta's Muse/Sentinel architecture represents an important development in AI-agent security: computation is isolated from external permission authority, consequential requests are inspected, and sensitive credentials remain outside the age...

Intelligent Test Case Scheduling Using Multi-Criteria Decision Making for Human–Machine Interface Testing

linhua79966/c13-label-age-aware-fatigue-querying: v1.0.0 — Initial Research Software Release

Initial Research Software Release — v1.0.0 This is the initial public release of a limited research-software package associated with the study: Label-Age-Aware Adaptive Querying for Wearable Physical-Fatigue Estimation under Limited Self-Report Budgets Authors: Cenglin Yao, Xianhuan Wu, and Lesheng Liu. Included materi...

Biomedical robotics architecture for clinical experimentation (BRACE): A software framework for clinical robotics research

Implementing novel robotic devices for clinical research requires integration of numerous components into a cohesive system. The complexity of development in state-of-the-art frameworks limits rapid iteration. Here, we introduce BRACE software with three key contributions: 1) an open-source, portable pure-Python framew...

PredKlebAMR: A machine learning framework prioritizing sensitivity in Klebsiella pneumoniae resistance profiling

The global increase in carbapenem-resistant Klebsiella pneumoniae (CRKP) has undoubtedly changed the management of infectious diseases. Meropenem resistance in K. pneumoniae is a response to bacterial strategies, these includes production of carbapenemases (KPC, NDM, OXA-48), a reduction in membrane permeability throug...

Reinforcement learning for adaptive composition of quantum circuit optimisation passes

Abstract Many quantum software development kits provide a suite of circuit optimisation passes. These passes have been highly optimised and tested in isolation. However, the order in which they are applied is left to the user, or else defined in general-purpose default pass sequences. While general-purpose sequences mi...

NumJ: Evaluating Fusion, Memory Layout, and Reproducible Reductions in Java–Fortran Numerical Computing

This preprint presents NumJ, a Java float64 array library that invokes Fortran kernels through the Foreign Function and Memory API, and analyzes its archived benchmark evidence. The implementation combines strided multidimensional arrays, reusable native buffers, specialized iteration paths, explicit expression fusion,...