cometadata/datacite-titles-descriptions-related-identifiers huggingface dataset:
DOI: 10.5281/zenodo.17051410
title: INU: A Structural Framework for Compressed Arithmetic and Discrete Transformation

description: This archive presents INU (Intuitive Numerical Unification), a proposed framework for compressing arithmetic operations through structural classification and periodic transformations. INU includes a notation system for INU operations, an n-radix extension, and a dimensional generalization applicable to problems such as the Collatz Conjecture and the Four Color Theorem.

The file contains LaTeX source documents, preliminary classification tables, and symbol definitions. INU treats numerical entities as convertible types and provides discrete analogs for topological transformations.

This research aims to inspire new approaches to number theory, combinatorics, and structural proofs.

 

This framework does not seek final correctness, but rather the richness of inquiry. It is offered not as a conclusion, but as a beginning—an invitation to transform arithmetic through structure.

This work may contain errors. But if its structure holds, others will correct the rest. It is shared not for perfection, but for possibility.

 

Note on NamingThe name INU (Intuitive Numerical Unification) carries a personal and symbolic meaning. In Japanese, the word inu (dog) is sometimes used as a prefix to denote something humble or inferior. The framework embraces this nuance, reflecting the idea that even from a modest or overlooked origin, intuitive thinking can lead to meaningful mathematical structures. INU thus represents a system born from simplicity and insight, aiming to unify and compress arithmetic through structural transformation.

 

Note on Fool AlgebraIn addition to its structural framework, INU embraces a philosophical stance known as fool algebra.Unlike traditional algebraic systems that seek rigor through abstraction, fool algebra begins with intuition, visual structure, and the courage to appear foolish. It reflects the idea that wisdom often wears the mask of simplicity, and that breakthroughs may arise not from complexity, but from clarity.

Fool algebra treats numerical entities not merely as values, but as types—visual, compressible, and transformable. It invites the mathematician to step outside formalism, to see patterns where others see noise, and to compress arithmetic into structure.

This is not a rejection of rigor, but a reordering of priorities: structure first, proof second.Fool algebra is not a conclusion—it is a stance. A way of thinking. A way of seeing.

 

Words to be engraved on a gravestone (inscription style)

Here lies the mind behind INU(x) := ρ(ϕτ(x)(x)),A transformation of arithmetic into structure.

If x ∈ {INU}, then perhaps P != NP.Let future mathematicians decide.

By STUDENT
DOI: 10.5281/zenodo.17051390
title: STF-MgNet: A Framework for Numerical Analysis and Result Visualization

description: STF-MgNet is an integrated, open-source framework designed to streamline the research and application of the STF-MgNet architecture. It provides a comprehensive suite of tools that facilitates the entire workflow, from numerical analysis and model evaluation to the generation and visualization of predicted moment magnitrude by using the early stage of STFs.

notice:

Because syn_Mw_npy_test\syn_train_STF.npy and scardec_usgs_obs\obs_train_STF.npy are too big for git to upload, please contact us.



MgNet_out_selected_events_predicted_Mws.py gives out the predicted magnitudes for the selected 4 events based on different percentages of rupture onsets.

MgNet_predicted_acc_rupture_onset_process.py outputs the magnitude-estimation accuracies of MgNet based on different percentages of rupture onsets.

MgNet_characteristic_time_determine_Mw.py analyzes the MgNet's characteristic time to determine the final magnitude of large earthquakes at the stage when magnitude-estimation accuracy is stable.
DOI: 10.5281/zenodo.17051389
title: STF-MgNet: A Framework for Numerical Analysis and Result Visualization

description: STF-MgNet is an integrated, open-source framework designed to streamline the research and application of the STF-MgNet architecture. It provides a comprehensive suite of tools that facilitates the entire workflow, from numerical analysis and model evaluation to the generation and visualization of predicted moment magnitrude by using the early stage of STFs.

notice:

Because syn_Mw_npy_test\syn_train_STF.npy and scardec_usgs_obs\obs_train_STF.npy are too big for git to upload, please contact us.



MgNet_out_selected_events_predicted_Mws.py gives out the predicted magnitudes for the selected 4 events based on different percentages of rupture onsets.

MgNet_predicted_acc_rupture_onset_process.py outputs the magnitude-estimation accuracies of MgNet based on different percentages of rupture onsets.

MgNet_characteristic_time_determine_Mw.py analyzes the MgNet's characteristic time to determine the final magnitude of large earthquakes at the stage when magnitude-estimation accuracy is stable.
DOI: 10.15468/dl.fxqdac
title: Occurrence Download

