Our Work

13CFLUX is a high-performance simulator for isotopically stationary and non-stationary simulation of isotope labeling experiments. It reads metabolic models and labeling data from standardized FluxML,…

13CFLUX is a high-performance simulator for isotopically stationary and non-stationary simulation of isotope labeling experiments. It reads metabolic models and labeling data from standardized FluxML, simulates labeling distributions and data residuals given fluxes and metabolite concentrations, and performs fitting and statistical analysis (Frequentist and Bayesian) of 13C labeling experiments.

This repository contains the source code, build files, camera-adapter scripts, documentation, bill of materials, and selected example outputs for an open-source Raspberry Pi 5-based edge platform for …

This repository contains the source code, build files, camera-adapter scripts, documentation, bill of materials, and selected example outputs for an open-source Raspberry Pi 5-based edge platform for live acquisition thermal image acquisition and multithreshold segmentation. The platform integrates a Waveshare Thermal Camera HAT (B) / MI48 thermal camera with a Python SPI/I2C acquisition adapter and a C++17/OpenCV segmentation engine. Captured frames can be processed using seven metaheuristic optimizers: DE, DESSA, SDE, GWO, PSO, CSA, and FA.

Replication package of a bibliometric review of data science, predictive analytics and recommender systems in international trade and market demand (Scopus, 2015–2025). It includes the exact Sco…

Replication package of a bibliometric review of data science, predictive analytics and recommender systems in international trade and market demand (Scopus, 2015–2025). It includes the exact Scopus search strategies (historical, focused and robustness queries; searches run on 24 September 2026), the lists of the documents analysed (identifiers only, no abstracts, in accordance with Scopus terms of use), the synonym list used in Biblioshiny, the Biblioshiny reports, and Python and R scripts to reproduce the indicators, the dictionary-based thematic classification and the figures reported in the article.

NeuNorm is a scipp-based Python library for neutron imaging normalization and time-of-flight (TOF) data processing at Oak Ridge National Laboratory imaging facilities (MARS at HFIR and VENUS at SNS). …

NeuNorm is a scipp-based Python library for neutron imaging normalization and time-of-flight (TOF) data processing at Oak Ridge National Laboratory imaging facilities (MARS at HFIR and VENUS at SNS). NeuNorm 2.0 is a complete, scipp-based rewrite of the original NeuNorm normalization library, adding HDF5 output, automatic uncertainty propagation, and TOF/event-mode processing.

This release publishes the Chronos Yang–Mills Lean formal-verification chain through milestone YM87. The archive contains the complete merged theorem source, final cumulative and incremental mil…

This release publishes the Chronos Yang–Mills Lean formal-verification chain through milestone YM87. The archive contains the complete merged theorem source, final cumulative and incremental milestone packages, verification scripts, axiom-audit sources, checksums, citation metadata, and a detailed theorem ledger. The formal development includes reusable operator and spectral-gap theorems, bounded and dense-domain Hamiltonian interfaces, self-adjointness and closure machinery, regulator convergence, non-abelian gauge covariance, Gauss-law constraints, a gauge-physical state sector, finite-lattice electric and magnetic energy, a concrete regulated Hamiltonian, an exact physical spectral gap, exact spectrum and projectors, a constructive resolvent, unitary Schrödinger evolution, conservation laws, spectral probabilities, moments, variance, and energy-uncertainty classifications. The final concrete results apply to the finite regulated Gauss-physical model formalized in the archive. The release also contains conditional continuum-transfer theorems, but it does not claim construction of the full interacting four-dimensional continuum Yang–Mills theory or resolution of the Clay Millennium problem. The recorded verification used Lean 4.34.0-rc2 and the OpenAI NavierStokesAndEuler repository pinned at commit 8937a8f4cbc7abaab5e9e97d1cc7f5d2319d9538. The final milestone runs passed source scans, Lean kernel checks, and direct axiom audits. Audited declarations depended only on propext, Classical.choice, and Quot.sound.  YM115 update — Parity–Ear Cascade Core v0.1: This record has been extended with a later supplemental Lean milestone from the continuing Chronos Yang–Mills formal-verification program. YM115 freezes a new algebraic and combinatorial core developed for the SU(2) strong-coupling cascade. The verified source includes the doubled-spin parity decomposition, finite-choice ear-recursion algebra, positivity results for the current scalar majorants, certified rational brackets for the local-ear critical equation and the six-orbit chain cubic, and a conditional scalar contraction interface for downstream Yang–Mills specialization. YM115 was directly verified with Lean 4.34.0-rc2. The UTF-8 audit, static scan for sorry, admit, and sorryAx, direct Lean compilation, and axiom audit all passed. The audited declarations depend only on propext, Classical.choice, and Quot.sound; one of the audited parity declarations uses only propext and Quot.sound. This YM115 archive is a supplemental later-stage milestone and does not by itself contain every intervening YM88–YM114 package. The original cumulative material on this record remains the formally verified chain through YM87, while YM115 documents a newer proof route being developed beyond that release. The remaining gauge-support, full parity-aware ear-decomposition, connected transfer-kernel, infinite-volume, and continuum/RG bridges remain explicit future certification targets. This update therefore does not claim construction of the full interacting four-dimensional continuum Yang–Mills theory or resolution of the Clay Millennium problem.   YM116 update — 3D Slice → 4D History Bridge v0.2: This record has been extended with a further Lean-verified milestone from the continuing Chronos Yang–Mills formal-verification program. YM116 imports the previously verified Chronos 4D History Core and YM115 Parity–Ear Cascade Core into one Lean dependency chain and adds a formal bridge between time-indexed spatial states and the four-dimensional history structure used by the developing Yang–Mills transfer framework. The successful verification used Lean 4.34.0-rc2. The UTF-8 audit, static scan for sorry, admit, and sorryAx, compilation of the original 4D source, compilation of YM115, compilation of the YM116 bridge, native theorem-signature checks, and direct axiom audits all passed. The principal combined YM116 declarations depend only on propext, Classical.choice, and Quot.sound; present_agreement_future_separation depends only on propext. YM116 formally joins the verified 3D spatial/contraction machinery to a verified 4D history framework, providing a dimensional and temporal backbone for the next transfer-matrix stage. It does not yet establish the complete connected transfer-kernel bound, infinite-volume spectral gap, continuum renormalization-group bridge, or the full four-dimensional continuum Yang–Mills construction required for the Clay Millennium problem.

