cometadata/datacite-titles-descriptions-related-identifiers huggingface dataset:
DOI: 10.5281/zenodo.18656309
title: Functional Disproof and the Reality Argument: Closing a Gap in Argumentation Theory

description: This publication introduces Functional Disproof and the Reality Argument, closing a long‑standing gap in argumentation theory by naming reality as an autonomous mechanism of invalidation. While classical frameworks classify discursive strategies—facts, authority, examples, opinions—they do not codify the collapse of claims when confronted with lived conditions. Functional Disproof establishes this collapse as a distinct research category, and the Reality Argument translates it into a teachable, classroom‑ready routine. The framework integrates seamlessly with existing traditions, from Toulmin’s model and the New Rhetoric to pragma‑dialectics and Walton’s argumentation schemes, extending their explanatory power without disrupting their architecture. It strengthens theoretical rigor, enhances communicative accountability, and provides a sustainable, intuitive tool for education. By anchoring reasoning in observable performance, the framework ensures that arguments must not only survive critique but also reality, establishing a new paradigm that is internationally relevant, theoretically robust, and pedagogically accessible.
DOI: 10.5281/zenodo.18656308
title: Functional Disproof and the Reality Argument: Closing a Gap in Argumentation Theory

description: This publication introduces Functional Disproof and the Reality Argument, closing a long‑standing gap in argumentation theory by naming reality as an autonomous mechanism of invalidation. While classical frameworks classify discursive strategies—facts, authority, examples, opinions—they do not codify the collapse of claims when confronted with lived conditions. Functional Disproof establishes this collapse as a distinct research category, and the Reality Argument translates it into a teachable, classroom‑ready routine. The framework integrates seamlessly with existing traditions, from Toulmin’s model and the New Rhetoric to pragma‑dialectics and Walton’s argumentation schemes, extending their explanatory power without disrupting their architecture. It strengthens theoretical rigor, enhances communicative accountability, and provides a sustainable, intuitive tool for education. By anchoring reasoning in observable performance, the framework ensures that arguments must not only survive critique but also reality, establishing a new paradigm that is internationally relevant, theoretically robust, and pedagogically accessible.
DOI: 10.15468/dl.mrd3ec
title: Occurrence Download

description: A dataset containing 1632 species occurrences available in GBIF matching the query:
{
 "and" : [
 "HasGeospatialIssue is false",
 "HasCoordinate is true",
 "OccurrenceStatus is Present",
 {
 "not" : {
 "BasisOfRecord" : [
 "is one of (Fossil, Living Specimen)"
 ]
 }
 },
 "TaxonKey is Coffea arabica",
 "Country is Brazil"
 ]
}

 The dataset includes 1632 records from 108 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0004642-260226173443078/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.5281/zenodo.18726297
title: Structural Phenomena Framework (SPF‑5) Extended Conceptual Outline for Non-Operational Theoretical Inquiry

description: This conceptual outline presents a set of abstract structural conditions observed in distributed, rule‑regulated system architectures. The framework does not address functional processes, applied methodologies, or domain‑specific interpretations. Instead, it isolates higher‑order structural constellations whose relevance is confined to theoretical discourse. The document does not assume empirical applicability, operational significance, or practical utility.Its purpose is limited to providing a non‑functional, non‑operationalconceptualization of structural tendencies that may emerge independently of organizational context or procedural design. The abstraction level is intentional and precludes direct interpretation in applied settings.
DOI: 10.5281/zenodo.18726298
title: Structural Phenomena Framework (SPF‑5) Extended Conceptual Outline for Non-Operational Theoretical Inquiry

description: This conceptual outline presents a set of abstract structural conditions observed in distributed, rule‑regulated system architectures. The framework does not address functional processes, applied methodologies, or domain‑specific interpretations. Instead, it isolates higher‑order structural constellations whose relevance is confined to theoretical discourse. The document does not assume empirical applicability, operational significance, or practical utility.Its purpose is limited to providing a non‑functional, non‑operationalconceptualization of structural tendencies that may emerge independently of organizational context or procedural design. The abstraction level is intentional and precludes direct interpretation in applied settings.
DOI: 10.5281/zenodo.18683949
title: THE NINE FIELDS – A Theoretical Structural Model of Functional Differentiation

