cometadata/datacite-titles-descriptions-related-identifiers huggingface dataset:
DOI: 10.57745/dlefws
title: SOC storage potential topsoil percentile 0.95 lower limit of 90PI.tif

description: :unav
DOI: 10.57745/mmzare
title: SOC storage potential topsoil percentile 0.90 upper limit of 90PI.tif

description: :unav
DOI: 10.57745/toohqw
title: SOC storage potential topsoil percentile 0.90 mean.tif

description: :unav
DOI: 10.57745/tc1hrj
title: SOC storage potential topsoil percentile 0.95 upper limit of 90PI.tif

description: :unav
DOI: 10.57745/vyoav6
title: SOC storage potential topsoil percentile 0.90 lower limit of 90PI.tif

description: :unav
DOI: 10.57745/xmaaqf
title: SOC storage potential topsoil percentile 0.95 mean.tif

description: :unav
DOI: 10.5281/zenodo.7448163
title: Supplementary Material Chapter IV

description: Supplementary Material Chapter IV. Figure S1 is shown.
DOI: 10.5281/zenodo.7448162
title: Supplementary Material Chapter IV

description: Supplementary Material Chapter IV. Figure S1 is shown.
DOI: 10.21427/g1pb-0s89
title: Detecting Road Intersections Automatically from Satellite Images using a Deep Learning Approach
DOI: 10.5281/zenodo.7149204
title: Mammalian Evolution of Human cis-regulatory Elements and Transcription Factor Binding Sites

description: Code and data associated with the manuscript entitled "Mammalian Evolution of Human cis-regulatory Elements and Transcription Factor Binding Sites "
DOI: 10.5281/zenodo.6997514
title: SAT-Inspired Higher-Order Eliminations

description: This is the package containing the raw evaluation data for the paper "SAT-Inspired Higher-Order Eliminations" by Jasmin Blanchette and Petar Vukmirović. The problems used for the evaluation are located in the "problems" directory. The seven categories are seventeen_th0 (called S0 in Fig. 1 of the paper)<br> seventeen_th1 (called S1 in Fig. 1)<br> tptp_th0 (called TH0 in Fig. 1)<br> tptp_th1 (called TH1 in Fig. 1)<br> tptp_cnffof (called CF in Fig. 1)<br> tptp_tf0 (called TF0 in Fig. 1)<br> tptp_tf1 (called TF1 in Fig. 1) The empirical results are located in the "results" directory, under the following names, corresponding to the category names above: seventeen_th0_results.csv<br> seventeen_th1_results.csv<br> tptp_th0_results.csv<br> tptp_th1_results.csv<br> tptp_cnffof_results.csv<br> tptp_tf0_results.csv<br> tptp_tf1_results.csv The CSV files were produced by StarExec. Each nonheader row gives the prover's performance on one problem. For example, the row 74437543,Problems/AGT/AGT036^1.p,2900058,Zipperposition---2.2pre-hoelim-v2,2410,hlbe-in,92437,complete,2.09374,0.983524,1684480.0,Theorem,Theorem,THM-Ref,Ref,THM in "tptp_th0_results.csv" indicates that the HLBE inprocessing mode of Zipperposition ("hlbe-in") was able to prove the TPTP problem "AGT036^1.p", as indicated by the "THM" result in the last column. "THM" and "UNS" (unsatisfiable) correspond to a successful proof; other outcomes are considered failures. Figure 1 was generated using the script "script/gen_figure.py", which must be run from within the "script" directory. The "binaries" directory contains the StarExec package used to run the evaluation. The package is called "bin" in accordance with StarExec conventions. Inside it, "zipperposition" and "eprover-ho" are the 64-bit Linux binaries for the Zipperposition prover and its E backend, and the other files are scripts used to run various configurations in time slices. When running the scripts locally, set the environment variables "STAREXEC_CPU_LIMIT" and "STAREXEC_WALLCLOCK_LIMIT" to suitable time limits in seconds. Zipperposition was compiled from the repositiory version with the git commit hash 2a66166453ac32c0 on the "wip_ho_elimination_techniques" branch. E was compiled with the "--enable-ho" configuration option from an unspecified repository version. The Zipperposition and E repositories are available online (https://github.com/sneeuwballen/zipperposition and https://github.com/eprover/eprover).
DOI: 10.5281/zenodo.6997515
title: SAT-Inspired Higher-Order Eliminations

