cometadata/datacite-titles-descriptions-related-identifiers huggingface dataset:
DOI: 10.6084/m9.figshare.30082039.v6
title: [2025-10-15v4]A Unified Proof of the Collatz Conjecture The Invariant Structure of the $3n+1$ Problem: Generalization to All Integers via Phase Expression Theory and Universal Structural Limits.pdf

description: <b>Note:The latest version of the manuscript has been uploaded to zenodo: </b><b>https://doi.org/10.5281/zenodo.17394543</b><br><br>This paper presents a \textbf{unified and constructive framework} that resolves the long-standing open problem, the \textbf{Collatz Conjecture} ($3n+1$), over all non-zero integers (positive and negative). We introduce the \textbf{Collatz Phase Expression (CPE)}, which models the Collatz map as deterministic geometric transformations. The CPE utilizes the \textbf{Alternating Binary Notation (ABN)}, a method that encodes integers as alternating-sign powers of 2, and decomposes this into structural units: Chain ($\mathbf{R}$), Single ($\mathbf{T}$), and Node ($\mathbf{K}$). Using the CPE's characteristic quantities ($\mu$: unit count, $H_{RT}$: complexity, $B$: bit-length), we establish two \textbf{Universal Structural Limits}. These constraints imply that infinite divergence and non-trivial cycles are structurally impossible: \begin{enumerate} \item A strict linear bound on the total bit-length, $B(F^m (n)) \le B(n) + m$, prevents exponential growth. \item A deterministic, self-regulating trade-off for the local complexity $H_{RT}$ is enforced by the **Fundamental Inequality**, ensuring complexity cannot increase unboundedly. \end{enumerate} These structural constraints demonstrate that every positive sequence converges to the minimal complexity state ($\mathbf{H_{K}=0}$), leading exclusively to the trivial loop $\{1\}$. Furthermore, the same formalism resolves the negative Collatz conjecture by establishing a universal structural upper bound ($\mathbf{H_{RT} &lt; 6}$), which guarantees convergence to the known finite loops (including $\{-1, -3, -11\}$ cycles). The CPE framework provides a deterministic lens for analyzing discrete dynamical systems.<br><br>
DOI: 10.6084/m9.figshare.30082039.v5
title: [2025-10-15v4]A Unified Proof of the Collatz Conjecture The Invariant Structure of the $3n+1$ Problem: Generalization to All Integers via Phase Expression Theory and Universal Structural Limits.pdf

description: This paper presents a \textbf{unified and constructive framework} that resolves the long-standing open problem, the \textbf{Collatz Conjecture} ($3n+1$), over all non-zero integers (positive and negative). We introduce the \textbf{Collatz Phase Expression (CPE)}, which models the Collatz map as deterministic geometric transformations. The CPE utilizes the \textbf{Alternating Binary Notation (ABN)}, a method that encodes integers as alternating-sign powers of 2, and decomposes this into structural units: Chain ($\mathbf{R}$), Single ($\mathbf{T}$), and Node ($\mathbf{K}$). Using the CPE's characteristic quantities ($\mu$: unit count, $H_{RT}$: complexity, $B$: bit-length), we establish two \textbf{Universal Structural Limits}. These constraints imply that infinite divergence and non-trivial cycles are structurally impossible: \begin{enumerate} \item A strict linear bound on the total bit-length, $B(F^m (n)) \le B(n) + m$, prevents exponential growth. \item A deterministic, self-regulating trade-off for the local complexity $H_{RT}$ is enforced by the **Fundamental Inequality**, ensuring complexity cannot increase unboundedly. \end{enumerate} These structural constraints demonstrate that every positive sequence converges to the minimal complexity state ($\mathbf{H_{K}=0}$), leading exclusively to the trivial loop $\{1\}$. Furthermore, the same formalism resolves the negative Collatz conjecture by establishing a universal structural upper bound ($\mathbf{H_{RT} &lt; 6}$), which guarantees convergence to the known finite loops (including $\{-1, -3, -11\}$ cycles). The CPE framework provides a deterministic lens for analyzing discrete dynamical systems.
DOI: 10.15468/dl.kxvzxc
title: Occurrence Download

description: A dataset containing 42640 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is one of (Aelia acuminata)",
 "HasCoordinate is true"
 ]
}

 The dataset includes 42640 records from 642 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0040949-251009101135966/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.48331/scielodata.ir2ckb/ggllji
