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

description: A dataset containing 25 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Ritchiea macrantha Pax & Gilg ex Gilg"
 ]
}

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

description: A dataset containing 0 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is Cyanus pichleri (Boiss.) Holub",
 "HasCoordinate is true",
 "Country is Iceland",
 "HasGeospatialIssue is false",
 "Year is greater than or equal to 2000",
 "CoordinateUncertaintyInMeters is less than 10000"
 ]
}

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

description: A dataset containing 21 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Rhododendron taronense Hutch."
 ]
}

 The dataset includes 21 records from 10 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0096827-240321170329656/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.48324/dandi.000957/0.240404.0750
title: Neuropixels Ultra Probe Imposed Motion Dataset

description: Neuropixels Ultra Probe Imposed Motion Dataset provides a dataset, where neural activity was recorded with Neuropixels Ultra (NP Ultra) in awake mouse visual cortex.  NP Ultra probe measures neural activity at ultra-high density, with 6-micron center-to-center spacing between sites, in 8x48 site configuration (total width x length: 48 x 288 micron). 

Probe up-down motion was artificially imposed in the brain tissue during brain recording. A total of 10 steps forward and 9 alternating steps
backwards were imposed for each session, with 25 μm travel in each direction at 1 μm/sec speed. This results in 25 micron net displacement by the end of the imposed motion.

118 natural images were presented at random times with repetition before and after imposed motion, for "fingerprinting" the identities of the visual cortical neurons with their unique visual responses.

This dataset provides an opportunity for designing and testing spike sorting algorithms, with neural activity sampled at an unprecedented spatiotemporal resolution.(1) Manually imposed motion and (2)neural identification with visual responses pre- and post- motion provide ground truth reference for testing the accuracy of motion correction and spike sorting.
DOI: 10.15468/dl.g8rmfy
title: Occurrence Download

description: A dataset containing 15 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Ranunculus angustior (Markl.) Ericsson"
 ]
}

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

description: A dataset containing 3816023 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Rumex L."
 ]
}

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

description: A dataset containing 30 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Rhodocoma alpina H.P.Linder & Vlok"
 ]
}

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

description: A dataset containing 35 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Rosularia glabra (Regel & C.Winkl.) A.Berger"
 ]
}

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

description: A dataset containing 83 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Reissantia parviflora (N.E.Br.) N.Hallé"
 ]
}

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

description: A dataset containing 0 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is Cyanus pindicola (Griseb.) Soják",
 "HasCoordinate is true",
 "Country is Iceland",
 "HasGeospatialIssue is false",
 "Year is greater than or equal to 2000",
 "CoordinateUncertaintyInMeters is less than 10000"
 ]
}

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

description: A dataset containing 1 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Ritchiea mayumbensis Exell"
 ]
}

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

description: A dataset containing 572 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Rhododendron tashiroi Maxim."
 ]
}

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

description: A dataset containing 280614 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Salix alba L."
 ]
}

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

description: A dataset containing 572 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Ectrosia agrostoides Benth."
 ]
}

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

description: A dataset containing 26 species occurrences available in GBIF matching the query:
{
 "and" : [
 "Country is Colombia",
 "Year 2005-2010",
 "HasCoordinate is true",
 "TaxonKey is Crax alberti Fraser, 1852",
 "HasGeospatialIssue is false"
 ]
}

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

description: A dataset containing 2 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is Puya occidentalis L.B.Sm.",
 "HasCoordinate is true",
 "HasGeospatialIssue is false"
 ]
}

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

description: A dataset containing 631 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Eclipta thermalis Bunge"
 ]
}

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

description: A dataset containing 546241 species occurrences available in GBIF matching the query:
{
 "Country" : [
 "is Benin"
 ]
}

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

description: A dataset containing 37 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is Hippocampus hippocampus (Linnaeus, 1758)",
 "Geometry POLYGON((1.61 41.21,1.61 44.43,8.50 44.43,8.50 41.21,1.61 41.21))",
 "HasGeospatialIssue is false"
 ]
}

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

description: A dataset containing 3933 species occurrences available in GBIF matching the query:
{
 "and" : [
 "BasisOfRecord is Human Observation",
 "Year 1980-2020",
 "Geometry POLYGON((-27.1582 68.7832,-24.69727 59.11523,-9.93164 49.97461,-4.30664 47.33789,-3.60352 44.70117,-31.37695 39.7793,-23.29102 31.16602,50.00977 32.92383,47.54883 86.00977,-27.1582 68.7832))",
 {
 "or" : [
 "DatasetKey is Hatikka.fi observations",
 "DatasetKey is Fv. 555 Kolltveit - Austefjorden",
 "DatasetKey is Wikiplantbase #Toscana",
 "DatasetKey is Flora d'Andorra",
 "DatasetKey is Sbp-BioBlitz2017_60years-BiodiversityData",
 "DatasetKey is BoBO - Botanic Garden and Botanical Museum Berlin Observations",
 "DatasetKey is Estonian Nature Observations Database",
 "DatasetKey is Vegetation relevés of pine forests (Moscow region)",
 "DatasetKey is Floristic records in the Moscow and Novgorod regions",
 "DatasetKey is Biowide Species data",
 "DatasetKey is Catálogo Florístico Histórico de Navarra. Gobierno de Navarra",
 "DatasetKey is Biofokus",
 "DatasetKey is ArtenFinder",
 "DatasetKey is PlutoF platform observations",
 "DatasetKey is Carnet en Ligne",
 "DatasetKey is naturgucker",
 "DatasetKey is Dutch Foundation for Applied Water Research (STOWA) - Limnodata Neerlandica"
 ]
 },
 "HasCoordinate is true",
 "TaxonKey is Calluna vulgaris (L.) Hull",
 "HasGeospatialIssue is false"
 ]
}

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

