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

description: A dataset containing 132657 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Phoeniculus purpureus (J.F.Miller, 1784)"
 ]
}

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

description: A dataset containing 22 species occurrences available in GBIF matching the query:
{
 "and" : [
 "Geometry POLYGON((62.57812 7.55859,145.54688 7.55859,145.54688 55.72266,62.57812 55.72266,62.57812 7.55859))",
 "TaxonKey is Mustela kathiah Hodgson, 1835"
 ]
}

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

description: A dataset containing 693 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Myotis auriculus Baker & Stains, 1955"
 ]
}

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

description: A dataset containing 59 species occurrences available in GBIF matching the query:
{
 "and" : [
 "BasisOfRecord is Specimen",
 "Country is United States of America",
 "HasCoordinate is true",
 "HasGeospatialIssue is false",
 "TaxonKey is Agastache foeniculum (Pursh) Kuntze",
 "Year 1990-2020"
 ]
}

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

description: A dataset containing 23 species occurrences available in GBIF matching the query:
{
 "and" : [
 "DatasetKey is KiEco Freshwater Ecology: River Macrophytes",
 "Geometry POLYGON((-4.20485 51.86146,-4.13396 51.86146,-4.13396 51.88980,-4.20485 51.88980,-4.20485 51.86146))",
 "HasCoordinate is true",
 "HasGeospatialIssue is false",
 "OccurrenceStatus is Present",
 "Year 2016-2019"
 ]
}

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

description: A dataset containing 2829 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is Callyspongia Duchassaing & Michelotti, 1864",
 "HasGeospatialIssue is false",
 "HasCoordinate is true"
 ]
}

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

description: A dataset containing 2943 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is Alibertia edulis (Rich.) A.Rich. ex DC.",
 "HasCoordinate is TRUE",
 "HasGeospatialIssue is FALSE"
 ]
}

 The dataset includes 2943 records from 139 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0035696-180508205500799/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.7284/160638
title: Meteorological Station data collected during research cruise RC0115 using a RMYoung 92000 instrument system onboard the platform RV Rachel Carson

description: Original (unprocessed) data collected during a Field_expedition
DOI: 10.25549/kada-c126-18433
title: S.W.A.M.P. : a play for children in one act

description: S.W.A.M.P. = Super Wow Armed Mama mia Platoon
DOI: 10.7284/160639
title: Multibeam Echosounder data collected during research cruise RC0115 using a Kongsberg EM 2040 MKII instrument system onboard the platform RV Rachel Carson

description: Original (unprocessed) data collected during a Field_expedition
DOI: 10.60629/p0zt-3j66
title: Informacje o ślubach w poznańskiej parafii św. Małgorzaty za lata 1830-1874
title: Information on weddings in the Poznań parish of St. Margaret for the years 1830-1874

description: Pliki zawierają indywidualne informacje o ślubach w poznańskiej parafii św. Małgorzaty za lata 1830-1874. Tytuł projektu: Rodzina jako źródło wiedzy o historycznym Poznaniu, 1830-1930. Proponowany projekt składa się z trzech celów. Pierwszym z nich jest zbadanie wpływu dobrostanu społecznego, ekonomicznego i psychicznego rodziny na kondycję biologiczną i społeczną potomstwa. Cel projektu zostanie osiągnięty poprzez skupienie się na rodzinie poznańskiej w latach 1830-1930. Do realizacji tego projektu zostaną wykorzystane indywidualne informacje o urodzeniach, zawartych małżeństwach i zgonach, spisane z ksiąg parafialnych parafii katolickich i protestanckich w Poznaniu. Księgi zdeponowane są w Archiwum Państwowym w Poznaniu. Drugim celem projektu jest stworzenie bazy danych mieszkańców Poznania, złożonej z indywidualnych informacji o wszystkich składowych ruchu naturalnego: małżeństwach, urodzeniach i zgonach od lat 30. XIX wieku do początku XX wieku. W ramach projektu zostanie przeprowadzona również digitalizacja aktów urodzeń, małżeństw i zgonów USC Poznań obwód 1, za lata 1874-1930, zdeponowanych w Archiwum Państwowym miasta Poznania, których cyfrowe kopie zostaną umieszczone w domenie publicznej Archiwum. 
description: The files contain individual information on weddings in the Poznań parish of St. Margaret for the years 1830-1874. Project Title: The family as a source of knowledge about historical Poznań, 1830-1930. The proposed project has three objectives. The first is to investigate the impact of the social, economic, and psychological well-being of the family on the biological and social condition of the offspring. The goal of the project will be achieved by focusing on a Poznań family in 1830-1930. Individual records of births, marriages and deaths gathered from parish books of Catholic and Protestant parishes from Poznań will be used for the implementation of this project. The books are deposited in the State Archives in Poznań. The second goal of the project is to create a database of Poznań residents, consisting of individual information about all components of the natural movement: marriages, births, and deaths from the 1830s to the beginning of the 20tth century. As part of the project, the digitization of birth, marriage, and death records of the Civil Registry Office in Poznań, district 1, for 1874-1930, deposited in the State Archives of the city of Poznań, will be conducted, digital copies of which will be placed in the public domain of the Archives.
DOI: 10.7284/160640
title: Multibeam Echosounder data collected during research cruise RC0115 using a Kongsberg EM 2040 MKII instrument system onboard the platform RV Rachel Carson

