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

description: A dataset containing 291 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Bombus funebris Smith, 1854"
 ]
}

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

description: A dataset containing 302 species occurrences available in GBIF matching the query:
{
 "and" : [
 "Country is China",
 "HasCoordinate is true",
 "HasGeospatialIssue is false",
 "TaxonKey is Stipa grandis P.A.Smirn."
 ]
}

 The dataset includes 302 records from 6 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0050084-231120084113126/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.25582/data.2019-10.1859475/2365396
title: Data for EMSL Project 48666 from October 2019
DOI: 10.15468/dl.zpe8qj
title: Occurrence Download

description: A dataset containing 3232 species occurrences available in GBIF matching the query:
{
 "and" : [
 {
 "and" : [
 "HasGeospatialIssue is false",
 "HasCoordinate is true",
 "OccurrenceStatus is Present",
 {
 "not" : {
 "BasisOfRecord" : [
 "is one of (Fossil, Living Specimen)"
 ]
 }
 }
 ]
 },
 "TaxonKey is Platyrinchus platyrhynchos (Gmelin, 1788)"
 ]
}

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

description: A dataset containing 13 species occurrences available in GBIF matching the query:
{
 "and" : [
 "OccurrenceStatus is Present",
 "TaxonKey is Cololejeunea aoshimensis (Horik.) Mizut."
 ]
}

 The dataset includes 13 records from 7 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0061218-220831081235567/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.25582/data.2019-06.1790330/2365397
title: Data for EMSL Project 48666 from June 2019
DOI: 10.15468/dl.t34zwa
title: Occurrence Download

description: A dataset containing 77488 species occurrences available in GBIF matching the query:
{
 "and" : [
 "DatasetKey is Observation.org, Nature data from around the World",
 "GadmGid is HRV",
 "OccurrenceStatus is Present",
 "TaxonKey is Aves"
 ]
}

 The dataset includes 77488 records from 1 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0050083-231120084113126/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.25582/data.2019-10.1858935/2365398
title: Data for EMSL Project 48666 from October 2019
DOI: 10.15468/dl.kjypse
title: Occurrence Download

description: A dataset containing 3427 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Diplorhynchus condylocarpon (Müll.Arg.) Pichon"
 ]
}

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

description: A dataset containing 48217041 species occurrences available in GBIF matching the query:
{
 "and" : [
 "Continent is Europe",
 "Country is one of (United Kingdom of Great Britain and Northern Ireland, Finland, France, Sweden, Netherlands, Norway, Belgium, Germany, Switzerland, Austria, Spain, Italy, Portugal, Iceland, Denmark, Liechtenstein, Luxembourg, Poland, Czechia, Ireland, Estonia, Slovakia, Slovenia, Latvia, Lithuania, Hungary, Croatia, Greece, Serbia, North Macedonia, Albania, Montenegro, Kosovo, Bosnia and Herzegovina, Romania, Bulgaria, Belarus, Moldova, Republic of, Isle of Man, Andorra, Ukraine)",
 "Geometry POLYGON((-20 20,60 20,60 72,-20 72,-20 20))",
 "HasCoordinate is true",
 "HasGeospatialIssue is false",
 "Month is one of (March, April, May, June, July, August, September)",
 "OccurrenceStatus is Present",
 "TaxonKey is Lepidoptera",
 "Year 1950-2014"
 ]
}

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

description: A dataset containing 421829 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is one of (Cerastium fontanum Baumg.)",
 "BasisOfRecord is one of (Specimen, Human Observation, Observation, Living Specimen, Machine Observation, Literature Occurrence)",
 "Geometry POLYGON((-180 -90,180 -90,180 90,-180 90,-180 -90))",
 "HasCoordinate is true",
 "HasGeospatialIssue is false",
 "Year is greater than or equal to 1945"
 ]
}

 The dataset includes 421829 records from 1851 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0008217-250402121839773/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.5281/zenodo.14140688
title: acanthocercus_annectans_decontaminated_FSCR.fasta.gz
DOI: 10.5281/zenodo.14140689
title: acanthocercus_annectans_decontaminated_FSCR.fasta.gz
DOI: 10.5281/zenodo.14035594
title: On CNF Conversion for SAT and SMT Enumeration: Benchmarks, Results and Plots

description: Experimental results for the paper:On CNF encoding for SAT and SMT enumeration, Gabriele Masina, Giuseppe Spallitta and Roberto Sebastiani. ArXiv, 2024.

Content:



aig-bench.zip iscas85-bench.zip syn-bool-bench.zip contain the inputs and results for the Boolean benchmarks. Each zip contains:



data/ that contains the input data

results-<tool>/ for each tested tool.



syn-lra-bench.zip wmi-bench.zip contain the inputs and results for the Boolean benchmarks. Each zip contains:



