cometadata/datacite-titles-descriptions-related-identifiers huggingface dataset:
DOI: 10.15156/bio/sh1119228.10fu
title: SH1119228.10FU

description: UNITE provides a unified way for delimiting, identifying, communicating, and working with DNA-based Species Hypotheses (SH). All fungal ITS sequences in the international nucleotide sequence databases are clustered to approximately the species level by applying a set of dynamic distance values (<0.5 - 3.0%). All species hypotheses are given a unique, stable name in the form of a DOI, and their taxonomic and ecological annotations are verified through distributed, web-based third-party annotation efforts. SHs are connected to a taxon name and its classification as far as possible (phylum, class, order, etc.) by taking into account identifications for all sequences in the SH. An automatically or manually designated sequence is chosen to represent each such SH. These sequences are released (https://unite.ut.ee/repository.php) for use by the scientific community in, for example, local sequence similarity searches and next-generation sequencing analysis pipelines. The system and the data are updated automatically as the number of public fungal ITS sequences grows.
DOI: 10.15156/bio/sh1119229.10fu
title: SH1119229.10FU

description: UNITE provides a unified way for delimiting, identifying, communicating, and working with DNA-based Species Hypotheses (SH). All fungal ITS sequences in the international nucleotide sequence databases are clustered to approximately the species level by applying a set of dynamic distance values (<0.5 - 3.0%). All species hypotheses are given a unique, stable name in the form of a DOI, and their taxonomic and ecological annotations are verified through distributed, web-based third-party annotation efforts. SHs are connected to a taxon name and its classification as far as possible (phylum, class, order, etc.) by taking into account identifications for all sequences in the SH. An automatically or manually designated sequence is chosen to represent each such SH. These sequences are released (https://unite.ut.ee/repository.php) for use by the scientific community in, for example, local sequence similarity searches and next-generation sequencing analysis pipelines. The system and the data are updated automatically as the number of public fungal ITS sequences grows.
DOI: 10.15156/bio/sh1119233.10fu
title: SH1119233.10FU

description: UNITE provides a unified way for delimiting, identifying, communicating, and working with DNA-based Species Hypotheses (SH). All fungal ITS sequences in the international nucleotide sequence databases are clustered to approximately the species level by applying a set of dynamic distance values (<0.5 - 3.0%). All species hypotheses are given a unique, stable name in the form of a DOI, and their taxonomic and ecological annotations are verified through distributed, web-based third-party annotation efforts. SHs are connected to a taxon name and its classification as far as possible (phylum, class, order, etc.) by taking into account identifications for all sequences in the SH. An automatically or manually designated sequence is chosen to represent each such SH. These sequences are released (https://unite.ut.ee/repository.php) for use by the scientific community in, for example, local sequence similarity searches and next-generation sequencing analysis pipelines. The system and the data are updated automatically as the number of public fungal ITS sequences grows.
DOI: 10.15156/bio/sh1119235.10fu
title: SH1119235.10FU

description: UNITE provides a unified way for delimiting, identifying, communicating, and working with DNA-based Species Hypotheses (SH). All fungal ITS sequences in the international nucleotide sequence databases are clustered to approximately the species level by applying a set of dynamic distance values (<0.5 - 3.0%). All species hypotheses are given a unique, stable name in the form of a DOI, and their taxonomic and ecological annotations are verified through distributed, web-based third-party annotation efforts. SHs are connected to a taxon name and its classification as far as possible (phylum, class, order, etc.) by taking into account identifications for all sequences in the SH. An automatically or manually designated sequence is chosen to represent each such SH. These sequences are released (https://unite.ut.ee/repository.php) for use by the scientific community in, for example, local sequence similarity searches and next-generation sequencing analysis pipelines. The system and the data are updated automatically as the number of public fungal ITS sequences grows.
DOI: 10.15156/bio/sh1119238.10fu
title: SH1119238.10FU

description: UNITE provides a unified way for delimiting, identifying, communicating, and working with DNA-based Species Hypotheses (SH). All fungal ITS sequences in the international nucleotide sequence databases are clustered to approximately the species level by applying a set of dynamic distance values (<0.5 - 3.0%). All species hypotheses are given a unique, stable name in the form of a DOI, and their taxonomic and ecological annotations are verified through distributed, web-based third-party annotation efforts. SHs are connected to a taxon name and its classification as far as possible (phylum, class, order, etc.) by taking into account identifications for all sequences in the SH. An automatically or manually designated sequence is chosen to represent each such SH. These sequences are released (https://unite.ut.ee/repository.php) for use by the scientific community in, for example, local sequence similarity searches and next-generation sequencing analysis pipelines. The system and the data are updated automatically as the number of public fungal ITS sequences grows.
DOI: 10.15156/bio/sh1119239.10fu
title: SH1119239.10FU

description: UNITE provides a unified way for delimiting, identifying, communicating, and working with DNA-based Species Hypotheses (SH). All fungal ITS sequences in the international nucleotide sequence databases are clustered to approximately the species level by applying a set of dynamic distance values (<0.5 - 3.0%). All species hypotheses are given a unique, stable name in the form of a DOI, and their taxonomic and ecological annotations are verified through distributed, web-based third-party annotation efforts. SHs are connected to a taxon name and its classification as far as possible (phylum, class, order, etc.) by taking into account identifications for all sequences in the SH. An automatically or manually designated sequence is chosen to represent each such SH. These sequences are released (https://unite.ut.ee/repository.php) for use by the scientific community in, for example, local sequence similarity searches and next-generation sequencing analysis pipelines. The system and the data are updated automatically as the number of public fungal ITS sequences grows.
DOI: 10.15156/bio/sh1119240.10fu
title: SH1119240.10FU

description: UNITE provides a unified way for delimiting, identifying, communicating, and working with DNA-based Species Hypotheses (SH). All fungal ITS sequences in the international nucleotide sequence databases are clustered to approximately the species level by applying a set of dynamic distance values (<0.5 - 3.0%). All species hypotheses are given a unique, stable name in the form of a DOI, and their taxonomic and ecological annotations are verified through distributed, web-based third-party annotation efforts. SHs are connected to a taxon name and its classification as far as possible (phylum, class, order, etc.) by taking into account identifications for all sequences in the SH. An automatically or manually designated sequence is chosen to represent each such SH. These sequences are released (https://unite.ut.ee/repository.php) for use by the scientific community in, for example, local sequence similarity searches and next-generation sequencing analysis pipelines. The system and the data are updated automatically as the number of public fungal ITS sequences grows.
DOI: 10.15468/dl.zartic
title: Occurrence Download

description: A dataset containing 5095 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Cerambyx cerdo Linnaeus, 1758"
 ]
}

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

description: A dataset containing 82707 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is one of (Vochysiaceae)"
 ]
}

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

description: A dataset containing 153 species occurrences available in GBIF matching the query:
{
 "and" : [
 "Geometry POLYGON((-15.85596 33.27208,47.85596 33.27208,47.85596 58.72792,-15.85596 58.72792,-15.85596 33.27208))",
 "HasCoordinate is true",
 "TaxonKey is Megachile parietina (Geoffroy, 1785)",
 "HasGeospatialIssue is false"
 ]
}

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

description: A dataset containing 11719 species occurrences available in GBIF matching the query:
{
 "and" : [
 {
 "or" : [
 "BasisOfRecord is Human Observation",
 "BasisOfRecord is Machine Observation"
 ]
 },
 "Continent is North America",
 "OccurrenceStatus is Present",
 "TaxonKey is Artiodactyla",
 "Year 1800-2020"
 ]
}

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

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

 The dataset includes 8 records from 5 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0079485-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.jhwvty
title: Occurrence Download

description: A dataset containing 664 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is one of (Sclerocona acutella (Eversmann, 1842))",
 "HasCoordinate is true"
 ]
}

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

description: A dataset containing 121 species occurrences available in GBIF matching the query:
{
 "and" : [
 "BasisOfRecord is Human Observation",
 "TaxonKey is Alopias pelagicus Nakamura, 1935"
 ]
}

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

description: A dataset containing 62791 species occurrences available in GBIF matching the query:
{
 "and" : [
 "HasCoordinate is true",
 "TaxonKey is Boloria euphrosyne (Linnaeus, 1758)",
 "HasGeospatialIssue is false"
 ]
}

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

description: A dataset containing 4 species occurrences available in GBIF matching the query:
{
 "and" : [
 "Country is Guatemala",
 "HasCoordinate is true",
 "HasGeospatialIssue is false",
 "OccurrenceStatus is Present",
 "TaxonKey is Vaccinium haematinum Standl. & Steyerm."
 ]
}

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

description: A dataset containing 1363702 species occurrences available in GBIF matching the query:
{
 "and" : [
 "Country is Colombia",
 "Repatriated is true"
 ]
}

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

description: A dataset containing 675 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is Chrysosplenium grayanum Maxim.",
 "Year is greater than or equal to 1980",
 "Year is less than or equal to 2010",
 "HasCoordinate is true"
 ]
}

 The dataset includes 675 records from 36 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0006171-250415084134356/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.11588/portal.gsi.68e8ccadb3e3b
