cometadata/datacite-titles-descriptions-related-identifiers huggingface dataset:
DOI: 10.15468/dl.g7rqeq
title: Occurrence Download

description: A dataset containing 349535 species occurrences available in GBIF matching the query:
{
 "and" : [
 "Country is Australia",
 "HasCoordinate is true",
 "Year is 1976"
 ]
}

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

description: A dataset containing 825 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is Dicentra formosa",
 "Country is Netherlands",
 "HasCoordinate is true"
 ]
}

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

description: A dataset containing 0 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is Dicentra formosa",
 "Country is Lithuania",
 "HasCoordinate is true"
 ]
}

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

description: A dataset containing 239 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is Dicentra formosa",
 "Country is Norway",
 "HasCoordinate is true"
 ]
}

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

description: A dataset containing 2959 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is Citrus limon",
 "HasCoordinate is true",
 "HasGeospatialIssue is false",
 "OccurrenceStatus is Present"
 ]
}

 The dataset includes 2959 records from 363 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0014295-250920141307145/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.30204634.v1
title: <b>Mineral-microbial synergy prolongs carbon turnover in coastal wetlands through the burial of pre-aged allochthonous materials</b>

description: Coastal margins are critical sites for carbon (C) storage, yet our understanding of how pre-aged, allochthonous C is stabilized in these environments remains incomplete. The interplay between mineral association, microbial processing, and the <sup>14</sup>C-age of stored C represents a significant knowledge gap in blue carbon science. Here, we investigated C storage mechanisms in Chinese mangrove and saltmarsh soils by analyzing topsoils and cores across a 20-degree latitudinal transect. We found that C-depleted saltmarshes exhibited significantly longer soil organic C (SOC) turnover times than C-enriched mangroves (2200 vs. ~500 years in topsoils, respectively). The longer turnover times in saltmarshes corresponded to higher proportions of pre-aged (~50%) and petrogenic (~20%) SOC, as well as a greater fraction of mineral-associated organic C (MAOC). Furthermore, our results revealed a crucial, depth-dependent synergy between microbial processes and long-term stabilization. While microbial necromass accumulation was a key driver of C turnover in surface soils, the degree of lignin degradation emerged as the primary control on C persistence at depth in multi-millennial time scale. Our findings provide compelling evidence that coastal wetlands effectively store old, allochthonous C through a mineral-microbial synergy.
DOI: 10.6084/m9.figshare.30204634
title: <b>Mineral-microbial synergy prolongs carbon turnover in coastal wetlands through the burial of pre-aged allochthonous materials</b>

description: Coastal margins are critical sites for carbon (C) storage, yet our understanding of how pre-aged, allochthonous C is stabilized in these environments remains incomplete. The interplay between mineral association, microbial processing, and the <sup>14</sup>C-age of stored C represents a significant knowledge gap in blue carbon science. Here, we investigated C storage mechanisms in Chinese mangrove and saltmarsh soils by analyzing topsoils and cores across a 20-degree latitudinal transect. We found that C-depleted saltmarshes exhibited significantly longer soil organic C (SOC) turnover times than C-enriched mangroves (2200 vs. ~500 years in topsoils, respectively). The longer turnover times in saltmarshes corresponded to higher proportions of pre-aged (~50%) and petrogenic (~20%) SOC, as well as a greater fraction of mineral-associated organic C (MAOC). Furthermore, our results revealed a crucial, depth-dependent synergy between microbial processes and long-term stabilization. While microbial necromass accumulation was a key driver of C turnover in surface soils, the degree of lignin degradation emerged as the primary control on C persistence at depth in multi-millennial time scale. Our findings provide compelling evidence that coastal wetlands effectively store old, allochthonous C through a mineral-microbial synergy.
DOI: 10.5281/zenodo.15473411
title: Data underpinning "Universal quench dynamics of lattice q fermion Yukawa Sachdev-Ye-Kitaev model"