description: Original (unprocessed) data collected during a Field_expedition
DOI: 10.25345/c5125qn13
title: MassIVE MSV000095758 - Structural basis for allosteric regulation of the proteasome core particle
title: HDX-MS data comparing deuteration of the M. tuberculosis proteasome core particle across four protein states (WT, T1A, OG and Ixazomib-bound) collected on a SYNAPT G2-Si.
DOI: 10.25549/kada-c126-19105
title: Association of Asian/Pacific American Artists (AAPAA). Articles of Incorporation

description: The Association of Asian/Pacific American Artists was officially incorporated in December 1976.
DOI: 10.5281/zenodo.12568144
title: Reproduction Package for FM 2024 Article `Software Verification with CPAchecker 3.0: Tutorial and User Guide'

description: This package allows you to check the claims of our FM 2024 tutorial paperSoftware Verification with CPAchecker 3.0: Tutorial and User Guide.

See the README.html for more information.

Abstract:This tutorial provides an introduction to CPAchecker for users. CPAchecker is a flexible and configurable framework for software verification and testing. The framework provides many abstract domains, such as BDDs, explicit values, intervals, memory graphs, and predicates, and many program-analysis and model-checking algorithms, such as abstract interpretation, bounded model checking, Impact, interpolation-based model checking, k-induction, PDR, predicate abstraction, and symbolic execution. This tutorial presents basic use cases for CPAchecker in formal software verification, focusing on its main verification techniques with their strengths and weaknesses. An extended version also shows further use cases of CPAchecker for test-case generation and witness-based result validation. The envisioned readers are assumed to possess a background in automatic formal verification and program analysis, but prior knowledge of CPAchecker is not required. This tutorial and user guide is based on CPAchecker in version 3.0. This user guide’s latest version and other documentation are available at https://cpachecker.sosy-lab.org/doc.php.
DOI: 10.5281/zenodo.12568145
title: Reproduction Package for FM 2024 Article `Software Verification with CPAchecker: Tutorial and User Guide'

description: This package allows you to check the claims of our FM 2024 tutorial paperSoftware Verification with CPAchecker: Tutorial and User Guide.

See the README.html for more information.

