Oldham Council

Soil health assessment using buried cotton underpants with the help of 1000 citizen scientists

Societal Impact Statement Soil is a vital resource for life on Earth. Although many soils are degraded, societal awareness of soil‐related issues is limited. To highlight soil as a key resource and fascinating study system, we initiated a citizen science project together with 100...

Impact of transportation on the property market at the national level: case of the USA

Purpose The purpose of this paper is to provide a high-level summary of the results of region-specific studies pertaining to the interaction between transportation and property market. The authors intend to do so by studying the relationship between transportation volume/construc...

Resolving the Remaining Open CPCW Cases for k = 5 and k = 6: Nine Explicit Optimal Constructions

We present explicit optimal binary cyclically permutable constant-weight codes for all nine parameter cases identified as unresolved by Baicheva and Topalova in On the Existence of Optimal (v,5,1) and (v,6,1) Binary Cyclically Permutable Constant-Weight Codes, Axioms 15(1), 35 (2...

Can a Government Subsidy for Childcare Encourage Maternal Labor Supply and Fertility? New Evidence From South Korea

ABSTRACT We study the effects of a universal childcare subsidy (UCS) on maternal labor supply and fertility in South Korea, which has experienced sharp reductions in fertility rates. Our difference‐in‐differences and synthetic difference‐in‐differences approaches show little evid...

An Optimal Binary CPCW(122,6,1) Code: A Four-Block Construction

We give an explicit optimal binary cyclically permutable constant-weight code with parameters (v,k,λ) = (122,6,1). The construction consists of four 6-subsets of Z_122: B1 = {0,3,9,95,103,107},B2 = {0,7,32,45,65,79},B3 = {0,1,11,55,60,81},B4 = {0,2,31,48,71,87}. Exact independent...

Resolving the Four Remaining Open k=6 CPCW Cases: Explicit Optimal Constructions for v = 122, 123, 124, and 126

We present explicit optimal binary cyclically permutable constant-weight codes for CPCW(122,6,1), CPCW(123,6,1), CPCW(124,6,1), and CPCW(126,6,1). These are the four k = 6 parameter cases identified as unresolved by Baicheva and Topalova in On the Existence of Optimal (v,5,1) and...

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

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

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

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

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

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

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

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