cometadata/datacite-titles-descriptions-related-identifiers huggingface dataset:
DOI: 10.5281/zenodo.17394446
title: Submitted Galaxy Scores to the Gravitational Wave Treasure Map for event MS251020f Preliminary

description: Attached in a .json file is the ranked galaxy information within the contour region of the EM counterpart search associated with the gravitational wave event MS251020f Preliminary. A reference to these calculations can be found here: https://ui.adsabs.harvard.edu/abs/2017ApJ...848L..33A/abstract
DOI: 10.5281/zenodo.17394447
title: Submitted Galaxy Scores to the Gravitational Wave Treasure Map for event MS251020f Preliminary

description: Attached in a .json file is the ranked galaxy information within the contour region of the EM counterpart search associated with the gravitational wave event MS251020f Preliminary. A reference to these calculations can be found here: https://ui.adsabs.harvard.edu/abs/2017ApJ...848L..33A/abstract
DOI: 10.15468/dl.v8zyq4
title: Occurrence Download

description: A dataset containing 311 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is one of (Amphibia)",
 "HasCoordinate is true",
 "HasGeospatialIssue is false",
 "Year is greater than or equal to 1980",
 "OccurrenceStatus is Present",
 {
 "not" : {
 "BasisOfRecord" : [
 "is one of (Fossil, Living Specimen)"
 ]
 }
 },
 "Geometry POLYGON((-120 22.5,-112.5 22.5,-112.5 30,-120 30,-120 22.5))"
 ]
}

 The dataset includes 311 records from 13 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0040790-251009101135966/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.15468/aga3pr
title: Données naturalistes opportunistes issues de la plateforme INaturalist-Données naturalistes opportunistes Andrea Castro (amaneko)

description: Données naturalistes opportunistes saisies sur iNaturalist à partir du compte "amaneko"
DOI: 10.15468/esvp6b
title: Données naturalistes opportunistes issues de la plateforme INaturalist-Données naturalistes opportunistes "kryo0s"

description: Données naturalistes opportunistes saisies sur iNaturalist à partir du compte "kryo0s"
DOI: 10.15468/dl.u73u37
title: Occurrence Download

description: A dataset containing 279 species occurrences available in GBIF matching the query:
{
 "and" : [
 "BasisOfRecord is Human Observation",
 "CoordinateUncertaintyInMeters 0.0-10000.0",
 "Country is United States of America",
 "TaxonKey is Potamopyrgus antipodarum"
 ]
}

 The dataset includes 279 records from 1 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0040792-251009101135966/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.5281/zenodo.17394439
title: SARS-CoV-2 Infektionen in Deutschland

description: Im Datensatz "SARS-CoV-2 Infektionen in Deutschland" des Robert Koch-Instituts werden die Daten basierend auf Meldungen zu SARS-CoV-2 Infektionen nach dem Infektionsschutzgesetz (IfSG) bereitgestellt. Darin enthalten sind Informationen auf Landkreisebene zu bestätigten Infektionen, Todesfällen und Genesungen, differenziert nach Altersgruppen und Geschlecht. Diese Daten dienen als Grundlage für epidemiologische Bewertungen und gesundheitspolitische Maßnahmen.
DOI: 10.15468/dl.vf8hnb
title: Occurrence Download

description: A dataset containing 1150 species occurrences available in GBIF matching the query:
{
 "and" : [
 "Country is one of (Malaysia, Thailand, Indonesia, Myanmar)",
 "TaxonKey is Gonocephalus grandis"
 ]
}

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

description: A dataset containing 4 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is one of (Insecta)",
 "HasCoordinate is true",
 "HasGeospatialIssue is false",
 "Year is greater than or equal to 1980",
 "OccurrenceStatus is Present",
 {
 "not" : {
 "BasisOfRecord" : [
 "is one of (Fossil, Living Specimen)"
 ]
 }
 },
 "Geometry POLYGON((-142.5 37.5,-135 37.5,-135 45,-142.5 45,-142.5 37.5))"
 ]
}

 The dataset includes 4 records from 1 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0040794-251009101135966/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.15468/yr4gaz
title: Données naturalistes opportunistes issues de la plateforme INaturalist-Données naturalistes opportunistes "madamerosbif"

