cometadata/datacite-titles-descriptions-related-identifiers huggingface dataset:
DOI: 10.15468/dl.q4v39c
title: Occurrence Download

description: A dataset containing 1 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is Mylopharyngodon piceus",
 "Country is Israel",
 "HasCoordinate is true"
 ]
}

 The dataset includes 1 records from 1 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0021484-250711103210423/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.1594/pangaea.805124
title: Carbon and oxygen isotope measurements on Globoquadrina dutertrei dextral and Cibicides wuellerstorfi, dry density, carbonate and organic carbon contents in equatorial Pacific core SO26-131

description: Stable isotopes measured at CARBO KIEL, Christian-Albrechts-University, Kiel, Germany
DOI: 10.1594/pangaea.963610
title: LegacyVegetation: Asian reconstruction of past plant cover and total tree cover from pollen archives of the last 14 ka

description: This data set presents the reconstructed vegetation cover for 446 Asian sites based on harmonized pollen data from the data set LegacyPollen 2.0. Sugita's REVEALS model (2007) was applied to all pollen records using REVEALSinR from the DISQOVER package (Theuerkauf et al. 2016). Pollen counts were translated into vegetation cover by accounting for taxon-specific pollen productivity and fall speed. Additionally, relevant source areas of pollen were calculated using the aforementioned taxon-specific parameters and a Gaussian plume model for deposition and dispersal. Values for relative pollen productivity and fall speed from the synthesis from Wiezcorek and Herzschuh (2010) were updated with recent studies used to reconstruct vegetation cover. The average values from all Northern Hemisphere values were used where taxon-specific continental values were unavailable. As REVEALS was conceived to reconstruct vegetation from large lakes, only records originating from large lakes (&gt;= 50h) are marked as "valid as site" in the dataset. Reconstructions from other records can be used when spatially averaging several together. An example script to do so is provided on Zenodo (https://doi.org/10.5281/zenodo.12800290). Reconstructed tree cover was validated using modern Landsat remote sensing forest cover. Reconstructed tree cover has much lower errors than the original arboreal pollen percentages. Reconstructions of individual taxa are more uncertain. We present tables with reconstructed vegetation cover for all continents with original parameters. As further details, we list a table with the taxon-specific parameters used, metadata for all records, and a list of parameters adjusted in the default version of REVEALSinR.
DOI: 10.15468/dl.p8cvwb
title: Occurrence Download

description: A dataset containing 298 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is one of (Photinia fraseri)",
 "HasCoordinate is true",
 "HasGeospatialIssue is false"
 ]
}

 The dataset includes 298 records from 28 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0021486-250711103210423/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.1594/pangaea.885386
title: (Table S4) Modern SST at the site location, backtracked for plate movement, ODP Site 202-1241
DOI: 10.5281/zenodo.15955669
title: FIShBOT Archive 2025-07-16

description: This dataset is a static snapshot of the FIShBOT data product before new data are aggregated. This version of fishbot is archived for reproducibility and is not updated. The data are aggregated from the FIShBOT system, which collects and processes oceanographic from fishery dependent and independent sources.
DOI: 10.5281/zenodo.15955670
title: FIShBOT Archive 2025-07-16

description: This dataset is a static snapshot of the FIShBOT data product before new data are aggregated. This version of fishbot is archived for reproducibility and is not updated. The data are aggregated from the FIShBOT system, which collects and processes oceanographic from fishery dependent and independent sources.
DOI: 10.15468/dl.de6rfv
title: Occurrence Download

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

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

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

 The dataset includes 62 records from 22 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0021487-250711103210423/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.15468/dl.7dkb62
title: Occurrence Download

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

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

description: A dataset containing 3 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is Mylopharyngodon piceus",
 "Country is Japan",
 "HasCoordinate is true"
 ]
}

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

description: A dataset containing 0 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is Mylopharyngodon piceus",
 "Country is Kazakhstan",
 "HasCoordinate is true"
 ]
}

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

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

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

description: A dataset containing 5 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Potamogeton ×lanceolatifolius (Tiselius) C.D.Preston"
 ]
}

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

description: A dataset containing 983953660 species occurrences available in GBIF matching the query:
{ }

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

