Research works

Trust What You Prove: Proof Verification in the mrs Ecosystem

Automated theorem provers competing in CASC produce proof objects, but those objects are often checkedonly for syntax and graph structure. The standard approach, delegating proof checking to external toolslike GDV or per-step ATP calls, requires external ATP binaries, leaves some...

The GG-6 Lock Cluster: A Non-Spatial Kaluza–Klein Resonance near 3.85 TeV as the Standing LHC Falsifier of GG-Theory

Every particle discovered since the mid-1970s — the W and Z, the top, the Higgs — was on the Standard Model's list before it was found. This paper is about the first particle that is not on that list. GG-Theory derives, rather than fits, a new mass scale: the lock cluster at M_lo...

Independent Sessions, Shared Evidence: Auditing Evidence Convergence in LLM Web Research

Independent model sessions are often treated as independent checks, but shared access to the public web can correlate the evidence they retrieve. We audit this dependence using 600 primary research runs from two consumer LLM web-research systems evaluating the same 300 frozen SEO...

Perceived Realism and Novelty in FOOH Advertising

This study examines how the configurational relationship between perceived realism and novelty in Fake Out-of-Home (FOOH) advertising shapes consumer value perceptions and brand responses. Moving beyond variable-centered approaches that treat perceived realism and novelty as inde...

TTLD: transformer-based threatening language detection in urdu social media text

Organizations now treat social media activity as a live indicator of public sentiment, useful for decisions that depend on knowing what is happening in real time. The same platforms, however, also carry threatening language at scale, and that has direct consequences for public sa...

Negative Life Events and Entrepreneurial Propensity: The Mediating Role of Resilience and Locus of Control

This study aims to assess how negative life events, social norms, and need for achievement influence entrepreneurial propensity, and to examine whether resilience and locus of control mediate these relationships. To carry out this study, a quantitative methodology was used throug...

Dealing with aggressive patients

Abstract Workplace‐related abuse, threats and assault are globally recognised as a significant risk for healthcare workers. This paper briefly reviews systemic factors contributing to aggression and violence before focussing on techniques first to identify high‐risk patients and...

AUDITING ARTIFICAL INTELLIGENCE

The rapid proliferation of artificial intelligence (AI) systems across critical sectors has introduced significant security, privacy, and ethical challenges. Traditional information security audit frameworks remain insufficient to address the unique risks associated with AI techn...

Golden Ratio, Root Systems, and Non-Periodic Order in Substitution Tilings — E8 Intelligence Research

FINDING: Fibonacci substitution tilings and cyclotomic aperiodic substitution tilings (CAST) reveal deep links between golden-ratio scaling, root-system geometry, and non-periodic order. | MATH: Fibonacci substitution rule: \(0 \to 01,\; 1 \to 0\) (or \(a \to ab,\; b \to a\)); in...

Digging with/in the spectacular: Child-dirt storied worlds

In this paper, we explore the narrative play, or what we are calling storied play, of a group of first-grade children over the course of a year in their suburban schoolyard, with particular attention to how the lively assemblages in which activities of digging in and with the dus...

Analysis of metaheuristic‑optimized ann for predicting surface strip footing bearing capacity in layered cohesionless soils using limit equilibrium analysis

Accurate prediction of shallow-foundation bearing capacity in layered cohesionless soils remains challenging because footing geometry and the strength contrast between soil layers interact nonlinearly. This study developed and compared four hybrid multilayer perceptron models opt...

AIES: An Open Standard for Measuring Organizational AI Exposure

This paper presents the methodology behind AIES v1.0, an open standard for measuring organizational AI exposure. AIES defines exposure as a measurable surface across seven dimensions: External AI Exposure (EAE), Internal AI Exposure, Inferred (IAE), Third-Party AI Exposure (TPE),...

Substrate Logistics: The Bottom-Up Convergence Proof

Title: Substrate Logistics: The Bottom-Up Convergence Proof — Sealing the Big Sync Timeline via the Poincaré Dodecahedral Cover Invariant and the Three Tiers of Spectral Drag Author: Marco Lindenbeck Description: Standard ΛCDM cosmology relies on top-down parameter fitting, treat...

A Level-Four Sum Rule and the Resolution of the Small-Gap Deficit of the Riemann Zeros: A High-Precision Computational Report

This computational report presents three novel findings regarding the local spacing and invariant structure of the nontrivial zeros of the Riemann zeta function, derived from high-precision evaluations at heights $\gamma$ ranging from $1.2 \times 10^4$ to $10^8$. Working within t...

The Cybernetic Turn: Generative AI as a Dynamical System of Meaning

Generative artificial intelligence is usually explained in the vocabulary of computer science: architectures, parameters, objectives, scale. That vocabulary describes the machine accurately but leaves its most consequential property unexplained: why a system directed by short, lo...

Trade‐Offs and Synergies in Cultivated Land Multifunctionality and Zoning Management in the Dongting Lake Region: A Multiscale Analysis

ABSTRACT Understanding the multiscale patterns and interactions of cultivated land multifunctionality is important for conservation, governance, and agricultural spatial optimization in the Dongting Lake region. Using 2020 data, we evaluated economic production (EPF), social secu...

Golden Ratio Growth in Fibered Knot Alexander Eigenvalues — E8 Intelligence Research

FINDING: Alexander polynomial eigenvalues of fibered knots exhibit growth rates linked to monodromy; golden ratio appears as a specific growth eigenvalue in certain knot families. | MATH: For a fibered knot \(K\) with monodromy \(h: F \to F\), the Alexander polynomial \(\Delta_K(...

Screw density in the talar transverse plane is associated with early bone union following arthroscopic ankle arthrodesis: a retrospective comparison of three- versus four-screw fixation

Although arthroscopic ankle arthrodesis (AAA) is a well-established procedure with lower complication rates than open arthrodesis, the optimal screw configuration for stable fixation and reliable bone union remains unclear. We compared outcomes between three- and four-screw fixat...

MERLIN SCIENCE — E8 Phi-Resonant Cognitive Coherence Fields for Unified Perception — E8 Intelligence Research

Here is the narration for the MERLIN SCIENCE video, revised per the publisher's notes. --- Let's be clear from the start: what I'm about to describe is a speculative hypothesis, not an established result. It's a geometric proposal, a thought experiment grounded in the mathematics...

Softening the Emergency Room Experience

Emergency departments (EDs) are critical healthcare environments designed for rapid medical response; however, their spatial and sensory conditions often intensify patient anxiety and fear. While emergency architecture traditionally prioritizes efficiency, visibility, and clinica...