description: Données naturalistes opportunistes saisies sur iNaturalist à partir du compte "madamerosbif"
DOI: 10.15468/dl.e95fc3
title: Occurrence Download

description: A dataset containing 16131 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is one of (Amphibia)",
 "HasCoordinate is true",
 "HasGeospatialIssue is false",
 "Year is greater than or equal to 1980",
 "OccurrenceStatus is Present",
 {
 "not" : {
 "BasisOfRecord" : [
 "is one of (Fossil, Living Specimen)"
 ]
 }
 },
 "Geometry POLYGON((-112.5 22.5,-105 22.5,-105 30,-112.5 30,-112.5 22.5))"
 ]
}

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

description: A dataset containing 283 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is one of (Amphibia)",
 "HasCoordinate is true",
 "HasGeospatialIssue is false",
 "Year is greater than or equal to 1980",
 "OccurrenceStatus is Present",
 {
 "not" : {
 "BasisOfRecord" : [
 "is one of (Fossil, Living Specimen)"
 ]
 }
 },
 "Geometry POLYGON((-75 -30,-67.5 -30,-67.5 -22.5,-75 -22.5,-75 -30))"
 ]
}

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

description: A dataset containing 24 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is one of (Insecta)",
 "HasCoordinate is true",
 "HasGeospatialIssue is false",
 "Year is greater than or equal to 1980",
 "OccurrenceStatus is Present",
 {
 "not" : {
 "BasisOfRecord" : [
 "is one of (Fossil, Living Specimen)"
 ]
 }
 },
 "Geometry POLYGON((-135 37.5,-127.5 37.5,-127.5 45,-135 45,-135 37.5))"
 ]
}

 The dataset includes 24 records from 3 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0040796-251009101135966/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.15468/q5gz87
title: Données naturalistes opportunistes issues de la plateforme INaturalist-Données naturalistes opportunistes "charimarlotte"

description: Données naturalistes opportunistes saisies sur iNaturalist à partir du compte "charimarlotte"
DOI: 10.15468/wkdbme
title: Données naturalistes opportunistes issues de la plateforme INaturalist-Données naturalistes opportunistes Deb Nance (debnance)

description: Données naturalistes opportunistes saisies sur iNaturalist à partir du compte "debnance"
DOI: 10.15468/dl.j3rv3g
title: Occurrence Download

description: A dataset containing 0 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is one of (Amphibia)",
 "HasCoordinate is true",
 "HasGeospatialIssue is false",
 "Year is greater than or equal to 1980",
 "OccurrenceStatus is Present",
 {
 "not" : {
 "BasisOfRecord" : [
 "is one of (Fossil, Living Specimen)"
 ]
 }
 },
 "Geometry POLYGON((-82.5 -30,-75 -30,-75 -22.5,-82.5 -22.5,-82.5 -30))"
 ]
}

 The dataset includes 0 records from 0 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0040799-251009101135966/datasets/export for details.
DOI: 10.15468/7q5dv4
title: Données naturalistes opportunistes issues de la plateforme INaturalist-Données naturalistes opportunistes "jeanb17"

description: Données naturalistes opportunistes saisies sur iNaturalist à partir du compte "jeanb17"
DOI: 10.15468/dl.98mrrz
title: Occurrence Download

description: A dataset containing 1102 species occurrences available in GBIF matching the query:
{
 "and" : [
 "SpeciesKey is Cetorhinus maximus",
 {
 "and" : [
 "HasGeospatialIssue is false",
 "HasCoordinate is true",
 "OccurrenceStatus is Present",
 {
 "not" : {
 "BasisOfRecord" : [
 "is one of (Fossil, Living Specimen)"
 ]
 }
 }
 ]
 },
 "Year is greater than or equal to 1900",
 "Country is one of (Ireland, United Kingdom of Great Britain and Northern Ireland)"
 ]
}

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

description: A dataset containing 20827 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is one of (Insecta)",
 "HasCoordinate is true",
 "HasGeospatialIssue is false",
 "Year is greater than or equal to 1980",
 "OccurrenceStatus is Present",
 {
 "not" : {
 "BasisOfRecord" : [
 "is one of (Fossil, Living Specimen)"
 ]
 }
 },
 "Geometry POLYGON((127.5 -30,135 -30,135 -22.5,127.5 -22.5,127.5 -30))"
 ]
}

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

