cometadata/datacite-titles-descriptions-related-identifiers huggingface dataset:
DOI: 10.58153/34wh4-2zc35
title: Occupy Wall Street Archives Working Group Records FTIR dataset (TAM.630, Box 39, Conservation ID 21_098)

description: This is a technical analysis dataset for cultural heritage materials that are in the collection of New York University Libraries and were examined by the NYU Barbara Goldsmith Preservation & Conservation Department. The materials were examined on June 28, 2021 and are part of the Occupy Wall Street Archives Working Group Records held by the NYU Special Collections (TAM.630, Box 39). The dataset includes a conservation report, FTIR (Fourier Transform Infrared) spectra and, if applicable, a standard visible light image of the object. For more information about this object or its FTIR spectra, please contact the Barbara Goldsmith Preservation & Conservation Department at lib-preservation@nyu.edu
DOI: 10.58153/ktpme-24e63
title: Mabou Mines Archive FTIR dataset (MSS.133, Conservation ID 22_042)

description: This is a technical analysis dataset for cultural heritage materials that are in the collection of New York University Libraries and were examined by the NYU Barbara Goldsmith Preservation & Conservation Department. The materials were examined on November 7, 2022 and are part of the Mabou Mines Archive held by the NYU Special Collections (MSS.133). The dataset includes a conservation report, FTIR (Fourier Transform Infrared) spectra and, if applicable, a standard visible light image of the object. For more information about this object or its FTIR spectra, please contact the Barbara Goldsmith Preservation & Conservation Department at lib-preservation@nyu.edu
DOI: 10.58153/nwx2s-kyk88
title: Shu Lea Cheang Papers FTIR dataset (MSS.381, Conservation ID 21_066)

description: This is a technical analysis dataset for cultural heritage materials that are in the collection of New York University Libraries and were examined by the NYU Barbara Goldsmith Preservation & Conservation Department. The materials were examined on March 3, 2023 and are part of the Shu Lea Cheang Papers held by the NYU Special Collections (MSS.381). The dataset includes a conservation report, FTIR (Fourier Transform Infrared) spectra and, if applicable, a standard visible light image of the object. For more information about this object or its FTIR spectra, please contact the Barbara Goldsmith Preservation & Conservation Department at lib-preservation@nyu.edu
DOI: 10.58153/zcdj8-3km77
title: Martin Wong Papers FTIR dataset (MSS.102, Box 26, Conservation ID 21_073)

description: This is a technical analysis dataset for cultural heritage materials that are in the collection of New York University Libraries and were examined by the NYU Barbara Goldsmith Preservation & Conservation Department. The materials were examined on March 3, 2023 and are part of the Martin Wong Papers held by the NYU Special Collections (MSS.102, Box 26). The dataset includes a conservation report, FTIR (Fourier Transform Infrared) spectra and, if applicable, a standard visible light image of the object. For more information about this object or its FTIR spectra, please contact the Barbara Goldsmith Preservation & Conservation Department at lib-preservation@nyu.edu
DOI: 10.58153/7qct4-16y51
title: ProQuest Vogue Text-as-Data Collection

description: The collection consists of extracted machine-readable text from the print magazine, dating from 1892-2020. In total there are 450,921 xml files, with a size of 1.67 GB. There is one .xml for each item, advertisement, article, or subsection of a magazine issue, including metadata about that item and the full text as extracted from the digitized print using optical character recognition (OCR). The collection also includes 651,896 .jpeg files totaling 579 GB. There is one .jpeg for each page of the original print. This collection is static and is not updated with more current issues, and is available to NYU faculty and students only. Instructions for how to access this collection are available at https://guides.nyu.edu/tdm/proquest-vogue-magazine
DOI: 10.15468/dl.2hsqud
title: Occurrence Download

description: A dataset containing 1958 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Desmostachya (Stapf) Stapf"
 ]
}

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

description: A dataset containing 1933 species occurrences available in GBIF matching the query:
{
 "and" : [
 "BasisOfRecord is Human Observation",
 "Country is Canada",
 "Geometry POLYGON((-128.74981 49.10092,-120.6536 49.10092,-120.6536 53.57459,-128.74981 53.57459,-128.74981 49.10092))",
 "HasGeospatialIssue is false",
 "OccurrenceStatus is Present",
 "TaxonKey is Procyon lotor"
 ]
}

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

