cometadata/datacite-titles-descriptions-related-identifiers huggingface dataset:
DOI: 10.5281/zenodo.4695128
title: SAT-Inspired Eliminations for Superposition

description: This archive contains the problems, raw evaluation results and scripts for<br> running the experiments described in the paper "SAT-Inspired Inprocessing for<br> Superposition" by Petar Vukmirovic, Jasmin Blanchette, and Marijn J.H. Heule<br> available at https://matryoshka-project.github.io/pubs/satelimsup_paper.pdf The problems we used are stored in the "problems/" subdirectory, together with<br> the required axioms (directory "Axioms"). They are separated in two groups,<br> "Theorems" and "Satisfiable", as in the paper. In the "results/" directory, there are 6 files with names of the form<br> "fD.csv", where D is a digit from 1 to 6. The digit corresponds to the<br> figure from the paper, and the corresponding file contains experiment results<br> for the figure labeled D. The columns give information about the results of the<br> experiment run for a given prover configuration (e.g., CPU time, reported<br> status, memory usage). Each row corresponds to one problem file, whose name is<br> given in the "prob_name" column. The "i_solver" column corresponds to a prover. The "i_configuration" column<br> corresponds to a configuration, where i is a natural number identifying a<br> prover-configuration combination. Files named "fDsummary.csv" contain concise summaries of evaluation runs<br> for a corresponding "fD.csv" file. Their columns are of the form<br> "{solver}_{configuration}", and rows contain different statistics described in<br> the "summary" column. The names of the configurations are self-explanatory and correspond to the ones<br> used in the paper. For BCE, SPE, and PPE, if the configuration has no<br> "inprocessing" in the name, the corresponding technique is used as<br> preprocessing. The "zipperposition/" directory contains the scripts that execute the provided<br> Zipperposition binary (compiled only for Linux) on a given problem using a<br> given configuration. To run Zipperposition on a single problem using some<br> configuration, you can use scripts with the name "run_*.sh", where * stands for<br> the configuration used in the evaluation. The configuration names match the<br> ones described in the files "fD.csv". The scripts take two arguments: (1) the path to the TPTP problem and (2) the<br> CPU timeout. For example, to run problem with the path "~/puzzling.p" using the<br> configuration "bce", execute ./run_bce.sh ~/puzzling.p 240 A working installation of python3 and bash is required. The source code for Zipperposition can be obtained from the<br> "wip-hlbe-unit-eqs-checkpoint" branch of the Zipperposition git repository:<br> git@github.com:sneeuwballen/zipperposition.git. The binary stored in "zipperposition/"<br> corresponds to compiled sources tagged with the commit hash<br> 41b3398647e243c8bf6911b3ee4ed4928b4e445d. Compilation instructions are as in<br> the "README.md" file contained in the git repository.
DOI: 10.5281/zenodo.4552499
title: SAT-Inspired Eliminations for Superposition

