cometadata/datacite-titles-descriptions-related-identifiers huggingface dataset:
DOI: 10.5281/zenodo.17581176
title: Experimental Repository for "Certified Branch-and-Bound MaxSAT Solving" (AAAI26)

description: This repository contains the supplementary material for the experimental evaluation in the paper

Certified Branch-and-Bound MaxSAT Solving, D. Vandesande, J. Coll and B. Bogaerts Proceedings of the Fourtieth Conference on Artificial Intelligence (AAAI), 2026

Contents:

1. Experiments.zip contains the results of the experimental evaluation2. WMaxCDCL.zip contains the implementation of proof logging in the solver WMaxCDCL that is used in the experimental evaluation
DOI: 10.15468/dl.27fg4d
title: Occurrence Download

description: A dataset containing 15623 species occurrences available in GBIF matching the query:
{
 "and" : [
 "Country is United Kingdom of Great Britain and Northern Ireland",
 "Month is one of (May, June, July, August)",
 "OccurrenceStatus is Present",
 "TaxonKey is Boloria selene",
 "Year 2015-2025"
 ]
}

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

description: A dataset containing 125659 species occurrences available in GBIF matching the query:
{
 "DatasetKey" : [
 "is one of (VectorNet data Luxembourg 2023-2024, Tick collection_OH ALLIES project_Ireland, OH_SURVector_Hungary_Mosquitoes, VectorNet observations, Investigating the Role of Stable Flies (Stomoxys calcitrans) and Biting Midges (Culicoides spp.) of the genus Culicoides as Potential Mechanical Vectors of African Swine Fever Virus in Lithuania, Poland and Romania, Vector collection_OH surveillance project_Sweden, Monitoring competent vectors of Crimea Congo Haemorragic Fever (ticks) , West Nile and Rift Valley Fever in Spain (mosquitos), OH4Surveillance vector collection in Latvia, OH4Surveillance vector collection in Latvia, One Health Surveillance (OH4S) Vector Collection in Poland - ticks collection, One Health Surveillance (OH4S) Vector Collection in Poland - mosquitoes collection, Mosquito data OH4surveillance Denmark 2024, Tick and moquito collection_OH SURVECTOR project_Slovakia, Vector collection_OH surveillance project Estonia, VectorCollection_SIVIZ_project_Portugal, National tick surveillance in Austria for the detection of tick-borne pathogens 2024 - Project OH SURVector)"
 ]
}

 The dataset includes 125659 records from 16 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0038849-251025141854904/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.15468/sxzxif
title: Données du Parc National de la Guadeloupe - Inventaire des Orchidées de Guadeloupe