description: A dataset containing 11 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Ectrosia appressa S.T.Blake"
 ]
}

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

description: A dataset containing 8 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Pimpinella mulanjensis C.C.Towns."
 ]
}

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

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

 The dataset includes 7533520 records from 5254 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0186784-230224095556074/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.5281/zenodo.10986274
title: Ehrang Hohenzoller Apotheke

description: Historical questionnaire/s 1924/1948 and index cards, partly selected enclosures regarding the history of a German pharmacy, catalogued via Kalliope portal (Historischer Fragebogen 1924/1948 und Karteikarten, ggf. gemeinfreie Anlagen zur Apothekengeschichte; als Katalog dient das Nachlassportal Kalliope): https://kalliope-verbund.info/DE-611-BF-70963[Funktion: Im Findbuch anzeigen]Please note: The Kalliope catalogue entry might indicate related material in the archival folder which cannot be published due to copyright or other legal restrictions (NB: Das Katalogisat bei Kalliope kann auch auf Materialien - teils erheblichen Umfangs - verweisen, die aus archiv- oder urheberrechtlichen Gründen nicht veröffentlicht werden dürfen).
DOI: 10.5281/zenodo.10986312
title: GSS Customer Centric Enterprise Architecture Thematic Analysis Output
DOI: 10.15468/dl.qqvbmz
title: Occurrence Download

description: A dataset containing 24786 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Secale L."
 ]
}

 The dataset includes 24786 records from 252 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0004455-150528172251762/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.5281/zenodo.10980651
title: HOBO_pendant_light_2051942_Fildes_Bay_Antartica

description: This dataset contains sea surface temperature data in Celsius (°C) and lux intensity readings from a HOBO Pendant light with serial number 20519742. Start record: 6/01/2022, End record: 11/02/2023. Data was recorded every 30 minutes. The sensor was anchored at a depth of 9.13 meters, with a latitude of 62° 12' 11.73'' S and a longitude of 58° 56' 35.87'' W, in Antarctica. The first column represents the record number, the second column indicates the date in the format Day/Month/Year, and the third column represents lux intensity. 

Funded by Programa Areas Marinas Protegidas INACH (2403252)
DOI: 10.5281/zenodo.10980652
title: HOBO_pendant_light_2051942_Fildes_Bay_Antartica

description: This dataset contains sea surface temperature data in Celsius (°C) and lux intensity readings from a HOBO Pendant light with serial number 20519742. Start record: 6/01/2022, End record: 11/02/2023. Data was recorded every 30 minutes. The sensor was anchored at a depth of 9.13 meters, with a latitude of 62° 12' 11.73'' S and a longitude of 58° 56' 35.87'' W, in Antarctica. The first column represents the record number, the second column indicates the date in the format Day/Month/Year, and the third column represents lux intensity. 

Funded by Programa Areas Marinas Protegidas INACH (2403252)
DOI: 10.5281/zenodo.10778024
title: Certificates and Witnesses for Multi-Objective Queries in Markov Decision Processes - Artefact

description: Artefact for CAV 2024


This artefact accompanies the submission "Certificates and Witnesses for Multi-Objective Queries in Markov Decision Processes".



Contents of this artefact


This artefact consists of two different folders, namely data and software.



The data folder


The data folder contains data and results presented in the experimental section, along with models and properties that have been used. For every model and type of query (mean-payoff or reachability), there is a separate folder, containing the following types of files:



data.csv - A csv file where each row corresponds to a query and a model the query was considered for. Every row then contains information on the runtimes and model sizes. A detailed explanation of the columns can be found in the README.md of the data folder.

PRISM model files with .nm or .prism extension, corresponding to the models used for the experiments.

PRISM property files with .props extension, corresponding to the queries used for the experiments.

A README.md with notes on the origins of the models.




The software folder


The software directory contains our implementation of the presented techniques, including computation of the certificates (aka certification), computation of witnessing schedulers and the computation of minimal witnessing subsystems. It consists of the following components:



cpmc contains the Python implementation of the techniques and consists of several submodules:



cpmc/core implements classes for representing MDPs and other modeling components

cpmc/mean_payoff implements the techniques for working with multi-objective mean-payoff queries

cpmc/reachability implements the techniques for working with multi-objective reachability queries

