Oldham Council

Searching the Druggable Genome using Large Language Models

Summary: The druggable genome encompasses the genes that are known or predicted to interact with drugs. The Drug-Gene Interaction Database (DGIdb) provides an integrated resource for discovering and contextualizing these interactions, supporting a broad range of research and clin...

Beyond Kernel Verification: The Missing Engineering Layer of Mathematics

AI systems can now produce mathematical arguments and formal proof code quickly. This does not make verification a single solved problem. A Lean file may compile while the announced theorem still depends on an unresolved citation, transport, computation, or project axiom. Even af...

Beyond Kernel Verification: The Missing Engineering Layer of Mathematics

AI systems can now produce mathematical arguments and formal proof code quickly. This does not make verification a single solved problem. A Lean file may compile while the announced theorem still depends on an unresolved citation, transport, computation, or project axiom. Even af...

Evaluation of the Electrochemical Performance of MXene-Based Nanocomposites for Supercapacitor Applications

Supercapacitors offer high power density, fast charging/discharging capability, and long cycle life, yet their relatively low energy density limits broader deployment in electric vehicles, portable electronics, and grid storage systems. MXenes, a family of two-dimensional transit...

A_Finite_Relational_Lattice_Framework

Continuous field theories encounter ultraviolet divergences and metric singularities (r -> 0), necessitating ad-hoc renormalization counterterms and unphysical boundary cutoffs. Here, we present a finite relational lattice framework defined by an invariant minimum spatial separat...

BIT-AGMC-001 - AI-Generated Model Commons: Model Lineage, Distillation, Proprietary Adaptation, Derived Discovery and Bounded Claim Charter (F0-F6 Closure Package, R1)

BIT-AGMC-001 is a pre-canonical charter and verification archive for describing AI model derivation and model-assisted claims without collapsing lineage, permission, contribution, discovery, verification, invention, priority, ownership or adjudication into a single label. The dep...

Poetry of Umesh Solanki

પ્રિયેપીઠ શેકતા રોડરોડ વચ્ચે શિસ્તબદ્ધ છોડબેચાર છોડને છોડી નાનકડું એક વૃક્ષએમ વૃક્ષોવૃક્ષોમાંઆવે ને જાય ને અટકેઆવે ને જાય ને અટકેવાયરાનું આવું વારે-વારે થાય.રોડ પડખે હરોળબદ્ધ ઇમારતોસૈનિકની જાણે ઊભી...

BIT-CSKC-FGR-001 — Feed Governance and Reason-Receipt Calculus (R1; Closed at F5)

BIT-CSKC-FGR-001 develops a provider-neutral, event-bound research calculus for determining when a displayed reason for a feed or recommendation event is supportable under a declared ranking trace, policy profile, privacy boundary, user-control state, sponsorship state, and remed...

Gravitational Collapse Beyond the Neutron-Star Limit: Can Standard-Model Matter Produce a Finite High-Density Core?

We refine the mathematical formulation of the Słowik hypothesis within classical general relativity coupled to Standard-Model thermodynamics. The central question remains unchanged: whether gravitational collapse of a configuration of mass ≈ 2.8 M⊙ beyond the maximum stable neutr...

BIT-CSKC-FGR-001 — Feed Governance and Reason-Receipt Calculus (R1; Closed at F5)

BIT-CSKC-FGR-001 develops a provider-neutral, event-bound research calculus for determining when a displayed reason for a feed or recommendation event is supportable under a declared ranking trace, policy profile, privacy boundary, user-control state, sponsorship state, and remed...

Null-Structural Vacuum, Atemporal Actuality, and Pre-Dimensional Applicability: A Scenario-Typed Framework for Testing a Null-Structural Sector

This paper develops a scenario-typed formal framework for distinguishing an applicability boundary from a denoting null-structural scenario. The target symbol V₀ is not assumed to denote uniformly: Scenario A treats V₀ as a denoting NullSector, B rejects denotation, C begins mini...

Gravitational Collapse Beyond the Neutron-Star Limit: Can Standard-Model Matter Produce a Finite High-Density Core?

We refine the mathematical formulation of the Słowik hypothesis within classical general relativity coupled to Standard-Model thermodynamics. The central question remains unchanged: whether gravitational collapse of a configuration of mass ≈ 2.8 M⊙ beyond the maximum stable neutr...

Lifecycle-Aware Replay for Proof-Carrying Formal Software: Contract-Indexed Verdicts, Temporal Test Semantics, and Cross-Backend Evidence Preservation

Formal-software releases are executable research objects whose replay depends on source identity, release history, test semantics, proof-assistant toolchains, environment state, and verdict rules. This paper develops a lifecycle-aware replay method and evaluates it through a boun...

Null-Structural Vacuum, Atemporal Actuality, and Pre-Dimensional Applicability: A Scenario-Typed Framework for Testing a Null-Structural Sector

This paper develops a scenario-typed formal framework for distinguishing an applicability boundary from a denoting null-structural scenario. The target symbol V₀ is not assumed to denote uniformly: Scenario A treats V₀ as a denoting NullSector, B rejects denotation, C begins mini...

Agricultural Value Addition and Structural Transformation in a Developing Agrarian Economy: Evidence from Bihar, India

Agricultural value addition and structural transformation are central to sustainable rural development in developing agrarian economies. Although Bihar remains predominantly dependent on agriculture, existing studies have focused mainly on production growth, technological change,...

The narrowing sex gap in lip and oral cavity cancer incidence in Spain: Thirty years of divergent age-period-cohort trends

Background Lip and oral cavity cancer (LOCC) accounts for a significant proportion of the overall burden of head and neck cancers, yet long-term sex-specific trends remain unclear. This study aimed to analyse sex-specific LOCC incidence trends in Spain from 1994 to 2023. Methods...

A Three-Layer Cognitive Network Separating Current Bodily State, Bodily Representation, and Linguistic Representation: A Prospectively Specified and Frozen Simulation Study of Inter-Layer Computational Pathways

This preprint presents an evidence-locked three-layer cognitive network that distinguishes current bodily and maintenance state (L3), remembered bodily representation and bodily microsignatures (L2), and linguistic, contextual, label, and problem representation (L1). Direct L1-L3...

Insights from Explainable AI-Assisted Microbial SourceTracking in an Urban Watershed

Abstract Microbial contamination in urban watersheds poses significant challenges for public health, yet traditional monitoring offers limited insight into identifying contamination sources or environmental drivers. This study integrates chip-based digital polymerase chain reacti...

SuperLocalMemory 4.0: The Governed Memory Operating System for AI Agents

SuperLocalMemory 4.0 is an open, local-first memory operating system for AI agents. It brings retrieval, learning, governance, time awareness, and operational reliability into one control plane that organizations can run on infrastructure they control. The system combines five ca...

Extending the mineralogy of U 6+ (VII.): Kristekite, [Cu 2 (H 2 O) 4 (UO 2 )(SeO 3 ) 3 ]·4H 2 O, a new mineral from Příbram, Czech Republic.

The new mineral kristekite (IMA2025-101), [Cu 2 (H 2 O) 4 (UO 2 )(SeO 3 ) 3 ]•4H 2 O, was found in the dump material of the former uranium mine at Bytíz, near Příbram, Central Bohemia, Czech Republic, where it occurs as hedgehog-like aggregates, consisting of yellowish-green tabu...