Research works

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...

When the Environment Becomes the Body: Architectural Body Intelligence and Inverted Embodiment

Embodied artificial intelligence typically treats a local chassis moving through the world as the agent's body. This paper proposes Architectural Body Intelligence (ABI), which reverses this spatial relation. In ABI, sensory surfaces distributed across the floor, walls, and ceili...

Holographic Quantum Channel Advantage in NISQ Hardware: From Handshake to Quantum Switch

We present experimental evidence that the [[5,1,3]] perfect quantum error-correcting code produces measurably superior inter-system correlation protection compared to generic Clifford encoders in superconducting quantum hardware. Five main results are reported: (1) hardware valid...

From Tool Selection to Autonomous Execution: Process Templates, Sandboxed Code, and Modular Orchestration for Reliable LLM Agents at Scale

Large language model agents must route and execute tools from large, overlapping libraries. Prior work reported routing degradation under flat catalogs; we study both routing and execution under scale, noise, and multi-step control.Routing. Expert-disambiguating descriptions impr...

Climatic distance to cultivar origin predicts Deglet Noor date quality across two continents

This record mirrors the EarthArXiv preprint doi:10.31223/X5ZB8K, which is the version of record for citation.

Extracellular Vesicles as Emerging Cervical Cancer Diagnostic and Molecular Signatures of Tumor and Immune Dynamics.

Cervical cancer remains a major worldwide health concern and ranks as the fourth most common malignancy affecting women, especially in low- and middle-income countries, where early screening and monitoring facilities are limited. Though several screening strategies, including Pap...

Swallowing therapy for dysphagia in acute and subacute stroke

RATIONALE: Post-stroke dysphagia ((PSD) impaired swallowing following stroke), increases risk of death, yet the effects of potential treatments are unclear. This review updates the 2018 review. OBJECTIVES: To assess the effects of swallowing therapies on swallowing impairment (SI...