data/ that contains the input data

results-<tool>/ for each tested tool.



plot-d4, plot-msat, plot-tabularallsat, plot-tabularallsmt contain the plots for enumeration with different tools. 

plot-msat-sat contains the plot for plain satisfiability using MathSAT.


Results are stored in JSON files, where the field "mode" indicates the CNF transformation used to preprocess the input:



LAB for Tseitin CNF

LABELNEG_POL for Plaisted&Greenbaum CNF, using negative labels for subformulas occurring negatively only.

NNF_MUTEX_POL for NNF+Plaisted&Greenbaum CNF+mutex clauses, as described in the paper


The source code used to run the experiments is available at https://doi.org/10.5281/zenodo.14033422.
DOI: 10.15468/dl.f3m89q
title: Occurrence Download

description: A dataset containing 683 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is one of (Allophylus strictus Radlk., Allophylus leptostachys (Benth.) Radlk.)"
 ]
}

 The dataset includes 683 records from 64 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0012399-241107131044228/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.5281/zenodo.14140908
title: acanthocercus_atricollis_decontaminated_FSCR.fasta.gz
DOI: 10.5281/zenodo.14140909
title: acanthocercus_atricollis_decontaminated_FSCR.fasta.gz
DOI: 10.6084/m9.figshare.27693090
title: De novo alignment supplemental table

description: The mapping values and averages for three sheep heart transcriptome experiments were built into a de novo assembly using Trinity and annotated with Trinotate. Reads were mapped to the assembly using Salmon.
DOI: 10.6084/m9.figshare.27693090.v1
title: De novo alignment supplemental table

description: The mapping values and averages for three sheep heart transcriptome experiments were built into a de novo assembly using Trinity and annotated with Trinotate. Reads were mapped to the assembly using Salmon.
DOI: 10.15468/dl.yu6px4
title: Occurrence Download

description: A dataset containing 101810 species occurrences available in GBIF matching the query:
{
 "and" : [
 "Geometry POLYGON((-30.82669 24.57969,78.82669 24.57969,78.82669 68.42031,-30.82669 68.42031,-30.82669 24.57969))",
 "HasCoordinate is true",
 "HasGeospatialIssue is false",
 "OccurrenceStatus is Present",
 "TaxonKey is Euplagia quadripunctaria (Poda, 1761)"
 ]
}

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

description: A dataset containing 6968 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Goodenia pinnatifida Schltdl."
 ]
}

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

description: A dataset containing 64 species occurrences available in GBIF matching the query:
{
 "and" : [
 "DatasetKey is GenLink - Spatial coordinates of analysed Veronica chamaedrys individuals",
 "Geometry POLYGON((-6.64723 43.74421,29.64723 43.74421,29.64723 58.25579,-6.64723 58.25579,-6.64723 43.74421))",
 "HasCoordinate is true",
 "HasGeospatialIssue is false",
 "OccurrenceStatus is Present"
 ]
}

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

description: A dataset containing 0 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Hieracium semianglicum Ósk."
 ]
}

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

description: A dataset containing 0 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is Phyllonorycter uchidai (Kumata, 1963)",
 "HasCoordinate is true",
 "Country is Japan",
 "HasGeospatialIssue is false"
 ]
}

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

description: A dataset containing 1060 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Euglossa championi Cheesman, 1929"
 ]
}

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

description: A dataset containing 532 species occurrences available in GBIF matching the query:
{
 "and" : [
 "Geometry POLYGON((-73.23845 10.47162,-73.1675 10.38675,-73.08026 10.50964,-73.17124 10.50387,-73.23845 10.47162))",
 "OccurrenceStatus is Present",
 "TaxonKey is Chordata"
 ]
}

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

description: A dataset containing 1540 species occurrences available in GBIF matching the query:
{
 "and" : [
 "BasisOfRecord is one of (Observation, Human Observation, Occurrence evidence, Machine Observation, Material sample, Material citation)",
 "Continent is South America",
 "Country is Brazil",
 "HasCoordinate is true",
 "HasGeospatialIssue is false",
 "TaxonKey is Chiroptera"
 ]
}

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

description: A dataset containing 1451 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Mythimna separata (Walker, 1865)"
 ]
}

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

description: A dataset containing 112766 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is one of (Coelioxys conica Spinola, 1838, Ammobates vinctus Gerstäcker, 1869, Eucera macroglossa Illiger, 1806, Parammobatodes minutus (Mocsáry, 1878), Biastes truncatus (Nylander, 1848), Coelioxys lanceolata Nylander, 1852, Bombus campestris (Panzer, 1801), Bombus rupestris (Fabricius, 1793), Bombus vestalis (Geoffroy, 1785))"
 ]
}

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