Abstract:This tutorial provides an introduction to CPAchecker for users. CPAchecker is a flexible and configurable framework for software verification and testing. The framework provides many abstract domains, such as predicates, explicit values, intervals, BDDs, and memory graphs, and many program-analyses and model-checking algorithms, such as symbolic execution, predicate abstraction, bounded model checking, k -induction, PDR, Impact, and interpolation-based model checking. This tutorial presents basic use cases for CPAchecker in formal software verification focusing on its main verification techniques with their strengths and weaknesses. The appendix also shows further use-cases of CPAchecker for test-case generation and witness-based result validation. The envisioned readers are assumed to posses a background in automatic formal verification and program analysis, but prior knowledge of CPAchecker is not required. This tutorial and user guide is based on CPAchecker in version 2.3.1.
DOI: 10.5281/zenodo.12666378
title: Reproduction Package for FM 2024 Article `Software Verification with CPAchecker 3.0: Tutorial and User Guide'

description: This package allows you to check the claims of our FM 2024 tutorial paperSoftware Verification with CPAchecker 3.0: Tutorial and User Guide.

See the README.html for more information.

Abstract:This tutorial provides an introduction to CPAchecker for users. CPAchecker is a flexible and configurable framework for software verification and testing. The framework provides many abstract domains, such as BDDs, explicit values, intervals, memory graphs, and predicates, and many program-analysis and model-checking algorithms, such as abstract interpretation, bounded model checking, Impact, interpolation-based model checking, k -induction, PDR, predicate abstraction, and symbolic execution. This tutorial presents basic use cases for CPAchecker in formal software verification, focusing on its main verification techniques with their strengths and weaknesses. An extended version also shows further use cases of CPAchecker for test-case generation and witness-based result validation. The envisioned readers are assumed to possess a background in automatic formal verification and program analysis, but prior knowledge of CPAchecker is not required. This tutorial and user guide is based on CPAchecker in version 3.0. This user guide’s latest version and other documentation are available at https://cpachecker.sosy-lab.org/doc.php.
DOI: 10.5281/zenodo.13612338
title: Reproduction Package for FM 2024 Article `Software Verification with CPAchecker 3.0: Tutorial and User Guide'

description: This package allows you to check the claims of our FM 2024 tutorial paperSoftware Verification with CPAchecker 3.0: Tutorial and User Guide.

See the README.html for more information.

Abstract:This tutorial provides an introduction to CPAchecker for users. CPAchecker is a flexible and configurable framework for software verification and testing. The framework provides many abstract domains, such as BDDs, explicit values, intervals, memory graphs, and predicates, and many program-analysis and model-checking algorithms, such as abstract interpretation, bounded model checking, Impact, interpolation-based model checking, k-induction, PDR, predicate abstraction, and symbolic execution. This tutorial presents basic use cases for CPAchecker in formal software verification, focusing on its main verification techniques with their strengths and weaknesses. An extended version also shows further use cases of CPAchecker for test-case generation and witness-based result validation. The envisioned readers are assumed to possess a background in automatic formal verification and program analysis, but prior knowledge of CPAchecker is not required. This tutorial and user guide is based on CPAchecker in version 3.0. This user guide’s latest version and other documentation are available at https://cpachecker.sosy-lab.org/doc.php.
DOI: 10.7284/160636
title: Radiometer data collected during research cruise RC0115 using a Biospherical QSP-2150 instrument system onboard the platform RV Rachel Carson

description: Original (unprocessed) data collected during a Field_expedition
DOI: 10.25549/kada-c126-18137
title: Kung Fu Fan Klub, by Irvin Paik
DOI: 10.7284/160632
title: Singlebeam Echosounder data collected during research cruise RC0115 using a Kongsberg ES38B instrument system onboard the platform RV Rachel Carson

description: Original (unprocessed) data collected during a Field_expedition
DOI: 10.25549/kada-c126-19151
title: Association of Asian/Pacific American Artists. correspondence, 1980-84

description: The Association of Asian/Pacific American Artists was officially incorporated in December 1976.
DOI: 10.25549/kada-c126-21354
title: Oriental policy of the United States: lecture by Henry Chung
DOI: 10.25549/kada-c126-17958
title: A Brief Biographical Sketch of a Newly-Found Asian Male - stage adaptation

description: [contents] This is a dramatized version by Irvin Paik of a story by Ron Low that first appeared in , 1971.
DOI: 10.25549/kada-c126-18174
title: Asians and Asian Themes in American Films and Television - slide show script

description: Irvin Paik researched and assembled a narrated slide show on the image of Asians in movies an TV.
DOI: 10.25549/kada-c126-21341
title: Oriental policy of the United States: lecture by Henry Chung
DOI: 10.25549/kada-c126-19458
title: AAPAA Media Award. Annual dinner. Program, 1990.
DOI: 10.25549/kada-c126-18226
title: Asians and Asian Themes in American Films and Television - correspondence