description: A dataset containing 57 species occurrences available in GBIF matching the query:
{
 "and" : [
 "Country is Türkiye",
 "OccurrenceStatus is Present",
 "TaxonKey is Spermophilus taurensis"
 ]
}

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

description: A dataset containing 45 species occurrences available in GBIF matching the query:
{"type":"and","predicates":[{"type":"within","geometry":"POLYGON ((-73.617 7.733107, -73.68790300000001 7.727535, -73.757054 7.710958, -73.82274700000001 7.683783, -73.883359 7.646684, -73.937397 7.600574, -73.983529 7.546593, -74.020619 7.486072, -74.047758 7.420504, -74.06428 7.351504, -74.069784 7.280774, -74.06413999999999 7.210054, -74.04749099999999 7.141086, -74.020252 7.075567, -73.983097 7.015108, -73.936944 6.961195, -73.88292800000001 6.915154, -73.82238 6.878116, -73.756788 6.850991, -73.687763 6.834445, -73.617 6.828884, -73.546237 6.834445, -73.47721199999999 6.850991, -73.41162 6.878116, -73.351072 6.915154, -73.297056 6.961195, -73.25090299999999 7.015108, -73.213748 7.075567, -73.186509 7.141086, -73.16986 7.210054, -73.164216 7.280774, -73.16972 7.351504, -73.18624199999999 7.420504, -73.213381 7.486072, -73.250471 7.546593, -73.296603 7.600574, -73.350641 7.646684, -73.411253 7.683783, -73.476946 7.710958, -73.546097 7.727535, -73.617 7.733107))"},{"type":"equals","key":"CLASS_KEY","value":"212","matchCase":false},{"type":"greaterThanOrEquals","key":"YEAR","value":"2015","matchCase":false},{"type":"not","predicate":{"type":"in","key":"BASIS_OF_RECORD","values":["MATERIAL_CITATION","MATERIAL_SAMPLE","PRESERVED_SPECIMEN"],"matchCase":false}},{"type":"lessThanOrEquals","key":"COORDINATE_UNCERTAINTY_IN_METERS","value":"10000","matchCase":false},{"type":"equals","key":"LICENSE","value":"CC BY 4.0","matchCase":false}]}

 The dataset includes 45 records from 2 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0003213-260120142942310/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.6084/m9.figshare.31118710
title: Dataset on Antimicrobial Activity and fermentation optimization of Soil-Derived Actinomycetes from Nepal

description: This dataset contains the raw and processed data supporting the study on antibacterial activity of Nepalese soil actinomycetes.<b>Included files:</b>Two Excel files, one Word, one README file showing tables, equations and explaining variables.The data were generated as part of the project, "Isolation of Nepalese Soil Actinomycetes and RSM-Driven Optimization of Fermentation Conditions for Maximum Antimicrobial Production". It is linked as supplementary file.
DOI: 10.6084/m9.figshare.31118710.v1
title: Dataset on Antimicrobial Activity and fermentation optimization of Soil-Derived Actinomycetes from Nepal

description: This dataset contains the raw and processed data supporting the study on antibacterial activity of Nepalese soil actinomycetes.<b>Included files:</b>Two Excel files, one Word, one README file showing tables, equations and explaining variables.The data were generated as part of the project, "Isolation of Nepalese Soil Actinomycetes and RSM-Driven Optimization of Fermentation Conditions for Maximum Antimicrobial Production". It is linked as supplementary file.
DOI: 10.15468/dl.nuer66
title: Occurrence Download

