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

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

 The dataset includes 303 records from 19 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0005323-260126135527185/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.31180084.v1
title: supplementary materials

description: supplementary materials
DOI: 10.5281/zenodo.18373942
title: Experimental_FTIR_Characterisation_WP2_TSNUK

description: This dataset was generated as part of APPROACH project activities (specifically Task 2.5 of WP2), to support the characterization of advanced materials for energy storage, energy harvesting and nanogenerators. To the best of our knowledge, the influence of the preparation conditions and size effects on the structural and multiferroic properties of LuFeO3 nanoparticles (LFO NPs) are very poorly studied. To fill the gap in the knowledge, we use the combination of the Raman and Fourier-transform infrared (FTIR) spectroscopies, and theoretical approaches to establish the influence of sintering temperature and size effects on the properties of the LFO NPs. We revealed a gradual substitution of the hexagonal phase by the orthorhombic phase in the nanoparticles, with sintering temperature increasing from 700 to 1100 °С. The origin and stability of the hexagonal phase in the LuFeO3 nanoparticles are of the special interest, because the nanoparticles in the phase can be a room-temperature multiferroic with a weak ferromagnetic and pronounced structural and ferroelectric long-range ordering. The antiferromagnetic and nonpolar orthorhombic phase is more stable in the bulk LuFeO3. To define the ranges of the hexagonal phase stability, we determine the bulk and interface energy densities of different phases from the comparison of the Gibbs model with experimental results. Using effective parameters of the Gibbs model, we predict the influence of size effects and temperature on the structural and polar properties of the LuFeO3 nanoparticles. Analysis of the obtained results shows that the combination of the x-ray diffraction, Raman and infrared spectroscopies, magnetic measurements, and theoretical modeling of structural and polar properties allows us to establish the interplay between the phase composition, lattice dynamics, and multiferroic properties of the LuFeO3 nanoparticles prepared under different conditions.
DOI: 10.5281/zenodo.18373941
title: Experimental_FTIR_Characterisation_WP2_TSNUK

description: This dataset was generated as part of APPROACH project activities (specifically Task 2.5 of WP2), to support the characterization of advanced materials for energy storage, energy harvesting and nanogenerators. To the best of our knowledge, the influence of the preparation conditions and size effects on the structural and multiferroic properties of LuFeO3 nanoparticles (LFO NPs) are very poorly studied. To fill the gap in the knowledge, we use the combination of the Raman and Fourier-transform infrared (FTIR) spectroscopies, and theoretical approaches to establish the influence of sintering temperature and size effects on the properties of the LFO NPs. We revealed a gradual substitution of the hexagonal phase by the orthorhombic phase in the nanoparticles, with sintering temperature increasing from 700 to 1100 °С. The origin and stability of the hexagonal phase in the LuFeO3 nanoparticles are of the special interest, because the nanoparticles in the phase can be a room-temperature multiferroic with a weak ferromagnetic and pronounced structural and ferroelectric long-range ordering. The antiferromagnetic and nonpolar orthorhombic phase is more stable in the bulk LuFeO3. To define the ranges of the hexagonal phase stability, we determine the bulk and interface energy densities of different phases from the comparison of the Gibbs model with experimental results. Using effective parameters of the Gibbs model, we predict the influence of size effects and temperature on the structural and polar properties of the LuFeO3 nanoparticles. Analysis of the obtained results shows that the combination of the x-ray diffraction, Raman and infrared spectroscopies, magnetic measurements, and theoretical modeling of structural and polar properties allows us to establish the interplay between the phase composition, lattice dynamics, and multiferroic properties of the LuFeO3 nanoparticles prepared under different conditions.
DOI: 10.15468/dl.bthcp9
title: Occurrence Download

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

 The dataset includes 1120 records from 90 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0005324-260126135527185/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.5281/zenodo.18409244
title: CE-Bench

description: Overview

This project focuses on investigating the capabilities of large language models (LLMs) in identifying spurious counterexamples during program verification processes. The core challenge addressed is determining whether counterexamples generated during verification are genuine violations or artifacts of the proof technique.

 

Benchmark Construction Methodology

 

Our benchmark construction employs two distinct approaches to generate spurious counterexamples:

 



Approach 1: Invariant Generation-Based Method


1.Utilize the invariant generation tool LaM4Inv to generate clauses via large language models

 2.Apply SMT solvers to get inductive counterexamples

 



Approach 2: Boundary State Analysis Method


1. Use OMT solving on the entire inductive invariant obtained from LaM4Inv to derive boundary values for each variable

2. Determine the corresponding boundary states

 

TAG

1. For states satisfying the program's precondition:

- Insert the state back at the beginning of the original C program's loop

2. For states not satisfying the precondition:

- Insert the state at the end of the loop body

3. Insert assertion in the loop body: `assert(!(target state));`

