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

description: A dataset containing 675 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is Leonurus quinquelobatus",
 "Country is Germany",
 "HasCoordinate is true"
 ]
}

 The dataset includes 675 records from 15 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0001026-250920141307145/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.5281/zenodo.17168223
title: PTMPhaSe database and PhosLLPS model

description: 1) A website (PTMPhaSe) for Post Translational Modification (PTM) regulation on liquid-liquid phase separation.

2)PhosLLPS, a Transformer-based GNN prediction medthod (AUC=0.9116) to identify functional phosphorylation sites that regulate liquid-liquid phase separation (LLPS).

We uploaded all data in PTMPhaSe database. And the PTMPhaSe and PhosLLPS model codes were also uploaded.
DOI: 10.5281/zenodo.17168224
title: PTMPhaSe database and PhosLLPS model

description: 1) A website (PTMPhaSe) for Post Translational Modification (PTM) regulation on liquid-liquid phase separation.

2)PhosLLPS, a Transformer-based GNN prediction medthod (AUC=0.9116) to identify functional phosphorylation sites that regulate liquid-liquid phase separation (LLPS).

We uploaded all data in PTMPhaSe database. And the PTMPhaSe and PhosLLPS model codes were also uploaded.
DOI: 10.15468/dl.jwx2cx
title: Occurrence Download

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

 The dataset includes 0 records from 0 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0001023-250920141307145/datasets/export for details.
DOI: 10.5281/zenodo.16032807
title: Witness Visualizer – A Tool for Manual Inspection of Software Verification Results

description: Witness Visualizer is designed to provide an interactive, human-readable visualization of software verification witnesses, conforming to the SV-COMP format. It enables manual inspection and interpretation of verification results, assisting both tool developers and end users in understanding error traces, identifying real bugs, and improving witness quality.

This artifact includes the following components:





Dataset 1:A collection of non-empty witnesses generated by SV-COMP tools along with their corresponding visualizations created by Witness Visualizer.The dataset is organized into two directories:





witnesses/: contains the original witness files in GraphML format.




visualization/: contains the HTML visualizations produced from these witnesses.Each visualization is named using the prefix error_trace-. For example, error_trace-witness.2ls.html corresponds to the input witness witness.2ls.graphml, generated by the 2LS verifier.






Dataset 2:Witnesses for a known concurrency bug in the SV-COMP task linux-3.14--drivers--usb--misc--adutux.ko.cil.i, which involves a data race on the dev->udev field (two concurrent write accesses without proper locking).Only two verifiers successfully solved this task, and the artifact includes the corresponding witnesses:





witness.esbmc_2020.graphml (from ESBMC-kind) includes thread context and assumptions.




witness.lockator.graphml (from CPALockator) provides a complete witness including violation hints, enabling a more human-readable visualization.






Dataset 3:Visualizations for witnesses generated during the verification of Linux kernel modules against various properties, such as:





Memory safety




Concurrency safety




Unreachability of error functions (for example, checking that a call to disable() is preceded by a corresponding call to enable()).






Dockerfile:A standalone setup of Witness Visualizer is provided via a Dockerfile. It enables local generation of witness visualizations without needing to deploy the web interface.To run the visualizer:

scripts/visualize_witnesses.py --witness witness.graphml --result-dir results/ --source-dir sv-benchmarks


The visualization output will be saved in the results/ directory.For detailed usage instructions in standalone mode, refer to: https://github.com/ispras/cv/blob/master/docs/witness_visualizer.md

If you want to explore the visualization of an entire benchmark run - including error traces, proofs, verifier logs, coverage information, and overall statistics - you need to set up the CVV web interface according to its instructions.
DOI: 10.5281/zenodo.16032808
title: Witness Visualizer – A Tool for Manual Inspection of Software Verification Results

description: Witness Visualizer is designed to provide an interactive, human-readable visualization of software verification witnesses, conforming to the SV-COMP format. It enables manual inspection and interpretation of verification results, assisting both tool developers and end users in understanding error traces, identifying real bugs, and improving witness quality.

This artifact includes the following components:





Dataset 1:A collection of non-empty witnesses generated by SV-COMP tools along with their corresponding visualizations created by Witness Visualizer.The dataset is organized into two directories:





