Research works

Enterprise Defect Analysis Methodology (EDAM) – Version 2.0 – Phase 2: Enterprise Defect Classification

Enterprise Defect Analysis Methodology (EDAM) is an evidence-first methodology for enterprise software quality engineering. EDAM transforms historical enterprise defect repositories into trustworthy evidence before analysis begins. The methodology establishes a structured, repeat...

HierCache-RAG: Fast Retrieval-Level Caching for GraphRAG

Graph Retrieval-Augmented Generation (GraphRAG) improves multi-hop reasoning in Large Language Models (LLMs) by grounding generation in knowledge-graph structure, but most systems re-traverse the graph on every query, wasting computation whenever queries repeat or overlap semanti...

The Biomass Distribution on Earth

<p>This resource uses an interactive Voronoi diagram to explore global biomass and abundance data across major taxonomic groups, based on Bar-On, Phillips, and Milo (2018). It compares organisms across environments and measurement types, with guided activities for additiona...

Fluid Dynamics of Spacetime: Spacetime Currents as an Alternative to Dark Matter and Galactic Rotation

This paper proposes an alternative theoretical framework for understanding large-scale cosmic dynamics. We postulate that spacetime is not an inert void, but rather a fluid with an intrinsic and constant density (ρ_ST). In this conception, moving mass and energy (described by the...

HEPE: Hardware-Enforced Policy Engine — Formal Specification and Verification

Updated version of EHOX formal verification and engineering artifact. Creator corrected to Gerhard Hirschmann (EHOX Systems, St. Johann in Tirol, Austria). Original record: 21818830. Hardware: AMD Kria KV260, ARM Cortex-R5F, ZynqMP XCZU5EV. Formal verification: CBMC 198/0, Z3 SMT...

EHOX Universal Pitch Deck v3 — Silicon-Level AI Governance for Defence, Aerospace, Medical, Mobility

Updated version of EHOX formal verification and engineering artifact. Creator corrected to Gerhard Hirschmann (EHOX Systems, St. Johann in Tirol, Austria). Original record: 21818828. Hardware: AMD Kria KV260, ARM Cortex-R5F, ZynqMP XCZU5EV. Formal verification: CBMC 198/0, Z3 SMT...

EHOX Weltformel T30-T43 Extension — 43 Theorems Proven (Z3 SMT, v3.0)

Updated version of EHOX formal verification and engineering artifact. Creator corrected to Gerhard Hirschmann (EHOX Systems, St. Johann in Tirol, Austria). Original record: 21818826. Hardware: AMD Kria KV260, ARM Cortex-R5F, ZynqMP XCZU5EV. Formal verification: CBMC 198/0, Z3 SMT...

The Qudit Advantage: System-Level Joules-per-Solution Comparison of a Qudit Architecture Against 17 Conventional Qubit Quantum Computing Platforms

JPCUB framework extended to qudit architectures. Under model assumptions, qudit platform projects below 10^-2 J/sol. CRITICAL CAVEAT: JPCUB framework has not been externally validated. All estimates are hypothesis, not demonstrated result. v0.7: adds PDF + HTML build (KIF-30). AI...

An x-ray for AI: a deterministic, model-free grounding audit of an LLM abstention benchmark

An external, deterministic, model-free grounding audit of the Rafe and Das (2026) helmet-abstention benchmark (1,464 emergency-department injury narratives). A model-free gate re-reads each note against a sealed schema and returns a three-valued verdict; it reproduces the benchma...

Primal–Dual Mellin Neutralization for Arithmetic Quantum Observables: Incomplete-Eisenstein Matrix Elements, Unconditional Logarithmic Persistence, and Noncommuting Limits

This work develops a theorem-level arithmetic-quantum application of primal–dual Mellin neutralization on the modular surface. The basic observables are incomplete Eisenstein series built from compact logarithmic windows, and the analysis combines exact Rankin–Selberg unfolding,...

Pairwise edge correlations in random minimum spanning trees: a universal bound and complete-graph negative correlation

Let G be a finite connected multigraph whose edges receive independent weights from one atomless law, and let MST(G) be the resulting random minimum spanning tree. Its law is not pairwise negatively correlated: Lyons, Peres and Schramm exhibited two positively correlated edges, a...

An Inquiry into the Essence of Light: The Realist Research on Humans Seeing and Touching

This study, conducted as part of the project An Inquiry into the Essence of Light, analyzes the results of the double-slit experiment that underpin the Copenhagen interpretation and investigates the particle mobility of microscopic entities such as light and electrons. To this en...

Supernova success and sound-horizon failure of Everpresent Λ: an independent test of stochastic dark energy

Independent full-scale reproduction and observational follow-up of the Everpresent Λ Model 1 rare-supernova-tail result. Two independent implementations recover the same six Pantheon+SH0ES winners in 90,000 seeds under two redshift conventions. Under the stated calibrated backgro...

Live Retrieval and Citation of Orphan Synthetic Entities by Consumer Generative Engines: Results Against a Preregistered Protocol

Results record for the preregistered study deposited as DOI 10.5281/zenodo.21705818. The preregistered 2x2 (entity density × content structure) is declared non-interpretable due to a length-parity deviation, reported under the deviation clause. What survives, from confirmatory ru...

What Human Judgement Is: A Hypothesis

This paper states a hypothesis about what human judgement is, how it works, and what it costs to engage it or to decline it. Human judgement is the faculty for rendering a verdict where the data that would settle the matter cannot be had in time, or at all. It is a relationship t...

Enhancing Marine Fuel Supply Chain Resilience: A Comparative Study of Lagos Waters and Singapore

Offshore marine fuel supply chains represent a critical operational intersection between maritime logistics, commercial energy trading and national regulatory enforcement. However, vulnerability to quantity discrepancies, operational opacity and jurisdictional fragmentation conti...

Transformation Capacity Framework (TCF)

This manuscript introduces the Transformation Capacity Framework (TCF), an axiomatic proposal deriving special relativity, quantum mechanics, and general relativity from a single discrete substrate. Rather than quantizing classical spacetime or embedding quantum fields onto a pre...

Opportunities and Challenges in the Communication and Dissemination of Political Theory in Cyberspace in Vietnam Today

The Fourth Industrial Revolution and the ongoing process of digital transformation have profoundly reshaped the production, transmission, and reception of information in contemporary society. Cyberspace has become not only an environment for communication and information exchange...

Propagation-State Transformation Matrix in Extended Classical Mechanics

Version 1.2 The propagation-state formalism recently introduced within the framework of Extended Classical Mechanics (ECM) provides an alternative physical interpretation of the relativistic Doppler effect by distinguishing the normalized propagation state from the observed propa...

Adversarial Multi-AI Falsification in Research Workflows: A Bounded Case Study of Scope Error, Verification Failure, and Human Adjudication

This record is version 2.2 of Adversarial Multi-AI Falsification, repositioned for computers-and-society audiences as a bounded case study of AI-assisted scholarly workflow governance. It reconstructs an eight-system falsification workflow using rendered message captures with mes...