description: A dataset containing 239051 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 one of (Pilosella xilocae, Oedera imbricata, Adenanthos strictus, Sarcochilus falcatus, Linum pringlei, Linum alpinum, Linum corymbiferum, Adiantum tracyi, Valeriana maipoana, Echinochloa inundata, Heliotropium ellipticum, Heliotropium ferrugineogriseum, Chaetanthera microphylla, Euryops decipiens, Euryops dentatus, Euryops gracilipes, Euryops nodosus, Stoebe bruniades, Cromidon microechinos, Cochlospermum fraseri, Corymbia grandifolia, Asparagus plocamoides, Asparagus spinescens, Asparagus stellatus, Eriochilus paludosus, Linum brachypetalum, Valeriana radicalis, Pultenaea costata, Pultenaea graveolens, Pultenaea victoriensis, Pultenaea tarik, Ceanothus thyrsiflorus, Onopordum ambiguum, Onopordum dissectum, Onopordum majorii, Haplocarpha lyrata, Erythrostemon gilliesii, Zaluzania grayana, Calectasia narragara, Cordylogyne globosa, Jaborosa riojana, Daviesia rhizomata, Diplotaxis duveyrieriana, Linum grandiflorum, Pilosella niveocantabrica, Adenanthos eyrei, Eulychnia acida, Heterosperma ovatifolium, Commelina cyanea, Jasione corymbosa, Adiantum gertrudis, Adiantum amplum, Rafnia ecklonis, Valeriana dioica, Valeriana elongata, Hippocrepis conradiae, Brunonia australis, Chaetanthera kalinae, Corymbia papillosa, Corymbia torta, Myrceugenia diemii, Trichostema arizonicum, Asparagus crassicladus, Asparagus lycaonicus, Asparagus suaveolens, Ripogonum fawcettianum, Scilla paui, Rafnia spicata, Valeriana alpestris, Valeriana scouleri, Valeriana speluncaria, Valeriana tripteris, Pultenaea trinervis, Sideroxylon leucophyllum, Ceanothus papillosus, Collinsia childii, Hippocrepis glauca, Hippocrepis valentina, Onopordum leptolepis, Onopordum nervosum, Pilosella biflora, Daviesia elongata, Verbesina pustulata, Calectasia keigheryi, Bergia mairei, Austronea grandiflora, Mirabilis tenuiloba, Pultenaea adunca, Tetrapora glomerata, Daviesia oxylobium, Pilosella anchusoides, Pilosella onegensis, Gratwickia monochaeta, Daviesia lineata, Daviesia preissii, Sarcochilus hartmannii, Commelina ensifolia, Commelina tuberosa, Hessea breviflora)",
 "Year is greater than or equal to 1950"
 ]
}

 The dataset includes 239051 records from 1168 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0018952-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.14649882
title: Formal-Specification-to-Code Trace Links Recovery

description: The experiment data and the code used in our experiments to evaluate the performance of the proposed formal-specification-to-code trace links establishment method, and the other exsiting text-based trace links recovery methods, including Latent Semantic Indexing, Vector Space Model, Word2Vec embeddings, and LLM-based embeddings, are here. It originate from three projects. The first one is an open source VDM-SL specification of an AccountSys and its Java implementation. It comes from the book “Formal Software Development: From VDM to Java” written by Quentin Charatan and Aaron Kans. Both the VDM-SL formal specification and the Java implementation of the AccountSys were developed and provided by Prof. Aaron Kans from University of East London. It illustrates how to model bank accounts and transactions made on these as a series of deposits and withdrawals. Bank.java file implementing the GUI of the system in the source code is not used since it contains syntactical error and cannot build AST. The second project involves the SOFL specification and the Java implementation of an ATM system. The operations on current accounts of an ATM, such as deposit, withdraw, show balance, print out transaction records. The third project involves an open source VDM-SL specification of a hotel system along with its C implementation. The specification describes a hotel management system where guests can check in, enter rooms, and manage cards associated with rooms and keys. The VDM-SL specification, created by Daniel Jackson and presented in his book “Software Abstractions: Logic, Language, and Analysis”.
DOI: 10.5281/zenodo.14643347
title: Formal-Specification-to-Code Trace Links Recovery