witnesses/: contains the original witness files in GraphML format.




visualization/: contains the HTML visualizations produced from these witnesses.Each visualization is named using the prefix error_trace-. For example, error_trace-witness.2ls.html corresponds to the input witness witness.2ls.graphml, generated by the 2LS verifier.






Dataset 2:Witnesses for a known concurrency bug in the SV-COMP task linux-3.14--drivers--usb--misc--adutux.ko.cil.i, which involves a data race on the dev->udev field (two concurrent write accesses without proper locking).Only two verifiers successfully solved this task, and the artifact includes the corresponding witnesses:





witness.esbmc_2020.graphml (from ESBMC-kind) includes thread context and assumptions.




witness.lockator.graphml (from CPALockator) provides a complete witness including violation hints, enabling a more human-readable visualization.






Dataset 3:Visualizations for witnesses generated during the verification of Linux kernel modules against various properties, such as:





Memory safety




Concurrency safety




Unreachability of error functions (for example, checking that a call to disable() is preceded by a corresponding call to enable()).






Dockerfile:A standalone setup of Witness Visualizer is provided via a Dockerfile. It enables local generation of witness visualizations without needing to deploy the web interface.To run the visualizer:

scripts/visualize_witnesses.py --witness witness.graphml --result-dir results/ --source-dir sv-benchmarks


The visualization output will be saved in the results/ directory.For detailed usage instructions in standalone mode, refer to: https://github.com/ispras/cv/blob/master/docs/witness_visualizer.md

If you want to explore the visualization of an entire benchmark run - including error traces, proofs, verifier logs, coverage information, and overall statistics - you need to set up the CVV web interface according to its instructions.
DOI: 10.15468/dl.gzb4nm
title: Occurrence Download

description: A dataset containing 269 species occurrences available in GBIF matching the query:
{
 "and" : [
 "Geometry POLYGON((-78.42201 -0.2081,-78.41751 -0.2081,-78.41751 -0.20597,-78.42201 -0.20597,-78.42201 -0.2081))",
 "HasCoordinate is true",
 "HasGeospatialIssue is false",
 "OccurrenceStatus is Present",
 "TaxonKey is Plantae"
 ]
}

 The dataset includes 269 records from 2 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0001027-250920141307145/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.15468/dl.9rtj8e
title: Occurrence Download

description: A dataset containing 16 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is Leonurus quinquelobatus",
 "Country is Netherlands",
 "HasCoordinate is true"
 ]
}

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

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

 The dataset includes 3 records from 1 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0001029-250920141307145/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.7910/dvn/pv9yjj
title: Replication Data for: the Folk Tale Rusa and Kelomang

description: In today's younger generation, there is a rapid decline in interest in traditional Indonesian folklore, which has driven the development of innovative solutions to preserve Indonesia's cultural heritage. This study introduces an augmented reality (AR) application based on one of Maluku's folklore, Rusa dan Kelomang, aiming to make Indonesian cultural storytelling interactive and engaging. Using the Agile methodology, the development process includes user-centered design, prototyping, and rigorous testing. The application features AR-based storytelling, interactive 3D visuals, and quizzes to enhance learning and entertainment. Testing results show a high usability score (86.9) and user acceptance rate (92%). These findings indicate that AR technology effectively bridges the gap in preserving Indonesian culture and meeting modern user preferences, providing a platform for education and entertainment for today's younger audience.
DOI: 10.15468/dl.339cd3
title: Occurrence Download

description: A dataset containing 66 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is Leonurus quinquelobatus",
 "Country is Latvia",
 "HasCoordinate is true"
 ]
}

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

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

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

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

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

description: A dataset containing 35 species occurrences available in GBIF matching the query:
{
 "and" : [
 "Country is China",
 "GadmGid is CHN.28_1",
 "TaxonKey is Lagotis decumbens"
 ]
}

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

description: A dataset containing 118 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is Leonurus quinquelobatus",
 "Country is Norway",
 "HasCoordinate is true"
 ]
}

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

description: A dataset containing 14511 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is Leonurus quinquelobatus",
 "Country is Russian Federation",
 "HasCoordinate is true"
 ]
}

 The dataset includes 14511 records from 48 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0001037-250920141307145/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.5281/zenodo.17168251
title: SEAMM Package List

