cometadata/datacite-titles-descriptions-related-identifiers huggingface dataset:
DOI: 10.5281/zenodo.8348620
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.
DOI: 10.5281/zenodo.8348621
title: [artifact69] Common Misconceptions About Loops in C

description: This artefact contains the examples used in the paper and presents them as a practical test suite.

The paper uses the program text, and no generated results are provided.

Each example is a separate program and can be used in several ways.

Each program takes a single input which controls the path taken through the program and gives a single output which records which branches were taken. This allows them to be used for back-to-back testing with compilers, interpreters, source-to-source translation or dynamic analysis tools. If the input/output relation changes, then transformation is buggy and unable to handle that kind of loop.

Each program also has assertions that are only true for valid paths through the program. These assertions allow the test cases to be used to test static analysis tools. If an assertion fails, it indicates a bug in the static analysis tool.

To demonstrate how these can be used, we provide a usable set-up to test the provided examples with cbmc.
DOI: 10.25549/independent-c69-24882
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.9h3ph8
title: Occurrence Download

description: A dataset containing 113 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is Bucerotiformes",
 "HasCoordinate is true",
 "Country is Japan",
 "HasGeospatialIssue is false"
 ]
}

 The dataset includes 113 records from 10 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0190734-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-24858
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.ctxemm
title: Occurrence Download

description: A dataset containing 2881297 species occurrences available in GBIF matching the query:
{
 "and" : [
 "BasisOfRecord is Specimen",
 "Country is Colombia"
 ]
}

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

description: A dataset containing 0 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is Rosa dumalis f. sphaeroidea (Ripart ex Déségl.) Nyár.",
 "HasCoordinate is TRUE"
 ]
}

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

description: A dataset containing 89 species occurrences available in GBIF matching the query:
{
 "and" : [
 "Country is China",
 "TaxonKey is Cinnamomum tsangii Merr."
 ]
}

 The dataset includes 89 records from 20 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0190741-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-24906
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.ixj53v
title: Occurrence Download

description: A dataset containing 119 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is Cupressus lindleyi Klotzsch ex Endl.",
 "HasCoordinate is true",
 "Country is Mexico"
 ]
}

 The dataset includes 119 records from 9 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0000531-150216165555722/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-24836
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.usg3zk
title: Occurrence Download

description: A dataset containing 50 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Elephantopus dilatatus Gleason"
 ]
}

 The dataset includes 50 records from 9 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0190742-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-23995
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.afq1wm
title: Occurrence Download

description: A dataset containing 3 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Dendrolimus sibiricus Tschetverikov, 1908"
 ]
}

 The dataset includes 3 records from 2 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0000531-150306150734599/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-23948
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.65ka7c
title: Occurrence Download

description: A dataset containing 1718 species occurrences available in GBIF matching the query:
{
 "and" : [
 "Country is China",
 "TaxonKey is Phragmites australis (Cav.) Trin. ex Steud."
 ]
}

 The dataset includes 1718 records from 46 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0190744-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-23949
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.0ghfc8
title: Occurrence Download

description: A dataset containing 101 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Oenothera engelmannii (Wooton & Standl.) Munz"
 ]
}

 The dataset includes 101 records from 10 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0000531-150407101314760/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-23945
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.uedjtj
title: Occurrence Download

description: A dataset containing 1716 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Elephantopus elatus Bertol."
 ]
}

 The dataset includes 1716 records from 67 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0190746-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.dsgsas
title: Occurrence Download

description: A dataset containing 16604 species occurrences available in GBIF matching the query:
{
 "DatasetKey" : [
 "is Iberian Odonata distribution: data of the BOS Arthropod Collection (Univ. Oviedo, Spain)"
 ]
}

 The dataset includes 16604 records from 1 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0000531-150504100648427/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-23966
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.7hkufh
title: Occurrence Download

description: A dataset containing 125 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Elionurus tristis Hack."
 ]
}

 The dataset includes 125 records from 17 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0190945-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-25069
title: Reviews / summaries of officers involved in civil litigation cases, 1990-06-06

description: Selina Hewitt, memorandum, 1990 June 6, to Anya Goldin, re Reviews / summaries of officers involved in civil litigation cases. 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.nnguvb
title: Occurrence Download

description: A dataset containing 8603 species occurrences available in GBIF matching the query:
{
 "DatasetKey" : [
 "is Inventaire National du Patrimoine Naturel : Insectes Hétéroptères Mirides de France"
 ]
}

 The dataset includes 8603 records from 1 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0000531-150512124619364/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-25115
title: Reviews / summaries of officers involved in civil litigation cases, 1990-06-06

description: Selina Hewitt, memorandum, 1990 June 6, to Anya Goldin, re Reviews / summaries of officers involved in civil litigation cases. 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.by325j
title: Occurrence Download

description: A dataset containing 204 species occurrences available in GBIF matching the query:
{
 "and" : [
 "DatasetKey is Global soil organisms",
 "EventId is https://app.plutof.ut.ee/event/view/4862609",
 "OccurrenceStatus is Present",
 "TaxonKey is SH1176998.09FU"
 ]
}

 The dataset includes 204 records from 1 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0190748-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.psdmbg
title: Occurrence Download

description: A dataset containing 2 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Apteronotus acidops Triques, 2011"
 ]
}

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