description: A dataset containing 0 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is one of (Amphibia)",
 "HasCoordinate is true",
 "HasGeospatialIssue is false",
 "Year is greater than or equal to 1980",
 "OccurrenceStatus is Present",
 {
 "not" : {
 "BasisOfRecord" : [
 "is one of (Fossil, Living Specimen)"
 ]
 }
 },
 "Geometry POLYGON((-90 -30,-82.5 -30,-82.5 -22.5,-90 -22.5,-90 -30))"
 ]
}

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

description: A dataset containing 648205 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is one of (Insecta)",
 "HasCoordinate is true",
 "HasGeospatialIssue is false",
 "Year is greater than or equal to 1980",
 "OccurrenceStatus is Present",
 {
 "not" : {
 "BasisOfRecord" : [
 "is one of (Fossil, Living Specimen)"
 ]
 }
 },
 "Geometry POLYGON((150 -30,157.5 -30,157.5 -22.5,150 -22.5,150 -30))"
 ]
}

 The dataset includes 648205 records from 162 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0040771-251009101135966/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.34740/kaggle/dsv/14275174
title: SOLANA Price Data Binance API (2020–Now)
DOI: 10.5281/zenodo.13959610
title: Enhancing Distributed Summary Synthesis with Data-Flow Analysis

description: With increasing software complexity, scalable and precise verification is essential, especially in safety-critical areas. Distributed Summary Synthesis (DSS) supports scalability by enabling parallel processing of program segments (blocks). However, it faces limitations in achieving early-stage abstraction due to the inherent laziness of Predicate Analysis, which only refines abstractions when errors are detected. This thesis addresses this by integrating Data-Flow Analysis (DFA) into DSS, enhancing the initial information shared among program blocks to potentially accelerate and improve verification. Implemented in CPAchecker, DFA runs in parallel with Predicate Analysis, providing coarse summaries that strengthen the preconditions for successor blocks. Experimental evaluation using SV-COMP 2024 benchmarks, however, indicated that while DFA integration occasionally improved verification coverage, it also introduced additional resource demands. This increase in CPU time, wall time and memory usage, due to message handling and serialization and deserialization overhead, limited the number of programs that could be verified compared to the DSS implementation with only predicate analysis. This trade-off suggests that additional optimizations are needed to reduce performance costs and better harness the potential of DFA for scalable and effective verification.
DOI: 10.5281/zenodo.13959611
title: Enhancing Distributed Summary Synthesis with Data-Flow Analysis

description: With increasing software complexity, scalable and precise verification is essential, especially in safety-critical areas. Distributed Summary Synthesis (DSS) supports scalability by enabling parallel processing of program segments (blocks). However, it faces limitations in achieving early-stage abstraction due to the inherent laziness of Predicate Analysis, which only refines abstractions when errors are detected. This thesis addresses this by integrating Data-Flow Analysis (DFA) into DSS, enhancing the initial information shared among program blocks to potentially accelerate and improve verification. Implemented in CPAchecker, DFA runs in parallel with Predicate Analysis, providing coarse summaries that strengthen the preconditions for successor blocks. Experimental evaluation using SV-COMP 2024 benchmarks, however, indicated that while DFA integration occasionally improved verification coverage, it also introduced additional resource demands. This increase in CPU time, wall time and memory usage, due to message handling and serialization and deserialization overhead, limited the number of programs that could be verified compared to the DSS implementation with only predicate analysis. This trade-off suggests that additional optimizations are needed to reduce performance costs and better harness the potential of DFA for scalable and effective verification.
DOI: 10.15468/dl.whxgfr
title: Occurrence Download

description: A dataset containing 357 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Tachypleus tridentatus (Leach, 1819)"
 ]
}

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

description: A dataset containing 87 species occurrences available in GBIF matching the query:
{
 "and" : [
 "Geometry POLYGON((-141.00027 64.24123,-138.06856 59.52954,-131.96955 59.81748,-138.43502 65.44532,-141.00027 64.24123))",
 "OccurrenceStatus is Present",
 "TaxonKey is Lasiomma collini (Ringdahl, 1929)"
 ]
}

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