description: A dataset containing 3748 species occurrences available in GBIF matching the query:
{
 "and" : [
 "Geometry POLYGON((-30 81, 50 81, 50 12, -30 12, -30 81))",
 "HasCoordinate is true",
 "BasisOfRecord is one of (Observation, Machine Observation, Human Observation, Material sample, Living Specimen, Occurrence evidence)",
 "TaxonKey is one of (Elysia viridis)"
 ]
}

 The dataset includes 3748 records from 86 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0024778-250827131500795/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.15468/dl.6m4myz
title: Occurrence Download

description: A dataset containing 8417 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Pilosella piloselloides praealta"
 ]
}

 The dataset includes 8417 records from 214 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0024779-250827131500795/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.15468/dl.nardq6
title: Occurrence Download

description: A dataset containing 71 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is Cyperus tomaiophyllus",
 "Geometry POLYGON ((-17.62504 -34.81917, 51.13387 -34.81917, 51.13387 37.34999, -17.62504 37.34999, -17.62504 -34.81917))",
 "HasCoordinate is true"
 ]
}

 The dataset includes 71 records from 15 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0024780-250827131500795/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.25505/fiz.icsd.cc2p9w63
title: CSD 2482145: Experimental Crystal Structure Determination

description: Related Article: Manoharan Rupavarshini, Subramani Karthikeyan |2025|ICSD Communication|||
description: An entry from the Inorganic Crystal Structure Database, the world’s repository for inorganic crystal structures. The entry contains experimental data from a crystal diffraction study. The deposited dataset for this entry is freely available from the joint CCDC and FIZ Karlsruhe Access Structures service and typically includes 3D coordinates, cell parameters, space group, experimental conditions and quality measures.
DOI: 10.15468/dl.gfdyge
title: Occurrence Download

description: A dataset containing 51 species occurrences available in GBIF matching the query:
{
 "and" : [
 "Country is Brazil",
 "PublishingOrg is d07d294b-8ae1-48ab-94e2-f7caae47707d",
 "TaxonKey is Brillantaisia lamium"
 ]
}

 The dataset includes 51 records from 1 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0024783-250827131500795/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.15468/dl.zh8uzh
title: Occurrence Download

description: A dataset containing 0 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is one of (Melanotaenia sembrae)",
 "BasisOfRecord is one of (Specimen, Literature Occurrence, Human Observation, Observation)",
 "HasCoordinate is true",
 "HasGeospatialIssue is false",
 "Year is greater than or equal to 1991",
 "Year is less than or equal to 2025"
 ]
}

 The dataset includes 0 records from 0 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0024782-250827131500795/datasets/export for details.
DOI: 10.15468/dl.axfrat
title: Occurrence Download

description: A dataset containing 2830 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is Atriplex patula",
 "Country is Russian Federation",
 "HasCoordinate is true"
 ]
}

 The dataset includes 2830 records from 36 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0024781-250827131500795/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.15468/dl.3zyzh3
title: Occurrence Download

description: A dataset listing the 2 species recorded in GBIF matching the query:
{
 "and" : [
 "Country is Brazil",
 "TaxonKey is Brillantaisia lamium"
 ]
}

 The dataset's 2 records were derived from 24 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0024769-250827131500795/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.34740/kaggle/dsv/12955931
title: Peer-to-Peer Boliviano (BOB) Exchange Data
DOI: 10.15468/dl.j7ftsq
title: Occurrence Download

description: A dataset containing 326 species occurrences available in GBIF matching the query:
{
 "and" : [
 "Geometry POLYGON((-30 81, 50 81, 50 12, -30 12, -30 81))",
 "HasCoordinate is true",
 "BasisOfRecord is one of (Observation, Machine Observation, Human Observation, Material sample, Living Specimen, Occurrence evidence)",
 "TaxonKey is one of (Embletonia pulchra)"
 ]
}

 The dataset includes 326 records from 27 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0024784-250827131500795/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.6084/m9.figshare.30048946
title: Core-Based Smart Sampling Framework: A Theoretical and Experimental Study on Randomized Partitioning for SAT Problems