description:  We study the quantum quench of the Yukawa Sachdev-Ye-Kitaev model and one of its lattice extensions with $q$ fermions and one boson. Several equilibrium properties are computed for general $q$ with different parameter scaling within the large-$N$ dynamical mean field scheme. The non-Fermi liquid quench dynamics are studied by integrating the Kadanoff-Baym equations for switching off the lattice term with constant Yukawa coupling or quenching to different final Yukawa couplings. The post-quench oscillations and relaxation dynamics are insensitive to the quench amplitudes deep inside the non-Fermi liquid phase. With weak lattice coupling quenches, we find universal thermalization dynamics similar to the SYK model; however, with two temperatures and two distinct relaxation rates for bosons and fermions, both signal Planckian relaxations without quasiparticles, as in strange metals.
DOI: 10.5281/zenodo.15473412
title: Data underpinning "Universal quench dynamics of lattice q fermion Yukawa Sachdev-Ye-Kitaev model"

description:  We study the quantum quench of the Yukawa Sachdev-Ye-Kitaev model and one of its lattice extensions with $q$ fermions and one boson. Several equilibrium properties are computed for general $q$ with different parameter scaling within the large-$N$ dynamical mean field scheme. The non-Fermi liquid quench dynamics are studied by integrating the Kadanoff-Baym equations for switching off the lattice term with constant Yukawa coupling or quenching to different final Yukawa couplings. The post-quench oscillations and relaxation dynamics are insensitive to the quench amplitudes deep inside the non-Fermi liquid phase. With weak lattice coupling quenches, we find universal thermalization dynamics similar to the SYK model; however, with two temperatures and two distinct relaxation rates for bosons and fermions, both signal Planckian relaxations without quasiparticles, as in strange metals.
DOI: 10.15468/dl.6wkk3k
title: Occurrence Download

description: A dataset listing the 2101 species recorded in GBIF matching the query:
{
 "and" : [
 "Country is Chinese Taipei",
 "Geometry POLYGON((121.93309 24.83461,121.965 24.83461,121.965 24.85166,121.93309 24.85166,121.93309 24.83461))",
 "OccurrenceStatus is Present"
 ]
}

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

description: A dataset containing 978 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is one of (Mergus squamatus)",
 "HasCoordinate is true",
 "Country is China"
 ]
}

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

description: A dataset containing 839 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is Dicentra formosa",
 "Country is Sweden",
 "HasCoordinate is true"
 ]
}

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

description: A dataset containing 1176818 species occurrences available in GBIF matching the query:
{
 "and" : [
 "DatasetKey is iNaturalist Research-grade Observations",
 "HasCoordinate is true",
 "HasGeospatialIssue is false",
 "Country is one of (Canada, Mexico, United States of America)",
 "EventDate is greater than or equal to 2025-07-30",
 "EventDate is less than or equal to 2025-08-29",
 {
 "not" : {
 "Issue" : [
 "is one of (Basis of record invalid, Coordinate reprojection failed, Coordinate reprojection suspicious, Coordinate precision invalid, Coordinate uncertainty meters invalid, Country mismatch, Country invalid, Geodetic datum invalid, Presumed swapped coordinate, Presumed negated longitude, Presumed negated latitude, Country coordinate mismatch)"
 ]
 }
 },
 "OccurrenceStatus is Present"
 ]
}

 The dataset includes 1176818 records from 1 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0014271-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.16251277
title: The role of breathing mode in band topology and multiferroics in two-dimensional kagome magnets

description: Here, we predict a new family of kagome materials with breathing mode, Zr$_3X_8$ (\emph{X} = Cl, Br, I), and reveal the role of breathing mode in band topology, electronic property, ferroelectricity, and magnetism. Although the breathing mode can only open a topologically trivial band gap at the Dirac point, its gradual enhancement can induce a topological phase transition from a non-trivial to a trivial insulator due to the competitive effect between the breathing mode and spin-orbit coupling in modulating the band gap. The breathing mode induces out-of-plane ferroelectric polarization through a linear coupling effect with the polar displacement mode, and the ferroelectric switching is accomplished by the simultaneous reversal of the two modes. The magnetic ground states change from stripe antiferromagnetic to ferromagnetic phase with increasing anion radius.
DOI: 10.5281/zenodo.17196965
title: The role of breathing mode in band topology and multiferroics in two-dimensional kagome magnets