title: Arquivo README.txt

description: Readme
DOI: 10.48331/scielodata.ir2ckb/nniksp
title: Seleção de artigos da revisão de literatura.tab

description: Seleção de artigos da revisão de literatura
DOI: 10.48331/scielodata.ir2ckb
title: Performance of public defender's offices: dimensions, indicators and associated factors

description: Public defender’s offices are institutions that wok to guarantee access to justice through legal guidance, promote human rights and offer legal aid to vulnerable population. Evaluating the performance of public defender’s offices is a complex task, but necessary to ensure adequate provision of the services offered and to provide greater benefits to the user population. This research aimed to identify what the performance of public defenders and public defender’s offices is, how it is measured and what factors are associated with this performance. To this end, a review of scientific studies was carried out using the Prisma protocol. The results allowed the systematization of indicators and factors associated with the performance of the two dominant dimensions of public defender’s offices: internal production and user satisfaction. Each dimension was categorized in relation to the different groups, with institutional, individual, subjective and objective focuses. Next, all the indicators used in the literature to measure the performance of public defenders and public defender’s offices were presented and discussed. Finally, the research presents the explanatory factors associated with performance. The research highlights the main theoretical, managerial and social contributions of the reviewed studies and offers a research agenda for future studies on the topic.
DOI: 10.15468/dl.k8xqu3
title: Occurrence Download

description: A dataset containing 158 species occurrences available in GBIF matching the query:
{
 "and" : [
 "BasisOfRecord is Human Observation",
 "TaxonKey is Sternochetus mangiferae"
 ]
}

 The dataset includes 158 records from 16 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0011930-250920141307145/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.5281/zenodo.17192598
title: HePU: Hebrew Paleography Understanding Dataset For Semantic Script Segmentation

description: We introduce HePU, a novel dataset for the semantic segmentation of historical Hebrew script styles. Derived from Sfardata, the codicological database of the Hebrew Palaeography Project, HePU provides high-quality, pixel-level annotations for Hebrew manuscript analysis.

The dataset comprises 193 manuscript page images, each annotated with precise semantic segmentation labels. Every page corresponds to one of six major Hebrew script types: Ashkenazi, Byzantine, Italian, Oriental, Sefardic, and Yemenite. By ensuring that each page contains only a single script type, HePU provides unambiguous labels and enables models to learn script-specific visual features effectively.

HePU is designed to support research in Hebrew paleography, facilitating tasks such as script classification, layout analysis, and historical manuscript preservation.
DOI: 10.5281/zenodo.17192599
title: HePU: Hebrew Paleography Understanding Dataset For Semantic Script Segmentation

description: We introduce HePU, a novel dataset for the semantic segmentation of historical Hebrew script styles. Derived from Sfardata, the codicological database of the Hebrew Palaeography Project, HePU provides high-quality, pixel-level annotations for Hebrew manuscript analysis.

The dataset comprises 193 manuscript page images, each annotated with precise semantic segmentation labels. Every page corresponds to one of six major Hebrew script types: Ashkenazi, Byzantine, Italian, Oriental, Sefardic, and Yemenite. By ensuring that each page contains only a single script type, HePU provides unambiguous labels and enables models to learn script-specific visual features effectively.

HePU is designed to support research in Hebrew paleography, facilitating tasks such as script classification, layout analysis, and historical manuscript preservation.
DOI: 10.15468/dl.h2nvec
title: Occurrence Download

description: A dataset containing 6831 species occurrences available in GBIF matching the query:
{
 "and" : [
 "HasCoordinate is true",
 "HasGeospatialIssue is false",
 "License is one of (CC-BY 4.0, CC-BY-NC 4.0)",
 "OccurrenceStatus is Present",
 "TaxonKey is Salix lasiolepis Benth."
 ]
}

 The dataset includes 6831 records from 78 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0023075-241024112534372/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.5281/zenodo.14038925
title: Hamburg-Harburg Adler-Apotheke (ca. 1924/1947)