title: Kunsthandlung Heinrich Wendel
DOI: 10.25934/pr00005176.1
title: Available IPD datapackage for study 'An Observational Study of Continuous Oral Dosing of an Irreversible CYP17 Inhibitor, Abiraterone Acetate (CB7630), in Castration-Resistant Prostate Cancer Patients Evaluating Androgens and Steroid Metabolites in Bone Marrow Plasma'

description: The purpose of this study is to investigate the effect of abiraterone acetate on levels of androgens and steroid metabolites in bone marrow plasma of patients with metastatic castration-resistant prostate cancer (CRPC).
DOI: 10.15468/dl.p7hqud
title: Occurrence Download

description: A dataset containing 25 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is Crotalaria uncinella",
 "Country is Japan",
 "HasCoordinate is true"
 ]
}

 The dataset includes 25 records from 3 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0004672-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.uvfnvq
title: Occurrence Download

description: A dataset containing 3 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Callionymus neptunius (Seale, 1910)"
 ]
}

 The dataset includes 3 records from 2 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0061478-220831081235567/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.25549/independent-c69-23846
title: Summaries of and City Attorney recommendations for settlement cases (1-4 of 4), 1983 Dec. 19 - 1990 Dec. 11

description: Summaries of and City Attorney Recommendation for settlement cases (1-4 of 4), 1983 December 19 - 1990 December 11. PART OF A SERIES: Latham & Watkins researched a total of 83 civil litigation cases brought against the LAPD pertaining to excessive force and/or improper tactics to ascertain whether the Rodney King incident was in fact the aberration that Chief Daryl Gates described. Included in the series are several materials related to the firm’s investigation and final work product. Specifically, the series contains source materials related to the 83 cases that were studied. These materials include the firm’s own memoranda and notes, statistics on misconduct and police brutality, summaries of the selected cases, recommendations for settlement drafted by the Office of the City Attorney, docket cards, copies of settlement agreements, a master roster of officers named in the civil suits, and excerpts from officers’ personnel files. Also included are summaries of interviews held with police personnel and aggrieved citizens about their perception of problems within the LAPD.
DOI: 10.15468/dl.vvppew
title: Occurrence Download