description: Here, we predict a new family of kagome materials with breathing mode, Zr$_3X_8$ (\emph{X} = Cl, Br, I), and reveal the role of breathing mode in band topology, electronic property, ferroelectricity, and magnetism. Although the breathing mode can only open a topologically trivial band gap at the Dirac point, its gradual enhancement can induce a topological phase transition from a non-trivial to a trivial insulator due to the competitive effect between the breathing mode and spin-orbit coupling in modulating the band gap. The breathing mode induces out-of-plane ferroelectric polarization through a linear coupling effect with the polar displacement mode, and the ferroelectric switching is accomplished by the simultaneous reversal of the two modes. The magnetic ground states change from stripe antiferromagnetic to ferromagnetic phase with increasing anion radius.
DOI: 10.15468/dl.xycfp7
title: Occurrence Download

description: A dataset containing 266 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is Dicentra formosa",
 "Country is United Kingdom of Great Britain and Northern Ireland",
 "HasCoordinate is true"
 ]
}

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

description: A dataset containing 1559 species occurrences available in GBIF matching the query:
{
 "and" : [
 "OccurrenceStatus is Present",
 "TaxonKey is Atractus crassicaudatus (Duméril, Bibron & Duméril, 1854)"
 ]
}

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

description: A dataset containing 0 species occurrences available in GBIF matching the query:
{
 "Geometry" : [
 "POLYGON ((149.788847 -32.742036, 149.788847 -32.744281, 149.793338 -32.744281, 149.793338 -32.742036, 149.788847 -32.742036))"
 ]
}

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

description: A dataset containing 0 species occurrences available in GBIF matching the query:
{
 "Geometry" : [
 "POLYGON ((148.281916 -32.744281, 148.281916 -32.748773, 148.284161 -32.748773, 148.284161 -32.744281, 148.281916 -32.744281))"
 ]
}

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

description: A dataset containing 15102 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Vaccinium angustifolium Aiton"
 ]
}

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

description: A dataset containing 3771 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is one of (Hypochaeris achyrophorus L.)",
 "HasCoordinate is true",
 "OccurrenceStatus is Present",
 "HasGeospatialIssue is false",
 {
 "not" : {
 "BasisOfRecord" : [
 "is one of (Fossil, Living Specimen)"
 ]
 }
 },
 {
 "or" : [
 {
 "not" : {
 "EstablishmentMeans" : [
 "is one of (MANAGED, INTRODUCED)"
 ]
 }
 },
 "EstablishmentMeans is null"
 ]
 }
 ]
}

 The dataset includes 3771 records from 77 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0056162-240626123714530/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.26519857
title: Cusanovich_Cell_2018

description: Cell type label and clustering files csv file.This dataset was not generated by our lab. Please also give credit to the source the dataset was retrieved from, included in reference field.
DOI: 10.6084/m9.figshare.26519857.v1
title: Cusanovich_Cell_2018

description: Cell type label and clustering files csv file.This dataset was not generated by our lab. Please also give credit to the source the dataset was retrieved from, included in reference field.
DOI: 10.15468/dl.7tstbk
title: Occurrence Download

description: A dataset containing 2 species occurrences available in GBIF matching the query:
{
 "Geometry" : [
 "MULTIPOLYGON (((148.834382 -32.744281, 148.836628 -32.744281, 148.836628 -32.742036, 148.834382 -32.742036, 148.834382 -32.744281)), ((148.834382 -32.744281, 148.829891 -32.744281, 148.829891 -32.748773, 148.827645 -32.748773, 148.827645 -32.751019, 148.829891 -32.751019, 148.829891 -32.753265, 148.834382 -32.753265, 148.834382 -32.748773, 148.832136 -32.748773, 148.832136 -32.746527, 148.834382 -32.746527, 148.834382 -32.744281)))"
 ]
}

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

description: A dataset containing 3771 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is one of (Hypochaeris achyrophorus L.)",
 "HasCoordinate is true",
 "OccurrenceStatus is Present",
 "HasGeospatialIssue is false",
 {
 "not" : {
 "BasisOfRecord" : [
 "is one of (Fossil, Living Specimen)"
 ]
 }
 },
 {
 "or" : [
 {
 "not" : {
 "EstablishmentMeans" : [
 "is one of (MANAGED, INTRODUCED)"
 ]
 }
 },
 "EstablishmentMeans is null"
 ]
 }
 ]
}

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