description: A dataset containing 2685 species occurrences available in GBIF matching the query:
{
 "and" : [
 "Continent is North America",
 "Country is United States of America",
 "GadmGid is USA.25_1",
 "HasCoordinate is true",
 "HasGeospatialIssue is false",
 "Month is one of (June, July)",
 "OccurrenceStatus is Present",
 "TaxonKey is Egretta caerulea (Linnaeus, 1758)",
 "Year 2014-2024"
 ]
}

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

description: A dataset containing 24403 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Bombus huntii Greene, 1860"
 ]
}

 The dataset includes 24403 records from 68 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0021676-241024112534372/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.5519/qd.0bbw6gh7
title: Query on the Natural History Museum Data Portal (data.nhm.ac.uk) (352 records)
DOI: 10.15468/dl.8vqffp
title: Occurrence Download

description: A dataset containing 406 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Tachypleus gigas (O.F.Müller, 1785)"
 ]
}

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

description: A dataset containing 4 species occurrences available in GBIF matching the query:
{
 "and" : [
 "Country is Ecuador",
 "GadmGid is ECU.4_1",
 "TaxonKey is Pristimantis tenebrionis (Lynch & Miyata, 1980)"
 ]
}

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

description: A dataset containing 7502 species occurrences available in GBIF matching the query:
{
 "and" : [
 "BasisOfRecord is Human Observation",
 "Country is United States of America",
 "HasCoordinate is true",
 "HasGeospatialIssue is false",
 "OccurrenceStatus is Present",
 "TaxonKey is Morchella Dill. ex Pers."
 ]
}

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

description: A dataset containing 18 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Centaurea urvillei subsp. hayekiana Wagenitz"
 ]
}

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

description: A dataset containing 56 species occurrences available in GBIF matching the query:
{
 "and" : [
 "Geometry POLYGON((-96.18562 19.17912,-96.17963 19.18072,-96.18041 19.18993,-96.18282 19.18981,-96.18906 19.1886,-96.19094 19.18789,-96.18988 19.18293,-96.18767 19.18329,-96.18562 19.17912))",
 "HasCoordinate is true",
 "HasGeospatialIssue is false",
 "OccurrenceStatus is Present",
 "TaxonKey is Animalia"
 ]
}

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

description: A dataset containing 4929 species occurrences available in GBIF matching the query:
{
 "and" : [
 "HasCoordinate is true",
 "HasGeospatialIssue is false",
 "OccurrenceStatus is Present",
 "TaxonKey is Capnopsis schilleri (Rostock, 1892)"
 ]
}

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

description: A dataset containing 2770 species occurrences available in GBIF matching the query:
{
 "and" : [
 "Geometry POLYGON((-84.7899 35.52742,-82.89034 35.52742,-82.89034 36.40689,-84.7899 36.40689,-84.7899 35.52742))",
 "HasCoordinate is true",
 "HasGeospatialIssue is false",
 "TaxonKey is Percidae"
 ]
}

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

description: A dataset containing 6 species occurrences available in GBIF matching the query:
{
 "and" : [
 "Country is Ecuador",
 "GadmGid is ECU.4_1",
 "TaxonKey is Pristimantis latidiscus (Boulenger, 1898)"
 ]
}

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

description: A dataset containing 1 species occurrences available in GBIF matching the query:
{
 "and" : [
 "BasisOfRecord is Specimen",
 "Country is Chile",
 "TaxonKey is Taraxacum campylodes G.E.Haglund"
 ]
}

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

description: A dataset containing 3520 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Bombus ignitus Smith, 1869"
 ]
}

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

description: A dataset containing 4215 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is one of (Phyllostachys aurea (André) Rivière & C.Rivière, Bambusa vulgaris Schrad. ex J.C.Wendl.)",
 "HasCoordinate is true",
 {
 "not" : {
 "BasisOfRecord" : [
 "is one of (Fossil, Specimen, Machine Observation)"
 ]
 }
 },
 "OccurrenceStatus is Present"
 ]
}

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

description: A dataset containing 6483 species occurrences available in GBIF matching the query:
{
 "and" : [
 "Country is Chile",
 "TaxonKey is Cetacea"
 ]
}

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