4. Ultimate Automizer:

- FALSE (counterexample) → state is reachable → (must GENUINE)

- TRUE (no counterexample) → state is unreachable (must SPURIOUS)

- UNKNOWN (not unsed) → cannot decide

 

Research Goals

This project aims to evaluate and enhance the ability of LLMs to distinguish between genuine and spurious counterexamples in formal program verification, contributing to more robust and reliable verification methodologies.
DOI: 10.5281/zenodo.18409245
title: CE-Bench

description: Overview

This project focuses on investigating the capabilities of large language models (LLMs) in identifying spurious counterexamples during program verification processes. The core challenge addressed is determining whether counterexamples generated during verification are genuine violations or artifacts of the proof technique.

 

Benchmark Construction Methodology

 

Our benchmark construction employs two distinct approaches to generate spurious counterexamples:

 



Approach 1: Invariant Generation-Based Method


1.Utilize the invariant generation tool LaM4Inv to generate clauses via large language models

 2.Apply SMT solvers to get inductive counterexamples

 



Approach 2: Boundary State Analysis Method


1. Use OMT solving on the entire inductive invariant obtained from LaM4Inv to derive boundary values for each variable

2. Determine the corresponding boundary states

 

TAG

1. For states satisfying the program's precondition:

- Insert the state back at the beginning of the original C program's loop

2. For states not satisfying the precondition:

- Insert the state at the end of the loop body

3. Insert assertion in the loop body: `assert(!(target state));`

4. Ultimate Automizer:

- FALSE (counterexample) → state is reachable → (must GENUINE)

- TRUE (no counterexample) → state is unreachable (must SPURIOUS)

- UNKNOWN (not unsed) → cannot decide

 

Research Goals

This project aims to evaluate and enhance the ability of LLMs to distinguish between genuine and spurious counterexamples in formal program verification, contributing to more robust and reliable verification methodologies.
DOI: 10.34740/kaggle/dsv/14660948
title: Peer-to-Peer Boliviano (BOB) Exchange Data
DOI: 10.15468/dl.9gdydd
title: Occurrence Download

description: A dataset containing 5670 records in GBIF matching the query:
SELECT
 '567' AS fish_cell,
 GBIF_MGRSCode(1000, decimalLatitude, decimalLongitude, 0) AS cell, -- NO randomization
 COUNT(DISTINCT speciesKey) AS species_richness
 FROM occurrence
 WHERE hasCoordinate = TRUE
 AND speciesKey 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 decimalLatitude &gt;= 61.2993700571118
 AND decimalLatitude &lt;= 66.79314043790278
 AND decimalLongitude &gt;= -143.68062767411325
 AND decimalLongitude &lt;= -118.65636510707594
 AND "year" &gt;= 2015
 AND "year" &lt;= 2026
 AND (coordinateUncertaintyInMeters &lt;= 100 OR coordinateUncertaintyInMeters IS NULL)
 GROUP BY fish_cell, cell

 The dataset's 5670 records were derived from 52 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0005319-260126135527185/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.29966248.v1
title: <b>Multi-omics analysis of associations between host demographics and saliva metabolome, sugar profiles, and microbiome profiles</b>

description: Omics profiling of saliva is an emerging research area with potential to uncover molecular signatures associated with oral and systemic health.
DOI: 10.34740/kaggle/dsv/14660915
title: Daily Public Opinion on Israel-Palestine War
DOI: 10.15468/dl.4k34hn
title: Occurrence Download

description: A dataset containing 93540 species occurrences available in GBIF matching the query:
{
 "and" : [
 "BasisOfRecord is Human Observation",
 {
 "or" : [
 "Geometry POLYGON((127.6443 36.717,127.6331 36.7614,127.6005 36.8006,127.5534 36.8254,127.499 36.8338,127.4446 36.8254,127.3975 36.8006,127.3649 36.7614,127.3537 36.717,127.3649 36.6726,127.3975 36.6334,127.4446 36.6086,127.499 36.6002,127.5534 36.6086,127.6005 36.6334,127.6331 36.6726,127.6443 36.717))",
 "Geometry POLYGON((129.0805 35.1796,129.0694 35.224,129.038 35.2632,128.9929 35.288,128.9386 35.2964,128.8843 35.288,128.8392 35.2632,128.8078 35.224,128.7967 35.1796,128.8078 35.1352,128.8392 35.096,128.8843 35.0712,128.9386 35.0628,128.9929 35.0712,129.038 35.096,129.0694 35.1352,129.0805 35.1796))",
 "Geometry POLYGON((126.9492 37.5583,126.9378 37.6027,126.9048 37.6419,126.857 37.6667,126.8013 37.6751,126.7456 37.6667,126.6978 37.6419,126.6648 37.6027,126.6534 37.5583,126.6648 37.5139,126.6978 37.4747,126.7456 37.4499,126.8013 37.4415,126.857 37.4499,126.9048 37.4747,126.9378 37.5139,126.9492 37.5583))"
 ]
 },
 "OccurrenceStatus is Present",
 "TaxonKey is Aves",
 "Year 2020-2025"
 ]
}

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

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

 The dataset includes 70 records from 10 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0005326-260126135527185/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.31157608