description: This archive contains the problems, raw evaluation results and scripts for<br> running the experiments described in the paper "SAT-Inspired Inprocessing for<br> Superposition" by Petar Vukmirovic, Jasmin Blanchette, and Marijn J.H. Heule<br> available at https://matryoshka-project.github.io/pubs/satelimsup_paper.pdf The problems we used are stored in the "problems/" subdirectory, together with<br> the required axioms (directory "Axioms"). They are separated in two groups,<br> "Theorems" and "Satisfiable", as in the paper. In the "results/" directory, there are 6 files with names of the form<br> "fD.csv", where D is a digit from 1 to 6. The digit corresponds to the<br> figure from the paper, and the corresponding file contains experiment results<br> for the figure labeled D. The columns give information about the results of the<br> experiment run for a given prover configuration (e.g., CPU time, reported<br> status, memory usage). Each row corresponds to one problem file, whose name is<br> given in the "prob_name" column. The "i_solver" column corresponds to a prover. The "i_configuration" column<br> corresponds to a configuration, where i is a natural number identifying a<br> prover-configuration combination. Files named "fDsummary.csv" contain concise summaries of evaluation runs<br> for a corresponding "fD.csv" file. Their columns are of the form<br> "{solver}_{configuration}", and rows contain different statistics described in<br> the "summary" column. The names of the configurations are self-explanatory and correspond to the ones<br> used in the paper. For BCE, SPE, and PPE, if the configuration has no<br> "inprocessing" in the name, the corresponding technique is used as<br> preprocessing. The "zipperposition/" directory contains the scripts that execute the provided<br> Zipperposition binary (compiled only for Linux) on a given problem using a<br> given configuration. To run Zipperposition on a single problem using some<br> configuration, you can use scripts with the name "run_*.sh", where * stands for<br> the configuration used in the evaluation. The configuration names match the<br> ones described in the files "fD.csv". The scripts take two arguments: (1) the path to the TPTP problem and (2) the<br> CPU timeout. For example, to run problem with the path "~/puzzling.p" using the<br> configuration "bce", execute ./run_bce.sh ~/puzzling.p 240 A working installation of python3 and bash is required. The source code for Zipperposition can be obtained from the<br> "wip-hlbe-unit-eqs-checkpoint" branch of the Zipperposition git repository:<br> git@github.com:sneeuwballen/zipperposition.git. The binary stored in "zipperposition/"<br> corresponds to compiled sources tagged with the commit hash<br> 41b3398647e243c8bf6911b3ee4ed4928b4e445d. Compilation instructions are as in<br> the "README.md" file contained in the git repository.
DOI: 10.7284/140994
title: Expendable Probe data collected during research cruise NA078 using a Sippican MK21 instrument system onboard the platform EV Nautilus

description: Original (unprocessed) data collected during a Field_expedition
DOI: 10.7284/140992
title: INS (Inertial Navigation System) data collected during research cruise NA078 using a Kongsberg Seatex MRU-5 instrument system onboard the platform EV Nautilus

description: Original (unprocessed) data collected during a Field_expedition
DOI: 10.7284/140995
title: INS (Inertial Navigation System) data collected during research cruise NA078 using a Kongsberg Seapath 330+ instrument system onboard the platform EV Nautilus

description: Original (unprocessed) data collected during a Field_expedition
DOI: 10.7284/140996
title: Meteorological Station data collected during research cruise NA078 using a Coastal Weatherpak-2000 instrument system onboard the platform EV Nautilus

description: Original (unprocessed) data collected during a Field_expedition
DOI: 10.7284/140997
title: Multibeam Echosounder data collected during research cruise NA078 using a Kongsberg EM302 instrument system onboard the platform EV Nautilus

description: Original (unprocessed) data collected during a Field_expedition
DOI: 10.7284/140998
title: Multibeam Echosounder data collected during research cruise NA078 using a Kongsberg EM302 instrument system onboard the platform EV Nautilus

description: Original (unprocessed) data collected during a Field_expedition
DOI: 10.7284/140993
title: Singlebeam Echosounder data collected during research cruise NA078 using a Knudsen 3260 instrument system onboard the platform EV Nautilus

description: Original (unprocessed) data collected during a Field_expedition
DOI: 10.7284/140991
title: SSV (Sound Speed Velocimeter) data collected during research cruise NA078 using a AML SV Xchange instrument system onboard the platform EV Nautilus

description: Original (unprocessed) data collected during a Field_expedition
DOI: 10.5281/zenodo.3252790
title: Mechanism, Kinetics and Selectivity of a Williamson Ether Synthesis: elucidation under different reaction conditions

description: Background data Corresponding paper: https://doi.org/10.1039/D0RE00437E
DOI: 10.5281/zenodo.3252789
title: Mechanism, Kinetics and Selectivity of a Williamson Ether Synthesis: elucidation under different reaction conditions