description: This paper presents a rigorous framework, termed the Core-Based Smart Sampling Framework, that combines theoretical definitions, mathematical proofs, and experimental evaluation to tackle the challenge of partitioning NP-complete problems. The central contribution is the formalization of core structures and their use in randomized boundary sampling. We provide theoretical guarantees on complexity reduction and probabilistic completeness, apply the method to SAT instances, and evaluate its performance using experimental Python implementations. The results show that smart sampling drastically reduces the effective complexity of SAT problems and offers new insights into the structure of NP-complete problems.<br>
DOI: 10.6084/m9.figshare.30048946.v1
title: Core-Based Smart Sampling Framework: A Theoretical and Experimental Study on Randomized Partitioning for SAT Problems

description: This paper presents a rigorous framework, termed the Core-Based Smart Sampling Framework, that combines theoretical definitions, mathematical proofs, and experimental evaluation to tackle the challenge of partitioning NP-complete problems. The central contribution is the formalization of core structures and their use in randomized boundary sampling. We provide theoretical guarantees on complexity reduction and probabilistic completeness, apply the method to SAT instances, and evaluate its performance using experimental Python implementations. The results show that smart sampling drastically reduces the effective complexity of SAT problems and offers new insights into the structure of NP-complete problems.<br>
DOI: 10.15468/dl.yrhkka
title: Occurrence Download

description: A dataset containing 383 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Centaurea sadleriana"
 ]
}

 The dataset includes 383 records from 48 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0024785-250827131500795/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.15468/dl.96xs3f
title: Occurrence Download

description: A dataset containing 74240 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is one of (Ciconia nigra)",
 "Year is one of (2010, 2011, 2012, 2013, 2014, 2015, 2016, 2017, 2018, 2019, 2020, 2021, 2022, 2023, 2024)",
 "DecimalLatitude is greater than or equal to 44.95782311925129",
 "DecimalLatitude is less than or equal to 58.30331634439415",
 "DecimalLongitude is greater than or equal to -10.001896207643075",
 "DecimalLongitude is less than or equal to 30.31691447027875",
 "Year is not null",
 "HasCoordinate is TRUE",
 "OccurrenceStatus is Present",
 "HasGeospatialIssue is FALSE",
 "BasisOfRecord is one of (Human Observation, Occurrence evidence)"
 ]
}

 The dataset includes 74240 records from 516 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0024753-250827131500795/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.15468/dl.tm83hs
title: Occurrence Download

description: A dataset containing 22860 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Centaurea melitensis L."
 ]
}

 The dataset includes 22860 records from 294 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0315423-200613084148143/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.15468/dl.7ppeqn
title: Occurrence Download

description: A dataset containing 3076 species occurrences available in GBIF matching the query:
{
 "and" : [
 "Country is Peru",
 "TaxonKey is Mauritia flexuosa L.f."
 ]
}

 The dataset includes 3076 records from 13 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0146240-200613084148143/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.15468/dl.pxf7s8
title: Occurrence Download

description: A dataset containing 318 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is one of (Varronia cylindrostachya Ruiz & Pav.)",
 "HasCoordinate is true"
 ]
}

 The dataset includes 318 records from 42 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0053492-240506114902167/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.15468/dl.jtia77
title: Occurrence Download

description: A dataset containing 976 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Piptadenia viridiflora (Kunth) Benth."
 ]
}

 The dataset includes 976 records from 78 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0039588-160910150852091/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.15468/dl.q7suc0
title: Occurrence Download

description: A dataset containing 2275698 species occurrences available in GBIF matching the query:
{
 "and" : [
 "Geometry POLYGON((-11.41479 43.76953,-11.43677 34.62891,-6.25122 34.69482,-5.76782 35.5957,-5.50415 35.8374,-5.61401 36.27686,-6.16333 36.71631,-6.60278 37.02393,-7.13013 37.26563,-7.70142 37.30957,-8.66821 37.2876,-8.71216 38.29834,-8.9978 38.58398,-9.06372 39.04541,-8.95386 39.77051,-8.60229 40.64941,-8.66821 41.30859,-8.71216 42.01172,-8.71216 42.73682,-8.86597 43.26416,-8.88794 43.72559,-11.41479 43.76953))",
 "Year 2000-2019",
 "TaxonKey is Aves"
 ]
}

 The dataset includes 2275698 records from 0 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0015734-191105090559680/datasets/export for details.
DOI: 10.15468/dl.y8z255
title: Occurrence Download

description: A dataset containing 8 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Stenocactus dichroacanthus (Mart. ex Pfeiff.) A.Berger ex Backeb. & F.M.Knuth"
 ]
}

 The dataset includes 8 records from 5 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0036604-200613084148143/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.15468/dl.8p437f
title: Occurrence Download