description: A dataset containing 0 species occurrences available in GBIF matching the query:
{"type":"and","predicates":[{"type":"within","geometry":"POLYGON ((100.151 2.262179, 100.080683 2.25661, 100.012099 2.240042, 99.94693700000001 2.212882, 99.886804 2.1758, 99.833181 2.129709, 99.78738800000001 2.075746, 99.750552 2.015239, 99.72358 1.949679, 99.70713499999999 1.880681, 99.70162000000001 1.809944, 99.70716899999999 1.739209, 99.723646 1.670219, 99.750643 1.604671, 99.787494 1.54418, 99.833292 1.490233, 99.88691 1.44416, 99.94702700000001 1.407093, 100.012164 1.379945, 100.080717 1.363385, 100.151 1.357819, 100.221283 1.363385, 100.289836 1.379945, 100.354973 1.407093, 100.41509 1.44416, 100.468708 1.490233, 100.514506 1.54418, 100.551357 1.604671, 100.578354 1.670219, 100.594831 1.739209, 100.60038 1.809944, 100.594865 1.880681, 100.57842 1.949679, 100.551448 2.015239, 100.514612 2.075746, 100.468819 2.129709, 100.415196 2.1758, 100.355063 2.212882, 100.289901 2.240042, 100.221317 2.25661, 100.151 2.262179))"},{"type":"equals","key":"CLASS_KEY","value":"212","matchCase":false},{"type":"greaterThanOrEquals","key":"YEAR","value":"2015","matchCase":false},{"type":"not","predicate":{"type":"in","key":"BASIS_OF_RECORD","values":["MATERIAL_CITATION","MATERIAL_SAMPLE","PRESERVED_SPECIMEN"],"matchCase":false}},{"type":"lessThanOrEquals","key":"COORDINATE_UNCERTAINTY_IN_METERS","value":"10000","matchCase":false},{"type":"equals","key":"LICENSE","value":"CC BY 4.0","matchCase":false}]}

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

description: A dataset containing 36493 species occurrences available in GBIF matching the query:
{
 "and" : [
 "Continent is Asia",
 "Country is Kazakhstan",
 "HasCoordinate is true",
 "HasGeospatialIssue is false",
 "OccurrenceStatus is Present",
 "TaxonKey is Passeriformes",
 "Year 2015-2020"
 ]
}

 The dataset includes 36493 records from 6 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0003216-260120142942310/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.5281/zenodo.18330440
title: Experimental data of TACAS 2026 Publication "Real-time Proof Checking for Distributed Incremental SAT Solving"

description: This repository features the software and experimental data surrounding our TACAS 2026 publication "Real-time Proof Checking for Distributed Incremental SAT Solving".

Abstract: Distributed clause-sharing SAT solvers are powerful automated reasoning tools capable of rapidly solving many difficult instances. Users of SAT solving often rely on incremental SAT solving, i.e., interactive solve calls over an evolving formula. We present the first approach to distributed incremental SAT solving that grants full confidence in the obtained result. Specifically, we extend a recent distributed real-time proof checking approach with an incremental proof interface. Our approach offers great flexibility in that it supports dynamic re-scheduling of computational resources and allows to safely share clauses across tasks that operate on deviating assumptions and formula increments. We further add on-the-fly clause compression to checkers in order to reduce memory consumption. Experiments with the distributed solver MallobSat on up to 1216 cores show that our trusted solving approach checks incremental SAT tasks with small mean overhead (<33%) over unchecked solving.

Note: This initial version of the artifact does not yet feature specific instructions to reproduce the experiments and plots from the paper. We aim to integrate them in a future version of the artifact as soon as possible.
DOI: 10.5281/zenodo.18330441
title: Experimental data of TACAS 2026 Publication "Real-time Proof Checking for Distributed Incremental SAT Solving"

description: This repository features the software and experimental data surrounding our TACAS 2026 publication "Real-time Proof Checking for Distributed Incremental SAT Solving".

Abstract: Distributed clause-sharing SAT solvers are powerful automated reasoning tools capable of rapidly solving many difficult instances. Users of SAT solving often rely on incremental SAT solving, i.e., interactive solve calls over an evolving formula. We present the first approach to distributed incremental SAT solving that grants full confidence in the obtained result. Specifically, we extend a recent distributed real-time proof checking approach with an incremental proof interface. Our approach offers great flexibility in that it supports dynamic re-scheduling of computational resources and allows to safely share clauses across tasks that operate on deviating assumptions and formula increments. We further add on-the-fly clause compression to checkers in order to reduce memory consumption. Experiments with the distributed solver MallobSat on up to 1216 cores show that our trusted solving approach checks incremental SAT tasks with small mean overhead (<33%) over unchecked solving.

Note: This initial version of the artifact does not yet feature specific instructions to reproduce the experiments and plots from the paper. We aim to integrate them in a future version of the artifact as soon as possible.
DOI: 10.5281/zenodo.18330739
title: processed data
DOI: 10.15468/dl.um988k
title: Occurrence Download