description: A dataset containing 3771 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is one of (Hypochaeris achyrophorus L.)",
 "HasCoordinate is true",
 "OccurrenceStatus is Present",
 "HasGeospatialIssue is false",
 {
 "not" : {
 "BasisOfRecord" : [
 "is one of (Fossil, Living Specimen)"
 ]
 }
 },
 {
 "or" : [
 {
 "not" : {
 "EstablishmentMeans" : [
 "is one of (MANAGED, INTRODUCED)"
 ]
 }
 },
 "EstablishmentMeans is null"
 ]
 }
 ]
}

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

description: A dataset containing 162 species occurrences available in GBIF matching the query:
{
 "and" : [
 "OccurrenceStatus is Present",
 "TaxonKey is Gobionotothen acuta (Günther, 1880)"
 ]
}

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

description: A dataset containing 0 species occurrences available in GBIF matching the query:
{
 "Geometry" : [
 "POLYGON ((148.863578 -32.744281, 148.863578 -32.748773, 148.865823 -32.748773, 148.865823 -32.744281, 148.863578 -32.744281))"
 ]
}

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

description: A dataset containing 1 species occurrences available in GBIF matching the query:
{
 "Geometry" : [
 "POLYGON ((148.868069 -32.744281, 148.868069 -32.751019, 148.872561 -32.751019, 148.872561 -32.748773, 148.874807 -32.748773, 148.874807 -32.744281, 148.868069 -32.744281))"
 ]
}

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

description: A dataset containing 47604 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is Plecotus auritus (Linnaeus, 1758)",
 "HasCoordinate is true",
 "Year is greater than or equal to 2011",
 "Year is less than or equal to 2024"
 ]
}

 The dataset includes 47604 records from 985 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0056169-240626123714530/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.5281/zenodo.10987688
title: A SAT Benchmark Suite for LTL Specification Sketching

description: LTL_Sketcher-SAT_Benchmark

This repository contains a set of formulas in Propositional Boolean Logic.These formulas are generated during the execution of our LTLSketcher tool.Given an LTL sketch (i.e., a partial LTL formula) and a sample (i.e., a set of program executions labeled desired and undesired), the tool solves the LTL sketching problem, i.e., complete the sketch to a specification consistent with the data. (feel freet to check out our paper for more information on this problem)In essence, this is done by reducing the problem to a series of formulas in Propositional Boolean Logic and checking their satisfiability.

Naming convention:

This repository contains each formula both in the DIMACS and SMTLib format.Each file follows the same naming convention:

type__sample-file__sketch__size__algorithm-configuration__satisifability

type: indicates whether the formula is stored in the DIMACS or SMTLib formatsample-file: refers to the sample (cf., here) used by the LTLSketcher toolsketch: refers to the sketch (cf., See experimental evaluation of our paper) used by the LTLSketcher toolsize: refers to the size of the complete solution (i.e., the number of subformulas of the complete specification)algorithm-configuration: our algorithm can be extended by two heuristics (BMC and suffix), this indicates which combination of heuristics was used (none, either one of the two, both)satisfiability: indicates whether the formula is satisfiable or not
DOI: 10.5281/zenodo.10987689
title: A SAT Benchmark Suite for LTL Specification Sketching

description: LTL_Sketcher-SAT_Benchmark

This repository contains a set of formulas in Propositional Boolean Logic.These formulas are generated during the execution of our LTLSketcher tool.Given an LTL sketch (i.e., a partial LTL formula) and a sample (i.e., a set of program executions labeled desired and undesired), the tool solves the LTL sketching problem, i.e., complete the sketch to a specification consistent with the data. (feel freet to check out our paper for more information on this problem)In essence, this is done by reducing the problem to a series of formulas in Propositional Boolean Logic and checking their satisfiability.

Naming convention:

This repository contains each formula both in the DIMACS and SMTLib format.Each file follows the same naming convention:

type__sample-file__sketch__size__algorithm-configuration__satisifability

type: indicates whether the formula is stored in the DIMACS or SMTLib formatsample-file: refers to the sample (cf., here) used by the LTLSketcher toolsketch: refers to the sketch (cf., See experimental evaluation of our paper) used by the LTLSketcher toolsize: refers to the size of the complete solution (i.e., the number of subformulas of the complete specification)algorithm-configuration: our algorithm can be extended by two heuristics (BMC and suffix), this indicates which combination of heuristics was used (none, either one of the two, both)satisfiability: indicates whether the formula is satisfiable or not