description: Background data Corresponding paper: https://doi.org/10.1039/D0RE00437E
DOI: 10.21227/g8vy-5w61
title: Stock Market Tweets Data

description: Twitter is one of the most popular social networks for sentiment analysis. This data set of tweets are related to the stock market. We collected 943,672 tweets between April 9 and July 16, 2020, using the Samp;P 500 tag (#SPX500), the references to the top 25 companies in the Samp;P 500 index, and the Bloomberg tag (#stocks). 1,300 out of the 943,672 tweets were manually annotated in positive, neutral, or negative classes. A second independent annotator reviewed the manually annotated tweets. This annotated data set can contribute to create new domain-specific lexicons or enrich some of the actual dictionaries. Researchers can train their supervised models using the annotated data set. Additionally, the full data set can be used for text mining and sentiment analysis related to the stock market.
DOI: 10.3886/e137501
title: Data and Code for "Compliance with Social Distancing: Theory and Empirical Evidence from Ontario during COVID-19"

description: This deposit is the replication package for "Compliance with Social Distancing: Theory and Empriical Evidence form Ontario during COVID-19". See the README for instructions.
DOI: 10.3886/e137501v2
title: Data and Code for "Compliance with Social Distancing: Theory and Empirical Evidence from Ontario during COVID-19"

description: This deposit is the replication package for "Compliance with Social Distancing: Theory and Empriical Evidence form Ontario during COVID-19". See the README for instructions.
DOI: 10.6084/m9.figshare.14428223.v1
title: MN Raw Data_RJM.MFD.DFS_2021.xlsx

description: Data from a six month experiment assessing Canada jay macronutrient preferences.
DOI: 10.6084/m9.figshare.14428223
title: MN Raw Data_RJM.MFD.DFS_2021.xlsx

description: Data from a six month experiment assessing Canada jay macronutrient preferences.
DOI: 10.5281/zenodo.4694950
title: Directly-Georeferenced Hyperspectral Point Cloud (DHPC) from the Mer Bleue Peatland (example dataset)

description: Directly-Georeferenced Hyperspectral Point Cloud (HPC_288band_xyz_final.txt) from the Mer Bleue Peatland near Ottawa, Ontario, Canada. The point cloud is accompanied by a meta data file (HPC_288band_xyz_final_META.txt) that records important data parameters such as data acquisition instrument, data acquisition time, data acquisition date, sensor platform, spectral units, wavelength and full width at half maximum of each band, wavelength units, file type and map info. The Directly-Georeferenced Hyperspectral Point Cloud and its advantages over conventional raster data products are described in: Inamdar, D., Kalacska M., Arroyo-Mora J.P., Leblanc G., 2021. The Directly-Georeferenced Hyperspectral Point Cloud (DHPC): Preserving the Integrity of Hyperspectral Imaging Data. <em>Frontiers in Remote Sensing</em> doi: 10.3389/frsen.2021.675323 The methodology to generate the Directly-Georeferenced Hyperspectral Point Cloud is described in: Inamdar, D., Kalacska M., Leblanc G., Arroyo-Mora J.P. 2021. Implementation of the Directly-Georeferenced Hyperspectral Point Cloud. <em>MethodsX </em>Submitted.
description: {"references": ["Inamdar et al. (2021). The Directly-Georeferenced Hyperspectral Point Cloud (DHPC): Preserving the Integrity of Hyperspectral Imaging Data. doi: 10.3389/frsen.2021.675323", "Inamdar et al. (2021). Implementation of the Directly-Georeferenced Hyperspectral Point Cloud. MethodsX: submitted"]}
DOI: 10.5281/zenodo.4694949
title: Directly-Georeferenced Hyperspectral Point Cloud (DHPC) from the Mer Bleue Peatland (example dataset)

description: Directly-Georeferenced Hyperspectral Point Cloud (HPC_288band_xyz_final.txt) from the Mer Bleue Peatland near Ottawa, Ontario, Canada. The point cloud is accompanied by a meta data file (HPC_288band_xyz_final_META.txt) that records important data parameters such as data acquisition instrument, data acquisition time, data acquisition date, sensor platform, spectral units, wavelength and full width at half maximum of each band, wavelength units, file type and map info. The Directly-Georeferenced Hyperspectral Point Cloud and its advantages over conventional raster data products are described in: Inamdar, D., Kalacska M., Arroyo-Mora J.P., Leblanc G., 2021. The Directly-Georeferenced Hyperspectral Point Cloud (DHPC): Preserving the Integrity of Hyperspectral Imaging Data. <em>Frontiers in Remote Sensing</em> doi: 10.3389/frsen.2021.675323 The methodology to generate the Directly-Georeferenced Hyperspectral Point Cloud is described in: Inamdar, D., Kalacska M., Leblanc G., Arroyo-Mora J.P. 2021. Implementation of the Directly-Georeferenced Hyperspectral Point Cloud. <em>MethodsX </em>Submitted.
description: {"references": ["Inamdar et al. (2021). The Directly-Georeferenced Hyperspectral Point Cloud (DHPC): Preserving the Integrity of Hyperspectral Imaging Data. doi: 10.3389/frsen.2021.675323", "Inamdar et al. (2021). Implementation of the Directly-Georeferenced Hyperspectral Point Cloud. MethodsX: submitted"]}
DOI: 10.5281/zenodo.4695043
title: Properties of reaction wood and calibration of growth stress indicator

description: This dataset is associated with a pre-print deposited on HAL opensource plateform (https://hal.archives-ouvertes.fr/hal-02984734) and submitted to the PCI Forest and Wood Sciences (https://forestwoodsci.peercommunityin.org/). It contains: (1) mechanical and physical data obtained on 17 inclined trees coming from 15 different species (13 different families), tropical or temperate, hardwoods or softwoods, including peripheral residual strains measured in situ before felling on 8 position for each stem; (2) the calculation of the conversion factor needed to relate the "growth stress indicator" measured by the single-hole method to the peripheral growth strain or growth stress along the grain; (3) data on Chestnut and Beech from previous research projects.
description: {"references": ["https://hal.archives-ouvertes.fr/hal-02984734"]}
DOI: 10.5281/zenodo.4273712
title: Properties of reaction wood and calibration of growth stress indicator

description: This dataset is associated with a pre-print deposited on HAL opensource plateform (https://hal.archives-ouvertes.fr/hal-02984734) and submitted to the PCI Forest and Wood Sciences (https://forestwoodsci.peercommunityin.org/). It contains: (1) mechanical and physical data obtained on 17 inclined trees coming from 15 different species (13 different families), tropical or temperate, hardwoods or softwoods, including peripheral residual strains measured in situ before felling on 8 position for each stem; (2) the calculation of the conversion factor needed to relate the "growth stress indicator" measured by the single-hole method to the peripheral growth strain or growth stress along the grain; (3) data on Chestnut and Beech from previous research projects.
description: {"references": ["https://hal.archives-ouvertes.fr/hal-02984734"]}
DOI: 10.5517/ccdc.csd.cc275gpl
title: CCDC 2060839: Experimental Crystal Structure Determination

description: Related Article: Biing-Chiau Tzeng, I-Lin Lin, Wen-Hui Chen, Gene-Hsiang Lee|2021|Inorg.Chem.|60|4764|doi:10.1021/acs.inorgchem.0c03723
DOI: 10.6084/m9.figshare.14428187.v1
title: Genotoxicity of oxidative stress and UV-B radiation in Antarctic vascular plants, DNA damage dataset

description: Results of the comet assay performed on field and lab-chamber grown plants from Colobanthus quitensis and Deschampsia antarctica.<br>The data consist of the individual scores of damage intensity (0 to 360) observed on each experimental plant nucleoids, and its relative value in comparison with the respective basal damage of reference. <br>
DOI: 10.6084/m9.figshare.14428187
title: Genotoxicity of oxidative stress and UV-B radiation in Antarctic vascular plants, DNA damage dataset

description: Results of the comet assay performed on field and lab-chamber grown plants from Colobanthus quitensis and Deschampsia antarctica.<br>The data consist of the individual scores of damage intensity (0 to 360) observed on each experimental plant nucleoids, and its relative value in comparison with the respective basal damage of reference. <br>
DOI: 10.5517/ccdc.csd.cc216v8d
title: CCDC 1883413: Experimental Crystal Structure Determination

description: Related Article: Lei Qin, Hao-Lan Zhang, Yuan-Qi Zhai, Hiroyuki Nojiri, Christian Schröder, Yan-Zhen Zheng|2021|iScience|24|102350|doi:10.1016/j.isci.2021.102350
DOI: 10.5517/ccdc.csd.cc216v9f
title: CCDC 1883414: Experimental Crystal Structure Determination

description: Related Article: Lei Qin, Hao-Lan Zhang, Yuan-Qi Zhai, Hiroyuki Nojiri, Christian Schröder, Yan-Zhen Zheng|2021|iScience|24|102350|doi:10.1016/j.isci.2021.102350
DOI: 10.5517/ccdc.csd.cc216vbg
title: CCDC 1883415: Experimental Crystal Structure Determination

description: Related Article: Lei Qin, Hao-Lan Zhang, Yuan-Qi Zhai, Hiroyuki Nojiri, Christian Schröder, Yan-Zhen Zheng|2021|iScience|24|102350|doi:10.1016/j.isci.2021.102350
DOI: 10.5281/zenodo.4453518
title: Developing the functional regions typology for exploring the interregional food system's sustainability

description: The 'functional region' typology divides the global cropland into clusters based on pre-selected attributes. These attributes stand for the agricultural functionality (yield and irrigation requirements) and environmental state of croplands (soil loss, aridity, and species loss). This approach allows identifying more suitable agricultural regions (e.g., higher yields and lower environmental impacts), or less suitable regions (e.g., water-stressed regions). The functional regions typology includes twelve clusters and is based on the self-organized maps algorithm (SOM). The functional regions typology and the associated distance file are included in this dataset.
DOI: 10.5281/zenodo.4453517
title: Developing the functional regions typology for exploring the interregional food system's sustainability

description: The 'functional region' typology divides the global cropland into clusters based on pre-selected attributes. These attributes stand for the agricultural functionality (yield and irrigation requirements) and environmental state of croplands (soil loss, aridity, and species loss). This approach allows identifying more suitable agricultural regions (e.g., higher yields and lower environmental impacts), or less suitable regions (e.g., water-stressed regions). The functional regions typology includes twelve clusters and is based on the self-organized maps algorithm (SOM). The functional regions typology and the associated distance file are included in this dataset.
DOI: 10.25573/serc.12636404
title: Dataset: 2015-2018 USA-MDA TMON Marsh Biomass Surveys

description: Biomass surveys conducted each fall from 2015 to 2018 at the Global Change Research Wetland (GCREW) marsh, Corn Island, Bear Neck Creek, and other tidal wetland sites located at the Smithsonian Environmental Research Center in Edgewater, Maryland. Biomass measurements include allometry and percent cover classes.<br>
DOI: 10.25573/serc.12636404.v2
title: Dataset: 2015-2018 USA-MDA TMON Marsh Biomass Surveys

description: Biomass surveys conducted each fall from 2015 to 2018 at the Global Change Research Wetland (GCREW) marsh, Corn Island, Bear Neck Creek, and other tidal wetland sites located at the Smithsonian Environmental Research Center in Edgewater, Maryland. Biomass measurements include allometry and percent cover classes.<br>
DOI: 10.25573/serc.12636404.v1
title: Dataset: 2015-2018 USA-MDA TMON Marsh Biomass Surveys

description: Biomass surveys conducted each fall from 2015 to 2018 at the Global Change Research Wetland (GCREW) marsh, Corn Island, Bear Neck Creek, and other tidal wetland sites located at the Smithsonian Environmental Research Center in Edgewater, Maryland. Biomass measurements include allometry and percent cover classes.<br>
DOI: 10.23645/epacomptox.14428328
title: Dredged Material Decision Tool (DMDT)

description: The DMDT can be used to quantify and weigh the environmental, social and economic aspects of dredged material management options the user is considering. Once the options are evaluated, the tool can be used to communicate the evaluation process and results to decision makers and the community via spreadsheets and bar graphs.<br>Download the DMDT and supplementary files, Internet Explorer or Firefox recommended for download.
DOI: 10.23645/epacomptox.14428328.v1
title: Dredged Material Decision Tool (DMDT)

description: The DMDT can be used to quantify and weigh the environmental, social and economic aspects of dredged material management options the user is considering. Once the options are evaluated, the tool can be used to communicate the evaluation process and results to decision makers and the community via spreadsheets and bar graphs.<br>Download the DMDT and supplementary files, Internet Explorer or Firefox recommended for download.
DOI: 10.6084/m9.figshare.12455840
title: Effect of crab effluent on lobster interactions

description: We exposed two different size classes of juvenile lobsters (<i>Homarus americanus</i>) to either control seawater or seawater with green crab (<i>Carcinus maenas</i>) effluent. This was done in arenas in the lab, with one shelter available and two lobsters in the tank at once. The process was recorded with time-lapse photographs (0.5s) and then aggression and shelter use were quantified. You can read the manuscript for additional detail.
DOI: 10.6084/m9.figshare.12455840.v1
title: Effect of crab effluent on lobster interactions

description: We exposed two different size classes of juvenile lobsters (<i>Homarus americanus</i>) to either control seawater or seawater with green crab (<i>Carcinus maenas</i>) effluent. This was done in arenas in the lab, with one shelter available and two lobsters in the tank at once. The process was recorded with time-lapse photographs (0.5s) and then aggression and shelter use were quantified. You can read the manuscript for additional detail.
DOI: 10.5281/zenodo.4692954
title: Bird Migration Model - Full Dataset 2016

description: This dataset contains all codes and data used in the study of bird migration modeling (see publication 10.3390/rs11192233 and github page rafnuss-postdoc.github.io/BMM/2016). The identical code is available on Github (Rafnuss-PostDoc/BMM/2016). But because of its size, most data are not available on the Github. The cleaned vertical profile have been published in <code>.json</code> file at 10.5281/zenodo.3243396, and the interpolated maps as <code>.csv</code> file at 10.5281/zenodo.3243465.
DOI: 10.5281/zenodo.4692953
title: Bird Migration Model - Full Dataset 2016

description: This dataset contains all codes and data used in the study of bird migration modeling (see publication 10.3390/rs11192233 and github page rafnuss-postdoc.github.io/BMM/2016). The identical code is available on Github (Rafnuss-PostDoc/BMM/2016). But because of its size, most data are not available on the Github. The cleaned vertical profile have been published in <code>.json</code> file at 10.5281/zenodo.3243396, and the interpolated maps as <code>.csv</code> file at 10.5281/zenodo.3243465.
DOI: 10.5281/zenodo.4695246
title: Piloting a Motivational Interviewing Informed Shame Resilience Training (MIST) Data Set

description: This is the raw data set for each of the measures and both times recorded. Measures include: well-being, shame inventory, shame resilience, willingness to communicate, and adult trauma symptoms. Scored data can be found at the end.
DOI: 10.5281/zenodo.4695245
title: Piloting a Motivational Interviewing Informed Shame Resilience Training (MIST) Data Set

description: This is the raw data set for each of the measures and both times recorded. Measures include: well-being, shame inventory, shame resilience, willingness to communicate, and adult trauma symptoms. Scored data can be found at the end.