description: This is the package containing the raw evaluation data for the paper "SAT-Inspired Higher-Order Eliminations" by Jasmin Blanchette and Petar Vukmirović. The problems used for the evaluation are located in the "problems" directory. The five categories are tptp_th0 (called T0 in Fig. 1 of the paper),<br> tptp_th1 (called T1 in Fig. 1),<br> seventeen_th0 (called S0 in Fig. 1)<br> seventeen_th1 (called S1 in Fig. 1)<br> tptp_cnffof (called F in Fig. 1) The empirical results are located in the "results" directory, under the following names, corresponding to the category names above: tptp_th0_results.csv<br> tptp_th1_results.csv<br> seventeen_th0_results.csv<br> seventeen_th1_results.csv<br> tptp_cnffof_results.csv The CSV files were produced by StarExec. Each nonheader row gives the prover's performance on one problem. For example, the row 74437543,Problems/AGT/AGT036^1.p,2900058,Zipperposition---2.2pre-hoelim-v2,2410,hlbe-in,92437,complete,2.09374,0.983524,1684480.0,Theorem,Theorem,THM-Ref,Ref,THM in "tptp_th0_results.csv" indicates that the HLBE inprocessing mode of Zipperposition ("hlbe-in") was able to prove the TPTP problem "AGT036^1.p", as indicated by the "THM" result in the last column. "THM" and "UNS" (unsatisfiable) correspond to a successful proof; other outcomes are considered failures. Figure 1 was generated using the script "script/gen_figure.py", which must be run from the "script" directory. The "binaries" directory contains the StarExec package used to run the evaluation. The package is called "bin" in accordance with StarExec conventions. Inside it, "zipperposition" and "eprover-ho" are the 64-bit Linux binaries for the Zipperposition prover and its E backend, and the other files are scripts used to run various configurations in time slices. When running the scripts locally, set the environment variables "STAREXEC_CPU_LIMIT" and "STAREXEC_WALLCLOCK_LIMIT" to suitable time limits in seconds. Zipperposition was compiled from the repositiory version with the git commit hash 2a66166453ac32c0 on the "wip_ho_elimination_techniques" branch. E was compiled with the "--enable-ho" configuration option from an unspecified repository version. The Zipperposition and E repositories are available online (https://github.com/sneeuwballen/zipperposition and https://github.com/eprover/eprover)
DOI: 10.5281/zenodo.7448169
title: SAT-Inspired Higher-Order Eliminations

description: This is the package containing the raw evaluation data for the paper "SAT-Inspired Higher-Order Eliminations" by Jasmin Blanchette and Petar Vukmirović. The problems used for the evaluation are located in the "problems" directory. The seven categories are seventeen_th0 (called S0 in Fig. 1 of the paper)<br> seventeen_th1 (called S1 in Fig. 1)<br> tptp_th0 (called TH0 in Fig. 1)<br> tptp_th1 (called TH1 in Fig. 1)<br> tptp_cnffof (called CF in Fig. 1)<br> tptp_tf0 (called TF0 in Fig. 1)<br> tptp_tf1 (called TF1 in Fig. 1) The empirical results are located in the "results" directory, under the following names, corresponding to the category names above: seventeen_th0_results.csv<br> seventeen_th1_results.csv<br> tptp_th0_results.csv<br> tptp_th1_results.csv<br> tptp_cnffof_results.csv<br> tptp_tf0_results.csv<br> tptp_tf1_results.csv The CSV files were produced by StarExec. Each nonheader row gives the prover's performance on one problem. For example, the row 74437543,Problems/AGT/AGT036^1.p,2900058,Zipperposition---2.2pre-hoelim-v2,2410,hlbe-in,92437,complete,2.09374,0.983524,1684480.0,Theorem,Theorem,THM-Ref,Ref,THM in "tptp_th0_results.csv" indicates that the HLBE inprocessing mode of Zipperposition ("hlbe-in") was able to prove the TPTP problem "AGT036^1.p", as indicated by the "THM" result in the last column. "THM" and "UNS" (unsatisfiable) correspond to a successful proof; other outcomes are considered failures. Figure 1 was generated using the script "script/gen_figure.py", which must be run from within the "script" directory. The "binaries" directory contains the StarExec package used to run the evaluation. The package is called "bin" in accordance with StarExec conventions. Inside it, "zipperposition" and "eprover-ho" are the 64-bit Linux binaries for the Zipperposition prover and its E backend, and the other files are scripts used to run various configurations in time slices. When running the scripts locally, set the environment variables "STAREXEC_CPU_LIMIT" and "STAREXEC_WALLCLOCK_LIMIT" to suitable time limits in seconds. Zipperposition was compiled from the repositiory version with the git commit hash 2a66166453ac32c0 on the "wip_ho_elimination_techniques" branch. E was compiled with the "--enable-ho" configuration option from an unspecified repository version. The Zipperposition and E repositories are available online (https://github.com/sneeuwballen/zipperposition and https://github.com/eprover/eprover).
DOI: 10.5203/875s-dk76
title: The Energetics of Extensive Melt Water Flooding of Level Arctic Sea Ice
DOI: 10.5203/1wph-0071
title: Ice Mass Balace Bouy Data
DOI: 10.5281/zenodo.7446090
title: WORLDCOM Data Management Plan