description: Données récoltées par les agents du Parc national de la Guadeloupe ou par des tiers (AGO : Association Guadeloupéenne d'Orchidophilie).

L'inventaire se fera sur les principaux types d'itinéraires (trace, cours d’eau, bord de route, « hors piste ») qui traversent des mailles 100m*100m (subdivision de la maille kilométrique).
DOI: 10.15468/dl.udh8m7
title: Occurrence Download

description: A dataset listing the 1 species recorded in GBIF matching the query:
{
 "and" : [
 "DatasetKey is ICES DATRAS Surveys",
 "Issue is Taxon match none"
 ]
}

 The dataset's 1 records were derived from 1 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0038851-251025141854904/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.30636653
title: Analysis of the efficacy of a homegrown mobile phase and Thin-layer chromatography for hospital-based assays

description: Poisoning is a common method for intentional and unintentional self-harm due to the easy availability of various poisons. The study of analytical toxicology has always been an integral part of the discipline of Forensic Sciences.There is a need for a cost-effective method of qualitative analysis in resource-limited hospital settings, especially in resource-poor countries with high patient loads. We have identified a semi-universal solvent and reviewed the establishment of an ideal solvent system, which can be used for analysis at Toxicology labs in resource-poor settings.
DOI: 10.6084/m9.figshare.30636653.v1
title: Analysis of the efficacy of a homegrown mobile phase and Thin-layer chromatography for hospital-based assays

description: Poisoning is a common method for intentional and unintentional self-harm due to the easy availability of various poisons. The study of analytical toxicology has always been an integral part of the discipline of Forensic Sciences.There is a need for a cost-effective method of qualitative analysis in resource-limited hospital settings, especially in resource-poor countries with high patient loads. We have identified a semi-universal solvent and reviewed the establishment of an ideal solvent system, which can be used for analysis at Toxicology labs in resource-poor settings.
DOI: 10.15468/dl.yv7bm4
title: Occurrence Download

description: A dataset containing 1029 species occurrences available in GBIF matching the query:
{
 "and" : [
 "HasGeospatialIssue is false",
 "HasCoordinate is true",
 "OccurrenceStatus is Present",
 {
 "not" : {
 "BasisOfRecord" : [
 "is one of (Fossil, Living Specimen)"
 ]
 }
 },
 "TaxonKey is Lepus saxatilis"
 ]
}

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

description: A dataset containing 1029 species occurrences available in GBIF matching the query:
{
 "and" : [
 {
 "and" : [
 "HasGeospatialIssue is false",
 "HasCoordinate is true",
 "OccurrenceStatus is Present",
 {
 "not" : {
 "BasisOfRecord" : [
 "is one of (Fossil, Living Specimen)"
 ]
 }
 }
 ]
 },
 "TaxonKey is Lepus saxatilis"
 ]
}

 The dataset includes 1029 records from 25 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0038863-251025141854904/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.15468/l1lsk0
title: Suivi des oiseaux de passage : programme ACT - Programme ACT : Répartition Perdrix rouge 2004 - 2008 Coordonnées GPS Lambert 93

description: Aire de reproduction de l'espèce Perdrix rouge fondée sur la présence de mâles chanteurs au printemps (avril – juin), à partir de points d’écoutes répartis le long d’itinéraires échantillons. Environ 5 000 points ont été visités chaque année entre 2004 et 2008
DOI: 10.15468/dl.x3r7tz
title: Occurrence Download

description: A dataset containing 15 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is Anthophora sichelii",
 "BasisOfRecord is one of (Human Observation, Machine Observation, Observation, Occurrence evidence)",
 "OccurrenceStatus is Present",
 "HasCoordinate is true"
 ]
}

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

description: A dataset containing 1073 species occurrences available in GBIF matching the query:
{
 "and" : [
 "DatasetKey is izeltlabuak.hu observations validated to species level",
 "TaxonKey is Halyomorpha halys"
 ]
}

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

description: A dataset containing 4876 species occurrences available in GBIF matching the query:
{
 "and" : [
 "HasCoordinate is true",
 "HasGeospatialIssue is false",
 "Month is May",
 "OccurrenceStatus is Present",
 "TaxonKey is Merops apiaster",
 "Year 2025-2025"
 ]
}

 The dataset includes 4876 records from 13 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0038866-251025141854904/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.15468/3w26w6
title: Suivi des oiseaux de passage : programme ACT - Programme ACT : Répartition Corneille noire 2005 - 2009 Coordonnées GPS Lambert 93

description: Aire de reproduction de l'espèce Corneille noire fondée sur la présence de mâles chanteurs au printemps (avril – juin), à partir de points d’écoutes répartis le long d’itinéraires échantillons. Environ 5 000 points ont été visités chaque année entre 2005 et 2009
DOI: 10.15468/chkl4g
title: Collecte permanente de données naturalistes sur la base de donnée participative en ligne de Deux-Sèvres Nature Environnement (DSNE)-Synthèse 10x10km de la faune sauvage de la Directive Habitats-Faune-Flore recensée par l'association Deux-Sèvres Nature Environnement (DSNE)

description: La base de données a été interrogée pour répondre à une commande de la DREAL Nouvelle-Aquitaine portant sur la synthèse de données par année pour les espèces faune de la Directive Habitats-Faune-Flore (annexes 2, 4 et 5).

Sur la période 2013-2017 et pour chaque année (n=5), la première observation annuelle de chaque espèce a été sélectionnée par maille 10x10km. Le jeu de données concerne les groupes suivants : Mammifères, Reptiles, Amphibiens, Odonates, Lépidoptères.
DOI: 10.15468/dl.ee7x4u
title: Occurrence Download

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

 The dataset includes 107729 records from 122 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0038805-251025141854904/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.15468/k8idfr
title: Inventaire des coléoptères saproxyliques de France métropolitaine - Collection de longicornes de France d'Hervé Bouyon

