cometadata/datacite-titles-descriptions-related-identifiers huggingface dataset:
DOI: 10.5281/zenodo.10055133
title: SPOONBILL_VLAANDEREN - Eurasian spoonbills (Platalea leucorodia, Threskiornithidae) in Flanders (Belgium)

description: SPOONBILL_VLAANDEREN - Eurasian spoonbills (Platalea leucorodia, Threskiornithidae) in Flanders (Belgium) is a bird tracking dataset published by the Research Institute for Nature and Forest (INBO). It contains animal tracking data collected by the LifeWatch GPS tracking network for large birds (http://lifewatch.be/en/gps-tracking-network-large-birds) for the project/study SPOONBILL_VLAANDEREN, using trackers developed by Ornitela (https://www.ornitela.com). The study has been operational since 2022. In total 5 individuals of Eurasian spoonbill (Platalea leucorodia) have been tagged at several locations in Flanders (Belgium), mainly to study their flight behaviour in a hostile environment of wind turbines and high-voltage power lines. Data are automatically synced with Movebank and from there periodically archived on Zenodo (see https://github.com/inbo/bird-tracking).

Files

Data in this package are exported from Movebank study 2313947453. Fields in the data follow the Movebank Attribute Dictionary and are described in datapackage.json. Files are structured as a Frictionless Data Package. You can access all data in R via https://zenodo.org/records/10055133/files/datapackage.json using frictionless.



datapackage.json: technical description of the data files.

SPOONBILL_VLAANDEREN-reference-data.csv: reference data about the animals, tags and deployments.

SPOONBILL_VLAANDEREN-gps-yyyy.csv.gz: GPS data recorded by the tags, grouped by year.


Acknowledgements

This dataset was collected using infrastructure provided by INBO and funded by Research Foundation - Flanders (FWO) as part of the Belgian contribution to LifeWatch.
DOI: 10.15468/dl.68qnz5
title: Occurrence Download

description: A dataset containing 4994 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is one of (Acanthophis Daudin, 1803, Acanthophis laevis Macleay, 1877)"
 ]
}

 The dataset includes 4994 records from 65 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0008440-240626123714530/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.5281/zenodo.12622340
title: Energies, forces, and Born effective charges for water and MAPbI3 + Born effective charges and polarization data for a water dimer

description: Datasets containing energies, forces, and Born effective charges for water and MAPbI3 in the VASP format (ML_AB, OUTCAR, and POSCAR), polarization data and Born effective charges for a water dimer are also included.

Energies and forces:H2O/MLFF/RPBE-D3/ML_AB – 64 water molecules,  654 configurations.H2O/MLFF/SCAN/ML_AB – 64 water molecules,  972 configurations.MAPbI3/MLFF/ML_AB – 8(MAPbI3),  1414 configurations, tetragonal and orthorhombic phase, SCAN.

Born effective charges:dimer/BEC/ – 2 water molecules, 150 configurations.H2O/BEC/ – 64 water molecules,  100 configurations.MAPbI3/BEC/ – 8(MAPbI3),  300 configurations, tetragonal, orthorhombic, and cubic phase.

Polarization:dimer/P/ – 2 water molecules, 1000 configurations.

See preprint for more details: 




https://doi.org/10.48550/arXiv.2404.19674
DOI: 10.5281/zenodo.12622341
title: Energies, forces, and Born effective charges for water and MAPbI3 + Born effective charges and polarization data for a water dimer

description: Datasets containing energies, forces, and Born effective charges for water and MAPbI3 in the VASP format (ML_AB, OUTCAR, and POSCAR), polarization data and Born effective charges for a water dimer are also included.

Energies and forces:H2O/MLFF/RPBE-D3/ML_AB – 64 water molecules,  654 configurations.H2O/MLFF/SCAN/ML_AB – 64 water molecules,  972 configurations.MAPbI3/MLFF/ML_AB – 8(MAPbI3),  1414 configurations, tetragonal and orthorhombic phase, SCAN.