description: Data Management Plan for the OHEJP WorldCOM project.
DOI: 10.5281/zenodo.7446091
title: WORLDCOM Data Management Plan

description: Data Management Plan for the OHEJP WorldCOM project.
DOI: 10.5203/n2e3-yf55
title: Semi & Hemi Data
DOI: 10.25612/837.97532o4o586d
title: Houston Crime (Part 1) Reports - 2009-2017

description: Includes date, time, offense type, count of offenses, and location. Offense type exclusively refers to Part 1 crimes in congruence with the FBI's categorization of murder, burglary, theft, auto theft, aggravated assault, rape, and robbery. Even though the geographic resolution is indicated to be "Address/parcel", what is provided is a range of address on a street (block range). Other location information from HPD include premise where the crime occurred and police neighborhood beat. This data was geo-processed to produce x/y coordinates (points geocoded at street level using the midpoint of the street segment), community tabulation area (CTA), as well as 2000 and 2010 census block. Moreover, some fields were standardized, most notably the location of the crime based on the "premise" codes and descriptions supplied by the HPD.
DOI: 10.25612/837.zy5e2qy7ogg8
title: Houston Crime (Part 1) Reports - 2009-2015

description: Includes date, time, offense type, count of offenses, and location. Offense type exclusively refers to Part 1 crimes in congruence with the FBI's categorization of murder, burglary, theft, auto theft, aggravated assault, rape, and robbery. Even though the geographic resolution is indicated to be "Address/parcel", what is provided is a range of address on a street (block range). Other location information from HPD include premise where the crime occurred and police neighborhood beat. This data was geo-processed to produce x/y coordinates (points geocoded at street level using the midpoint of the street segment), community tabulation area (CTA), as well as 2000 and 2010 census block. Moreover, some fields were standardized, most notably the location of the crime based on the "premise" codes and descriptions supplied by the HPD.
DOI: 10.5203/syy5-5s60
title: AVOS M/V NAMAO Data Processing
DOI: 10.5203/8xte-xd11
title: lake-winnipeg-satellite-and-chl-a-derived-images
DOI: 10.5203/nehc-8t40
title: environment-canada-water-quality-monitoring-stations-east-side-rivers-and-lake-outlet-water-qua
DOI: 10.5281/zenodo.7448136
title: kalanchoe_delagoensis_spades_01.fasta.gz

description: .
DOI: 10.5281/zenodo.7448135
title: kalanchoe_delagoensis_spades_01.fasta.gz

description: .
DOI: 10.5203/ftxm-s496
title: 2009 Environment Canada-WQMS Shoreline Survey Zooplankton Data
DOI: 10.5203/zfx5-0m31
title: Lake Winnipeg Basin Program
DOI: 10.5517/ccdc.csd.cc21pwn9
title: CCDC 1897871: Experimental Crystal Structure Determination

