cometadata/datacite-titles-descriptions-related-identifiers huggingface dataset:
DOI: 10.5281/zenodo.18523279
title: CondenSimAdapter: A versatile builder for multiscale simulations of protein condensates with diverse coarse-grained and all-atom forcefields

description: Data to reporoduce simualtion results presented in the paper "CondenSimAdapter: A versatile builder for multiscale simulations of protein condensates with diverse coarse-grained and all-atom forcefields"
DOI: 10.5281/zenodo.18523278
title: CondenSimAdapter: A versatile builder for multiscale simulations of protein condensates with diverse coarse-grained and all-atom forcefields

description: Data to reporoduce simualtion results presented in the paper "CondenSimAdapter: A versatile builder for multiscale simulations of protein condensates with diverse coarse-grained and all-atom forcefields"
DOI: 10.5281/zenodo.17895890
title: [Data] Generation mechanisms of intermediate-depth and deep earthquakes in southwestern Japan: Implications for tearing or thinning of the Pacific slab

description: Here we present the stress tensor inversion results reported in Kimura and Yoshioka (2026), submitted to Geophysical Research Letters. For details about the contents of the files, please refer to the README.pdf.
DOI: 10.5281/zenodo.17895891
title: [Data] Generation mechanisms of intermediate-depth and deep earthquakes in southwestern Japan: Implications for tearing or thinning of the Pacific slab

description: Here we present the stress tensor inversion results reported in Kimura and Yoshioka (2026), submitted to Geophysical Research Letters. For details about the contents of the files, please refer to the README.pdf.
DOI: 10.15468/dl.5cyrrb
title: Occurrence Download

description: A dataset containing 70 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is Etlingera australasica",
 "HasCoordinate is true",
 "BasisOfRecord is one of (Specimen)"
 ]
}

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

description: A dataset containing 589 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 Dudleya ingens"
 ]
}

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

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

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

description: A dataset containing 36 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is Etlingera megalocheilos",
 "HasCoordinate is true",
 "BasisOfRecord is one of (Specimen)"
 ]
}

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

description: A dataset containing 7681 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 Dudleya lanceolata"
 ]
}

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

description: A dataset containing 6 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is Geocharis rubra",
 "HasCoordinate is true",
 "BasisOfRecord is one of (Specimen)"
 ]
}

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

description: A dataset containing 7476 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 Dudleya pulverulenta"
 ]
}

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

description: A dataset containing 223 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is Globba atrosanguinea",
 "HasCoordinate is true",
 "BasisOfRecord is one of (Specimen)"
 ]
}

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

description: A dataset containing 82 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 Dudleya stolonifera"
 ]
}

 The dataset includes 82 records from 12 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0000725-260208012135463/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.31289224
title: Urban-Constrained Proximal Policy Optimization for Cooperative Multi-UAV Path Planning in Complex 3D Environments

description: Attached are the data and codes used in Urban-Constrained Proximal Policy Optimization for Cooperative Multi-UAV Path Planning in Complex 3D Environments
DOI: 10.6084/m9.figshare.31289224.v1
title: Urban-Constrained Proximal Policy Optimization for Cooperative Multi-UAV Path Planning in Complex 3D Environments

description: Attached are the data and codes used in Urban-Constrained Proximal Policy Optimization for Cooperative Multi-UAV Path Planning in Complex 3D Environments
DOI: 10.15468/dl.bycfcu
title: Occurrence Download