description: A dataset containing 11 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Elephantopus arenarius Britton & P.Wilson ex Britton"
 ]
}

 The dataset includes 11 records from 4 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0190730-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.7okfsz
title: Occurrence Download

description: A dataset containing 56757 species occurrences available in GBIF matching the query:
{
 "and" : [
 "Geometry POLYGON ((-95.361328125 18.705699936306495, -95.27618408203125 18.591195151917177, -95.19653320312499 18.61201994461186, -95.15808105468749 18.58078180056691, -95.0701904296875 18.591195151917177, -95.0592041015625 18.57817836330149, -95.13336181640625 18.567764216671552, -95.11962890625 18.513079521549717, -95.21301269531249 18.51568395142372, -95.27069091796875 18.567764216671552, -95.29815673828124 18.585988555793854, -95.36407470703125 18.664070770422576, -95.35858154296875 18.585988555793854, -95.30364990234375 18.51047505203343, -95.24322509765624 18.450561322886657, -95.15533447265625 18.42189953546786, -95.07293701171875 18.359348155867963, -94.93560791015625 18.26808677330365, -94.81201171875 18.21591584336002, -94.71038818359375 18.23417744963607, -94.69940185546875 18.32284937717558, -94.71313476562499 18.36456163766241, -94.7625732421875 18.432322556602635, -94.7955322265625 18.50005677764114, -94.80926513671875 18.52870550599247, -94.86968994140624 18.546934016075802, -94.94384765625 18.541726068787877, -95.0042724609375 18.554745639213095, -95.03448486328125 18.572971369490656, -95.05645751953124 18.601607866700494, -95.08392333984375 18.632842188599376, -95.12786865234375 18.661468608043634, -95.18829345703125 18.708301419420692, -95.2349853515625 18.708301419420692, -95.3118896484375 18.710902862535413, -95.361328125 18.705699936306495))",
 "TaxonKey is Aves"
 ]
}

 The dataset includes 56757 records from 34 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0000530-171020152545675/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.25549/independent-c69-25048