description: Historical questionnaire/s 1924/1948 and index cards, partly selected enclosures regarding the history of a German pharmacy, catalogued via Kalliope portal (Historischer Fragebogen 1924/1948 und Karteikarten, ggf. gemeinfreie Anlagen zur Apothekengeschichte; als Katalog dient das Nachlassportal Kalliope): https://kalliope-verbund.info/DE-611-BF-70963 [Funktion: Im Findbuch anzeigen]Please note: The Kalliope catalogue entry might indicate related material in the archival folder which cannot be published due to copyright or other legal restrictions (NB: Das Katalogisat bei Kalliope kann auch auf Materialien - teils erheblichen Umfangs - verweisen, die aus archiv- oder urheberrechtlichen Gründen nicht veröffentlicht werden dürfen).
DOI: 10.5281/zenodo.14038926
title: Hamburg-Harburg Adler-Apotheke (ca. 1924/1947)

description: Historical questionnaire/s 1924/1948 and index cards, partly selected enclosures regarding the history of a German pharmacy, catalogued via Kalliope portal (Historischer Fragebogen 1924/1948 und Karteikarten, ggf. gemeinfreie Anlagen zur Apothekengeschichte; als Katalog dient das Nachlassportal Kalliope): https://kalliope-verbund.info/DE-611-BF-70963 [Funktion: Im Findbuch anzeigen]Please note: The Kalliope catalogue entry might indicate related material in the archival folder which cannot be published due to copyright or other legal restrictions (NB: Das Katalogisat bei Kalliope kann auch auf Materialien - teils erheblichen Umfangs - verweisen, die aus archiv- oder urheberrechtlichen Gründen nicht veröffentlicht werden dürfen).
DOI: 10.15468/dl.vx97v3
title: Occurrence Download

description: A dataset containing 14989 species occurrences available in GBIF matching the query:
{
 "and" : [
 "Country is United Kingdom of Great Britain and Northern Ireland",
 "TaxonKey is Haliaeetus albicilla (Linnaeus, 1758)"
 ]
}

 The dataset includes 14989 records from 42 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0023076-241024112534372/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.48677/3f44411a-0458-4381-913d-8b484356d87b
title: Digitales Landschaftsmodell - Verkehr Stichtag 12.09.2023

description: Der Objektbereich DLM - Verkehr umfasst in Form von hochgenauer Vektorgrafik mit Attributen als Basis für Geographische Informationssysteme flächendeckend für Österreich folgende Elemente:
• alle Straßen
• alle Schienenbahnen
• Liftanlagen

Darüber hinaus sind auch die koordinativen Bezugspunkte mit Attributen von Verkehrsobjekten erfasst. Es handelt sich dabei um eine österreichweite, hochgenaue Verortung von POI (points of interest) aus den Bereichen Bahnen, Flugverkehr, Schiffsverkehr, Anlagen und Bauwerke für Verkehr, Transport sowie Kommunikation und Versorgung.

Stichtag = Erstellungsdatum:
 Die Daten sind zu diesem Tag der aktuellste Datenbestand des BEV.
 Dies ist nicht ident mit dem Aufnahme- bzw. Vermessungsdatum.
DOI: 10.5281/zenodo.13959411
title: Wheat phyllosphere metagenome assembled genomes collected in Ringsted, Denmark

description: We present a completely novel and comprehensive wheat phyllosphere metagenomic dataset of 211 samples and 1261 MAGs. This dataset represents a significant contribution to the field, as it provides insights into the poorly studied microbial communities associated with wheat leaf surfaces, an ecosystem of considerable agricultural importance.
DOI: 10.5445/ir/1000141293
title: Satellite-based fog and low stratus cloud formation and dissipation times data set

description: This fog and low stratus formation and dissipation data set has been created by applying logistic regression to a binary FLS data set based on geostationary satellite (SEVIRI) observations.
DOI: 10.15468/dl.zhucjq
title: Occurrence Download

description: A dataset containing 164458 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is one of (Pelecanus occidentalis Linnaeus, 1766, Perdix perdix (Linnaeus, 1758), Perisoreus canadensis (Linnaeus, 1766), Petrochelidon fulva (Vieillot, 1808), Petrochelidon pyrrhonota (Vieillot, 1817))",
 "Country is Canada",
 "OccurrenceStatus is Present",
 "HasCoordinate is true",
 "HasGeospatialIssue is false",
 "Year is greater than or equal to 2000",
 {
 "not" : {
 "BasisOfRecord" : [
 "is one of (Fossil, Living Specimen)"
 ]
 }
 },
 "Geometry POLYGON ((-84.76571 41.22334, -58.93394 41.22334, -58.93394 49.85477, -84.76571 49.85477, -84.76571 41.22334))",
 {
 "or" : [
 "CoordinateUncertaintyInMeters is less than 1000",
 "CoordinateUncertaintyInMeters is null"
 ]
 }
 ]
}

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

