data science

QuantumFluids: a machine-checked Lean 4 library of quantum-fluid structure, applied to published neutron-scattering work

An open Lean 4 / Mathlib library of 235 machine-checked theorems on the mathematical structure of quantum fluids, with the accompanying paper. Contents. Correctness of the phase-winding algorithm by which Gross-Pitaevskii codes locate quantized vortices, including its exact failure case (a phase step of exactly pi, whe...

The Principle of Looseness — A Polynomial Algorithm for the 3-SAT Problem and the Equality P = NP

# Stability Band and Conditional Complexity — P equals NP for Balanced SystemsComplete Record – Discovery, Refinement, Proof and Full Data "With a donated phone worth barely 300 reais, I reached this far.Give me a machine worth 5,000 and I will rewrite physics." This work presents a resolution to the P versus NP proble...

Status Relational Entropy (SRE)-Dynamics -The Book of the Void

On April 24, 2026, while pondering why electric fields generate magnetic fields, an initial insight came to me: could the fundamental ontology of this world be rooted in information? Once this idea took shape, my thinking and reasoning would not cease. As others have described it, I fell into a state of near-obsessive...

Data and code for: One genotype, two deserts - climatic distance to a premium terroir predicts Deglet Noor date quality in North Africa and California

Data and Python code reproducing all analyses of the article "One genotype, two deserts: climatic distance to a premium terroir predicts Deglet Noor date quality in North Africa and California" (submitted to Elementa: Science of the Anthropocene). The archive contains ERA5 daily extracts (1990-2024, retrieved via the O...

Replication package for "Production-Oriented Evaluation and Testing of LLM-Based Agents: A Systematic Literature Review"

Replication package for the systematic literature review "Production-Oriented Evaluation and Testing of LLM-Based Agents: A Systematic Literature Review" (revised version, submitted to Information and Software Technology; first submitted as "Evaluation and Testing of LLM-Based Agents in Production: A Systematic Literat...

Chernobyl ¹³⁷Cs and neoplasm mortality across Türkiye — data and analysis code

# Chernobyl ¹³⁷Cs and neoplasm mortality across Türkiye — data and analysis code **Distinguishing spatial confounding from radiation effects in ecological studies through an apparent Chernobyl–neoplasm mortality gradient across Türkiye** This repository is the reproducibility compendium for the study above. It contains...

DETERMINAN NILAI PERUSAHAAN PADA INDUSTRI FARMASI: PERAN UKURAN PERUSAHAAN, PROFITABILITAS DAN LIKUIDITAS

Penelitian ini bertujuan untuk mengetahui dan mengkaji Determinan Nilai Perusahaan pada Industri Farmasi: Peran Ukuran Perusahaan, Profitabilitas, dan Likuiditas. Ukuran Perusahaan diproksikan dengan SIZE, Profitabilitas diproksikan dengan Return On Assets, serta Likuiditas diproksikan dengan Quick Ratio. Penelitian in...

Damage-repair kinetics and phase stiffness in a site-diluted XY model: implications for irradiated superconductors

A computational study of a phenomenological model. No experiment was performed and the model is not calibrated to any conductor. Prepared for submission to Superconductor Science and Technology. A two-dimensional XY lattice of the local superconducting phase, in which sites are damaged (pair breaking) at a rate that ri...

Reimagining Hadith Studies: Embodied Islamic Knowledge and the Integration of Religion and Science in Southeast Asia Islamic University

The transformation of Islamic higher education institutions into universities has intensified demands to integrate religious sciences and modern disciplines, while also raising concerns about marginalizing hadith studies as a core normative field. This article reimagines hadith studies in the university era by examinin...

Cross-Lagged Panel Analysis Using Structural Equation Modeling: Trends and Suggestions Based on a Literature Review of 111 Studies

Cross-lagged panel analysis based on structural equation modeling (SEM) has been widely used in the behavioral sciences. The present study provides a literature review based on 111 studies published in major psychology journals that conducted cross-lagged panel analysis. Through this review, we offer an overview of cur...

The depth of the shared Kenyon-cell mode determines olfactory learnability: diagnosis and cure of connectome-specific learning in a whole-brain spiking model

Connectome-constrained whole-brain models of Drosophila reproduce sensorimotor responses without per-cell tuning, yet associative learning inside a full spiking recurrent network remains an unsolved benchmark. We show that olfactory learnability is a property not of the rule and not of the neuron, but of the connectome...

Disciplinary climate within and between schools and science achievement. Evidence from PISA 2025 in Colombia