description: THE NINE FIELDS is a theoretical structural model for describing functional differentiation in complex social systems. It defines a three‑dimensional matrix composed of three layers and three levels, generating nine analytically distinct fields. The model provides a formal, context‑independent framework for examining structural relations without implying operational, normative, or domain‑specific interpretations.
DOI: 10.5281/zenodo.18683950
title: THE NINE FIELDS – A Theoretical Structural Model of Functional Differentiation

description: THE NINE FIELDS is a theoretical structural model for describing functional differentiation in complex social systems. It defines a three‑dimensional matrix composed of three layers and three levels, generating nine analytically distinct fields. The model provides a formal, context‑independent framework for examining structural relations without implying operational, normative, or domain‑specific interpretations.
DOI: 10.5281/zenodo.13323735
title: An integrated framework for the validation and verification of UML models

description: Project Overview

The first version of this artefact is associated with the paper "An integrated framework for analysing, simulating and testing UML models", published in the 27th Brazilian Symposium on Formal Methods (SBMF 2024). The second version of this artefact is associated with the paper "An integrated framework for the validation and verification of UML models", an extended version of the previous work, and submitted to Science of Computer Programming.

Directory Structure



CSP_Validation: Contains the validation of our mapping rules from UML diagrams to CNL requirements.

NAT2TEST_Projects: Contains the NAT2TEST projects for two case studies: the classical Dijkstra's dining philosophers problem, and a distributed ring-buffer model.

ROCQ: Contains the Rocq characterisation of DFRSs, along with the proof of custom properties for the dining philosophers example.

UML2CNL: Contains the implementation of our mapping rules from UML diagrams to CNL requirements.
DOI: 10.5281/zenodo.18818117
title: An integrated framework for the validation and verification of UML models

description: Project Overview

The first version of this artefact is associated with the paper "An integrated framework for analysing, simulating and testing UML models", published in the 27th Brazilian Symposium on Formal Methods (SBMF 2024). The second version of this artefact is associated with the paper "An integrated framework for the validation and verification of UML models", an extended version of the previous work, and submitted to Science of Computer Programming.

Directory Structure



CSP_Validation: Contains the validation of our mapping rules from UML diagrams to CNL requirements.

NAT2TEST_Projects: Contains the NAT2TEST projects for two case studies: the classical Dijkstra's dining philosophers problem, and a distributed ring-buffer model.

ROCQ: Contains the Rocq characterisation of DFRSs, along with the proof of custom properties for the dining philosophers example.

UML2CNL: Contains the implementation of our mapping rules from UML diagrams to CNL requirements.
DOI: 10.15468/dl.8b78xt
title: Occurrence Download

description: A dataset containing 3223 species occurrences available in GBIF matching the query:
{
 "and" : [
 "CoordinateUncertaintyInMeters 0.0-50.0",
 "Country is Russian Federation",
 "HasCoordinate is true",
 "HasGeospatialIssue is false",
 "TaxonKey is Picea obovata"
 ]
}

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

description: A dataset containing 1556 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is Lutra lutra",
 "Country is Germany",
 "HasCoordinate is true",
 "HasGeospatialIssue is false",
 "Year 2010-2025"
 ]
}

 The dataset includes 1556 records from 11 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0004643-260226173443078/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.5281/zenodo.18649107
title: The Four Structural Divergences Model (4SD‑Model) – Theoretical Model Core

description: This document presents the theoretical core of the Four Structural Divergences Model (4SD‑Model), an original communication framework developed by Katja Lehmann. It defines the four structural divergences—Reality, Role, Situation, and Relationship—that explain why communication succeeds or fails in interpersonal and organizational contexts. The model is designed as a minimalistic, complete, and operationalizable system for scientific citation, organizational practice, and international application.
DOI: 10.5281/zenodo.18649108
title: The Four Structural Divergences Model (4SD‑Model) – Theoretical Model Core