description: A dataset containing 191091 species occurrences available in GBIF matching the query:
{
 "and" : [
 "CoordinateUncertaintyInMeters 0.0-1000.0",
 "Country is Germany",
 "IucnRedListCategory is one of (CR, EN, VU, NT)",
 "OccurrenceStatus is Present",
 "Year 2014-2024"
 ]
}

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

description: A dataset containing 0 species occurrences available in GBIF matching the query:
{"type":"and","predicates":[{"type":"equals","key":"TAXON_KEY","value":"12192419","matchCase":false},{"type":"equals","key":"OCCURRENCE_STATUS","value":"PRESENT","matchCase":false},{"type":"equals","key":"HAS_COORDINATE","value":"true","matchCase":false},{"type":"equals","key":"HAS_GEOSPATIAL_ISSUE","value":"false","matchCase":false},{"type":"lessThan","key":"COORDINATE_UNCERTAINTY_IN_METERS","value":"10000","matchCase":false},{"type":"in","key":"YEAR","values":["2008","2009","2010","2011","2012","2013","2014","2015","2016","2017","2018","2019","2020","2021","2022","2023","2024"],"matchCase":false},{"type":"in","key":"BASIS_OF_RECORD","values":["LIVING_SPECIMEN","HUMAN OBSERVATION","OBSERVATION","OCCURRENCE","MACHINE_OBSERVATION"],"matchCase":false}]}

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

description: A dataset containing 0 species occurrences available in GBIF matching the query:
{"type":"and","predicates":[{"type":"equals","key":"TAXON_KEY","value":"12192497","matchCase":false},{"type":"equals","key":"OCCURRENCE_STATUS","value":"PRESENT","matchCase":false},{"type":"equals","key":"HAS_COORDINATE","value":"true","matchCase":false},{"type":"equals","key":"HAS_GEOSPATIAL_ISSUE","value":"false","matchCase":false},{"type":"lessThan","key":"COORDINATE_UNCERTAINTY_IN_METERS","value":"10000","matchCase":false},{"type":"in","key":"YEAR","values":["2008","2009","2010","2011","2012","2013","2014","2015","2016","2017","2018","2019","2020","2021","2022","2023","2024"],"matchCase":false},{"type":"in","key":"BASIS_OF_RECORD","values":["LIVING_SPECIMEN","HUMAN OBSERVATION","OBSERVATION","OCCURRENCE","MACHINE_OBSERVATION"],"matchCase":false}]}

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

description: A dataset containing 0 species occurrences available in GBIF matching the query:
{"type":"and","predicates":[{"type":"equals","key":"TAXON_KEY","value":"12192794","matchCase":false},{"type":"equals","key":"OCCURRENCE_STATUS","value":"PRESENT","matchCase":false},{"type":"equals","key":"HAS_COORDINATE","value":"true","matchCase":false},{"type":"equals","key":"HAS_GEOSPATIAL_ISSUE","value":"false","matchCase":false},{"type":"lessThan","key":"COORDINATE_UNCERTAINTY_IN_METERS","value":"10000","matchCase":false},{"type":"in","key":"YEAR","values":["2008","2009","2010","2011","2012","2013","2014","2015","2016","2017","2018","2019","2020","2021","2022","2023","2024"],"matchCase":false},{"type":"in","key":"BASIS_OF_RECORD","values":["LIVING_SPECIMEN","HUMAN OBSERVATION","OBSERVATION","OCCURRENCE","MACHINE_OBSERVATION"],"matchCase":false}]}

 The dataset includes 0 records from 0 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0023079-241024112534372/datasets/export for details.
DOI: 10.5281/zenodo.14038657
title: MoMA Collection - Automatic Update

description: Temporary Description
DOI: 10.5281/zenodo.14038658
title: MoMA Collection - Automatic Update