description: The experiment data and the code used in our experiments to evaluate the performance of the proposed formal-specification-to-code trace links establishment method, and the other exsiting text-based trace links recovery methods, including Latent Semantic Indexing, Vector Space Model, Word2Vec embeddings, and LLM-based embeddings, are here. It originate from three projects. The first one is an open source VDM-SL specification of an AccountSys and its Java implementation. It comes from the book “Formal Software Development: From VDM to Java” written by Quentin Charatan and Aaron Kans. Both the VDM-SL formal specification and the Java implementation of the AccountSys were developed and provided by Prof. Aaron Kans from University of East London. It illustrates how to model bank accounts and transactions made on these as a series of deposits and withdrawals. Bank.java file implementing the GUI of the system in the source code is not used since it contains syntactical error and cannot build AST. The second project involves the SOFL specification and the Java implementation of an ATM system. The operations on current accounts of an ATM, such as deposit, withdraw, show balance, print out transaction records. The third project involves an open source VDM-SL specification of a hotel system along with its C implementation. The specification describes a hotel management system where guests can check in, enter rooms, and manage cards associated with rooms and keys. The VDM-SL specification, created by Daniel Jackson and presented in his book “Software Abstractions: Logic, Language, and Analysis”.
DOI: 10.5281/zenodo.14175303
title: Formal-Specification-to-Code Trace Links Recovery

description: The experiment data used in our experiments to evaluate the performance of the proposed formal-specification-to-code trace links establishment method.  It originate from three projects. The first one is an open source VDM-SL specification of an AccountSys and its Java implementation. It comes from the book “Formal Software Development: From VDM to Java” written by Quentin Charatan and Aaron Kans. Both the VDM-SL formal specification and the Java implementation of the AccountSys were developed and provided by Prof. Aaron Kans from University of East London. It illustrates how to model bank accounts and transactions made on these as a series of deposits and withdrawals. Bank.java file implementing the GUI of the system in the source code is not used since it contains syntactical error and cannot build AST. The second project involves the SOFL specification and the Java implementation of an ATM system. The operations on current accounts of an ATM, such as deposit, withdraw, show balance, print out transaction records. The third project involves an open source VDM-SL specification of a hotel system along with its C implementation. The specification describes a hotel management system where guests can check in, enter rooms, and manage cards associated with rooms and keys. The VDM-SL specification, created by Daniel Jackson and presented in his book “Software Abstractions: Logic, Language, and Analysis”.
DOI: 10.5281/zenodo.14175302
title: Formal-Specification-to-Code Trace Links Recovery

description: The experiment data and the code used in our experiments to evaluate the performance of the proposed formal-specification-to-code trace links establishment method, and the other exsiting text-based trace links recovery methods, including Latent Semantic Indexing, Vector Space Model, Word2Vec embeddings, and LLM-based embeddings, are here. It originate from three projects. The first one is an open source VDM-SL specification of an AccountSys and its Java implementation. It comes from the book “Formal Software Development: From VDM to Java” written by Quentin Charatan and Aaron Kans. Both the VDM-SL formal specification and the Java implementation of the AccountSys were developed and provided by Prof. Aaron Kans from University of East London. It illustrates how to model bank accounts and transactions made on these as a series of deposits and withdrawals. Bank.java file implementing the GUI of the system in the source code is not used since it contains syntactical error and cannot build AST. The second project involves the SOFL specification and the Java implementation of an ATM system. The operations on current accounts of an ATM, such as deposit, withdraw, show balance, print out transaction records are specified by using SOFL formal language and implemented by using Java langauge. The third project involves an open source VDM-SL specification of a hotel system along with its C implementation. The specification describes a hotel management system where guests can check in, enter rooms, and manage cards associated with rooms and keys. The VDM-SL specification, created by Daniel Jackson and presented in his book “Software Abstractions: Logic, Language, and Analysis”.
DOI: 10.5281/zenodo.17538459
title: Bases de datos. Principales esquemas oclusales utilizados entre 2021 y 2025 para prótesis implanto-asistidas: una revisión sistemática
DOI: 10.5281/zenodo.17538460
title: Bases de datos. Principales esquemas oclusales utilizados entre 2021 y 2025 para prótesis implanto-asistidas: una revisión sistemática
DOI: 10.5281/zenodo.17523926
title: Data for Fine-grained Annotation of Privacy Behaviors in Android Applications
DOI: 10.5281/zenodo.17523925
title: Data for Fine-grained Annotation of Privacy Behaviors in Android Applications
DOI: 10.5281/zenodo.17538170
title: Underwater images collected by a Kite surf in Le-Morne-Manawa, Mauritius - 2018-05-06