description: This document presents the theoretical core of the Four Structural Divergences Model (4SD‑Model), an original communication framework developed by Katja Lehmann. It defines the four structural divergences—Reality, Role, Situation, and Relationship—that explain why communication succeeds or fails in interpersonal and organizational contexts. The model is designed as a minimalistic, complete, and operationalizable system for scientific citation, organizational practice, and international application.
DOI: 10.5281/zenodo.17187031
title: Filtered Datasets of Clinical Trials on Advanced Therapy Medicinal Products (ATMPs) from European and U.S. Registries
DOI: 10.5281/zenodo.18818095
title: Filtered Datasets of Clinical Trials on Advanced Therapy Medicinal Products (ATMPs) from European and U.S. Registries
DOI: 10.15468/dl.9xvvdz
title: Occurrence Download

description: A dataset containing 194250 species occurrences available in GBIF matching the query:
{
 "and" : [
 "BasisOfRecord is one of (Human Observation, Specimen)",
 "Country is United States of America",
 "DatasetKey is iNaturalist Research-grade Observations",
 "OccurrenceStatus is Present",
 "PublishingOrg is 28eb1a3f-1c15-4a95-931a-4af90ecb574d",
 "TaxonKey is Sciurus carolinensis"
 ]
}

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

description: A dataset containing 2815 species occurrences available in GBIF matching the query:
{
 "DatasetKey" : [
 "is Obtención de la riqueza de aves y selección de especies susceptibles de monitoreo en la zona noroeste en el estado de Chiapas"
 ]
}

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

description: A dataset containing 10445 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Verrucosa arenata"
 ]
}

 The dataset includes 10445 records from 38 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0004646-260226173443078/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.31438093
title: SMS on Issue Report Classification

description: <b>SMS on Issue Report Classification</b>: This repository contains a replication package for our study: "Automatic techniques for issue report classification: A systematic mapping study."<b>Repository Content: </b> The dataset consists of three Excel files:<b> Final_map.xlsx:</b> This file provides the complete mapping of the selected studies, including all extracted data. It also contains: (a) a simplified version of the final map, and (b) detailed classifications of the extracted data (e.g., classification of automatic techniques).<b>Master_sheet.xlsx:</b> This file summarizes the study selection process, including: (a) the total number of papers initially identified, (b) the number of papers remaining after duplicate or conference proceeding removal, and (c) the number of papers retained after applying the inclusion and exclusion criteria<b> List_of_excluded_studies.xlsx:</b> This file contains the list of studies that were excluded during the selection process.
DOI: 10.6084/m9.figshare.31438093.v1
title: SMS on Issue Report Classification

description: <b>SMS on Issue Report Classification</b>: This repository contains a replication package for our study: "Automatic techniques for issue report classification: A systematic mapping study."<b>Repository Content: </b> The dataset consists of three Excel files:<b> Final_map.xlsx:</b> This file provides the complete mapping of the selected studies, including all extracted data. It also contains: (a) a simplified version of the final map, and (b) detailed classifications of the extracted data (e.g., classification of automatic techniques).<b>Master_sheet.xlsx:</b> This file summarizes the study selection process, including: (a) the total number of papers initially identified, (b) the number of papers remaining after duplicate or conference proceeding removal, and (c) the number of papers retained after applying the inclusion and exclusion criteria<b> List_of_excluded_studies.xlsx:</b> This file contains the list of studies that were excluded during the selection process.
DOI: 10.15468/65srp9
title: San Juan Island National Historical Park Vascular Plants

description: Vascular plants of San Juan Island National Historical Park.
DOI: 10.15468/2teun8
title: Mount Rainier National Park (USA) Vascular Plants

description: Vascular plants of Mount Rainier National Park.
DOI: 10.60503/d3/kwgcof
title: The Guardian and the Observer Archive