title: Supplementary materials from "Abyssal cradle: flatworm egg capsules on a deep-sea sea spider, with an integrative redescription of <i>Ascorhynchus mariae</i> Turpaeva, 1971"

description: The 18S and 28S rRNA dataset comprises sequences of flatworm egg capsule (INSD accession numbers LC909289, 18S; LC909288, 28S) examined in a submitted paper entitled "Abyssal cradle: flatworm egg capsules on a deep-sea sea spider, with an integrative redescription of <i>Ascorhynchus mariae</i> Turpaeva, 1971" and 31 trigonostomid and five adenorhynchid (outgroup) taxa."Sup.S1_Trigonostomidae_E_001_18S_mafft.fasta" and "Sup.S2_Trigonostomidae_E_001_28S_mafft.fasta" are ones that were aligned by using the Q-INS-i strategy in MAFFT ver. 7."Sup.S3_Trigonostomidae_E_001_18S_mafft_Gblocks_Cleaned_sequences_Short.fas" and "Sup.S4_Trigonostomidae_E_001_28S_mafft_Gblocks_Cleaned_sequences_Short.fas" represent the trimmed version of two files above; they were trimmed in MEGA7 to match the shortest length.The latter two files were used for a ML analysis in Sekiguchi & Kakui
DOI: 10.6084/m9.figshare.31157608.v2
title: Supplementary data S1

description: 18S dataset for 37 rhabdocoel taxa in fasta format, before removing alignment-ambiguous sites and shortening.
DOI: 10.6084/m9.figshare.31157608.v3
title: Supplementary materials from "Abyssal cradle: flatworm egg capsules on a deep-sea sea spider, with an integrative redescription of <i>Ascorhynchus mariae</i> Turpaeva, 1971"

description: The 18S and 28S rRNA dataset comprises sequences of flatworm egg capsule (INSD accession numbers LC909289, 18S; LC909288, 28S) examined in a submitted paper entitled "Abyssal cradle: flatworm egg capsules on a deep-sea sea spider, with an integrative redescription of <i>Ascorhynchus mariae</i> Turpaeva, 1971" and 31 trigonostomid and five adenorhynchid (outgroup) taxa."Sup.S1_Trigonostomidae_E_001_18S_mafft.fasta" and "Sup.S2_Trigonostomidae_E_001_28S_mafft.fasta" are ones that were aligned by using the Q-INS-i strategy in MAFFT ver. 7."Sup.S3_Trigonostomidae_E_001_18S_mafft_Gblocks_Cleaned_sequences_Short.fas" and "Sup.S4_Trigonostomidae_E_001_28S_mafft_Gblocks_Cleaned_sequences_Short.fas" represent the trimmed version of two files above; they were trimmed in MEGA7 to match the shortest length.The latter two files were used for a ML analysis in Sekiguchi & Kakui
DOI: 10.15468/dl.nhpk36
title: Occurrence Download

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

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

description: A dataset containing 128039 species occurrences available in GBIF matching the query:
{
 "and" : [
 "Country is Ecuador",
 "Year 2024-2025"
 ]
}

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

description: A dataset containing 70203 species occurrences available in GBIF matching the query:
{
 "and" : [
 "Country is Ecuador",
 "HasCoordinate is true",
 "HasGeospatialIssue is false",
 "OccurrenceStatus is Present",
 "Year 1000-1955"
 ]
}

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

description: A dataset containing 0 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is Barbantus curvifrons (Roule & Angel, 1931)",
 "HasCoordinate is true",
 "HasGeospatialIssue is false",
 "BasisOfRecord is one of (Specimen, Living Specimen, Observation, Human Observation, Machine Observation, Material sample, Literature Occurrence, Material citation, Occurrence evidence)",
 "Geometry POLYGON ((40.3006 -16.7147,40.6365 -16.1504,35.9648 -16.1504,35.9648 -19.5556,36.0796 -19.4498,36.663 -19.2358,37.5966 -18.1093,38.5624 -17.638,39.3949 -17.5133,39.577 -17.186,40.3006 -16.7147))"
 ]
}

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