description: This dataset was collected by a Kite surf in Le-Morne-Manawa, Mauritius - 2018-05-06. 

            Underwater or aerial images collected by scientists or citizens can have a wide variety of use for science, management, or conservation.
            These images can be annotated and shared to train IA models which can in turn predict the objects on the images.
            We provide a set of tools (hardware and software) to collect marine data, predict species or habitat, and provide maps.

            This dataset is part of larger collection referencing numerous underwater and aerial images Seatizen Altas. 
            Methods, tools and scientific objectives are also described in a dedicated data paper.

            
                
                                       
                
                
 GPS information: 

                GPX file from Garmin watch.
            
                    
                

                
            

            
 Generic folder structure 
            
            YYYYMMDD_COUNTRYCODE-optionalplace_device_session-number 
            ├── DCIM :  folder to store videos and photos depending on the media collected. 
            ├── GPS :  folder to store any positioning related file. If any kind of correction is possible on files (e.g. Post-Processed Kinematic thanks to rinex data) then the distinction between device data and base data is made. If, on the other hand, only device position data are present and the files cannot be corrected by post-processing techniques (e.g. gpx files), then the distinction between base and device is not made and the files are placed directly at the root of the GPS folder. 
            │   ├── BASE :  files coming from rtk station or any static positioning instrument. 
            │   └── DEVICE : files coming from the device. 
            ├── METADATA : folder with general information files about the session. 
            ├── PROCESSED_DATA : contain all the folders needed to store the results of the data processing of the current session. 
            │   ├── BATHY :  output folder for bathymetry raw data extracted from mission logs. 
            │   ├── FRAMES :  output folder for georeferenced frames extracted from DCIM videos. 
            │   ├── IA :  destination folder for image recognition predictions. 
            │   └── PHOTOGRAMMETRY :  destination folder for reconstructed models in photogrammetry. 
            └── SENSORS : folder to store files coming from other sources (bathymetry data from the echosounder, log file from the autopilot,  mission plan etc.).       
            

            
 Software 
            All the raw data was processed using our worflow. All predictions were generated by our inference pipeline. You can find all the necessary scripts to download this data in this repository. Enjoy your data with SeatizenDOI!
DOI: 10.5281/zenodo.17538327
title: Underwater images collected by a Kite surf in Le-Morne-Manawa, Mauritius - 2018-05-06

description: This dataset was collected by a Kite surf in Le-Morne-Manawa, Mauritius - 2018-05-06. 

            Underwater or aerial images collected by scientists or citizens can have a wide variety of use for science, management, or conservation.
            These images can be annotated and shared to train IA models which can in turn predict the objects on the images.
            We provide a set of tools (hardware and software) to collect marine data, predict species or habitat, and provide maps.

            This dataset is part of larger collection referencing numerous underwater and aerial images Seatizen Altas. 
            Methods, tools and scientific objectives are also described in a dedicated data paper.

            
                
                                       
                
                
 GPS information: 

                GPX file from Garmin watch.
            
                    
                

                
            

            
 Generic folder structure 
            
            YYYYMMDD_COUNTRYCODE-optionalplace_device_session-number 
            ├── DCIM :  folder to store videos and photos depending on the media collected. 
            ├── GPS :  folder to store any positioning related file. If any kind of correction is possible on files (e.g. Post-Processed Kinematic thanks to rinex data) then the distinction between device data and base data is made. If, on the other hand, only device position data are present and the files cannot be corrected by post-processing techniques (e.g. gpx files), then the distinction between base and device is not made and the files are placed directly at the root of the GPS folder. 
            │   ├── BASE :  files coming from rtk station or any static positioning instrument. 
            │   └── DEVICE : files coming from the device. 
            ├── METADATA : folder with general information files about the session. 
            ├── PROCESSED_DATA : contain all the folders needed to store the results of the data processing of the current session. 
            │   ├── BATHY :  output folder for bathymetry raw data extracted from mission logs. 
            │   ├── FRAMES :  output folder for georeferenced frames extracted from DCIM videos. 
            │   ├── IA :  destination folder for image recognition predictions. 
            │   └── PHOTOGRAMMETRY :  destination folder for reconstructed models in photogrammetry. 
            └── SENSORS : folder to store files coming from other sources (bathymetry data from the echosounder, log file from the autopilot,  mission plan etc.).       
            

            
 Software 
            All the raw data was processed using our worflow. All predictions were generated by our inference pipeline. You can find all the necessary scripts to download this data in this repository. Enjoy your data with SeatizenDOI!