cometadata/datacite-titles-descriptions-related-identifiers huggingface dataset:
DOI: 10.5258/soton/wp00021
title: Benin 100m Age structures

description: DATASET: Alpha version 2014 estimates of number of people in each 5-year age group per grid square, with national totals adjusted to match UN population division estimates (http://esa.un.org/wpp/). 
REGION: Africa 
SPATIAL RESOLUTION: 0.00833333 decimal degrees (approx 100m at the equator) 
PROJECTION: Geographic, WGS84 
UNITS: Estimated number of people in each 5-year age group per grid square 
MAPPING APPROACH: Land cover based, as described in: Linard, C., Gilbert, M., Snow, R.W., Noor, A.M. and Tatem, A.J., 2012, Population distribution, settlement patterns and accessibility across Africa in 2010, PLoS ONE, 7(2): e31743. 
5-YEAR AGE PROPORTIONS: Tatem, Andrew J., Garcia, Andres J., Snow, Robert W., Noor, Abdisalan M., Gaughan, Andrea E.,Gilbert, Marius and Linard, Catherine, 2013, Millennium development health metrics: where do Africa's children and women of childbearing age live? Population Health Metrics, 11, (1), 11. 
FORMAT: Geotiff (zipped using 7-zip (open access tool): www.7-zip.org) 
FILENAMES: Example - BEN14_A0005_adjv1 = Benin (BEN) population count between 0 and 5 years old map (A0005) for 2014 (14) adjusted to match UN national estimates (adj), version 1 (v1). 
DATE OF PRODUCTION: August 2014
DOI: 10.5258/soton/wp00031
title: Burkina Faso 100m Age structures

description: DATASET: Alpha version 2014 estimates of number of people in each 5-year age group per grid square, with national totals adjusted to match UN population division estimates (http://esa.un.org/wpp/). 
REGION: Africa 
SPATIAL RESOLUTION: 0.00833333 decimal degrees (approx 100m at the equator) 
PROJECTION: Geographic, WGS84 
UNITS: Estimated number of people in each 5-year age group per grid square 
MAPPING APPROACH: Land cover based, as described in: Linard, C., Gilbert, M., Snow, R.W., Noor, A.M. and Tatem, A.J., 2012, Population distribution, settlement patterns and accessibility across Africa in 2010, PLoS ONE, 7(2): e31743. 
5-YEAR AGE PROPORTIONS: Tatem, Andrew J., Garcia, Andres J., Snow, Robert W., Noor, Abdisalan M., Gaughan, Andrea E.,Gilbert, Marius and Linard, Catherine, 2013, Millennium development health metrics: where do Africa's children and women of childbearing age live? Population Health Metrics, 11, (1), 11. 
FORMAT: Geotiff (zipped using 7-zip (open access tool): www.7-zip.org) 
FILENAMES: Example - BEN14_A0005_adjv1 = Benin (BEN) population count between 0 and 5 years old map (A0005) for 2014 (14) adjusted to match UN national estimates (adj), version 1 (v1). 
DATE OF PRODUCTION: August 2014
DOI: 10.5258/soton/wp00063
title: Côte d'Ivoire 100m Age structures

description: DATASET: Alpha version 2014 estimates of number of people in each 5-year age group per grid square, with national totals adjusted to match UN population division estimates (http://esa.un.org/wpp/). 
REGION: Africa 
SPATIAL RESOLUTION: 0.00833333 decimal degrees (approx 100m at the equator) 
PROJECTION: Geographic, WGS84 
UNITS: Estimated number of people in each 5-year age group per grid square 
MAPPING APPROACH: Land cover based, as described in: Linard, C., Gilbert, M., Snow, R.W., Noor, A.M. and Tatem, A.J., 2012, Population distribution, settlement patterns and accessibility across Africa in 2010, PLoS ONE, 7(2): e31743. 
5-YEAR AGE PROPORTIONS: Tatem, Andrew J., Garcia, Andres J., Snow, Robert W., Noor, Abdisalan M., Gaughan, Andrea E.,Gilbert, Marius and Linard, Catherine, 2013, Millennium development health metrics: where do Africa's children and women of childbearing age live? Population Health Metrics, 11, (1), 11. 
FORMAT: Geotiff (zipped using 7-zip (open access tool): www.7-zip.org) 
FILENAMES: Example - BEN14_A0005_adjv1 = Benin (BEN) population count between 0 and 5 years old map (A0005) for 2014 (14) adjusted to match UN national estimates (adj), version 1 (v1). 
DATE OF PRODUCTION: August 2014
DOI: 10.5258/soton/wp00096
title: Ghana 100m Age structures

description: DATASET: Alpha version 2014 estimates of number of people in each 5-year age group per grid square, with national totals adjusted to match UN population division estimates (http://esa.un.org/wpp/). 
REGION: Africa 
SPATIAL RESOLUTION: 0.00833333 decimal degrees (approx 100m at the equator) 
PROJECTION: Geographic, WGS84 
UNITS: Estimated number of people in each 5-year age group per grid square 
MAPPING APPROACH: Land cover based, as described in: Linard, C., Gilbert, M., Snow, R.W., Noor, A.M. and Tatem, A.J., 2012, Population distribution, settlement patterns and accessibility across Africa in 2010, PLoS ONE, 7(2): e31743. 
5-YEAR AGE PROPORTIONS: Tatem, Andrew J., Garcia, Andres J., Snow, Robert W., Noor, Abdisalan M., Gaughan, Andrea E.,Gilbert, Marius and Linard, Catherine, 2013, Millennium development health metrics: where do Africa's children and women of childbearing age live? Population Health Metrics, 11, (1), 11. 
FORMAT: Geotiff (zipped using 7-zip (open access tool): www.7-zip.org) 
FILENAMES: Example - BEN14_A0005_adjv1 = Benin (BEN) population count between 0 and 5 years old map (A0005) for 2014 (14) adjusted to match UN national estimates (adj), version 1 (v1). 
DATE OF PRODUCTION: August 2014
DOI: 10.6073/pasta/02748be09c016529c0b491a9afc950ec
title: CBD01 Date of occurence for bird species observed on Konza Prairie
DOI: 10.6073/pasta/29ff3f56ca3031a433f76b7759468d79
title: CBN01 Records of breeding activities for birds on Konza
DOI: 10.6073/pasta/9e89d01d7afb5577914c21aeaf661b62
title: CBP01 Variable distance line-transect sampling of bird population numbers in different habitats on Konza Prairie
DOI: 10.6073/pasta/bc4bed9fb388e168de755d75fbf3d920
title: CBH01 Konza Prairie Bison Herd Information
DOI: 10.6073/pasta/d49a802e1e9bce2489fa00517c951707
title: CBC01 Weekly record of bird species observed on Konza Prairie
DOI: 10.5258/soton/wp00102
title: Guinea 100m Age structures

description: DATASET: Alpha version 2014 estimates of number of people in each 5-year age group per grid square, with national totals adjusted to match UN population division estimates (http://esa.un.org/wpp/). 
REGION: Africa 
SPATIAL RESOLUTION: 0.00833333 decimal degrees (approx 100m at the equator) 
PROJECTION: Geographic, WGS84 
UNITS: Estimated number of people in each 5-year age group per grid square 
MAPPING APPROACH: Land cover based, as described in: Linard, C., Gilbert, M., Snow, R.W., Noor, A.M. and Tatem, A.J., 2012, Population distribution, settlement patterns and accessibility across Africa in 2010, PLoS ONE, 7(2): e31743. 
5-YEAR AGE PROPORTIONS: Tatem, Andrew J., Garcia, Andres J., Snow, Robert W., Noor, Abdisalan M., Gaughan, Andrea E.,Gilbert, Marius and Linard, Catherine, 2013, Millennium development health metrics: where do Africa's children and women of childbearing age live? Population Health Metrics, 11, (1), 11. 
FORMAT: Geotiff (zipped using 7-zip (open access tool): www.7-zip.org) 
FILENAMES: Example - BEN14_A0005_adjv1 = Benin (BEN) population count between 0 and 5 years old map (A0005) for 2014 (14) adjusted to match UN national estimates (adj), version 1 (v1). 
DATE OF PRODUCTION: August 2014
DOI: 10.5258/soton/wp00106
title: Guinea-Bissau 100m Age structures

description: DATASET: Alpha version 2014 estimates of number of people in each 5-year age group per grid square, with national totals adjusted to match UN population division estimates (http://esa.un.org/wpp/). 
REGION: Africa 
SPATIAL RESOLUTION: 0.00833333 decimal degrees (approx 100m at the equator) 
PROJECTION: Geographic, WGS84 
UNITS: Estimated number of people in each 5-year age group per grid square 
MAPPING APPROACH: Land cover based, as described in: Linard, C., Gilbert, M., Snow, R.W., Noor, A.M. and Tatem, A.J., 2012, Population distribution, settlement patterns and accessibility across Africa in 2010, PLoS ONE, 7(2): e31743. 
5-YEAR AGE PROPORTIONS: Tatem, Andrew J., Garcia, Andres J., Snow, Robert W., Noor, Abdisalan M., Gaughan, Andrea E.,Gilbert, Marius and Linard, Catherine, 2013, Millennium development health metrics: where do Africa's children and women of childbearing age live? Population Health Metrics, 11, (1), 11. 
FORMAT: Geotiff (zipped using 7-zip (open access tool): www.7-zip.org) 
FILENAMES: Example - BEN14_A0005_adjv1 = Benin (BEN) population count between 0 and 5 years old map (A0005) for 2014 (14) adjusted to match UN national estimates (adj), version 1 (v1). 
DATE OF PRODUCTION: August 2014
DOI: 10.4225/41/5993e39c2b50d
title: Prescribed Land AMIP ACCESS1-0 experiments collection v1.0: AMIP with SST and land conditions from AMIP + 3.3% added to the solar constant and solar constant from AMIP experiment
DOI: 10.4225/41/5993e3d781be0
title: Prescribed Land AMIP ACCESS1-0 experiments collection v1.0: AMIP with a uniform increase in land surface temperatures and SST by 4K experiment
DOI: 10.4225/41/5993e40ccca0a
title: Prescribed Land AMIP ACCESS1-0 experiments collection v1.0: AMIP with uniform increase in land surface temperatures (only) by 4K experiment
DOI: 10.5258/soton/wp00137
title: Latin America and the Caribbean 100m Age structures

description: DATA DESCRIPTION: Version 1.0 estimates of total number of people per grid square broken down by male/female and 5-year age groupings; national totals have been adjusted to match UN Population Division estimates for 2000(1). 
REGION: Latin America and the Caribbean (LAC) 
SPATIAL RESOLUTION: 0.00833333 decimal degrees (approx 1km at the equator) 
PROJECTION: Geographic, WGS84 
UNITS: Estimated persons per grid square 
FORMAT: Geotiff (zipped using 7-zip (open access tool): www.7-zip.org) 
FILENAMES: Example - LAC_PPP_A1014_F_2000_adj_v1.tif = Latin America and the Caribbean (LAC) population dataset presenting people per pixel (PPP) for female age group 10 to 14 (A1014_F) for year 2000, adjusted to match UN national estimates (adj), dataset version 1.0 (v1). For other datasets, M = male, A65PL = age 65 and over, WOCBA = women of childbearing age (age 15-49). 
DATASET CONSTRUCTION DETAILS: This dataset is compiled from demographic age/sex structure proportional data, sourced on a country-by-country basis. The primary objective was to source the most detailed sub-national level data available, for each country. A number of small countries had no sub-national data available, hence national data was used instead (sourced from national statistical offices or UNPD(1)). The people per pixel (PPP) estimates for each age/sex group were derived from WorldPop whole continent population datasets, version 2.0, 2016 production(2). The continental grouping of countries honours the macro geographical classification developed and maintained by the United Nations Statistics Division(3). Full details of WorldPop population mapping methodologies are described on the WorldPop website(4). 
DATE OF PRODUCTION: March 2017 
(1) United Nations Population Division, WorldPopulation Prospects, 2015 Revision. http://esa.un.org/wpp/ 
(2) www.worldpop.org.uk/data/data_sources/ 
(3) United Nations Statistics Division. http://unstats.un.org/unsd/methods/m49/m49regin.htm 
(4) www.worldpop.org.uk/data/methods
DOI: 10.5258/soton/wp00144
title: Liberia 100m Age structures

description: DATASET: Alpha version 2014 estimates of number of people in each 5-year age group per grid square, with national totals adjusted to match UN population division estimates (http://esa.un.org/wpp/). 
REGION: Africa 
SPATIAL RESOLUTION: 0.00833333 decimal degrees (approx 100m at the equator) 
PROJECTION: Geographic, WGS84 
UNITS: Estimated number of people in each 5-year age group per grid square 
MAPPING APPROACH: Land cover based, as described in: Linard, C., Gilbert, M., Snow, R.W., Noor, A.M. and Tatem, A.J., 2012, Population distribution, settlement patterns and accessibility across Africa in 2010, PLoS ONE, 7(2): e31743. 
5-YEAR AGE PROPORTIONS: Tatem, Andrew J., Garcia, Andres J., Snow, Robert W., Noor, Abdisalan M., Gaughan, Andrea E.,Gilbert, Marius and Linard, Catherine, 2013, Millennium development health metrics: where do Africa's children and women of childbearing age live? Population Health Metrics, 11, (1), 11. 
FORMAT: Geotiff (zipped using 7-zip (open access tool): www.7-zip.org) 
FILENAMES: Example - BEN14_A0005_adjv1 = Benin (BEN) population count between 0 and 5 years old map (A0005) for 2014 (14) adjusted to match UN national estimates (adj), version 1 (v1). 
DATE OF PRODUCTION: August 2014
DOI: 10.5258/soton/wp00161
title: Mali 100m Age structures

description: DATASET: Alpha version 2014 estimates of number of people in each 5-year age group per grid square, with national totals adjusted to match UN population division estimates (http://esa.un.org/wpp/). 
REGION: Africa 
SPATIAL RESOLUTION: 0.00833333 decimal degrees (approx 100m at the equator) 
PROJECTION: Geographic, WGS84 
UNITS: Estimated number of people in each 5-year age group per grid square 
MAPPING APPROACH: Land cover based, as described in: Linard, C., Gilbert, M., Snow, R.W., Noor, A.M. and Tatem, A.J., 2012, Population distribution, settlement patterns and accessibility across Africa in 2010, PLoS ONE, 7(2): e31743. 
5-YEAR AGE PROPORTIONS: Tatem, Andrew J., Garcia, Andres J., Snow, Robert W., Noor, Abdisalan M., Gaughan, Andrea E.,Gilbert, Marius and Linard, Catherine, 2013, Millennium development health metrics: where do Africa's children and women of childbearing age live? Population Health Metrics, 11, (1), 11. 
FORMAT: Geotiff (zipped using 7-zip (open access tool): www.7-zip.org) 
FILENAMES: Example - BEN14_A0005_adjv1 = Benin (BEN) population count between 0 and 5 years old map (A0005) for 2014 (14) adjusted to match UN national estimates (adj), version 1 (v1). 
DATE OF PRODUCTION: August 2014
DOI: 10.5258/soton/wp00190
title: Niger 100m Age structures

description: DATASET: Alpha version 2014 estimates of number of people in each 5-year age group per grid square, with national totals adjusted to match UN population division estimates (http://esa.un.org/wpp/). 
REGION: Africa 
SPATIAL RESOLUTION: 0.00833333 decimal degrees (approx 100m at the equator) 
PROJECTION: Geographic, WGS84 
UNITS: Estimated number of people in each 5-year age group per grid square 
MAPPING APPROACH: Land cover based, as described in: Linard, C., Gilbert, M., Snow, R.W., Noor, A.M. and Tatem, A.J., 2012, Population distribution, settlement patterns and accessibility across Africa in 2010, PLoS ONE, 7(2): e31743. 
5-YEAR AGE PROPORTIONS: Tatem, Andrew J., Garcia, Andres J., Snow, Robert W., Noor, Abdisalan M., Gaughan, Andrea E.,Gilbert, Marius and Linard, Catherine, 2013, Millennium development health metrics: where do Africa's children and women of childbearing age live? Population Health Metrics, 11, (1), 11. 
FORMAT: Geotiff (zipped using 7-zip (open access tool): www.7-zip.org) 
FILENAMES: Example - BEN14_A0005_adjv1 = Benin (BEN) population count between 0 and 5 years old map (A0005) for 2014 (14) adjusted to match UN national estimates (adj), version 1 (v1). 
DATE OF PRODUCTION: August 2014
DOI: 10.5258/soton/wp00228
title: Senegal 100m Age structures

description: DATASET: Alpha version 2014 estimates of number of people in each 5-year age group per grid square, with national totals adjusted to match UN population division estimates (http://esa.un.org/wpp/). 
REGION: Africa 
SPATIAL RESOLUTION: 0.00833333 decimal degrees (approx 100m at the equator) 
PROJECTION: Geographic, WGS84 
UNITS: Estimated number of people in each 5-year age group per grid square 
MAPPING APPROACH: Land cover based, as described in: Linard, C., Gilbert, M., Snow, R.W., Noor, A.M. and Tatem, A.J., 2012, Population distribution, settlement patterns and accessibility across Africa in 2010, PLoS ONE, 7(2): e31743. 
5-YEAR AGE PROPORTIONS: Tatem, Andrew J., Garcia, Andres J., Snow, Robert W., Noor, Abdisalan M., Gaughan, Andrea E.,Gilbert, Marius and Linard, Catherine, 2013, Millennium development health metrics: where do Africa's children and women of childbearing age live? Population Health Metrics, 11, (1), 11. 
FORMAT: Geotiff (zipped using 7-zip (open access tool): www.7-zip.org) 
FILENAMES: Example - BEN14_A0005_adjv1 = Benin (BEN) population count between 0 and 5 years old map (A0005) for 2014 (14) adjusted to match UN national estimates (adj), version 1 (v1). 
DATE OF PRODUCTION: August 2014
DOI: 10.5258/soton/wp00232
title: Sierra Leone 100m Age structures

description: DATASET: Alpha version 2014 estimates of number of people in each 5-year age group per grid square, with national totals adjusted to match UN population division estimates (http://esa.un.org/wpp/). 
REGION: Africa 
SPATIAL RESOLUTION: 0.00833333 decimal degrees (approx 100m at the equator) 
PROJECTION: Geographic, WGS84 
UNITS: Estimated number of people in each 5-year age group per grid square 
MAPPING APPROACH: Land cover based, as described in: Linard, C., Gilbert, M., Snow, R.W., Noor, A.M. and Tatem, A.J., 2012, Population distribution, settlement patterns and accessibility across Africa in 2010, PLoS ONE, 7(2): e31743. 
5-YEAR AGE PROPORTIONS: Tatem, Andrew J., Garcia, Andres J., Snow, Robert W., Noor, Abdisalan M., Gaughan, Andrea E.,Gilbert, Marius and Linard, Catherine, 2013, Millennium development health metrics: where do Africa's children and women of childbearing age live? Population Health Metrics, 11, (1), 11. 
FORMAT: Geotiff (zipped using 7-zip (open access tool): www.7-zip.org) 
FILENAMES: Example - BEN14_A0005_adjv1 = Benin (BEN) population count between 0 and 5 years old map (A0005) for 2014 (14) adjusted to match UN national estimates (adj), version 1 (v1). 
DATE OF PRODUCTION: August 2014
DOI: 10.5258/soton/wp00273
title: Togo 100m Age structures

description: DATASET: Alpha version 2014 estimates of number of people in each 5-year age group per grid square, with national totals adjusted to match UN population division estimates (http://esa.un.org/wpp/). 
REGION: Africa 
SPATIAL RESOLUTION: 0.00833333 decimal degrees (approx 100m at the equator) 
PROJECTION: Geographic, WGS84 
UNITS: Estimated number of people in each 5-year age group per grid square 
MAPPING APPROACH: Land cover based, as described in: Linard, C., Gilbert, M., Snow, R.W., Noor, A.M. and Tatem, A.J., 2012, Population distribution, settlement patterns and accessibility across Africa in 2010, PLoS ONE, 7(2): e31743. 
5-YEAR AGE PROPORTIONS: Tatem, Andrew J., Garcia, Andres J., Snow, Robert W., Noor, Abdisalan M., Gaughan, Andrea E.,Gilbert, Marius and Linard, Catherine, 2013, Millennium development health metrics: where do Africa's children and women of childbearing age live? Population Health Metrics, 11, (1), 11. 
FORMAT: Geotiff (zipped using 7-zip (open access tool): www.7-zip.org) 
FILENAMES: Example - BEN14_A0005_adjv1 = Benin (BEN) population count between 0 and 5 years old map (A0005) for 2014 (14) adjusted to match UN national estimates (adj), version 1 (v1). 
DATE OF PRODUCTION: August 2014
DOI: 10.5281/zenodo.843649
title: Propositional Resolution Proofs - Qg-Classification

description: This dataset contains propositional resolution proofs generated by the SMT-solver VeriT on the QG-Classification problems of the SMT-Lib.

These proofs have been used in various experiments for the evaluation of proof compression algorithms implemented in the Skeptik tool.
DOI: 10.5281/zenodo.839823
title: Ibp-Database And Environmental Ibp Sequences For Functional Analysis Of Microalgae

description: Database for analysis of ice binding protein (IBP) sequences (Uhlig et al. (2015)):

(1) DUF3494_seqs_Uniprot.fasta:  full length sequences with DUF3494 domain used for the calculation of the backbone tree in the phylogenetic placement

(2) env_IBPs.fasta: potential IBP sequences from one Arctic and five Antarctic sea ice metatranscriptomes (Sanger or 454)

(3) DUF3494_substree_fig2a_UniprotIDs.txt: UniProtIDs for subtree in Fig 2a

(4) DUF3494_confirmed_IBPactivity_UniprotIDs.txt: UniProtIDs for sequences with confirmed IBP function of the protein

If using this dataset please cite the following publication: Uhlig, C., Kilpert, F., Frickenhaus, S., Kegel, J.U., Krell, A., Mock, T., Valentin, K., Beszteri, B., (2015) The significance of antifreeze proteins for eukaryotic microbial communities of Arctic and Antarctic sea ice, The ISME Journal, 9, 2537–2540, doi:10.1038/ismej.2015.43
description: The work was funded by a doctoral fellowship of the German National Academic Foundation to CU. Financial support was provided by the PACES (Polar Regions and Coasts in a changing Earth System) research program of the Alfred Wegener Institute, within the Helmholtz Foundation Initiative in Earth and Environment, and by the Deutsche Forschungsgemeinschaft (DFG) through grant VA 105/13-1 and 2 to KV. The analyses performed by FK were funded under DFG grant FR2134/1-1. TM acknowledges the Natural Environment Research Council (NERC) for sequencing (Grant MGF (NBAF) 197).
description: {"references": ["Uhlig, C., Kilpert, F., Frickenhaus, S., Kegel, J.U., Krell, A., Mock, T., Valentin, K., Beszteri, B., (2015) The significance of antifreeze proteins for eukaryotic microbial communities of Arctic and Antarctic sea ice, The ISME Journal, 9, 2537\u20132540, doi:10.1038/ismej.2015.43"]}
DOI: 10.5281/zenodo.839824
title: Ibp-Database And Environmental Ibp Sequences For Functional Analysis Of Microalgae

description: Database for analysis of ice binding protein (IBP) sequences (Uhlig et al. (2015)):

(1) DUF3494_seqs_Uniprot.fasta:  full length sequences with DUF3494 domain used for the calculation of the backbone tree in the phylogenetic placement

(2) env_IBPs.fasta: potential IBP sequences from one Arctic and five Antarctic sea ice metatranscriptomes (Sanger or 454)

(3) DUF3494_substree_fig2a_UniprotIDs.txt: UniProtIDs for subtree in Fig 2a

(4) DUF3494_confirmed_IBPactivity_UniprotIDs.txt: UniProtIDs for sequences with confirmed IBP function of the protein

If using this dataset please cite the following publication: Uhlig, C., Kilpert, F., Frickenhaus, S., Kegel, J.U., Krell, A., Mock, T., Valentin, K., Beszteri, B., (2015) The significance of antifreeze proteins for eukaryotic microbial communities of Arctic and Antarctic sea ice, The ISME Journal, 9, 2537–2540, doi:10.1038/ismej.2015.43
description: The work was funded by a doctoral fellowship of the German National Academic Foundation to CU. Financial support was provided by the PACES (Polar Regions and Coasts in a changing Earth System) research program of the Alfred Wegener Institute, within the Helmholtz Foundation Initiative in Earth and Environment, and by the Deutsche Forschungsgemeinschaft (DFG) through grant VA 105/13-1 and 2 to KV. The analyses performed by FK were funded under DFG grant FR2134/1-1. TM acknowledges the Natural Environment Research Council (NERC) for sequencing (Grant MGF (NBAF) 197).
description: {"references": ["Uhlig, C., Kilpert, F., Frickenhaus, S., Kegel, J.U., Krell, A., Mock, T., Valentin, K., Beszteri, B., (2015) The significance of antifreeze proteins for eukaryotic microbial communities of Arctic and Antarctic sea ice, The ISME Journal, 9, 2537\u20132540, doi:10.1038/ismej.2015.43"]}
DOI: 10.5281/zenodo.843648
title: Propositional Resolution Proofs - Qg-Classification

description: This dataset contains propositional resolution proofs generated by the SMT-solver VeriT on the QG-Classification problems of the SMT-Lib.

These proofs have been used in various experiments for the evaluation of proof compression algorithms implemented in the Skeptik tool.
DOI: 10.6073/pasta/bc3138b24cf13bdcc82f61b225102980
title: ASD05 Stream discharge measured at the flumes on watershed N01B
DOI: 10.6073/pasta/da2b8087257d3435b00378354c6f0858
title: ASD04 Stream discharge measured at the flumes on watershed N20B
DOI: 10.6073/pasta/f9e6affef1fe658d2ea05b0fa63d00ca
title: ASD02 Stream discharge measured at the flumes on watershed N04D