description: Irvin Paik researched and assembled a narrated slide show on the image of Asians in movies an TV.
DOI: 10.25549/kada-c126-19475
title: AAPAA Media Award. Annual dinner. Program, 1990.
DOI: 10.25549/kada-c126-20362
title: Kwan Soo Lee
DOI: 10.25549/kada-c126-18134
title: Kung Fu Fan Klub, by Irvin Paik
DOI: 10.25549/kada-c126-18107
title: Kung Fu Fan Klub, by Irvin Paik
DOI: 10.25549/kada-c126-484
title: Notebook 3

description: Institution address: USC Korean Heritage Library; Acquired from: Korean Independence Historical Association, Inc. (KIHAI); Processing funded by a grant from the Library Services and Technology Act (LSTA), California State Library; Item abstract: Writings under topics of various Christian subjects.; These sermon notes are written mostly in English, however some is in Korean.; Volume abstract: Writings under topics of various Christian subjects.
DOI: 10.25549/kada-c126-18119
title: Kung Fu Fan Klub, by Irvin Paik
DOI: 10.25549/kada-c126-17892
title: Nancy Kwan interviewed by Irvin Paik - notes
DOI: 10.25549/kada-c126-18028
title: Irvin Paik's notes from Bridge (magazine) interview with East West Players personnel
DOI: 10.25549/kada-c126-18217
title: Asians and Asian Themes in American Films and Television - correspondence

description: Irvin Paik researched and assembled a narrated slide show on the image of Asians in movies an TV.
DOI: 10.25549/kada-c126-20759
title: Henry Chung at 1915 YMCA Conference
DOI: 10.25549/kada-c126-11308
title: Soon Hyun sermon notes notebook 1

description: Institution address: USC Korean Heritage Library; Acquired from: Korean Independence Historical Association, Inc. (KIHAI); Processing funded by a grant from the Library Services and Technology Act (LSTA), California State Library
DOI: 10.25549/kada-c126-20575
title: Press Congress of the World, 1921 participants
DOI: 10.25549/kada-ouc113997xdj
title: Dr. Samuel Sang Gook Lee, 2012
DOI: 10.25549/kada-ouc113997zmx
title: Korean American Story
DOI: 10.25549/kada-c126-18190
title: Stereotypes of Asians in Motion Pictures and Television - slide show script

description: Irvin Paik researched and assembled a narrated slide show on the image of Asians in movies an TV.
DOI: 10.25549/kada-c126-20932
title: Henry DeYoung correspondence 1950 July on
DOI: 10.25549/kada-c126-18177
title: Asians and Asian Themes in American Films and Television - slide show script

description: Irvin Paik researched and assembled a narrated slide show on the image of Asians in movies an TV.
DOI: 10.25549/kada-c126-20954
title: Henry DeYoung correspondence 1950 July on
DOI: 10.25549/kada-c126-21261
title: Henry DeYoung correspondence 1955
DOI: 10.25549/kada-c126-19002
title: Association of Asian/Pacific American Artists. correspondence, 1971-1979

description: The Association of Asian/Pacific American Artists was officially incorporated in December 1976.
DOI: 10.25549/kada-c126-17995
title: Drafts of an article on East West Players, by Irvin Paik
DOI: 10.25549/kada-c126-18215
title: Asian Quest for a More Beautiful Motion Picture and TV World
DOI: 10.25549/kada-c126-21567
title: Group of boys in the north of Seoul

description: Caption: "Little Korean boys, of the middle class, in the northern suburbs of Seoul"
DOI: 10.25574/00475
title: Chandra X-ray Observatory ObsId 00475

description: PKS0637-752, an AGN used for focussing
DOI: 10.25549/kada-c126-19958
title: Carleton Kendal and Joan London, with Henry DeYoung

description: These photos were taken during the time that Carleton Kendall was engaged to Joan London (daughter of author Jack London).
DOI: 10.25574/00476
title: Chandra X-ray Observatory ObsId 00476

description: PKS0637-752, an AGN used for focussing
DOI: 10.25549/kada-c126-6935
title: A Cup of Coffee

description: [contents] Unit_ID: p001.; Unit_ID: p002.; Unit_ID: p003.
DOI: 10.25549/kada-c126-7720
title: 1942 Scrapbook

description: Item abstract: Notes from meetings of the Hawaii Branch of Minjok Hyongmyongdang (Korea), and newspaper clippings for Koreans in Hawaii and Korean Independence.; Volume abstract: A play depicting the assassination of D. W. Stevens by Chang In-hwan, and newspaper clippings in support of Korean independence.
DOI: 10.25549/kada-c126-77
title: Receipt for Insured Mail.