description: A dataset containing 269 records in GBIF matching the query:

 SELECT gbifid, datasetkey, specieskey, kingdom, phylum, class, "order", family, genus, species, scientificname, decimallatitude, decimallongitude, eventdate, institutioncode, "year" AS obs_year, basisofrecord, coordinateuncertaintyinmeters, issue
 FROM occurrence
 WHERE
 decimallatitude IS NOT NULL
 AND decimallongitude IS NOT NULL
 AND NOT ARRAY_CONTAINS(issue, 'ZERO_COORDINATE')
 AND NOT ARRAY_CONTAINS(issue, 'COORDINATE_OUT_OF_RANGE')
 AND NOT ARRAY_CONTAINS(issue, 'COORDINATE_INVALID')
 AND NOT ARRAY_CONTAINS(issue, 'COUNTRY_COORDINATE_MISMATCH')
 AND "year" &gt;= 2015
 AND "year" &lt;= 2026
 AND coordinateuncertaintyinmeters IS NOT NULL
 AND coordinateuncertaintyinmeters &gt; 0
 AND coordinateuncertaintyinmeters &lt;= 200.0
 AND decimallatitude &gt;= 20.3845909579754
 AND decimallatitude &lt;= 24.552553756517728
 AND decimallongitude &gt;= 5.192302436126305
 AND decimallongitude &lt;= 10.580091890460364
 AND GBIF_Within('POLYGON ((10.580092 20.384591, 10.580092 24.552554, 5.192302 24.552554, 5.192302 20.384591, 10.580092 20.384591))', decimallatitude, decimallongitude) = TRUE
 

 The dataset's 269 records were derived from 4 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0000718-260208012135463/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.15468/dl.bp263k
title: Occurrence Download

description: A dataset containing 2 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is Haniffia albiflora",
 "HasCoordinate is true",
 "BasisOfRecord is one of (Specimen)"
 ]
}

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

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

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

description: A dataset containing 894 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 Dudleya virens"
 ]
}

 The dataset includes 894 records from 23 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0000728-260208012135463/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.5281/zenodo.17200839
title: On JML Method-Level Specification Comprehension

description: This README file accompanies the SoSym submission titled

"On JML Method-Level Specification Comprehension"

The contents of the directory are as follows:

1. github_crawler.py and calculate_jml_stats.py - scripts used to mine the preliminary JML dataset, and to calculate the token frequencies

2. Consent.pdf and Instructions.pdf - the corresponding texts from the experiment website

3. dataset - a directory with the original Java methods and corresponding JML specifications used in our experiment, classified into folders according to the type the methods operate on and the return value.

4. frontend - a directory with *.jsx files (HTML and JavaScript code) that form together the experiment web interface

5. backend - a directory with the backend python code, consisting of:

5.1. specs - a folder organized into two subfolders: with_rewrite and without_rewrite. Contains the source code of the input/output pair generators for each specification. The files in with_rewrite folder contain the texts of the original and the rewritten JML specifications as used in the experiment, and the files in without_rewrite contain only the original JML specification texts

5.2. generator_validator.py - script to simulate executions of each pair generator and validate that the correct to incorrect pair ratio is 1:1

5.3. server.py - the Flask server-side script that generates test instances and performs the statistical analyses

5.4. Spec.py - contains code of the Spec class, from which all pair generators in the specs folder inherit

5.5. verify_specs.py - script to verify using OpenJML the correctness of the JML specifications against the corresponding Java code

6. raw_data.json - recorded response log during the execution of the experiment

7. experiment_numbers.json - general data regarding the experiment execution

8. spec_ranking.json - the full list of specifications ranked according to the comprehension difficulty score

9. rq1_regression.json - regression model analysis for RQ1 including corrected p-values

10. rq2+3+4.json - permutatation tests analysis for RQ2, RQ3, and RQ4 including corrected p-values
DOI: 10.5281/zenodo.18514505
title: On JML Method-Level Specification Comprehension

description: This README file accompanies the SoSym submission titled

"On JML Method-Level Specification Comprehension"

The contents of the directory are as follows:

1. github_crawler.py and calculate_jml_stats.py - scripts used to mine the preliminary JML dataset, and to calculate the token frequencies

2. Consent.pdf and Instructions.pdf - the corresponding texts from the experiment website

3. dataset - a directory with the original Java methods and corresponding JML specifications used in our experiment, classified into folders according to the type the methods operate on and the return value.

4. frontend - a directory with *.jsx files (HTML and JavaScript code) that form together the experiment web interface

5. backend - a directory with the backend python code, consisting of:

5.1. specs - a folder organized into two subfolders: with_rewrite and without_rewrite. Contains the source code of the input/output pair generators for each specification. The files in with_rewrite folder contain the texts of the original and the rewritten JML specifications as used in the experiment, and the files in without_rewrite contain only the original JML specification texts

5.2. generator_validator.py - script to simulate executions of each pair generator and validate that the correct to incorrect pair ratio is 1:1

5.3. server.py - the Flask server-side script that generates test instances and performs the statistical analyses