Born effective charges:dimer/BEC/ – 2 water molecules, 150 configurations.H2O/BEC/ – 64 water molecules,  100 configurations.MAPbI3/BEC/ – 8(MAPbI3),  300 configurations, tetragonal, orthorhombic, and cubic phase.

Polarization:dimer/P/ – 2 water molecules, 1000 configurations.

See preprint for more details: 




https://doi.org/10.48550/arXiv.2404.19674
DOI: 10.5281/zenodo.12180216
title: ProB - B2SAT Artifact for FM'2024

description: This artifact accompanies the paper "B2SAT: A Bare-Metal Reduction of B to SAT" to appear in the proceedings of the FM'2024 conference. The artefact enables one to reproduce the results in the paper.

B2SAT is a new SAT backend for the B-Method to enable new applications of formal methods.The new backend interleaves low-level SAT solving with high-level constraint solving.The backend is integrated into ProB, not as a general purpose backend, butas a dedicated backend for solving hard constraint satisfaction and optimisation problemson complex data. A documentation page for B2SAT is available at:  https://prob.hhu.de/w/index.php?title=B2SAT

To experiment or reproduce the results download and unpack this artifact (b2sat_artifact.tgz) then you can type the following commands to see help (make help), install ProB inside the folder (make install_prob), run a simple test (make simple) and then re-run the experiments:

cd benchmarksmake helpmake install_probmake simplemake benchmake cdclt

The Makefile of the artifact will download the version 1.13.1-beta1 of ProB for your platform. Note: on macOS you may to have to run make post_install after make install_prob. You also need to have Java 8 or newer installed on your machine.

The artifact's Makefile works on macOS and Linux. Even though ProB also works on Windows this artifact is not designed for Windows (you will need to adapt the Makefile or by extracting the zip archive manually using Explorer and updating the PATH of your shell manually using `export PATH=$PATH:PROB`; there may also be issues launching the Kodkod backend on Windows).

