Research works

Beyond Kernel Verification: The Missing Engineering Layer of Mathematics

AI now generates mathematical arguments and proof code faster than communities can verify, understand, and reuse them. Building on a program already spanning claim-level verification, proof infrastructure, and kernel-closed mathematics, this paper identifies two engineering failu...

Pharmacogenetic hypersensitivity to somatropin in a child with severe growth hormone deficiency and MC4R p.V166I variant

Abstract Objectives The melanocortin-4 receptor (MC4R) is a G protein–coupled receptor that regulates energy homeostasis. Pathogenic MC4R variants represent the most common cause of monogenic obesity and are frequently associated with increased linear growth. However, the mechani...

Compensating Yield Losses Caused by Long-Term Winter Wheat Monoculture Through Crop Protection and Variety Selection

Long-term winter wheat monoculture leads to the deterioration of plant physiological performance and reduced productivity; however, the effectiveness of measures aimed at mitigating these adverse effects has not yet been comprehensively evaluated. The objective of this study was...

Diverse Edge andExcitonic States of Ta2Ni3Te5 Nanoribbonsand Monolayer: Implicationsfor Nanoelectronics

Abstract Ta2Ni3Te5, a layered transition-metal chalcogenide with quasi-one-dimensional electronic states, exhibits a rich variety of topological and correlation-driven phenomena. Using first-principles calculations, we investigate Ta2Ni3Te5 nanoribbons and demonstrate tunable ele...

Real-world evidence of immunotherapy in older adults with advanced non-small cell lung cancer: a retrospective cohort study

Older patients are underrepresented in clinical trials of immunotherapy for driver gene-negative advanced non-small cell lung cancer (NSCLC). This study aimed to investigate real-world efficacy and safety of immunotherapy in this population. Clinical data from 649 patients aged ≥...

Weed Seedbank Response to Cover Crops in Traffic Pathways Between Vegetable Production Beds Under Organic Management in the US Midwest

Abstract Weed management is a primary barrier to sustainable organic vegetable production, and reducing the germinable soil weed seedbank is a critical long-term strategy for alleviating weed pressure. This study evaluated the effect of cover crops established in alleyways or tra...

Flexible Membrane-IntegratedZipper CHA Amplificationfor Rapid and Sensitive MicroRNA Detection

Abstract Catalytic hairpin assembly (CHA) is a widely employed signal amplification strategy for developing highly sensitive DNA biosensors, holding great promise for early disease diagnosis. However, conventional CHA systems often suffer from slow reaction kinetics, high nonspec...

Larval ExposureRather than Adult Worm Burden ShapesSystemic and Mucosal Th2 Immunity in Ascaris suum Infected Pigs

Abstract Ascariasis is a prevalent parasitic infection in both humans and pigs, resulting in significant human morbidity and economic losses in the porcine industry. Experimental infections are often studied by mimicking natural settings, exposing the host to frequent, small dose...

Electrical control of exchange bias in sub-10 nm regime enabled by single-nanotube patterning

Achieving stable magnetization in sub-10 nm ferromagnetic layers represents a fundamental bottleneck in spin-orbit torque magnetic random-access memory development. While exchange bias potentially offers stabilization at such scales through antiferromagnetic coupling, conventiona...

Regime-Dependent Predictability of Cryptocurrency Distress: Cross-Sectional Evidence from Two Exchanges

Can the distress of a cryptocurrency be predicted from its market behavior, and is that predictability reliable when it matters most? Using daily data for 609 USD-quoted coins traded on Kraken between 2013 and 2025, we built a survivorship-inclusive coin-quarter panel and model t...

Behavioural impact of microplastics on zebrafish development

Microplastic (MP) pollution in aquatic environments is ubiquitous and characterized by particles of highly irregular shapes. Yet, most laboratory studies examining MPs impacts on aquatic species rely on pristine polymer spheres, which poorly reflect the diversity and complexity o...

The sword of damocles: AI partners and digital avatars in an era of elderly companionship collapse

Declining global fertility has produced a growing, often invisible population facing Elderly Companionship Collapse—older adults who are childless, kinless, sole family survivors, or aging solo. AI companions already simulate presence; Phase II avatars that digitally resurrect de...

Perceived Environmental Benefits and Electric Vehicle Intentions in Canada: Separate Analyses of Car Owners’ Purchase Likelihood and Non-Car Owners’ Stated Preference

Believing that electric vehicles (EVs) benefit the environment may be associated with EV intentions, but current car owners and non-car owners answer different practical questions. This cross-sectional online survey of 328 adults residing in Canada therefore analyzes the groups s...

Polylogarithmic Genus Does Not Increase the Power of Constant-Width Polynomial-Size Circuits: A Separator-Based Candidate Proof

ZENODO METADATA - ALLENDER POLYLOGARITHMIC GENUS PREPRINT, VERSION 1Prepared: 7 August 2026 RESOURCE TYPEPublication -> Preprint (choose "Publication" and, if the interface asks for a subtype, choose "Preprint") TITLEPolylogarithmic Genus Does Not Increase the Power of Constant-W...

Region-Specific Brain Imaging Correlates of Repetitive Head Impact Exposure in Nonconcussed High School Football Players

Repetitive, nonconcussive head impacts in collision sports are associated with lasting neurophysiological effects. This study investigates region-specific changes in neocortical mean diffusivity (MD) and resting-state functional magnetic resonance imaging (fMRI) power spectral de...

Understanding Anterior Cruciate Ligament Adaptation: Structural, Mechanical, and Healing Considerations

The anterior cruciate ligament (ACL) is both a passive stabiliser and an active mechanoresponsive tissue. Emerging evidence demonstrates that its morphology, material properties, and microstructure adapt to the mechanical milieu imposed by habitual activity, targeted exercise, an...

The impact of structural variation on Alzheimer’s disease in the Alzheimer’s disease sequencing project

Structural variants (SV), genomic alterations spanning more than 50 base pairs, can significantly impact gene expression and protein function. However, their contribution to Alzheimer’s disease (AD) remains poorly understood. Leveraging a novel SV calling pipeline, we identified...

Emergency department providers’ perspectives on patients’ use of cannabis: therapeutic potential, risks, and prescribing experience

Abstract Background Cannabis legalization in Canada has increased both therapeutic and recreational use. Emergency department (ED) providers encounter patients using cannabis recreationally, to self-manage symptoms, or under medical authorization, often without a clear distinctio...

Non– AIDS ‐Defining Cancer Incidence in People With HIV in Milan, Italy, 2000–2023: Temporal Trends and Comparison With the General Population

People with HIV (PWH) are living longer, but contemporary data on non-AIDS-defining cancers (NADCs) in Italy remain limited. We assessed incident cancers in a retrospective cohort of PWH in Milan, Italy, between January 2000 and December 2023. Follow-up was grouped into 2000-2007...

The Human Dimension of Araucaria Forest: Resource Uses, Landscape Management, and Ethnozoology

Abstract Local knowledge is a useful tool for understanding historical ecological processes and landscape management. We evaluated the ecological history of Araucaria Forest, including the use of its resources ( Araucaria angustifolia (Bertol.) Kuntze [Araucaria seeds] and Feijoa...