description: Related Article: Rachid Ouarsal, Mohammed Lachkar, M.A. Deyab, Michal Dusek, Brahim El Bali|2019|J.Mol.Liq.|289|111142|doi:10.1016/j.molliq.2019.111142
description: An entry from the Cambridge Structural Database, the world’s repository for small molecule crystal structures. The entry contains experimental data from a crystal diffraction study. The deposited dataset for this entry is freely available from the CCDC and typically includes 3D coordinates, cell parameters, space group, experimental conditions and quality measures.
DOI: 10.5517/ccdc.csd.cc27jhfq
title: CCDC 2071433: Experimental Crystal Structure Determination

description: Related Article: P. Kenfack Tsobnang, A. Tsamo Tontsa, Y.A. Mbiangué, P. Kemda Nangmo, S. Kenfack Tiofack, P. Mkounga, A. Nkengfack Ephrem, I. Tonlé Kenfack|2021|Acta Crystallogr.,Sect.C:Cryst.Struct.Chem.|77|312|doi:10.1107/S2053229621005209
description: An entry from the Cambridge Structural Database, the world’s repository for small molecule crystal structures. The entry contains experimental data from a crystal diffraction study. The deposited dataset for this entry is freely available from the CCDC and typically includes 3D coordinates, cell parameters, space group, experimental conditions and quality measures.
DOI: 10.5517/ccdc.csd.cc27jhhs
title: CCDC 2071435: Experimental Crystal Structure Determination

description: Related Article: P. Kenfack Tsobnang, A. Tsamo Tontsa, Y.A. Mbiangué, P. Kemda Nangmo, S. Kenfack Tiofack, P. Mkounga, A. Nkengfack Ephrem, I. Tonlé Kenfack|2021|Acta Crystallogr.,Sect.C:Cryst.Struct.Chem.|77|312|doi:10.1107/S2053229621005209
description: An entry from the Cambridge Structural Database, the world’s repository for small molecule crystal structures. The entry contains experimental data from a crystal diffraction study. The deposited dataset for this entry is freely available from the CCDC and typically includes 3D coordinates, cell parameters, space group, experimental conditions and quality measures.
DOI: 10.5281/zenodo.7415981
title: Aurora A and cortical flows promote polarization and cytokinesis by inducing asymmetric ECT-2 accumulation - Data Archive

description: This archive contains all the images and raw data generated for: Katrina M Longhini & Michael Glotzer, “Aurora A and cortical flows promote polarization and cytokinesis by inducing asymmetric ECT-2 accumulation” The data is organized by figure then experiment. Each embryo folder contains formatted embryos, which are rotated, cropped, and photobleach corrected. Each recording starts at time 0 on the respective graph. The “AccumulationDataNew” files contain all the data generated from the “3pixel_membranefinder_w_dir.ijm” and “membrane_ROI_TimeSeries_max_scaled_dirs.ijm” scripts organized in a Tidy format generated in R using the first portion of the script “Edited_Membrane_Accumulation_Line_Script.Rmd”. These Fiji and R Markdown scripts are located in the “Analysis Scripts“ folder. All data visualization scripts are included in the “Analysis Scripts” folder. Sequences of plasmids generated for this paper are located in the “Plasmid Sequences” folder.
DOI: 10.5517/ccdc.csd.cc2d734x
title: CCDC 2211358: Experimental Crystal Structure Determination

description: Related Article: Vladimir I. Kurganskiy, Roman V. Ottenbacher, Mikhail V. Shashkov, Evgenii P. Talsi, Denis G. Samsonenko, Konstantin P. Bryliakov|2022|Org.Lett.|24|8764|doi:10.1021/acs.orglett.2c03458
description: An entry from the Cambridge Structural Database, the world’s repository for small molecule crystal structures. The entry contains experimental data from a crystal diffraction study. The deposited dataset for this entry is freely available from the CCDC and typically includes 3D coordinates, cell parameters, space group, experimental conditions and quality measures.
DOI: 10.5517/ccdc.csd.cc2c8cst
title: CCDC 2182796: Experimental Crystal Structure Determination