description: A dataset containing 282423 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is one of (Abrodictyum obscurum, Abrophyllum ornans, Abrotanella forsteroides, Abrotanella scapigera, Acacia acuminata, Acacia alata, Acacia axillaris, Acacia bidentata, Acacia binervia, Acacia celastrifolia, Acacia chrysocephala, Acacia colletioides, Acacia crassistipula, Acacia decurrens, Acacia derwentiana, Acacia echinula, Acacia elata, Acacia erinacea, Acacia falcata, Acacia filicifolia, Acacia floribunda, Acacia glaucoptera, Acacia gonophylla, Acacia hemiteles, Acacia hispidula, Acacia implexa, Acacia jennerae, Acacia linifolia, Acacia longifolia, Acacia longissima, Acacia melanoxylon, Acacia merrallii, Acacia mucronata, Acacia myrtifolia, Acacia nyssophylla, Acacia oxycedrus, Acacia paradoxa, Acacia parramattensis, Acacia pataczekii, Acacia prominens, Acacia pulchella, Acacia pycnocephala, Acacia resinistipulea, Acacia riceana, Acacia rostellata, Acacia schinoides, Acacia shuttleworthii, Acacia stenoptera, Acacia stricta, Acacia suaveolens)",
 "HasCoordinate is true",
 "HasGeospatialIssue is false"
 ]
}

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

description: A dataset containing 0 species occurrences available in GBIF matching the query:
{"type":"and","predicates":[{"type":"within","geometry":"POLYGON ((100.024 2.264179, 99.953683 2.25861, 99.885098 2.242042, 99.819937 2.214882, 99.759804 2.1778, 99.706181 2.131709, 99.660388 2.077746, 99.623552 2.017239, 99.59658 1.951679, 99.580134 1.882681, 99.574619 1.811944, 99.580169 1.741209, 99.596645 1.672219, 99.623642 1.606671, 99.660494 1.54618, 99.706292 1.492233, 99.75991 1.44616, 99.820027 1.409093, 99.885164 1.381945, 99.953717 1.365385, 100.024 1.359819, 100.094283 1.365385, 100.162836 1.381945, 100.227973 1.409093, 100.28809 1.44616, 100.341708 1.492233, 100.387506 1.54618, 100.424358 1.606671, 100.451355 1.672219, 100.467831 1.741209, 100.473381 1.811944, 100.467866 1.882681, 100.45142 1.951679, 100.424448 2.017239, 100.387612 2.077746, 100.341819 2.131709, 100.288196 2.1778, 100.228063 2.214882, 100.162902 2.242042, 100.094317 2.25861, 100.024 2.264179))"},{"type":"equals","key":"CLASS_KEY","value":"212","matchCase":false},{"type":"greaterThanOrEquals","key":"YEAR","value":"2015","matchCase":false},{"type":"not","predicate":{"type":"in","key":"BASIS_OF_RECORD","values":["MATERIAL_CITATION","MATERIAL_SAMPLE","PRESERVED_SPECIMEN"],"matchCase":false}},{"type":"lessThanOrEquals","key":"COORDINATE_UNCERTAINTY_IN_METERS","value":"10000","matchCase":false},{"type":"equals","key":"LICENSE","value":"CC BY 4.0","matchCase":false}]}

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

description: A dataset containing 32 species occurrences available in GBIF matching the query:
{"type":"and","predicates":[{"type":"within","geometry":"POLYGON ((-73.858 7.783106, -73.928911 7.777534, -73.998071 7.760957, -74.063771 7.733782, -74.124391 7.696682, -74.178434 7.650573, -74.224571 7.596591, -74.26166499999999 7.53607, -74.28880599999999 7.470502, -74.30533 7.401502, -74.310835 7.330772, -74.305189 7.260053, -74.288538 7.191085, -74.261296 7.125566, -74.224137 7.065107, -74.177978 7.011195, -74.12395600000001 6.965154, -74.063401 6.928117, -73.99780199999999 6.900992, -73.92877 6.884446, -73.858 6.878885, -73.78722999999999 6.884446, -73.718198 6.900992, -73.652599 6.928117, -73.592044 6.965154, -73.538022 7.011195, -73.491863 7.065107, -73.45470400000001 7.125566, -73.42746200000001 7.191085, -73.410811 7.260053, -73.405165 7.330772, -73.41067 7.401502, -73.427194 7.470502, -73.454335 7.53607, -73.491429 7.596591, -73.537566 7.650573, -73.59160900000001 7.696682, -73.65222900000001 7.733782, -73.717929 7.760957, -73.78708899999999 7.777534, -73.858 7.783106))"},{"type":"equals","key":"CLASS_KEY","value":"212","matchCase":false},{"type":"greaterThanOrEquals","key":"YEAR","value":"2015","matchCase":false},{"type":"not","predicate":{"type":"in","key":"BASIS_OF_RECORD","values":["MATERIAL_CITATION","MATERIAL_SAMPLE","PRESERVED_SPECIMEN"],"matchCase":false}},{"type":"lessThanOrEquals","key":"COORDINATE_UNCERTAINTY_IN_METERS","value":"10000","matchCase":false},{"type":"equals","key":"LICENSE","value":"CC BY 4.0","matchCase":false}]}

 The dataset includes 32 records from 2 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0003218-260120142942310/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.7910/dvn/rpqt5x