5.4. Spec.py - contains code of the Spec class, from which all pair generators in the specs folder inherit

5.5. verify_specs.py - script to verify using OpenJML the correctness of the JML specifications against the corresponding Java code

6. raw_data.json - recorded response log during the execution of the experiment

7. experiment_numbers.json - general data regarding the experiment execution

8. spec_ranking.json - the full list of specifications ranked according to the comprehension difficulty score

9. rq1_regression.json - regression model analysis for RQ1 including corrected p-values

10. rq2+3+4.json - permutatation tests analysis for RQ2, RQ3, and RQ4 including corrected p-values
DOI: 10.34740/kaggle/dsv/14771023
title: Peer-to-Peer Boliviano (BOB) Exchange Data
DOI: 10.15468/dl.appgds
title: Occurrence Download

description: A dataset containing 93 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is Hedychium densiflorum",
 "HasCoordinate is true",
 "BasisOfRecord is one of (Specimen)"
 ]
}

 The dataset includes 93 records from 10 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0000732-260208012135463/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.5281/zenodo.18523678
title: Dataset of groundwater level, precipitation, barometric pressure, and earth tide from three observation wells

description: Groundwater level, precipitation, barometric pressure, and earth tide data from three observation wells that used for quantifying dynamic recharge processes from precipitation.
DOI: 10.5281/zenodo.18523679
title: Dataset of groundwater level, precipitation, barometric pressure, and earth tide from three observation wells

description: Groundwater level, precipitation, barometric pressure, and earth tide data from three observation wells that used for quantifying dynamic recharge processes from precipitation.
DOI: 10.15468/dl.8wg2vx
title: Occurrence Download

description: A dataset containing 200 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 Dudleya viscida"
 ]
}

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

description: A dataset containing 208 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is Hedychium spicatum",
 "HasCoordinate is true",
 "BasisOfRecord is one of (Specimen)"
 ]
}

 The dataset includes 208 records from 19 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0000735-260208012135463/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.5281/zenodo.18523790
title: Index der Nachrichten aus der Brüdergemeine. Teil 1: Gemein-Nachrichten (ab 1765). Teil 2: Nachrichten aus der Brüder-Gemeine (1819-1894). Teil 3: Periodical Accounts (1790-1965). Teil 4: Beyträge zur Erbauung aus der Brüder-Gemeine (1817 und 1818). Teil 5: Mitteilungen aus der Brüdergemeine (1895-1941). Teil 6: Statistik.

description: Mit den Gemein-Nachrichten stellt das Unitätsarchiv Herrnhut der weltweiten Evangelischen Brüder-Unität - Herrnhuter Brüdergemeine (Unitas Fratrum / Moravian Church) das älteste und umfangreichste Mitteilungsblatt der Brüdergemeine digital zur Verfügung. Es enthält Berichte aus Gemeinden sowie dem Missions- und Diasporawerk der Brüdergemeine sowie Reden und Lebensläufe. Die Gemein-Nachrichten wurden ab 1765 in Fortsetzung des Jüngerhaus-Diariums (1747-1764) ausschließlich handschriftlich vervielfältigt.

In Druck gingen ab 1790 die englischsprachigen Periodical Accounts, zwischen 1817 und 1818 die Beyträge zur Erbauung aus der Brüder-Gemeine und zwischen 1819 und 1894 die Nachrichten aus der Brüder-Gemeine. Das Nachrichtenblatt fand in den Mitteilungen aus der Brüder-Gemeine zur Förderung christlicher Gemeinschaft ab 1895 bis 1941 seine Fortsetzung.

Der hier vorliegende Index schließt die Nachrichten aus der Brüdergemeine auf und verlinkt, wenn möglich, die Primärdigitalisate. Die Indizierung erfolgt im und für das Projekt #DigitalHerrnhut in virTUos (Virtuelles Lehren und Lernen an der TU Dresden im Open Source-Kontext), von 2021 bis 2025 gefördert von der Stiftung Innovation in der Hochschullehre, und im Rahmen des Moravian Knowledge Network.

Ab der Version v14 (12.09.2025) ist der Index gegliedert und deutlich erweitert und kann entsprechend zitiert werden:

