software testing

ReProspect - A framework for reproducible prospecting of CUDA applications

ReProspect is a Python framework for prospecting CUDA code, designed to ensure reproducibility through a fully programmatic approach.Prospecting encompasses three complementary ways of characterizing CUDA-based libraries and software components: how they interact with the CUDA runtime through API tracing, how kernels p...

Size-biased multinomial modelling of detection data in software testing

closure_drift: does your version label name exactly one version of your code?

A read-only, zero-dependency tool that measures, over any git repository, whether a declared version label identifies exactly one state of the producing code at the points where that repository publishes. Addressing a published artefact by (input, version) is sound only if the label is injective over closures. Nothing...

Quasi-periodic prefactor at golden slope: period-2 structure, Zeckendorf-phase clustering, and separation from two controls

Version 1.1 replaces the attached file. Version 1.0 was published with the DRAFT build of the manuscript attached in error: the file carried DRAFT running heads and a status line reading 'DRAFT - not deposited'. The mathematics is unchanged between the two builds; they differ in the draft markers only. The error was in...

Automated testing and debugging of configuration knowledge bases with direct diagnosis

Abstract Configuration knowledge bases are used to represent commonality and variability properties of physical products as well as software artifacts. These knowledge bases can become quite large and complex and – as a result – are in the need of testing and debugging support. If some test cases become inconsistent wi...

The Master Unified Field Codex

**The Master Unified Field Codex** represents the definitive, non-perturbative mathematical synthesis of natural philosophy, unifying quantum mechanics, general relativity, non-Abelian gauge theory, algebraic geometry, analytic number theory, thermodynamics, macro-acoustic chemistry, and biophysical embryology into a s...

FreeSurfer-based amygdala subfield volumetry in long COVID and ME/CFS: clinical and immunological correlations

Background Long COVID and myalgic encephalomyelitis/chronic fatigue syndrome (ME/CFS) share debilitating symptoms and have been associated with limbic-system dysfunction. We investigated amygdala subfield volumes to identify disease-specific neuroanatomical features and their clinical and immunological correlates. Meth...

The Field Equations in P: An Anti-Scholarly Treatise on Einstein's Generative NP-Spacetime and Henri Poincaré's Fail-Closed Realization Dynamics

For over a century, theoretical physics has operated under a profound category error: confusing the unconstrained generator of possibilities with the machinery of physical realization. Albert Einstein’s field equations belong fundamentally to the generative NP- space—a static, spatialized Cook–Levin tableau in which al...

Protocol-Governed Computing: Business Software That Runs on a Domain-Neutral Substrate

The problem Why does a new business domain still require changes to the system that runs it, when other forms of software have long been admitted without changing their substrate? Software has solved this problem before. A new application runs on an operating system nobody rebuilt for it. New bytecode runs on a virtual...

Determinants of Psychological Distress among the Healthcare Professionals Serving in a Tertiary Hospital in Bangladesh

This study revealed that overtime duty and doctors were the main determinants for the development of psychological distress in terms of depression in healthcare professionals in Bangladesh.

Integrating Leaf-Image Deep Learning, Meteorological Risk-State Discovery, and Stochastic SICR Dynamics for Potato Early and Late Blight: A Data-Science and Intelligent-Systems Framework

Potato early blight and late blight create substantial agronomic risk, yet leaf-image diagnosis, weather-driven warning, and transmission modeling are often treated as separate tasks. This paper develops an integrated data-science and intelligent-systems frame-work that combines convolutional neural network-based sympt...

The Field Equations in P: An Anti-Scholarly Treatise on Einstein's Generative NP-Spacetime and Henri Poincaré's Fail-Closed Realization Dynamics

For over a century, theoretical physics has operated under a profound category error: confusing the unconstrained generator of possibilities with the machinery of physical realization. Albert Einstein’s field equations belong fundamentally to the generative NP- space—a static, spatialized Cook–Levin tableau in which al...