description: A dataset containing 13 species occurrences available in GBIF matching the query:
{
 "and" : [
 "Country is China",
 "HasCoordinate is true",
 "HasGeospatialIssue is false",
 "TaxonKey is Vandopsis undulata (Lindl.) J.J.Sm.",
 "Year 1981-2019"
 ]
}

 The dataset includes 13 records from 3 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0293080-200613084148143/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.15468/dl.u3ahrv
title: Occurrence Download

description: A dataset containing 14 species occurrences available in GBIF matching the query:
{
 "and" : [
 "Country is Norway",
 "InstitutionCode is trh",
 "TaxonKey is Tortula lanceola R.H.Zander"
 ]
}

 The dataset includes 14 records from 1 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0010636-191105090559680/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.15468/dl.hwry4w
title: Occurrence Download

description: A dataset containing 600 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is Elaeagnus commutata Bernh. ex Rydb.",
 "BasisOfRecord is one of (Specimen)",
 "HasCoordinate is true",
 "HasGeospatialIssue is false",
 "Country is one of (United States of America, Canada)"
 ]
}

 The dataset includes 600 records from 48 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0269929-210914110416597/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.15468/dl.5whcfx
title: Occurrence Download

description: A dataset containing 5320 species occurrences available in GBIF matching the query:
{
 "and" : [
 "OccurrenceStatus is Present",
 {
 "or" : [
 "TaxonKey is Hyloctistes subulatus (Spix, 1824)",
 "TaxonKey is Automolus dorsalis P.L.Sclater & Salvin, 1880"
 ]
 }
 ]
}

 The dataset includes 5320 records from 60 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0282235-200613084148143/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.15468/dl.tge7u8
title: Occurrence Download

description: A dataset containing 50484 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Habenaria Willd."
 ]
}

 The dataset includes 50484 records from 477 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0039588-200613084148143/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.15468/dl.prevqn
title: Occurrence Download

description: A dataset containing 1 species occurrences available in GBIF matching the query:
{
 "and" : [
 "ScientificName is Gnetum catasphaericum H.Shao",
 "DecimalLatitude is greater than or equal to -90",
 "DecimalLongitude is greater than or equal to -180"
 ]
}

 The dataset includes 1 records from 1 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0028065-191105090559680/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.15468/dl.t96y7z
title: Occurrence Download

description: A dataset containing 0 species occurrences available in GBIF matching the query:
{
 "and" : [
 "DatasetKey is Weddell Seal census, Vestfold Hills, Antarctica"
 ]
}

 The dataset includes 0 records from 0 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0034256-210914110416597/datasets/export for details.
DOI: 10.15468/dl.vveqhf
title: Occurrence Download

description: A dataset containing 877 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Dinebra retroflexa (Vahl) Panz."
 ]
}

 The dataset includes 877 records from 74 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0040533-200613084148143/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.15468/dl.a6v3ef
title: Occurrence Download

description: A dataset containing 4960789 species occurrences available in GBIF matching the query:
{
 "and" : [
 "DatasetKey is Naturalis Biodiversity Center (NL) - Botany"
 ]
}

 The dataset includes 4960789 records from 1 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0034264-210914110416597/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.15468/dl.hjz9bq
title: Occurrence Download

description: A dataset containing 14 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is Phlebotaenia cowellii Britton",
 "HasCoordinate is true",
 "HasGeospatialIssue is false"
 ]
}

 The dataset includes 14 records from 3 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0039610-160910150852091/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.15468/dl.2bddek
title: Occurrence Download

description: A dataset containing 103 species occurrences available in GBIF matching the query:
{
 "and" : [
 "Country is China",
 "TaxonKey is Cupressus chengiana S.Y.Hu"
 ]
}

 The dataset includes 103 records from 16 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0056780-200613084148143/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.15468/dl.wy68kv
title: Occurrence Download

description: A dataset containing 398 species occurrences available in GBIF matching the query:
{
 "and" : [
 {
 "or" : [
 "Country is Argentina",
 "Country is Chile",
 "Country is Antarctica"
 ]
 },
 "TaxonKey is Cosmasterias lurida (Philippi, 1858)"
 ]
}

 The dataset includes 398 records from 28 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0146264-200613084148143/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.15468/dl.t8d5v7
title: Occurrence Download

description: A dataset containing 8333 species occurrences available in GBIF matching the query:
{
 "and" : [
 "Country is China",
 "TaxonKey is Phasianus colchicus Linnaeus, 1758"
 ]
}

 The dataset includes 8333 records from 37 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0039624-200613084148143/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.