description: Il s'agit des données de la collection de l'entomologiste Hervé Bouyon. Le tableur contient avec les localités (communales) et dates d'observation. Il s'agit de l'extrait des données (jusqu'en 2017) pour la famille des Cerambycidae et Vesperidae, pour l'inventaire SAPROX et le pré-atlas national des Cerambycidae.
DOI: 10.17026/ar/7otp0u
title: BS MJOP Kolkmansweg

description: Dit document is opgesteld in het kader van het vervangen van het bestaande riool en het opnieuw inrichten van de Kolkmansweg te Schalkhaar. Binnen het noordelijke deel van het plangebied worden op basis van de fysisch geografische context bewoningsporen uit de prehistorie tot en met de vroege middeleeuwen verwacht. Op basis van de historische context wordt binnen ditzelfde noordelijke deel van het plangebied resten uit de Tweede Wereldoorlog verwacht (waarde 2). In het zuidelijke deel van het plangebied geldt een lage archeologische verwachting
(waarde 1) en hier is geen archeologisch vervolgonderzoek noodzakelijk. De vrijstellingsgrens én de onderzoeksgrens van beleidswaarde 2 worden allebei overschreden. Dit houdt in dat er een onderzoeksplicht geldt voor de ingrepen in het noordelijke deel van het plangebied
DOI: 10.15468/dl.gq46qz
title: Occurrence Download

description: A dataset containing 37446 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is Andrena flavipes",
 "BasisOfRecord is one of (Human Observation, Machine Observation, Observation, Occurrence evidence)",
 "OccurrenceStatus is Present",
 "HasCoordinate is true"
 ]
}

 The dataset includes 37446 records from 202 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0038868-251025141854904/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.5281/zenodo.14825376
title: Data and scripts for: "Inferring Bird Migration from Bone Isotopes and Histology: a Fossil-Friendly Methodological Framework"

description: The zip file contains all data and code necessary to reproduce the study conducted by Duhamel et al. (2025) (manuscript accepted in Methods in Ecology and Evolution, November 2025). Please consult the included README file – particularly the section on data-usage policies for any external datasets used in this study – and refer to the original paper for methodological details, results, and discussion.
DOI: 10.5281/zenodo.16221441
title: Data and scripts for: "Inferring Bird Migration from Bone Isotopes and Histology: a Fossil-Friendly Methodological Framework"

description: The zip file contains all data and code necessary to reproduce the study conducted by Duhamel et al. (2025) (manuscript accepted in Methods in Ecology and Evolution, November 2025). Please consult the included README file – particularly the section on data-usage policies for any external datasets used in this study – and refer to the original paper for methodological details, results, and discussion.
DOI: 10.5281/zenodo.17621512
title: Towards the Identification of Software Requirements' Abstractions with a Span Categorisation Approach

description: Dataset of software requirements. They have been annotated with the main abstractions defined below:

 

Purpose

La ragione per cui la funzionalità descritta dal requisito software deve essere implementata.

 

Condition

Qualcosa che limita l’ambito di applicazione del requisito software. Può essere costituito da una o più Pre-condizioni oppure Trigger.

 

Precondition

Una condizione statica che deve essere vera nel contesto descritto dal requisito software. Una precondizione è sempre anche una Condition.

 

Action

Qualcosa che accade nello scenario descritto dal requisito software.

 

Trigger

Un evento, tipicamente coinvolgente un’Action, che stabilisce un contesto temporale e un legame causale che vincola l’applicabilità del requisito. Un Trigger, quindi, è anche una Condition.

 

Entity

Un’entità coinvolta nelle azioni descritte dal requisito software. Può essere un utente oppure un agente automatico (ad es., il sistema).

 

Main_actor

L’utente principale della funzionalità descritta dal requisito software. È spesso anche un actor.

 

System_response

Il comportamento del sistema nello scenario descritto. Una risposta del sistema è sempre anche un’Action.

 

 

-------------

They have been randomly sourced from:

 