The Linux version of ProB is also available as another artifact:        ProB Linux 1.13.1.beta1 Zenodo artifact (https://zenodo.org/records/12166295).

This version of ProB can be run inside the ifm2022 virtual box machine (https://zenodo.org/records/5794839).

These are the steps needed to run the benchmarks in the iFM2022 virtual machine:

sudo apt install curlmkdir b2satcd b2satcurl -L https://zenodo.org/records/12180216/files/b2sat_artifact.tgz?download=1 -o artifact.tgzshasum -a 256 artifact.tgztar -xvzf artifact.tgzcd benchmarksmake install_probmake simplemake benchmake cdclt

Note: sometimes on Linux Z3 unfortunately runs out of memory or generates the assertion violation UNEXPECTED CODE WAS REACHED during make bench. You can run make sat to just run B2SAT on the benchmark models. Depending on your Linux system you may also have to set the dynamic library path before running make bench:

LD_LIBRARY_PATH=PROB/ProB/lib/ make bench

ProB is based on research and implementation efforts by many people, see https://prob.hhu.de/w/index.php?title=Team.

To cite ProB you can use this article: http://dx.doi.org/10.1007/s10009-007-0063-9.The original article was published in 2003 at FME: https://rdcu.be/cKLIv.
DOI: 10.5281/zenodo.12166662
title: ProB - B2SAT Artifact for FM'2024

description: This artifact accompanies the paper "B2SAT: A Bare-Metal Reduction of B to SAT" to appear in the proceedings of the FM'2024 conference. The artefact enables one to reproduce the results in the paper.

B2SAT is a new SAT backend for the B-Method to enable new applications of formal methods.The new backend interleaves low-level SAT solving with high-level constraint solving.The backend is integrated into ProB, not as a general purpose backend, butas a dedicated backend for solving hard constraint satisfaction and optimisation problemson complex data. A documentation page for B2SAT is available at:  https://prob.hhu.de/w/index.php?title=B2SAT

To experiment or reproduce the results download and unpack this artifact (b2sat_artifact.tgz) then you can type the following commands to see help (make help), install ProB inside the folder (make install_prob), run a simple test (make simple) and then re-run the experiments:

cd benchmarksmake helpmake install_probmake simplemake benchmake cdclt

The Makefile of the artifact will download the version 1.13.1-beta1 of ProB for your platform. Note: on macOS you may to have to run make post_install after make install_prob. You also need to have Java 8 or newer installed on your machine.

The artifact's Makefile works on macOS and Linux. Even though ProB also works on Windows this artifact is not designed for Windows (you will need to adapt the Makefile or by extracting the zip archive manually using Explorer and updating the PATH of your shell manually using `export PATH=$PATH:PROB`; there may also be issues launching the Kodkod backend on Windows).

The Linux version of ProB is also available as another artifact:        ProB Linux 1.13.1.beta1 Zenodo artifact (https://zenodo.org/records/12166295).

This version of ProB can be run inside the ifm2022 virtual box machine (https://zenodo.org/records/5794839).

These are the steps needed to run the benchmarks in the iFM2022 virtual machine:

sudo apt install curlmkdir b2satcd b2satcurl -L https://zenodo.org/records/12180216/files/b2sat_artifact.tgz?download=1 -o artifact.tgzshasum -a 256 artifact.tgztar -xvzf artifact.tgzcd benchmarksmake install_probmake simplemake benchmake cdclt

Note: sometimes on Linux Z3 unfortunately runs out of memory or generates the assertion violation UNEXPECTED CODE WAS REACHED during make bench. You can run make sat to just run B2SAT on the benchmark models. Depending on your Linux system you may also have to set the dynamic library path before running make bench:

LD_LIBRARY_PATH=PROB/ProB/lib/ make bench

ProB is based on research and implementation efforts by many people, see https://prob.hhu.de/w/index.php?title=Team.

To cite ProB you can use this article: http://dx.doi.org/10.1007/s10009-007-0063-9.The original article was published in 2003 at FME: https://rdcu.be/cKLIv.
DOI: 10.5281/zenodo.12166663
title: ProB - B2SAT Artifact for FM'2024

description: This artifact accompanies the paper "B2SAT: A Bare-Metal Reduction of B to SAT" to appear in the proceedings of the FM'2024 conference. The artefact enables one to reproduce the results in the paper.

B2SAT is a new SAT backend for the B-Method to enable new applications of formal methods.The new backend interleaves low-level SAT solving with high-level constraint solving.The backend is integrated into ProB, not as a general purpose backend, butas a dedicated backend for solving hard constraint satisfaction and optimisation problemson complex data. A documentation page for B2SAT is available at:  https://prob.hhu.de/w/index.php?title=B2SAT

To experiment or reproduce the results download and unpack this artifact (b2sat_artifact.tgz) then you can type the following commands to see help (make help), install ProB inside the folder (make install_prob), run a simple test (make simple) and then re-run the experiments:

cd benchmarksmake helpmake install_probmake simplemake benchmake cdclt

The Makefile of the artifact will download the version 1.13.1-beta1 of ProB for your platform. Note: on macOS you may to have to run make post_install after make install_prob. 

The Linux version of ProB is also available as another artifact:        ProB Linux 1.13.1.beta1 Zenodo artifact (https://zenodo.org/records/12166295).

This version of ProB can be run inside the ifm2022 virtual box machine (https://zenodo.org/records/5794839).

These are the steps needed to run the benchmarks in the iFM2022 virtual machine:

sudo apt install curlmkdir b2satcd b2satcurl -L https://zenodo.org/records/12166663/files/b2sat_artifact.tgz?download=1 -o artifact.tgzshasum -a 256 artifact.tgztar -xvzf artifact.tgzcd benchmarksmake install_probmake simplemake benchmake cdclt

ProB is based on research and implementation efforts by many people, see https://prob.hhu.de/w/index.php?title=Team.

To cite ProB you can use this article: http://dx.doi.org/10.1007/s10009-007-0063-9.The original article was published in 2003 at FME: https://rdcu.be/cKLIv.
DOI: 10.5281/zenodo.12167620
title: ProB - B2SAT Artifact for FM'2024

description: This artifact accompanies the paper "B2SAT: A Bare-Metal Reduction of B to SAT" to appear in the proceedings of the FM'2024 conference. The artefact enables one to reproduce the results in the paper.

B2SAT is a new SAT backend for the B-Method to enable new applications of formal methods.The new backend interleaves low-level SAT solving with high-level constraint solving.The backend is integrated into ProB, not as a general purpose backend, butas a dedicated backend for solving hard constraint satisfaction and optimisation problemson complex data. A documentation page for B2SAT is available at:  https://prob.hhu.de/w/index.php?title=B2SAT

To experiment or reproduce the results download and unpack this artifact (b2sat_artifact.tgz) then you can type the following commands to see help (make help), install ProB inside the folder (make install_prob), run a simple test (make simple) and then re-run the experiments:

cd benchmarksmake helpmake install_probmake simplemake benchmake cdclt

The Makefile of the artifact will download the version 1.13.1-beta1 of ProB for your platform. Note: on macOS you may to have to run make post_install after make install_prob. 

The Linux version of ProB is also available as another artifact:        ProB Linux 1.13.1.beta1 Zenodo artifact (https://zenodo.org/records/12166295).

This version of ProB can be run inside the ifm2022 virtual box machine (https://zenodo.org/records/5794839).

These are the steps needed to run the benchmarks in the iFM2022 virtual machine:

sudo apt install curlmkdir b2satcd b2satcurl -L https://zenodo.org/records/12167620/files/b2sat_artifact.tgz?download=1 -o artifact.tgzshasum -a 256 artifact.tgztar -xvzf artifact.tgzcd benchmarksmake install_probmake simplemake benchmake cdclt

ProB is based on research and implementation efforts by many people, see https://prob.hhu.de/w/index.php?title=Team.

To cite ProB you can use this article: http://dx.doi.org/10.1007/s10009-007-0063-9.The original article was published in 2003 at FME: https://rdcu.be/cKLIv.
DOI: 10.5281/zenodo.12167866
title: ProB - B2SAT Artifact for FM'2024

description: This artifact accompanies the paper "B2SAT: A Bare-Metal Reduction of B to SAT" to appear in the proceedings of the FM'2024 conference. The artefact enables one to reproduce the results in the paper.

B2SAT is a new SAT backend for the B-Method to enable new applications of formal methods.The new backend interleaves low-level SAT solving with high-level constraint solving.The backend is integrated into ProB, not as a general purpose backend, butas a dedicated backend for solving hard constraint satisfaction and optimisation problemson complex data. A documentation page for B2SAT is available at:  https://prob.hhu.de/w/index.php?title=B2SAT

To experiment or reproduce the results download and unpack this artifact (b2sat_artifact.tgz) then you can type the following commands to see help (make help), install ProB inside the folder (make install_prob), run a simple test (make simple) and then re-run the experiments:

cd benchmarksmake helpmake install_probmake simplemake benchmake cdclt

The Makefile of the artifact will download the version 1.13.1-beta1 of ProB for your platform. Note: on macOS you may to have to run make post_install after make install_prob. 

The Linux version of ProB is also available as another artifact:        ProB Linux 1.13.1.beta1 Zenodo artifact (https://zenodo.org/records/12166295).

This version of ProB can be run inside the ifm2022 virtual box machine (https://zenodo.org/records/5794839).

These are the steps needed to run the benchmarks in the iFM2022 virtual machine:

sudo apt install curlmkdir b2satcd b2satcurl -L https://zenodo.org/records/12167866/files/b2sat_artifact.tgz?download=1 -o artifact.tgzshasum -a 256 artifact.tgztar -xvzf artifact.tgzcd benchmarksmake install_probmake simplemake benchmake cdclt

ProB is based on research and implementation efforts by many people, see https://prob.hhu.de/w/index.php?title=Team.

To cite ProB you can use this article: http://dx.doi.org/10.1007/s10009-007-0063-9.The original article was published in 2003 at FME: https://rdcu.be/cKLIv.
DOI: 10.15468/dl.b9xcqe
title: Occurrence Download

description: A dataset containing 2 species occurrences available in GBIF matching the query:
{
 "and" : [
 "Country is Chile",
 "TaxonKey is Stenella longirostris (Gray, 1828)"
 ]
}

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

description: A dataset containing 3755 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is Santolina chamaecyparissus L.",
 "HasCoordinate is true",
 "Continent is Europe",
 "HasGeospatialIssue is false",
 "Year is greater than or equal to 2000",
 "CoordinateUncertaintyInMeters is less than 10000"
 ]
}

 The dataset includes 3755 records from 75 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0023318-240229165702484/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.25549/examiner-c44-43539
title: Yo-yo contest (Griffith Park playground), 1952

description: 5 images. Yo-yo contest (Griffith Park playground), 29 March 1952. Bill Woodard -- 14 years (Champion); Jane Woolner -- 15 years.
DOI: 10.15468/dl.bxjtfy
title: Occurrence Download

description: A dataset containing 607 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Stenocactus (K.Schum.) A.Berger"
 ]
}

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

description: A dataset containing 47 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Epilobium ×confine Hausskn."
 ]
}

 The dataset includes 47 records from 9 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0197157-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.svmkbf
title: Occurrence Download

description: A dataset containing 52 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is Peristernia fuscotincta (G.B.Sowerby Iii, 1886)",
 "HasGeospatialIssue is false",
 "HasCoordinate is true",
 {
 "not" : {
 "BasisOfRecord" : [
 "is Fossil"
 ]
 }
 },
 {
 "or" : [
 {
 "not" : {
 "EstablishmentMeans" : [
 "is MANAGED"
 ]
 }
 },
 {
 "not" : {
 "EstablishmentMeans" : [
 "is not null"
 ]
 }
 }
 ]
 },
 {
 "or" : [
 "OccurrenceStatus is Present",
 {
 "not" : {
 "OccurrenceStatus" : [
 "is not null"
 ]
 }
 }
 ]
 }
 ]
}

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

description: A dataset listing the 837 species recorded in GBIF matching the query:
{
 "and" : [
 "Country is Ecuador",
 "TaxonKey is Chrysomelidae"
 ]
}

 The dataset's 837 records were derived from 45 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0037916-240506114902167/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.25549/examiner-c44-89438
title: Horses -- Race -- Hollywood Park -- Gold Cup, 1958

description: 10 images. Horses -- Race -- Hollywood Park -- Gold Cup, 12 July 1958. "Sports". (Sleeve reads: SP 12376).; Caption slip reads: "Photographer: Jensen. Date: 1958-07-12. Assignment: Holly Park Gold Cup race. 7th race into clubhouse turn. 7th race finish. 21/22: Gallant man Willie Shoemaker up".; Other caption slip reads: "Photographer: Miller. Assignment: Gold Cup. 35: Start. 36: Turn for home".; Another caption slip reads: "Photographer: Monte[verde]. Date: 07-12. Assignment: Gold Cup. Special instructions: Action. 1: First time past stands -- 7th race. 2: Finish 7th race".
DOI: 10.15468/dl.tudaej
title: Occurrence Download

description: A dataset containing 1 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is Brachypelma Simon, 1891",
 "Country is Colombia"
 ]
}

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

description: A dataset containing 6 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Bulbophyllum lineariflorum J.J.Sm."
 ]
}

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

description: A dataset containing 18 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Epilobium confusum Hausskn."
 ]
}

 The dataset includes 18 records from 8 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0197158-230224095556074/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.25549/examiner-c44-38164
title: Interview, 1952.

description: 2 images. Interview, 19 May 1952. Doctor John W. Harbeson -- 67 years (retired Principal of Pasadena City College).; Caption slip reads: "Sunday or Monday. Photographer: Richardson. Date: 1952-05-19. Reporter: Swaim. Assignment: Interview. K5, 6: Doctor john W. Harbeson, 67, retired principal of Pasadena City College, interviewed on recreation for the aging".
DOI: 10.15468/dl.dnsbem
title: Occurrence Download

description: A dataset containing 364 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is Ancylopsetta dilecta (Goode & Bean, 1883)",
 "HasCoordinate is true",
 "HasGeospatialIssue is false"
 ]
}

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