title: Independent Commission: civil litigation. Work product material (2 of 4), 1988 May 31 - 1991 June 25

description: Civil Litigation Work Product Material (2 of 4), 1988 May 31 - 1991 June 25. PART OF A SERIES: Latham & Watkins researched a total of 83 civil litigation cases brought against the LAPD pertaining to excessive force and/or improper tactics to ascertain whether the Rodney King incident was in fact the aberration that Chief Daryl Gates described. Included in the series are several materials related to the firm’s investigation and final work product. Specifically, the series contains source materials related to the 83 cases that were studied. These materials include the firm’s own memoranda and notes, statistics on misconduct and police brutality, summaries of the selected cases, recommendations for settlement drafted by the Office of the City Attorney, docket cards, copies of settlement agreements, a master roster of officers named in the civil suits, and excerpts from officers’ personnel files. Also included are summaries of interviews held with police personnel and aggrieved citizens about their perception of problems within the LAPD.
DOI: 10.15468/dl.ph24ff
title: Occurrence Download

description: A dataset containing 490 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Elephantopus biflorus (Less.) Sch.Bip."
 ]
}

 The dataset includes 490 records from 59 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0190735-230224095556074/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.25549/independent-c69-24886
title: Reviews / summaries of officers involved in civil litigation cases, binder 2, 1991 June 12-19

description: LAPD Records - Reviews / summaries of officers involved in civil litigation cases, binder 2, 1991 June 12-19. PART OF A SERIES: Latham & Watkins researched a total of 83 civil litigation cases brought against the LAPD pertaining to excessive force and/or improper tactics to ascertain whether the Rodney King incident was in fact the aberration that Chief Daryl Gates described. Included in the series are several materials related to the firm’s investigation and final work product. Specifically, the series contains source materials related to the 83 cases that were studied. These materials include the firm’s own memoranda and notes, statistics on misconduct and police brutality, summaries of the selected cases, recommendations for settlement drafted by the Office of the City Attorney, docket cards, copies of settlement agreements, a master roster of officers named in the civil suits, and excerpts from officers’ personnel files. Also included are summaries of interviews held with police personnel and aggrieved citizens about their perception of problems within the LAPD.
DOI: 10.15468/dl.lwgdqu
title: Occurrence Download

description: A dataset containing 114 species occurrences available in GBIF matching the query:
{
 "and" : [
 "Country is Finland",
 "TaxonKey is Pseudophilotes hylactor (Bergstrasser, 1779)"
 ]
}

 The dataset includes 114 records from 5 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0000530-171025204727650/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.5281/zenodo.11113582
title: [artifact] Misconceptions About Loops in C

description: NOTE: PLEASE VERIFY INTEGRITY AFTER DOWNLOAD:

- SHA-256: eb5dab87eb050ddb23b2041e6e2727ad41a01bb2eeca82dccf1f4517e0114cc8

IF HASHES DO NOT MATCH, PLEASE RE-DOWNLOAD AND VERIFY AGAIN.

-----------------------------------------------------------------------------------------

This artifact collects the examples used in the paper and provides themas a test suite. Each example is a separate program that can be used in anumber of ways. The program’s text is used in the paper. No results aregenerated.

Each program takes a single input that controls which path throughthe program is taken and gives a single output that records which brancheswere taken. This allows them to be used for back-to-back testing withcompilers, interpreters, source-to-source translation, or dynamic analysistools. If the input/output relation changes, then transformation is buggyand unable to handle that kind of loop.

They also have assertions that hold true only for valid paths throughthe program, making them ideal for testing with static analysis tools. Ifan assertion fails, it indicates a bug in the static analysis tool.To demonstrate how these can be used, we provide a setup to testCBMC.