description: A dataset containing 0 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is Barbantus curvifrons (Roule & Angel, 1931)",
 "HasCoordinate is true",
 "HasGeospatialIssue is false",
 "BasisOfRecord is one of (Specimen, Living Specimen, Observation, Human Observation, Machine Observation, Material sample, Literature Occurrence, Material citation, Occurrence evidence)",
 "Geometry POLYGON ((35.9919 -21.4718,35.9648 -21.4413,35.9648 -24.1383,36.0558 -23.8719,35.9919 -21.4718))"
 ]
}

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

description: A dataset containing 49909 species occurrences available in GBIF matching the query:
{
 "and" : [
 "Country is Ecuador",
 "HasCoordinate is true",
 "HasGeospatialIssue is false",
 "OccurrenceStatus is Present",
 "Year 1000-1941"
 ]
}

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

description: A dataset containing 0 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is Barbantus curvifrons (Roule & Angel, 1931)",
 "HasCoordinate is true",
 "HasGeospatialIssue is false",
 "BasisOfRecord is one of (Specimen, Living Specimen, Observation, Human Observation, Machine Observation, Material sample, Literature Occurrence, Material citation, Occurrence evidence)",
 "Geometry POLYGON ((44.9648 10.8496,35.9648 10.8496,35.9648 1.8496,44.9648 1.8496,44.9648 10.8496))"
 ]
}

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

description: A dataset containing 75 species occurrences available in GBIF matching the query:
{
 "and" : [
 "Country is United States of America",
 "TaxonKey is Sargassum muticum Yendo"
 ]
}

 The dataset includes 75 records from 5 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0014205-250525065834625/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.6073/pasta/546b30faff1580a2c1d5bbc977f00148
title: Vegetation and physical characteristics of Chesapeake Bay retreating Coastal Forests 2022-2024

description: This data set contains biomass and physical data across an upland forest to marsh transition. These measurements are taken at 5 sites around the Chesapeake and Delaware Bays. Data is collected at up to 5 ectones across the upland to marsh (High Marsh, Transition Zone, Low, Mid and High Forest). These ecotone definitions follow Smith et al. 2019, https://doi.org/10.6073/pasta/4524c22708628eb7f06d174edae89ff2).
DOI: 10.15468/dl.e3c9de
title: Occurrence Download

description: A dataset containing 0 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is Barbantus curvifrons (Roule & Angel, 1931)",
 "HasCoordinate is true",
 "HasGeospatialIssue is false",
 "BasisOfRecord is one of (Specimen, Living Specimen, Observation, Human Observation, Machine Observation, Material sample, Literature Occurrence, Material citation, Occurrence evidence)",
 "Geometry POLYGON ((44.9096 1.1987,44.9648 1.2321,44.9648 1.8496,35.9648 1.8496,35.9648 -7.1504,40.3029 -7.1504,40.4263 -6.8134,40.0733 -6.4249,39.9535 -5.9102,40.3587 -5.2718,40.3515 -4.7573,40.0702 -4.4392,40.3811 -3.7186,40.7402 -3.0348,41.8195 -2.1723,43.8399 0.2902,44.9096 1.1987))"
 ]
}

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

description: A dataset containing 0 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is Barbantus curvifrons (Roule & Angel, 1931)",
 "HasCoordinate is true",
 "HasGeospatialIssue is false",
 "BasisOfRecord is one of (Specimen, Living Specimen, Observation, Human Observation, Machine Observation, Material sample, Literature Occurrence, Material citation, Occurrence evidence)",
 "Geometry POLYGON ((36.2225 24.1647,35.9648 24.4806,35.9648 19.8496,37.7519 19.8496,37.7005 20.2556,37.7935 21.209,37.3891 21.7756,37.3588 22.2459,36.8499 22.7968,36.6611 23.2461,36.1736 23.4033,36.31 23.7463,36.2225 24.1647))"
 ]
}

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

description: A dataset containing 0 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is Barbantus curvifrons (Roule & Angel, 1931)",
 "HasCoordinate is true",
 "HasGeospatialIssue is false",
 "BasisOfRecord is one of (Specimen, Living Specimen, Observation, Human Observation, Machine Observation, Material sample, Literature Occurrence, Material citation, Occurrence evidence)",
 "Geometry POLYGON ((37.8208 19.3058,37.7519 19.8496,35.9648 19.8496,35.9648 10.8496,44.9648 10.8496,44.9648 11.0757,44.5079 10.8984,44.021 11.3535,43.8449 12.4869,43.4392 13.1773,42.7805 13.6576,42.3014 14.2854,41.9925 14.3935,41.4722 15.0272,40.477 15.6908,40.2575 16.0951,39.9024 16.3482,38.9748 18.3342,37.8208 19.3058))"
 ]
}

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

description: A dataset containing 70203 species occurrences available in GBIF matching the query:
{
 "and" : [
 "Country is Ecuador",
 "HasCoordinate is true",
 "HasGeospatialIssue is false",
 "OccurrenceStatus is Present",
 "Year 1000-1955"
 ]
}

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