description: The package list for the SEAMM environment, also complete conda environment files with and without the version pinned.
DOI: 10.15468/dl.5d8s2x
title: Occurrence Download

description: A dataset containing 20 species occurrences available in GBIF matching the query:
{
 "and" : [
 "Country is China",
 "GadmGid is CHN.28_1",
 "TaxonKey is Gentiana macrophylla"
 ]
}

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

description: A dataset containing 88 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is Ampittia",
 "Country is China",
 "HasCoordinate is true"
 ]
}

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

description: A dataset containing 21 species occurrences available in GBIF matching the query:
{
 "and" : [
 "Country is China",
 "GadmGid is CHN.28_1",
 "TaxonKey is Oxytropis gorbunovii"
 ]
}

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

description: A dataset containing 15 species occurrences available in GBIF matching the query:
{
 "and" : [
 "Country is China",
 "GadmGid is CHN.28_1",
 "TaxonKey is Delphinium lacostei"
 ]
}

 The dataset includes 15 records from 2 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0001043-250920141307145/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.5281/zenodo.17168235
title: Predation by Birds on a Biocontrol Herbivore
DOI: 10.5281/zenodo.17168236
title: Predation by Birds on a Biocontrol Herbivore
DOI: 10.15468/dl.9yf6hw
title: Occurrence Download

description: A dataset containing 131 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is Mentha arvensis",
 "Country is Belarus",
 "HasCoordinate is true"
 ]
}

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

description: A dataset containing 86 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is Mentha arvensis",
 "Country is Brazil",
 "HasCoordinate is true"
 ]
}

 The dataset includes 86 records from 37 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0001045-250920141307145/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.15468/dl.92j3aq
title: Occurrence Download

description: A dataset containing 615 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is Mentha arvensis",
 "Country is Czechia",
 "HasCoordinate is true"
 ]
}

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

description: A dataset containing 8 species occurrences available in GBIF matching the query:
{
 "and" : [
 "Country is China",
 "GadmGid is CHN.28_1",
 "TaxonKey is Equisetum scirpoides"
 ]
}

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

description: A dataset containing 163 species occurrences available in GBIF matching the query:
{
 "and" : [
 "Country is China",
 "GadmGid is CHN.28_1",
 "TaxonKey is Senecio nemorensis"
 ]
}

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

description: A dataset containing 6 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is Ampittia dalailama",
 "Country is China",
 "HasCoordinate is true"
 ]
}

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

description: A dataset containing 5 species occurrences available in GBIF matching the query:
{
 "and" : [
 "Country is China",
 "GadmGid is CHN.28_1",
 "TaxonKey is Stipa roborowskyi"
 ]
}

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

description: A dataset containing 2 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is Mentha arvensis",
 "Country is Iceland",
 "HasCoordinate is true"
 ]
}

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

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

 The dataset includes 51 records from 14 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0001052-250920141307145/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.15468/dl.8ab5xk
title: Occurrence Download

description: A dataset containing 1 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is Mentha arvensis",
 "Country is Lao People’s Democratic Republic",
 "HasCoordinate is true"
 ]
}

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

description: A dataset containing 68 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is Tirumala limniace",
 "Country is China",
 "HasCoordinate is true"
 ]
}

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

description: A dataset containing 61 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is Mentha arvensis",
 "Country is Philippines",
 "HasCoordinate is true"
 ]
}

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

description: A dataset containing 24 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is Mentha arvensis",
 "Country is Romania",
 "HasCoordinate is true"
 ]
}

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

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

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

description: A dataset containing 1 species occurrences available in GBIF matching the query:
{
 "and" : [
 "Country is China",
 "GadmGid is CHN.28_1",
 "TaxonKey is Malva cathayensis"
 ]
}

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

description: A dataset containing 9 species occurrences available in GBIF matching the query:
{
 "and" : [
 "Country is China",
 "GadmGid is CHN.28_1",
 "TaxonKey is Malva sinensis"
 ]
}

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

description: A dataset containing 723 species occurrences available in GBIF matching the query:
{
 "DatasetKey" : [
 "is Vegetación asociada a los bosques secos del Dagua - Valle del Cauca. 2018"
 ]
}

 The dataset includes 723 records from 1 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0001060-250920141307145/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.