description: Temporary Description
DOI: 10.6084/m9.figshare.27612087
title: A Physics-Informed Neural Network-Enhanced Material Point Method for Regression Simulation of Solid Propellant

description: Supplementary materials for the manuscript include a one-dimensional neural network model for predicting combustion rate(pink.zip) and AP particle size distributions for four Miller packs(miller pack.zip). The particle size distribution is composed of the x, y coordinates and radius r of the particles.
DOI: 10.6084/m9.figshare.27612087.v1
title: A Physics-Informed Neural Network-Enhanced Material Point Method for Regression Simulation of Solid Propellant

description: Supplementary materials for the manuscript include a one-dimensional neural network model for predicting combustion rate(pink.zip) and AP particle size distributions for four Miller packs(miller pack.zip). The particle size distribution is composed of the x, y coordinates and radius r of the particles.
DOI: 10.15468/dl.t46kxc
title: Occurrence Download

description: A dataset containing 10 species occurrences available in GBIF matching the query:
{
 "and" : [
 "Geometry POLYGON((-13.4531 33.66819,-0.66471 25.65002,35.05913 32.15581,22.96016 47.04686,9.11614 48.21022,-13.4531 33.66819))",
 "HasCoordinate is true",
 "HasGeospatialIssue is false",
 "OccurrenceStatus is Present",
 "TaxonKey is Megabalanus tintinnabulum (Linnaeus, 1758)"
 ]
}

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

description: A dataset containing 223248 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Verbena officinalis L."
 ]
}

 The dataset includes 223248 records from 2360 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0023036-241024112534372/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.15156/bio/sh0174028.10fu
title: SH0174028.10FU

description: UNITE provides a unified way for delimiting, identifying, communicating, and working with DNA-based Species Hypotheses (SH). All fungal ITS sequences in the international nucleotide sequence databases are clustered to approximately the species level by applying a set of dynamic distance values (<0.5 - 3.0%). All species hypotheses are given a unique, stable name in the form of a DOI, and their taxonomic and ecological annotations are verified through distributed, web-based third-party annotation efforts. SHs are connected to a taxon name and its classification as far as possible (phylum, class, order, etc.) by taking into account identifications for all sequences in the SH. An automatically or manually designated sequence is chosen to represent each such SH. These sequences are released (https://unite.ut.ee/repository.php) for use by the scientific community in, for example, local sequence similarity searches and next-generation sequencing analysis pipelines. The system and the data are updated automatically as the number of public fungal ITS sequences grows.
DOI: 10.15156/bio/sh0174029.10fu
title: SH0174029.10FU

description: UNITE provides a unified way for delimiting, identifying, communicating, and working with DNA-based Species Hypotheses (SH). All fungal ITS sequences in the international nucleotide sequence databases are clustered to approximately the species level by applying a set of dynamic distance values (<0.5 - 3.0%). All species hypotheses are given a unique, stable name in the form of a DOI, and their taxonomic and ecological annotations are verified through distributed, web-based third-party annotation efforts. SHs are connected to a taxon name and its classification as far as possible (phylum, class, order, etc.) by taking into account identifications for all sequences in the SH. An automatically or manually designated sequence is chosen to represent each such SH. These sequences are released (https://unite.ut.ee/repository.php) for use by the scientific community in, for example, local sequence similarity searches and next-generation sequencing analysis pipelines. The system and the data are updated automatically as the number of public fungal ITS sequences grows.
DOI: 10.15156/bio/sh0174030.10fu
title: SH0174030.10FU

description: UNITE provides a unified way for delimiting, identifying, communicating, and working with DNA-based Species Hypotheses (SH). All fungal ITS sequences in the international nucleotide sequence databases are clustered to approximately the species level by applying a set of dynamic distance values (<0.5 - 3.0%). All species hypotheses are given a unique, stable name in the form of a DOI, and their taxonomic and ecological annotations are verified through distributed, web-based third-party annotation efforts. SHs are connected to a taxon name and its classification as far as possible (phylum, class, order, etc.) by taking into account identifications for all sequences in the SH. An automatically or manually designated sequence is chosen to represent each such SH. These sequences are released (https://unite.ut.ee/repository.php) for use by the scientific community in, for example, local sequence similarity searches and next-generation sequencing analysis pipelines. The system and the data are updated automatically as the number of public fungal ITS sequences grows.