description: Institution name: USC Korean Heritage Library; Acquired from: Korean Independence Historical Association, Inc. (KIHAI); Processing funded by a grant from the Library Services and Technology Act (LSTA), California State Library; Volume abstract: Records of financial contributions from Korean- Americans in Hawaii to the Korean Provisional Government; Hyon Sun's political activities in Hawaii; Newspaper clippings on Korea before and after Korean independence
DOI: 10.25549/kada-c126-11682
title: Korean Student Bulletin. 1935-1936

description: [contents] Unit_ID: page001. October-November 1935 : page 1; Unit_ID: page002.; Unit_ID: page003.; Unit_ID: page004.; Unit_ID: page005.; Unit_ID: page006.; Unit_ID: page007.; Unit_ID: page008.; Unit_ID: page009. December 1935-January 1936 : page 1; Unit_ID: page010.; Unit_ID: page011.; Unit_ID: page012.; Unit_ID: page013.; Unit_ID: page014.; Unit_ID: page015.; Unit_ID: page016. March-April 1936 : page 1; Unit_ID: page017.; Unit_ID: page018.; Unit_ID: page019.; Unit_ID: page020.; Unit_ID: page021.; Unit_ID: page022.; Unit_ID: page023.
DOI: 10.25549/kada-ouc11399800n
title: Korean American Story
DOI: 10.25549/kada-c126-11504
title: Korean Student Bulletin. 1929

description: [contents] Unit_ID: page001. March 1929 : page 1; Unit_ID: page002.; Unit_ID: page003.; Unit_ID: page004.; Unit_ID: page005.; Unit_ID: page006.; Unit_ID: page007. May 1929 : page 1; Unit_ID: page008.; Unit_ID: page009.; Unit_ID: page010.; Unit_ID: page011. Octoer 1929 : page 1; Unit_ID: page012.; Unit_ID: page013.; Unit_ID: page014.; Unit_ID: page015.; Unit_ID: page016.; Unit_ID: page017.; Unit_ID: page018.; Unit_ID: page019. December 1929 : page 1; Unit_ID: page020.; Unit_ID: page021.; Unit_ID: page022.
DOI: 10.25549/kada-c126-11524
title: Korean Student Bulletin. 1930

description: [contents] Unit_ID: page001. February 1930 : page 1; Unit_ID: page002.; Unit_ID: page003.; Unit_ID: page004.; Unit_ID: page005. May 1930 : page 1; Unit_ID: page006.; Unit_ID: page007.; Unit_ID: page008.; Unit_ID: page009.; Unit_ID: page010.; Unit_ID: page011.; Unit_ID: page012.; Unit_ID: page013. October 1930 : page 1; Unit_ID: page014.; Unit_ID: page015.; Unit_ID: page016.; Unit_ID: page017.; Unit_ID: page018.; Unit_ID: page019.; Unit_ID: page020.; Unit_ID: page021. December 1930 : page 1; Unit_ID: page022.; Unit_ID: page023.; Unit_ID: page024.
DOI: 10.25549/kada-ouc113997xc6
title: Rev. Jung John Kwon
DOI: 10.25549/kada-ouc113997xbk
title: Dr. Byoung G. Choh
DOI: 10.25549/kada-ouc1139985gr
title: Dju Hyun Park
DOI: 10.25549/kada-c126-17986
title: Drafts of an article on East West Players, by Irvin Paik
DOI: 10.25549/kada-c126-20711
title: Henry Chung receives master's degree from University of Nebraska
DOI: 10.25549/kada-ouc113998g3i
title: Najung Hiatt
DOI: 10.25549/kada-c126-22312
title: Maruda (Yang) Kim
DOI: 10.25549/kada-c126-21423
title: America and the World Economy: The New Era, lecture by Henry Chung
DOI: 10.25549/kada-c126-18153
title: Asians and Asian Themes in American Films and Television - slide show script

description: Irvin Paik researched and assembled a narrated slide show on the image of Asians in movies an TV.
DOI: 10.25549/kada-c126-21238
title: Henry DeYoung correspondence 1955