description: Related Article: Lili Yin, Shaonan Zhang, Tao Zhou, Hu Zhen'guang, Shuhua Zhang|2023|J.Mol.Struct.|1275|134683|doi:10.1016/j.molstruc.2022.134683
description: An entry from the Cambridge Structural Database, the world’s repository for small molecule crystal structures. The entry contains experimental data from a crystal diffraction study. The deposited dataset for this entry is freely available from the CCDC and typically includes 3D coordinates, cell parameters, space group, experimental conditions and quality measures.
DOI: 10.5517/ccdc.csd.cc2c8ctv
title: CCDC 2182797: Experimental Crystal Structure Determination

description: Related Article: Lili Yin, Shaonan Zhang, Tao Zhou, Hu Zhen'guang, Shuhua Zhang|2023|J.Mol.Struct.|1275|134683|doi:10.1016/j.molstruc.2022.134683
description: An entry from the Cambridge Structural Database, the world’s repository for small molecule crystal structures. The entry contains experimental data from a crystal diffraction study. The deposited dataset for this entry is freely available from the CCDC and typically includes 3D coordinates, cell parameters, space group, experimental conditions and quality measures.
DOI: 10.5517/ccdc.csd.cc2c8jnv
title: CCDC 2182947: Experimental Crystal Structure Determination

description: Related Article: Lili Yin, Shaonan Zhang, Tao Zhou, Hu Zhen'guang, Shuhua Zhang|2023|J.Mol.Struct.|1275|134683|doi:10.1016/j.molstruc.2022.134683
description: An entry from the Cambridge Structural Database, the world’s repository for small molecule crystal structures. The entry contains experimental data from a crystal diffraction study. The deposited dataset for this entry is freely available from the CCDC and typically includes 3D coordinates, cell parameters, space group, experimental conditions and quality measures.
DOI: 10.5517/ccdc.csd.cc2c8cpq
title: CCDC 2182793: Experimental Crystal Structure Determination

description: Related Article: Lili Yin, Shaonan Zhang, Tao Zhou, Hu Zhen'guang, Shuhua Zhang|2023|J.Mol.Struct.|1275|134683|doi:10.1016/j.molstruc.2022.134683
description: An entry from the Cambridge Structural Database, the world’s repository for small molecule crystal structures. The entry contains experimental data from a crystal diffraction study. The deposited dataset for this entry is freely available from the CCDC and typically includes 3D coordinates, cell parameters, space group, experimental conditions and quality measures.
DOI: 10.5517/ccdc.csd.cc2c8crs
title: CCDC 2182795: Experimental Crystal Structure Determination

description: Related Article: Lili Yin, Shaonan Zhang, Tao Zhou, Hu Zhen'guang, Shuhua Zhang|2023|J.Mol.Struct.|1275|134683|doi:10.1016/j.molstruc.2022.134683
description: An entry from the Cambridge Structural Database, the world’s repository for small molecule crystal structures. The entry contains experimental data from a crystal diffraction study. The deposited dataset for this entry is freely available from the CCDC and typically includes 3D coordinates, cell parameters, space group, experimental conditions and quality measures.
DOI: 10.5517/ccdc.csd.cc2c8cqr
title: CCDC 2182794: Experimental Crystal Structure Determination

description: Related Article: Lili Yin, Shaonan Zhang, Tao Zhou, Hu Zhen'guang, Shuhua Zhang|2023|J.Mol.Struct.|1275|134683|doi:10.1016/j.molstruc.2022.134683
description: An entry from the Cambridge Structural Database, the world’s repository for small molecule crystal structures. The entry contains experimental data from a crystal diffraction study. The deposited dataset for this entry is freely available from the CCDC and typically includes 3D coordinates, cell parameters, space group, experimental conditions and quality measures.
DOI: 10.5517/ccdc.csd.cc2c8cwx
title: CCDC 2182799: Experimental Crystal Structure Determination

description: Related Article: Lili Yin, Shaonan Zhang, Tao Zhou, Hu Zhen'guang, Shuhua Zhang|2023|J.Mol.Struct.|1275|134683|doi:10.1016/j.molstruc.2022.134683
description: An entry from the Cambridge Structural Database, the world’s repository for small molecule crystal structures. The entry contains experimental data from a crystal diffraction study. The deposited dataset for this entry is freely available from the CCDC and typically includes 3D coordinates, cell parameters, space group, experimental conditions and quality measures.
DOI: 10.5517/ccdc.csd.cc2c8cxy
title: CCDC 2182800: Experimental Crystal Structure Determination