Teil 1: Gemein-Nachrichten (ab 1765)Teil 2: Nachrichten aus der Brüder-Gemeine (1819-1894)Teil 3: Periodical Accounts (1790-1965) (in Bearbeitung)Teil 4: Beyträge zur Erbauung aus der Brüder-Gemeine (1817 und 1818)Teil 5: Mitteilungen aus der Brüdergemeine (1895-1941) (in Vorbereitung)Teil 6: Statistik
description: v16 | Korrekturen und Einbettung der Links zu den veröffentlichen dreisprachigen Arbeits- und Lesefassungen der Nachrichten. v15 | Deutliche Erweiterung des Indexes für die Periodical Accounts (nun bis 1844). Fehlerkorrektur des Indexes für einzelne Ausgaben der Gemein-Nachrichten (1765 und 1775).
DOI: 10.5281/zenodo.8228849
title: Index der Nachrichten aus der Brüdergemeine. Teil 1: Gemein-Nachrichten (ab 1765). Teil 2: Nachrichten aus der Brüder-Gemeine (1819-1894). Teil 3: Periodical Accounts (1790-1965). Teil 4: Beyträge zur Erbauung aus der Brüder-Gemeine (1817 und 1818). Teil 5: Mitteilungen aus der Brüdergemeine (1895-1941). Teil 6: Statistik.

description: Mit den Gemein-Nachrichten stellt das Unitätsarchiv Herrnhut der weltweiten Evangelischen Brüder-Unität - Herrnhuter Brüdergemeine (Unitas Fratrum / Moravian Church) das älteste und umfangreichste Mitteilungsblatt der Brüdergemeine digital zur Verfügung. Es enthält Berichte aus Gemeinden sowie dem Missions- und Diasporawerk der Brüdergemeine sowie Reden und Lebensläufe. Die Gemein-Nachrichten wurden ab 1765 in Fortsetzung des Jüngerhaus-Diariums (1747-1764) ausschließlich handschriftlich vervielfältigt.

In Druck gingen ab 1790 die englischsprachigen Periodical Accounts, zwischen 1817 und 1818 die Beyträge zur Erbauung aus der Brüder-Gemeine und zwischen 1819 und 1894 die Nachrichten aus der Brüder-Gemeine. Das Nachrichtenblatt fand in den Mitteilungen aus der Brüder-Gemeine zur Förderung christlicher Gemeinschaft ab 1895 bis 1941 seine Fortsetzung.

Der hier vorliegende Index schließt die Nachrichten aus der Brüdergemeine auf und verlinkt, wenn möglich, die Primärdigitalisate. Die Indizierung erfolgt im und für das Projekt #DigitalHerrnhut in virTUos (Virtuelles Lehren und Lernen an der TU Dresden im Open Source-Kontext), von 2021 bis 2025 gefördert von der Stiftung Innovation in der Hochschullehre, und im Rahmen des Moravian Knowledge Network.

Ab der Version v14 (12.09.2025) ist der Index gegliedert und deutlich erweitert und kann entsprechend zitiert werden:

Teil 1: Gemein-Nachrichten (ab 1765)Teil 2: Nachrichten aus der Brüder-Gemeine (1819-1894)Teil 3: Periodical Accounts (1790-1965) (in Bearbeitung)Teil 4: Beyträge zur Erbauung aus der Brüder-Gemeine (1817 und 1818)Teil 5: Mitteilungen aus der Brüdergemeine (1895-1941) (in Vorbereitung)Teil 6: Statistik
description: v16 | Korrekturen und Einbettung der Links zu den veröffentlichen dreisprachigen Arbeits- und Lesefassungen der Nachrichten. v15 | Deutliche Erweiterung des Indexes für die Periodical Accounts (nun bis 1844). Fehlerkorrektur des Indexes für einzelne Ausgaben der Gemein-Nachrichten (1765 und 1775).
DOI: 10.15468/dl.stdvr2
title: Occurrence Download

description: A dataset containing 9994 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 Echinocactus horizonthalonius"
 ]
}

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

description: A dataset containing 53 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is Kaempferia galanga",
 "HasCoordinate is true",
 "BasisOfRecord is one of (Specimen)"
 ]
}

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

description: A dataset containing 1633578 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is Charadrius hiaticula",
 "Continent is Europe",
 "HasCoordinate is true"
 ]
}

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