description: THE GUARDIAN (1821-2003) and its sister paper, The Observer (1791-2003) give readers online access to facts, firsthand accounts, and opinions of the day about the most significant and fascinating political, business, sports, literary, and entertainment events from the past two centuries. From Napoleon’s defeat at Waterloo to the Russian Revolution to Nelson Mandela’s release from prison, these British historical newspapers bring history to life for researchers. The Guardian and The Observer have reputations for fearless reporting and controversial opinions. The Guardian was first published in response to the Peterloo Massacre. Originally known as the Manchester Guardian, it was a Saturday-only paper until the newspaper stamp duty was repealed in 1855. Businessmen who hated its progressive opinions would tear the paper in half, throw the commentary out the train window, and only read the portion containing stock prices. The Observer, the world’s oldest Sunday paper, was first published in 1791. Thought-provoking writers such as George Orwell, Vita SackvilleWest, Clive James, Philip Toynbee, and others were contributors, continuing a tradition of freedom of the press and providing serious coverage of politics and literature.
DOI: 10.6084/m9.figshare.29713439
title: 放牧禁止元数据

description: 放牧禁令数据
DOI: 10.6084/m9.figshare.29713439.v1
title: 放牧禁止元数据

description: 放牧禁令数据
DOI: 10.15468/dl.cd6qje
title: Occurrence Download

description: A dataset containing 5 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is Platydemus manokwari",
 "Country is Palau",
 "HasCoordinate is true"
 ]
}

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

description: A dataset containing 276 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is Tritogonia nobilis",
 "HasGeospatialIssue is false",
 "HasCoordinate is true",
 {
 "not" : {
 "BasisOfRecord" : [
 "is Fossil"
 ]
 }
 },
 {
 "or" : [
 {
 "not" : {
 "EstablishmentMeans" : [
 "is MANAGED"
 ]
 }
 },
 {
 "not" : {
 "EstablishmentMeans" : [
 "is not null"
 ]
 }
 }
 ]
 },
 {
 "or" : [
 "OccurrenceStatus is Present",
 {
 "not" : {
 "OccurrenceStatus" : [
 "is not null"
 ]
 }
 }
 ]
 }
 ]
}

 The dataset includes 276 records from 12 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0025929-260208012135463/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.60712/si-id164847.1
title: StrainInfo SI-ID 164847.1

description: StrainInfo dataset 164847 about a strain of Pleurostoma repens. StrainInfo is a service developed to provide a resolution of microbial strain identifiers by storing culture collection numbers, their relations, and culture-associated data. StrainInfo is part of NFDI4Microbiota consortium.
DOI: 10.60712/si-id164848.1
title: StrainInfo SI-ID 164848.1

description: StrainInfo dataset 164848 about a strain of Exophiala dermatitidis. StrainInfo is a service developed to provide a resolution of microbial strain identifiers by storing culture collection numbers, their relations, and culture-associated data. StrainInfo is part of NFDI4Microbiota consortium.
DOI: 10.60712/si-id164939.1
title: StrainInfo SI-ID 164939.1

description: StrainInfo dataset 164939 about a strain of Hypholoma fasciculare. StrainInfo is a service developed to provide a resolution of microbial strain identifiers by storing culture collection numbers, their relations, and culture-associated data. StrainInfo is part of NFDI4Microbiota consortium.
DOI: 10.60712/si-id164940.1
title: StrainInfo SI-ID 164940.1

description: StrainInfo dataset 164940 about a strain of Kuehneromyces mutabilis. StrainInfo is a service developed to provide a resolution of microbial strain identifiers by storing culture collection numbers, their relations, and culture-associated data. StrainInfo is part of NFDI4Microbiota consortium.
DOI: 10.60712/si-id164941.1
title: StrainInfo SI-ID 164941.1

description: StrainInfo dataset 164941 about a strain of Unidentified. StrainInfo is a service developed to provide a resolution of microbial strain identifiers by storing culture collection numbers, their relations, and culture-associated data. StrainInfo is part of NFDI4Microbiota consortium.
DOI: 10.60712/si-id164768.1
title: StrainInfo SI-ID 164768.1