Public REquirements (PURE) (https://www.kaggle.com/datasets/computerscience3/public-requirementspure-dataset?resource=download)

 

Software Requirements Dataset (https://www.kaggle.com/datasets/iamvaibhav1090/software-requirements-dataset)

 

Land Management Readiness Assessment and Supporting Services – Future State “To-Be” Business User Stories and Use Cases (https://www.loudoun.gov/DocumentCenter/View/131287/APPENDIX-A-3---Future-State-To-Be-Business-User-Stories-and-Use-Cases?bidId=)
DOI: 10.15468/kleuwx
title: Projet Patrimoine Naturel (PATNAT) – Suivi de la biodiversité faunistique dans le Parc Naturel Régional des Landes de Gascogne (PNRLG)-Inventaire et suivi Rhopalocères

description: Données d'absence et de présence du suivi des rhopalocères des sites PatNat sur la période de mai 2012 à août 2015. La collecte des données est réalisée en partenariat avec la LPO Aquitaine.
Une heure de session ainsi que des facteurs abiotiques (température, couverture nuageuse, ensoleillement, force et direction du vent) sont précisés pour la majorité des relevés.
Un dénombrement des individus est renseigné pour toutes les observations.
DOI: 10.15468/dl.3s76vg
title: Occurrence Download

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

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

description: A dataset containing 1594 species occurrences available in GBIF matching the query:
{
 "and" : [
 "BasisOfRecord is Human Observation",
 "OccurrenceStatus is Present",
 "TaxonKey is Ovis dalli",
 "Year 2000-2025"
 ]
}

 The dataset includes 1594 records from 4 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0038870-251025141854904/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.25345/c5nk36j6z
title: MassIVE MSV000099932 - Protein-protein interactions of DPF-3 in C. elegans males
title: A mass spectrometry-based label-free proteomics analysis was performed to study the protein binders of DPF-3 in C. elegans males. Anti-GFP pull-downs were performed on GFP-tagged DPF-3 and wild-type strains of C. elegans males. Proteins were digested by trypsin. Peptides were measured on an Orbitrap Astral mass spectrometer. Raw data files were processed by MaxQuant software (version 2.6.2.0) using its built-in Andromeda search engine. MS/MS spectra were searched against a target-decoy database containing the forward and reverse protein sequences of the WormPep release WS292 (28,587 entries), the UniProt E. coli K-12 reference proteome (release 2022_03; 4,460 entries), the transgenic GFP tag and a default list of common contaminants. False discovery rate (FDR) was set to 1% at both peptide and protein levels.
DOI: 10.15468/mc3d5i
title: Suivi des oiseaux de passage : programme ACT - Programme ACT : Répartition Grive littorne 2002 - 2006 Coordonnées GPS Lambert 93

description: Aire de reproduction de l'espèce Grive littorne fondée sur la présence de mâles chanteurs au printemps (avril – juin), à partir de points d’écoutes répartis le long d’itinéraires échantillons. Environ 5 000 points ont été visités chaque année entre 2002 et 2006
DOI: 10.15468/dl.4wm8ah
title: Occurrence Download

description: A dataset containing 1876 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is Andrena pilipes",
 "BasisOfRecord is one of (Human Observation, Machine Observation, Observation, Occurrence evidence)",
 "OccurrenceStatus is Present",
 "HasCoordinate is true"
 ]
}

 The dataset includes 1876 records from 75 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0038871-251025141854904/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.15468/snjwye
title: Suivi des oiseaux de passage : programme ACT - Programme ACT : Répartition Grive musicienne 2002 - 2006 Coordonnées GPS Lambert 93

description: Aire de reproduction de l'espèce Grive musicienne fondée sur la présence de mâles chanteurs au printemps (avril – juin), à partir de points d’écoutes répartis le long d’itinéraires échantillons. Environ 5 000 points ont été visités chaque année entre 2002 et 2006
DOI: 10.17026/ar/piqa3j
title: BS MJOP Zijstraten Julianastraat

description: &lt;br&gt;Dit document is opgesteld in het kader van het vervangen van het bestaande riool en het opnieuw inrichten van de Koningin Julianastraat en de zijtakken. Op basis van de fysisch geografische context, geldt voor het westelijk deel van het plangebied een lage archeologische verwachting voor resten uit de prehistorie, de Romeinse tijd en de vroege middeleeuwen. In het oostelijke deel van het plangebied geldt op basis van de fysische geografische context een middelmatige archeologische verwachting en hier kunnen dus wel resten uit de prehistorie, Romeinse tijd en vroege middeleeuwen verwacht worden. In het uiterste zuidwesten van het plangebied geldt een hoge archeologische verwachting voor sporen en resten uit de Tweede Wereldoorlog door de ligging in de bufferzone van een geschutsopstelling.&lt;br&gt;
Bij de voorgenomen plannen kan gesteld worden dat in ieder geval meer dan 1.000 m2 wordt verstoord en dat de vrijstellingsgrens van beleidswaarde 2 wordt overschreden en hier is sprake van een meldingsplicht voor de ingrepen in de zone met beleidswaarde 2.
DOI: 10.15468/dl.yv3jgr
title: Occurrence Download

description: A dataset containing 93429 species occurrences available in GBIF matching the query:
{
 "or" : [
 "TaxonKey is Vesalea mexicana",
 "TaxonKey is Diabelia serrata",
 "TaxonKey is Vachellia californica",
 "TaxonKey is Acalypha phleoides",
 "TaxonKey is Acalypha stricta",
 "TaxonKey is Acalypha californica",
 "TaxonKey is Feijoa sellowiana",
 "TaxonKey is Acer amplum amplum",
 "TaxonKey is Acer coriaceifolium",
 "TaxonKey is Acer davidii grosseri",
 "TaxonKey is Acer pictum mono",
 "TaxonKey is Acer caudatifolium",
 "TaxonKey is Acer pentaphyllum",
 "TaxonKey is Achillea thracica",
 "TaxonKey is Gitara nicaraguensis",
 "TaxonKey is Acokanthera oppositifolia",
 "TaxonKey is Acrophyllum australe",
 "TaxonKey is Actinodaphne henryi",
 "TaxonKey is Neolitsea cambodiana glabra",
 "TaxonKey is Adenium obesum somalense",
 "TaxonKey is Adina metcalfii",
 "TaxonKey is Aesculus flava",
 "TaxonKey is Aglaia perviridis",
 "TaxonKey is Aglaia silvestris",
 "TaxonKey is Akebia trifoliata trifoliata",
 "TaxonKey is Alangium meyeri",
 "TaxonKey is Alangium rotundifolium",
 "TaxonKey is Samanea saman",
 "TaxonKey is Alhagi maurorum",
 "TaxonKey is Allantospermum borneense",
 "TaxonKey is Alnus serrulatoides",
 "TaxonKey is Alseodaphnopsis andersonii",
 "TaxonKey is Alseodaphnopsis hainanensis",
 "TaxonKey is Alseodaphne longipes",
 "TaxonKey is Alseodaphne perakensis",
 "TaxonKey is Liquidambar chinensis",
 "TaxonKey is Liquidambar excelsa",
 "TaxonKey is Liquidambar obovata",
 "TaxonKey is Amelanchier sinica",
 "TaxonKey is Amphitecna sessilifolia",
 "TaxonKey is Anacolosa lutea",
 "TaxonKey is Ancistrocladus hamatus",
 "TaxonKey is Anemia wrightii",
 "TaxonKey is Aniba excelsa",
 "TaxonKey is Anisopus mannii",
 "TaxonKey is Terminalia leiocarpa",
 "TaxonKey is Anthodiscus pilosus",
 "TaxonKey is Antiaris toxicaria welwitschii",
 "TaxonKey is Antidesma maclurei",
 "TaxonKey is Aphloia theiformis mauritiana"
 ]
}

 The dataset includes 93429 records from 1198 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0038852-251025141854904/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.15468/dl.85pgzc
title: Occurrence Download

description: A dataset containing 112 species occurrences available in GBIF matching the query:
{
 "and" : [
 "Country is Colombia",
 "Geometry POLYGON((-87.95937 -4.86696,-51.78175 -4.86696,-51.78175 9.62873,-87.95937 9.62873,-87.95937 -4.86696))",
 "HasCoordinate is true",
 "HasGeospatialIssue is false",
 "OccurrenceStatus is Present",
 "TaxonKey is Chironius exoletus (Linnaeus, 1758)"
 ]
}

 The dataset includes 112 records from 20 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0012149-250415084134356/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.3535/043-bj6-89m
title: †Lagena globosa (Seguenza, 1862)

description: Digital Specimen for the physical specimen hosted at Naturalis Biodiversity Center.
DOI: 10.3535/gqz-faq-bn5
title: Animalia

description: Digital Specimen for the physical specimen hosted at Naturalis Biodiversity Center.
DOI: 10.3535/rgx-wnv-dc8
title: Bos taurus Linnaeus, 1758

description: Digital Specimen for the physical specimen hosted at Naturalis Biodiversity Center.
DOI: 10.3535/zd8-e6v-9zn
title: Animalia

description: Digital Specimen for the physical specimen hosted at Naturalis Biodiversity Center.