description: Related Article: Lili Yin, Shaonan Zhang, Tao Zhou, Hu Zhen'guang, Shuhua Zhang|2023|J.Mol.Struct.|1275|134683|doi:10.1016/j.molstruc.2022.134683
description: An entry from the Cambridge Structural Database, the world’s repository for small molecule crystal structures. The entry contains experimental data from a crystal diffraction study. The deposited dataset for this entry is freely available from the CCDC and typically includes 3D coordinates, cell parameters, space group, experimental conditions and quality measures.
DOI: 10.5517/ccdc.csd.cc23cd63
title: CCDC 1947364: Experimental Crystal Structure Determination

description: Related Article: Chinmayee Pattnaik, Anadi Singhamahapatra, Rakesh Parida, Subash Chandra Sahoo, Laxmi Narayan Sahoo, Kandala V.R. Chary, Satyanarayan Sahoo|2023|Results in Chemistry|5|100693|doi:10.1016/j.rechem.2022.100693
description: An entry from the Cambridge Structural Database, the world’s repository for small molecule crystal structures. The entry contains experimental data from a crystal diffraction study. The deposited dataset for this entry is freely available from the CCDC and typically includes 3D coordinates, cell parameters, space group, experimental conditions and quality measures.
DOI: 10.5517/ccdc.csd.cc2c8cvw
title: CCDC 2182798: Experimental Crystal Structure Determination

description: Related Article: Lili Yin, Shaonan Zhang, Tao Zhou, Hu Zhen'guang, Shuhua Zhang|2023|J.Mol.Struct.|1275|134683|doi:10.1016/j.molstruc.2022.134683
description: An entry from the Cambridge Structural Database, the world’s repository for small molecule crystal structures. The entry contains experimental data from a crystal diffraction study. The deposited dataset for this entry is freely available from the CCDC and typically includes 3D coordinates, cell parameters, space group, experimental conditions and quality measures.
DOI: 10.5203/9xws-5g56
title: Lake Winnipeg Basin Program Symposium 2019
DOI: 10.5203/nw7y-zx32
title: Lake Winnipeg Chemistry 2002-2004
DOI: 10.5203/v0gq-ae82
title: Shoreline Habitat Inventory Mapping
DOI: 10.6084/m9.figshare.21548082
title: Sex Ratio at Birth by Pakistan Province Database

description: Supplementary file 1: Sex ratio at birth by Pakistan Province Database. <br> Dataset for: Chao, F., Wazir, M.A., & Ombao, H. (2022). Levels and trends estimate of sex ratio at birth for seven provinces of Pakistan from 1980 to 2020 with scenario-based probabilistic projections of missing female birth to 2050: A Bayesian modeling approach. <em>International Journal of Population Studies</em>, 8(2):51-70. https://doi.org/10.36922/ijps.v8i2.332
DOI: 10.5203/xw9g-3t12
title: SHIM Wildlife Vegetation Survey
DOI: 10.6084/m9.figshare.21548103
title: Sex Ratio at Birth Estimates by Pakistan Province from 1980 to 2020

description: Supplementary file 2: Sex Ratio at Birth Estimates by Pakistan Province from 1980 to 2020. <br> Dataset for: Chao, F., Wazir, M.A., & Ombao, H. (2022). Levels and trends estimate of sex ratio at birth for seven provinces of Pakistan from 1980 to 2020 with scenario-based probabilistic projections of missing female birth to 2050: A Bayesian modeling approach. <em>International Journal of Population Studies</em>, 8(2):51-70. https://doi.org/10.36922/ijps.v8i2.332
DOI: 10.5203/m65d-hf89
title: lwf-css
DOI: 10.5203/c8yt-2t74
title: wwf-watershed-reports
DOI: 10.34740/kaggle/dsv/4729330
title: Correlation Comparison in Visualizations Dataset
DOI: 10.5281/zenodo.7399602
title: Homeostatic regulation through strengthening of neuronal network correlated synaptic inputs

description: Data from "Homeostatic regulation through strengthening of neuronal network correlated synaptic inputs" by Barnes SJ, Keller GB & Keck T.