description: StrainInfo dataset 164768 about a strain of Moniliophthora roreri. StrainInfo is a service developed to provide a resolution of microbial strain identifiers by storing culture collection numbers, their relations, and culture-associated data. StrainInfo is part of NFDI4Microbiota consortium.
DOI: 10.60712/si-id164769.1
title: StrainInfo SI-ID 164769.1

description: StrainInfo dataset 164769 about a strain of Radiomyces spectabilis. StrainInfo is a service developed to provide a resolution of microbial strain identifiers by storing culture collection numbers, their relations, and culture-associated data. StrainInfo is part of NFDI4Microbiota consortium.
DOI: 10.60712/si-id164770.1
title: StrainInfo SI-ID 164770.1

description: StrainInfo dataset 164770 about a strain of Radiomyces spectabilis. StrainInfo is a service developed to provide a resolution of microbial strain identifiers by storing culture collection numbers, their relations, and culture-associated data. StrainInfo is part of NFDI4Microbiota consortium.
DOI: 10.60712/si-id164771.1
title: StrainInfo SI-ID 164771.1

description: StrainInfo dataset 164771 about a strain of Radiomyces embreei. StrainInfo is a service developed to provide a resolution of microbial strain identifiers by storing culture collection numbers, their relations, and culture-associated data. StrainInfo is part of NFDI4Microbiota consortium.
DOI: 10.60712/si-id164849.1
title: StrainInfo SI-ID 164849.1

description: StrainInfo dataset 164849 about a strain of Lasiodiplodia theobromae. StrainInfo is a service developed to provide a resolution of microbial strain identifiers by storing culture collection numbers, their relations, and culture-associated data. StrainInfo is part of NFDI4Microbiota consortium.
DOI: 10.60712/si-id164850.1
title: StrainInfo SI-ID 164850.1

description: StrainInfo dataset 164850 about a strain of Leptographium procerum. StrainInfo is a service developed to provide a resolution of microbial strain identifiers by storing culture collection numbers, their relations, and culture-associated data. StrainInfo is part of NFDI4Microbiota consortium.
DOI: 10.60712/si-id164851.1
title: StrainInfo SI-ID 164851.1

description: StrainInfo dataset 164851 about a strain of Leptographium lundbergii. StrainInfo is a service developed to provide a resolution of microbial strain identifiers by storing culture collection numbers, their relations, and culture-associated data. StrainInfo is part of NFDI4Microbiota consortium.
DOI: 10.60712/si-id164852.1
title: StrainInfo SI-ID 164852.1

description: StrainInfo dataset 164852 about a strain of Leptographium wingfieldii. StrainInfo is a service developed to provide a resolution of microbial strain identifiers by storing culture collection numbers, their relations, and culture-associated data. StrainInfo is part of NFDI4Microbiota consortium.
DOI: 10.60712/si-id164942.1
title: StrainInfo SI-ID 164942.1

description: StrainInfo dataset 164942 about a strain of Neolentinus suffrutescens. StrainInfo is a service developed to provide a resolution of microbial strain identifiers by storing culture collection numbers, their relations, and culture-associated data. StrainInfo is part of NFDI4Microbiota consortium.
DOI: 10.60712/si-id164943.1
title: StrainInfo SI-ID 164943.1

description: StrainInfo dataset 164943 about a strain of Mycena renati. StrainInfo is a service developed to provide a resolution of microbial strain identifiers by storing culture collection numbers, their relations, and culture-associated data. StrainInfo is part of NFDI4Microbiota consortium.
DOI: 10.60712/si-id164944.1
title: StrainInfo SI-ID 164944.1

description: StrainInfo dataset 164944 about a strain of Unidentified. StrainInfo is a service developed to provide a resolution of microbial strain identifiers by storing culture collection numbers, their relations, and culture-associated data. StrainInfo is part of NFDI4Microbiota consortium.
DOI: 10.60712/si-id164945.1
title: StrainInfo SI-ID 164945.1

description: StrainInfo dataset 164945 about a strain of Hymenopellis radicata. StrainInfo is a service developed to provide a resolution of microbial strain identifiers by storing culture collection numbers, their relations, and culture-associated data. StrainInfo is part of NFDI4Microbiota consortium.