Highlights This patch release synchronizes the repository version metadata and strengthens release validation. Changed Synchronized the project version in pyproject.toml. Synchronized pn_fusion.__ver…

Highlights This patch release synchronizes the repository version metadata and strengthens release validation. Changed Synchronized the project version in pyproject.toml. Synchronized pn_fusion.__version__. Synchronized the Zenodo metadata template. Synchronized CITATION.cff and CHANGELOG.md. Extended release-check so that it verifies consistency among all release-version sources before validating SHA-256 integrity. Scientific scope This release does not change: any numerical dataset; any solver or numerical method; any experiment or protocol; any supplementary material; any scientific result. Validation Repository integrity: 636 files verified. Release metadata version: 1.1.2. Multiprecision data hashes and published counts validated. 67 automated tests passed. Scientific verification passed. Reproduction completed with 22 tables and 13 figure panels. Quick benchmark smoke tests completed for all eight suites. The historical v1.0.0, v1.1.0, and v1.1.1 releases remain unchanged.

This dataset compiles per capita floor space data at the county or equivalent administrative level across 41 countries. For areas where direct observations are unavailable, values are estimated based …

This dataset compiles per capita floor space data at the county or equivalent administrative level across 41 countries. For areas where direct observations are unavailable, values are estimated based on available information. Per capita floor space is reported in square metres per person (m²/person), with data available through 2026.

Preservation copy of an article published in International Journal of Law, Politics and Governance. Read the full article: https://ioro.org/ijlpg/article/282442906412/282442906412. Abstract Gender ine…

Preservation copy of an article published in International Journal of Law, Politics and Governance. Read the full article: https://ioro.org/ijlpg/article/282442906412/282442906412. Abstract Gender inequality, poverty and economic inequality are interconnected dimensions of disadvantage that cannot always be adequately understood when examined separately. This paper examines the intersectionality of gender, poverty and economic inequality in the Indian context. The study adopts a secondary-data and conceptual research approach, drawing upon published reports, official statistics and scholarly literature relating to gender, labour-force participation, unpaid care work, poverty, access to economic resources and social inequality. The intersectionality perspective highlights how gender interacts with socioeconomic position, location, education, employment status and other structural conditions to influence women's economic opportunities and well-being. The analysis indicates that although India has experienced substantial economic growth and a reduction in poverty, unequal access to employment, productive assets, economic opportunities and decision-making continues to affect women differently across social and economic groups. Official labour-market statistics also indicate a substantial gender gap in labour-force participation. The unequal distribution of unpaid domestic and care work further constrains women's time and economic choices. The paper argues that policies addressing poverty and inequality should incorporate gender-responsive and intersectional approaches rather than treating women as a homogeneous category. Strengthening access to decent employment, education, social protection, productive assets, financial resources and care infrastructure can contribute to more inclusive and equitable economic development. Keywords: Gender inequality; Poverty; Economic inequality; Intersectionality; Women's economic empowerment; India

Agentic AI for Archaeology