title: Replication Data for: Measuring Fairness

description: Replication material for Measuring Fairness article
DOI: 10.7910/dvn/kqzrvt
title: Replication Data for: "Partisan differences in risk taking in a simulated pandemic"

description: Supplement and replication data for "Partisan differences in risk taking in a simulated pandemic"
DOI: 10.15468/dl.rwumgv
title: Occurrence Download

description: A dataset containing 4596 species occurrences available in GBIF matching the query:
{
 "and" : [
 "Continent is Asia",
 "Country is Kazakhstan",
 "HasCoordinate is true",
 "HasGeospatialIssue is false",
 "TaxonKey is Passeriformes",
 "Year 1900-2000"
 ]
}

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

description: A dataset containing 2755 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is Sporobolus alterniflorus",
 "Year 2000-2026"
 ]
}

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

description: A dataset containing 8632 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Eriotheca"
 ]
}

 The dataset includes 8632 records from 269 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0003222-260120142942310/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.7910/dvn/dglbh7
title: Sensor database from digital plot Chiquimula, Guatemala - 2025

description: These are data collected from climate and soil sensors in the digital maize plot at San Carlos University, CUNORI, which primarily aim to provide crucial information about the conditions affecting crop development. &lt;br&gt;
This data enables farmers, researchers, and academics to better understand how digital technologies can improve the productivity and sustainability of agricultural systems.
&lt;br&gt;
&lt;br&gt; 
Methodology:The data is extracted from the nMetos weather station and soil probe device through the FieldClimate API
DOI: 10.15468/dl.52m6nv
title: Occurrence Download

description: A dataset containing 17 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Pitar fluctuatus"
 ]
}

 The dataset includes 17 records from 10 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0003224-260120142942310/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.3886/e244548
title: USDA Food Distribution Program Tables

description: Food distributions programs include Nutrition Services Incentive Program (NSIP, formerly Nutrition Program for the Elderly), Food Distribution on Indian Reservations (FDPIR), Commodity Supplemental Food (CSFP), and Emergency Food Assistance (TEFAP).<br><br>National level tables cover FY 1969-2024, state level tables cover FY 2020-2024. Tables cover cost of the programs and participation.
description: Data downloaded 2026-1-21
DOI: 10.3886/e244548v1
title: USDA Food Distribution Program Tables

description: Food distributions programs include Nutrition Services Incentive Program (NSIP, formerly Nutrition Program for the Elderly), Food Distribution on Indian Reservations (FDPIR), Commodity Supplemental Food (CSFP), and Emergency Food Assistance (TEFAP).<br><br>National level tables cover FY 1969-2024, state level tables cover FY 2020-2024. Tables cover cost of the programs and participation.
description: Data downloaded 2026-1-21
DOI: 10.15468/dl.xffeat
title: Occurrence Download

description: A dataset containing 9871 species occurrences available in GBIF matching the query:
{
 "and" : [
 {
 "or" : [
 "Geometry POLYGON((-87.78646 33.08196,-87.64567 33.08196,-87.64567 33.19985,-87.78646 33.19985,-87.78646 33.08196))",
 "Geometry POLYGON((-93.30722 15.75868,-50.0669 15.75868,-50.0669 48.27479,-93.30722 48.27479,-93.30722 15.75868))"
 ]
 },
 "HasGeospatialIssue is false",
 "TaxonKey is Littorina littorea",
 "Year 2000-2026"
 ]
}

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