cpmc/prism implements the translation of subsystems to PRISM code

cpmc/test contains unit tests that can be run by navigating into the folder and running pytest .



experiments contains scripts and utility files for running the experiments:



experiments/phil.py Script for running the dining philosophers experiment

experiments/csn.py Script for running the csn mean-payoff experiment

experiments/csn_reachability.py Script for running the csn reachability experiment

experiments/sensors.py Script for running the sensors experiment

experiments/consensus.py Script for running the consensus (coin) experiment

experiments/firewire.py Script for running the firewire experiment

experiments/main.py Command line interface for runnign the experiments
DOI: 10.15468/dl.4h95qn
title: Occurrence Download

description: A dataset containing 0 species occurrences available in GBIF matching the query:
{
 "and" : [
 "Geometry POLYGON ((-83.7022946000000019 43.0233009999999965, -83.7022946000000019 43.0245524199999991, -83.7022946000000019 43.0259510699999979, -83.7022946000000019 43.0268344200000001, -83.7022946000000019 43.0280122300000016, -83.7022946000000019 43.0297789399999999, -83.7022946000000019 43.0306623000000030, -83.7008891899999981 43.0306623000000030, -83.6997053799999975 43.0306623000000030, -83.6980776300000002 43.0306623000000030, -83.6961539299999941 43.0306623000000030, -83.6948964999999987 43.0306623000000030, -83.6948964999999987 43.0293372699999992, -83.6948964999999987 43.0280858499999965, -83.6948964999999987 43.0262455200000034, -83.6948964999999987 43.0251413299999967, -83.6948964999999987 43.0233009999999965, -83.6968198299999955 43.0233009999999965, -83.6979296500000061 43.0233009999999965, -83.6994094199999950 43.0233009999999965, -83.7003712700000051 43.0233009999999965, -83.7022946000000019 43.0233009999999965))",
 "HasCoordinate is true",
 "HasGeospatialIssue is false",
 "Year is greater than or equal to 1932",
 "BasisOfRecord is one of (Human Observation, Living Specimen, Observation, Specimen, Machine Observation)"
 ]
}

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

description: A dataset containing 43935 species occurrences available in GBIF matching the query:
{
 "and" : [
 "BasisOfRecord is Specimen",
 "OccurrenceStatus is Present",
 "TaxonKey is Pontederiaceae"
 ]
}

 The dataset includes 43935 records from 645 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0047606-231002084531237/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.5281/zenodo.10778023
title: Certificates and Witnesses for Multi-Objective Queries in Markov Decision Processes - Artefact

description: Artefact for CAV 2024


This artefact accompanies the submission "Certificates and Witnesses for Multi-Objective Queries in Markov Decision Processes".



Contents of this artefact


This artefact consists of two different folders, namely data and software.



The data folder


The data folder contains data and results presented in the experimental section, along with models and properties that have been used. For every model and type of query (mean-payoff or reachability), there is a separate folder, containing the following types of files:



data.csv - A csv file where each row corresponds to a query and a model the query was considered for. Every row then contains information on the runtimes and model sizes. A detailed explanation of the columns can be found in the README.md of the data folder.

PRISM model files with .nm or .prism extension, corresponding to the models used for the experiments.

PRISM property files with .props extension, corresponding to the queries used for the experiments.

A README.md with notes on the origins of the models.




The software folder


The software directory contains our implementation of the presented techniques, including computation of the certificates (aka certification), computation of witnessing schedulers and the computation of minimal witnessing subsystems. It consists of the following components:



cpmc contains the Python implementation of the techniques and consists of several submodules:



cpmc/core implements classes for representing MDPs and other modeling components

cpmc/mean_payoff implements the techniques for working with multi-objective mean-payoff queries

cpmc/reachability implements the techniques for working with multi-objective reachability queries

cpmc/prism implements the translation of subsystems to PRISM code

cpmc/test contains unit tests that can be run by navigating into the folder and running pytest .



experiments contains scripts and utility files for running the experiments:



experiments/phil.py Script for running the dining philosophers experiment

experiments/csn.py Script for running the csn mean-payoff experiment

experiments/csn_reachability.py Script for running the csn reachability experiment

experiments/sensors.py Script for running the sensors experiment

experiments/consensus.py Script for running the consensus (coin) experiment

experiments/firewire.py Script for running the firewire experiment

experiments/main.py Command line interface for runnign the experiments
DOI: 10.5281/zenodo.10848881
title: Phonon-assisted coherent transport of excitations in Rydberg-dressed atom arrays

description: Data corresponding to the article 'Phonon-assisted coherent transport of excitations in Rydberg-dressed atom arrays'.

File description:





data_experimental_single_run.zip - numerical data corresponding to Fig. 2 and Fig. 3




data_general_phase_diagram_dense_grid.zip - numerical data corresponding to Fig. 4


data_general_phase_diagram_dense_grid_zoom.zip - numerical data corresponding to Fig. 5



data_general_single_run_reply.zip - numerical data corresponding to Fig. 6 and Fig. 7