Our Work

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

Mulai belajar: Bahasa Indonesia · English.Program matematika terbuka dengan 40 peran mata kuliah, peta prasyarat, bahan bacaan, latihan, serta tautan kepada penulis dan penerbit asli. Pilih mata kulia…

Mulai belajar: Bahasa Indonesia · English.Program matematika terbuka dengan 40 peran mata kuliah, peta prasyarat, bahan bacaan, latihan, serta tautan kepada penulis dan penerbit asli. Pilih mata kuliah sesuai pengetahuan awal dan tujuan belajar.Rilis ini menyediakan panduan lengkap dalam Bahasa Indonesia dan Inggris, sumber LaTeX panduan yang dapat diunduh langsung, dan paket sumber backend bersama yang dapat dibangun ulang. Paket memuat peta belajar, alat peserta belajar dan pengajar, identitas sumber, serta metadata terjemahan. Buku tetap berada dalam edisi dan repositori asalnya; ZIP ini bukan salinan seluruh korpus.Urutan unduhan: PDF panduan, LaTeX lengkap panduan, kemudian ZIP sumber lengkap. Skema kapsul terkini tersedia di dalam ZIP pada schemas/course-capsule-v1/course-capsule-v1.schema.json. Paket navigator portabel terdahulu tetap disertakan sebagai paket historis yang terpisah.Setelah mengekstrak ZIP backend, jalankan python -m http.server 8000 --directory docs dan buka http://localhost:8000/backend/. Python harus terpasang. Buku di luar paket perlu diunduh terpisah; tautan luar dan MathJax CDN pada pembaca D50 masih memerlukan jaringan.Semua 40 adaptor bersama tervalidasi; kesetaraan kemampuan backend asli baru tercatat untuk 16 dari 40 peran. Ini bukan persentase penerjemahan atau klaim semua backend telah selesai. Pemeriksaan identitas, navigasi, pemutaran ulang dan pengemasan bukan pengganti peninjauan bahasa atau matematika oleh ahli.Setiap bahan mempertahankan penulis, versi, lisensi dan riwayat koreksinya. Perbaikan integrasi, pengemasan dan panduan pada rilis ini dihasilkan oleh OpenAI Codex - gpt-6-astra, Ultra effort; tidak diklaim ada penyuntingan manusia. Riwayat AI tiap buku tetap mengikuti catatan edisinya. Semua versi publik sebelumnya tetap tersedia dalam DOI yang sama.English: This release preserves the current shared backend and a fully bilingual learning guide, with direct LaTeX and reproducible source. All 40 common adapters validate; native capability parity is recorded for 16 roles, not all 40. The package is not the whole book corpus. Earlier public releases remain available. Integration, packaging and this guide: OpenAI Codex - gpt-6-astra, Ultra effort.Telusuri sumber Analisis Fungsional: alat Bahasa Indonesia dan antarmuka Inggris memuat 2.196 pasangan fragmen sumber/terjemahan, 425 entri istilah dan 286 catatan koreksi. Ketujuh tabel asli, identitas fragmen dan lokasi sumber dipertahankan. Pemeriksaan identitas tidak mengesahkan semua pilihan istilah dan bukan pembangunan ulang buku asli.Aljabar Linear asli berbahasa Inggris: pembaca karya Jim Hefferon kini memuat 34 bagian, 2.592 unit, 865 latihan, 863 pasangan jawaban sumber dan dua ketiadaan jawaban yang dinyatakan. Ini masih sebagian buku. Semua 2.577 unit terdahulu dipertahankan dan 15 unit tambahan terikat ke sumber. LaTeX kumulatif tersedia langsung; sumber modular lengkap dan bahan pembangunan ulang edisi ini terdapat dalam ZIP backend.Prasyarat dan program lanjutan: peta menghubungkan 40 peran fondasi dengan 72 mata kuliah lanjutan dan 1.061 pelajaran melalui 184 hubungan persiapan. Hubungan katalog bukan penyelesaian semua pembuktian prasyarat. Dari basis ke proyeksi dan ruang hasil kali dalam tetap tersedia dalam bahasa Inggris. Kedua pembaca HTML/MathML ini menggunakan pengecualian tanpa PDF dan menyediakan LaTeX langsung serta ZIP sumber lengkap. Sumbernya juga ada dalam ZIP backend dan LaTeX langsung pada rilis GitHub. Pemeriksaan mandiri AI penulis bukan pemeriksaan independen seluruh mata kuliah.Paket sumber lulus 12 langkah pemutaran ulang terisolasi dan pengemasan ulang dengan hasil byte-identik. Sebanyak 98 berkas diwarisi tanpa perubahan; panduan PDF/LaTeX tidak dibangun ulang. Semua versi terdahulu tetap publik. Cakupan penuh backend asli, bahasa Inggris dan PDF/EPUB masih belum selesai. Integrasi, koreksi skrip, pemeriksaan dan pengemasan rilis ini: OpenAI Codex — GPT-6 Astra, tingkat upaya Ultra. Tidak diklaim ada penyuntingan atau pemeriksaan manusia. Atribusi dan lisensi buku tetap terpisah.English: this release preserves the bilingual Functional Analysis source/translation browser, the 34-section partial original-English Hefferon reader and the shared 40-role backend. The exact source package reproduces the shipped shared outputs in 12 isolated checks. The two linked HTML/MathML proof readers have direct cumulative LaTeX and complete source ZIPs and use the no-PDF exception. Native-capability parity is verified for 16 roles, not all 40. Terminology accuracy, full book rebuilds and advanced prerequisite closure are not certified by source identity alone. All earlier versions and 98 inherited files remain public. Integration, script corrections, verification and packaging: OpenAI Codex — GPT-6 Astra, Ultra effort; no human review is claimed.

El documento presenta una comparación entre las órbitas planetarias y el modelo orbital del átomo de Bohr, utilizando datos empíricos para calcular el radio promedio de la …

El documento presenta una comparación entre las órbitas planetarias y el modelo orbital del átomo de Bohr, utilizando datos empíricos para calcular el radio promedio de la órbita de la Tierra. Se establece una relación entre las velocidades de rotación de la tierra y el Sol y, se aplica una fórmula empírica para determinar el radio en el contexto del modelo de Bohr. Finalmente, se verifica la validez de la ecuación empírica con los radios teóricos del modelo de Bohr para diferentes niveles de energía.