description: A dataset containing 6 species occurrences available in GBIF matching the query:
{
 "and" : [
 "Geometry POLYGON((-107.97994 38.49045,-103.98002 38.51055,-103.95554 41.31138,-107.43944 41.19766,-107.97994 38.49045))",
 "HasCoordinate is true",
 "HasGeospatialIssue is false",
 "TaxonKey is Linum puberulum (Engelm.) Heller",
 "Year 2015-2023"
 ]
}

 The dataset includes 6 records from 1 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0232558-230224095556074/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.22008/fk2/iw73uu/kgderg
title: NUK_L_hour.nc

description: Uploaded with pyDataverse 2024-04-24 20:55
DOI: 10.15468/dl.3m4xy6
title: Occurrence Download

description: A dataset containing 3480 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is one of (Solanum lycocarpum A.St.-Hil., Solanum grandiflorum var. pulverulentum Sendtn., Solanum lycocarpum f. angustifolium Hassl., Solanum lycocarpum var. paraguariense Hassl., Solanum macrocalyx var. recurvum Witasek)"
 ]
}

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

description: A dataset containing 0 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is Protosilvanus lateritius (Reitter, 1879)",
 "HasCoordinate is true",
 "Country is Japan",
 "HasGeospatialIssue is false"
 ]
}

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

description: A dataset containing 12 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Hieracium semicaesium Wiinst."
 ]
}

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

description: A dataset containing 0 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is Drosophila subpulchrella Takamori & Watabe, 2006",
 "HasCoordinate is true",
 "Country is Japan",
 "HasGeospatialIssue is false"
 ]
}

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

description: A dataset containing 1 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Hieracium semiangustum Omang"
 ]
}

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

description: A dataset containing 1 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is Xyleborus perforans Wood & Bright, 1992",
 "HasCoordinate is true",
 "Country is Japan",
 "HasGeospatialIssue is false"
 ]
}

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

description: A dataset containing 35 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Ptiloglossa hoplopoda Moure, 1987"
 ]
}

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

description: A dataset containing 35 species occurrences available in GBIF matching the query:
{
 "and" : [
 "Country is China",
 "HasCoordinate is true",
 "HasGeospatialIssue is false",
 "TaxonKey is Rhinopithecus bieti A.Milne-Edwards, 1897"
 ]
}

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

description: A dataset containing 415 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Ipomoea binectarifera (Wall.) J.R.I.Wood & Scotland"
 ]
}

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

description: A dataset containing 723 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Manis pentadactyla Linnaeus, 1758"
 ]
}

 The dataset includes 723 records from 63 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0232299-220831081235567/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.5281/zenodo.11065048
title: HZDR_JRQ_KJc_11_20220310

description: Fractesus project. Fracture test mini-CT. Raw data JRQ. HZDR.
DOI: 10.5281/zenodo.11065049
title: HZDR_JRQ_KJc_11_20220310

description: Fractesus project. Fracture test mini-CT. Raw data JRQ. HZDR.
DOI: 10.15468/dl.8rc7sg
title: Occurrence Download

description: A dataset containing 303 species occurrences available in GBIF matching the query:
{
 "and" : [
 "HasCoordinate is true",
 "HasGeospatialIssue is false",
 "TaxonKey is Amborella trichopoda Baill."
 ]
}

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

description: A dataset containing 129 species occurrences available in GBIF matching the query:
{
 "and" : [
 "Continent is Africa",
 "Country is one of (Cameroon, Gabon, Congo, Democratic Republic of the)",
 "TaxonKey is Canthium Lam."
 ]
}

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

description: A dataset containing 613 species occurrences available in GBIF matching the query:
{
 "and" : [
 "Country is one of (United States of America, Cuba, Bahamas, Dominican Republic, Haiti, Turks and Caicos Islands)",
 "TaxonKey is Angadenia berteroi (A.DC.) Miers"
 ]
}

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

description: A dataset containing 344 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Goodenia odonnellii F.Muell."
 ]
}

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

description: A dataset containing 133 species occurrences available in GBIF matching the query:
{
 "and" : [
 "Geometry POLYGON((-106.69281409449147 22.645391619486873,-105.42390427100582 22.645391619486873,-105.42390427100582 23.914301442972516,-106.69281409449147 23.914301442972516,-106.69281409449147 22.645391619486873))",
 "HasCoordinate is true",
 "HasGeospatialIssue is false",
 "OccurrenceStatus is Present",
 "TaxonKey is Panthera onca (Linnaeus, 1758)"
 ]
}

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

description: A dataset listing the 42783 species recorded in GBIF matching the query:
{
 "and" : [
 "OccurrenceStatus is Present",
 "TaxonKey is Mammalia"
 ]
}

 The dataset's 42783 records were derived from 10152 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0003475-230530130749713/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.