cometadata/datacite-titles-descriptions-related-identifiers huggingface dataset:
DOI: 10.3535/j29-ftm-518
title: Foraminifera d'Orbigny, 1826

description: Digital Specimen for the physical specimen hosted at Naturalis Biodiversity Center.
DOI: 10.3535/p4r-r40-elb
title: Animalia

description: Digital Specimen for the physical specimen hosted at Naturalis Biodiversity Center.
DOI: 10.3535/cx6-cmg-qwa
title: Reteporella Busk, 1884

description: Digital Specimen for the physical specimen hosted at Naturalis Biodiversity Center.
DOI: 10.3535/e2m-aaa-7x5
title: Foraminifera d'Orbigny, 1826

description: Digital Specimen for the physical specimen hosted at Naturalis Biodiversity Center.
DOI: 10.3535/fq3-xsp-d8z
title: Tubulipora Lamarck, 1816

description: Digital Specimen for the physical specimen hosted at Naturalis Biodiversity Center.
DOI: 10.3535/q46-kbg-zw8
title: Mammalia Linnaeus, 1758

description: Digital Specimen for the physical specimen hosted at Naturalis Biodiversity Center.
DOI: 10.3535/22c-902-lse
title: †Orbitoides d'Orbigny, in Lyell, 1848

description: Digital Specimen for the physical specimen hosted at Naturalis Biodiversity Center.
DOI: 10.3535/jfl-q0d-c95
title: Foraminifera d'Orbigny, 1826

description: Digital Specimen for the physical specimen hosted at Naturalis Biodiversity Center.
DOI: 10.3535/bgl-hjy-pt2
title: Hydrocotyle vulgaris L.

description: Digital Specimen for the physical specimen hosted at Naturalis Biodiversity Center.
DOI: 10.3535/6p7-lsr-32p
title: Animalia

description: Digital Specimen for the physical specimen hosted at Naturalis Biodiversity Center.
DOI: 10.3535/yby-ert-nac
title: Foraminifera d'Orbigny, 1826

description: Digital Specimen for the physical specimen hosted at Naturalis Biodiversity Center.
DOI: 10.5281/zenodo.16887741
title: SMT-COMP 2025 Benchmarks

description: This submission contains all benchmarks that were used in SMT-COMP 2025. The benchmarks are divided to five archives, according to the corresponding track



single query,

incremental,

unsat core,

model validation,

parallel.


The benchmarks are a selection of benchmarks from SMT-LIB repository that were scrambled by the official SMT-COMP scrambler with the seed 757067271.

Each archive contains subdirectories for each used logic, i.e., single_query/ABV. For each benchmark, the subdirectory contains two files:



ID_NAME.yml, where ID is the id of the benchmark used by our internal scripts and NAME is the mangled name of the original benchmark (including its family). For example:  single_query/ABV/21_ABV_20190429-UltimateAutomizerSvcomp2019_cs_szymanski_true-unreach-call.i_6.yml.The file contains additional metadata for the execution using BenchExec such as the expected status, full name of the original benchmark, and, most importantly, the corresponding smt2 file. This file is specified by the key input_files, e.g., input_files: 'scrambled380969.smt2'.

scrambledNUMBER.smt2, where NUMBER is a random number assigned during the scrambling process, e.g., single_query/ABV/scrambled380969.smt2. This is the file that is given as an input to participating SMT solvers. The connection between the scrambledNUMBER.smt2 file and the original benchmark is specified only in the YML file described above, which is used only by BenchExec and not available to the participating SMT solvers. This ensures that the SMT solvers do not have access to the names of the original benchmarks.
DOI: 10.5281/zenodo.16887742
title: SMT-COMP 2025 Benchmarks

description: This submission contains all benchmarks that were used in SMT-COMP 2025. The benchmarks are divided to five archives, according to the corresponding track



single query,

incremental,

unsat core,

model validation,

parallel.


The benchmarks are a selection of benchmarks from SMT-LIB repository that were scrambled by the official SMT-COMP scrambler with the seed 757067271.

Each archive contains subdirectories for each used logic, i.e., single_query/ABV. For each benchmark, the subdirectory contains two files:



ID_NAME.yml, where ID is the id of the benchmark used by our internal scripts and NAME is the mangled name of the original benchmark (including its family). For example:  single_query/ABV/21_ABV_20190429-UltimateAutomizerSvcomp2019_cs_szymanski_true-unreach-call.i_6.yml.The file contains additional metadata for the execution using BenchExec such as the expected status, full name of the original benchmark, and, most importantly, the corresponding smt2 file. This file is specified by the key input_files, e.g., input_files: 'scrambled380969.smt2'.

scrambledNUMBER.smt2, where NUMBER is a random number assigned during the scrambling process, e.g., single_query/ABV/scrambled380969.smt2. This is the file that is given as an input to participating SMT solvers. The connection between the scrambledNUMBER.smt2 file and the original benchmark is specified only in the YML file described above, which is used only by BenchExec and not available to the participating SMT solvers. This ensures that the SMT solvers do not have access to the names of the original benchmarks.
DOI: 10.3535/b43-lx1-a13
title: †Fusulinidae Möller, 1878

description: Digital Specimen for the physical specimen hosted at Naturalis Biodiversity Center.
DOI: 10.3535/p1m-x2e-hmz
title: Cervus elaphus Linnaeus, 1758

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

description: Digital Specimen for the physical specimen hosted at Naturalis Biodiversity Center.
DOI: 10.3535/l19-7v8-8z8
title: Foraminifera d'Orbigny, 1826

description: Digital Specimen for the physical specimen hosted at Naturalis Biodiversity Center.
DOI: 10.3535/ejl-2la-4ta
title: Chromista

description: Digital Specimen for the physical specimen hosted at Naturalis Biodiversity Center.
DOI: 10.3535/fmj-pq8-237
title: †Fusulinidae Möller, 1878

description: Digital Specimen for the physical specimen hosted at Naturalis Biodiversity Center.
DOI: 10.3535/v70-r5k-73p
title: Animalia

description: Digital Specimen for the physical specimen hosted at Naturalis Biodiversity Center.
DOI: 10.3535/990-g1f-a5t
title: Miliolidae Ehrenberg, 1839

description: Digital Specimen for the physical specimen hosted at Naturalis Biodiversity Center.
DOI: 10.3535/ws4-scj-w7m
title: Animalia

description: Digital Specimen for the physical specimen hosted at Naturalis Biodiversity Center.
DOI: 10.3535/q26-kyd-9w7
title: †Orbitoides d'Orbigny, in Lyell, 1848

description: Digital Specimen for the physical specimen hosted at Naturalis Biodiversity Center.
DOI: 10.3535/4jr-pty-w63
title: †Lepidorbitoides campaniensis van Gorsel, 1973

description: Digital Specimen for the physical specimen hosted at Naturalis Biodiversity Center.
DOI: 10.3535/z8s-lxe-f3m
title: Foraminifera d'Orbigny, 1826

description: Digital Specimen for the physical specimen hosted at Naturalis Biodiversity Center.
DOI: 10.3535/h90-wlt-mnn
title: Mammalia Linnaeus, 1758

description: Digital Specimen for the physical specimen hosted at Naturalis Biodiversity Center.
DOI: 10.3535/y8j-mx5-74s
title: Sphincterochila Ancey, 1887

description: Digital Specimen for the physical specimen hosted at Naturalis Biodiversity Center.
DOI: 10.34894/amkx5e
title: Publication Package 'Familiarity and Audience Effects on Giving: A Functional Magnetic Resonance Imaging Study': postprint, readme (study info) & ethics protocol

description: This is a publication package for the article 'Familiarity and Audience Effects on Giving: A Functional Magnetic Resonance Imaging Study', which can be found here: &lt;br&gt;&lt;a href="https://www-mitpressjournals-org.eur.idm.oclc.org/doi/abs/10.1162/jocn_a_01568"&gt;https://www-mitpressjournals-org.eur.idm.oclc.org/doi/abs/10.1162/jocn_a_01568&lt;/a&gt;&lt;br&gt;&lt;div&gt;&lt;br&gt;&lt;/div&gt;&lt;div&gt;This publication package contains: 1) a postprint of the article, 2) a README file with information about the study, and 3) the approved ethics protocol. &lt;/div&gt;
description: This entry is a three-file data package totaling 1.3 MB, containing files in .docx and .pdf formats.If you use this dataset, please cite: van de Groep, Suzanne; Crone, Eveline A.; Zanolie, Kiki (2020). Publication Package 'Familiarity and Audience Effects on Giving: A Functional Magnetic Resonance Imaging Study': postprint, readme (study info) & ethics protocol. Erasmus University Rotterdam (EUR). Dataset. https://doi.org/10.25397/eur.12555185
DOI: 10.3535/44s-k8c-ncf
title: Foraminifera d'Orbigny, 1826

description: Digital Specimen for the physical specimen hosted at Naturalis Biodiversity Center.
DOI: 10.3535/e0r-jxk-w69
title: Foraminifera d'Orbigny, 1826

description: Digital Specimen for the physical specimen hosted at Naturalis Biodiversity Center.
DOI: 10.3535/hj4-a3q-n9y
title: Foraminifera d'Orbigny, 1826

description: Digital Specimen for the physical specimen hosted at Naturalis Biodiversity Center.
DOI: 10.3535/mws-1nj-mmk
title: †Lamarckina ripleyensis Cushman, 1926

description: Digital Specimen for the physical specimen hosted at Naturalis Biodiversity Center.
DOI: 10.3535/6jj-e3w-ltl
title: Foraminifera d'Orbigny, 1826

description: Digital Specimen for the physical specimen hosted at Naturalis Biodiversity Center.
DOI: 10.3535/zre-lgl-n1y
title: Sphaeroidinella dehiscens (Parker & Jones, 1865)

description: Digital Specimen for the physical specimen hosted at Naturalis Biodiversity Center.
DOI: 10.3535/5kc-5vj-jq8
title: †Orbitoides d'Orbigny, in Lyell, 1848

description: Digital Specimen for the physical specimen hosted at Naturalis Biodiversity Center.
DOI: 10.3535/sag-nnr-bdf
title: Foraminifera d'Orbigny, 1826

description: Digital Specimen for the physical specimen hosted at Naturalis Biodiversity Center.
DOI: 10.3535/xxr-780-h7h
title: Animalia

description: Digital Specimen for the physical specimen hosted at Naturalis Biodiversity Center.
DOI: 10.3535/lv5-rty-fjg
title: Ostracoda Latreille, 1802

description: Digital Specimen for the physical specimen hosted at Naturalis Biodiversity Center.
DOI: 10.3535/t38-7kp-7d7
title: †Hedbergella Brönnimann & Brown, 1958

description: Digital Specimen for the physical specimen hosted at Naturalis Biodiversity Center.
DOI: 10.3535/8gd-dhp-lsb
title: Elofsonia pusilla (Brady & Robertson, 1870)

description: Digital Specimen for the physical specimen hosted at Naturalis Biodiversity Center.
DOI: 10.3535/hf1-7ge-zrz
title: †Lepidorbitoides Silvestri, 1907

description: Digital Specimen for the physical specimen hosted at Naturalis Biodiversity Center.
DOI: 10.3535/s0k-96k-hg7
title: Animalia

description: Digital Specimen for the physical specimen hosted at Naturalis Biodiversity Center.
DOI: 10.3535/xa6-r61-5ga
title: Foraminifera d'Orbigny, 1826

description: Digital Specimen for the physical specimen hosted at Naturalis Biodiversity Center.
DOI: 10.3535/4sh-tre-0hg
title: Mammalia Linnaeus, 1758

description: Digital Specimen for the physical specimen hosted at Naturalis Biodiversity Center.
DOI: 10.3535/qfw-jbe-m0s
title: Foraminifera d'Orbigny, 1826

description: Digital Specimen for the physical specimen hosted at Naturalis Biodiversity Center.
DOI: 10.3535/1r0-bvs-hl6
title: Foraminifera d'Orbigny, 1826

description: Digital Specimen for the physical specimen hosted at Naturalis Biodiversity Center.
DOI: 10.3535/pvh-e7d-tes
title: †Lepidorbitoides Silvestri, 1907

description: Digital Specimen for the physical specimen hosted at Naturalis Biodiversity Center.
DOI: 10.3535/cb3-rdm-yh3
title: †Fusulinidae Möller, 1878

description: Digital Specimen for the physical specimen hosted at Naturalis Biodiversity Center.
DOI: 10.3535/l1t-ap0-e09
title: Animalia

description: Digital Specimen for the physical specimen hosted at Naturalis Biodiversity Center.
DOI: 10.3535/yc0-feq-4np
title: Animalia

description: Digital Specimen for the physical specimen hosted at Naturalis Biodiversity Center.
DOI: 10.3535/13t-71q-43b
title: Foraminifera d'Orbigny, 1826

description: Digital Specimen for the physical specimen hosted at Naturalis Biodiversity Center.
DOI: 10.3535/1ry-jjl-b16
title: Foraminifera d'Orbigny, 1826

description: Digital Specimen for the physical specimen hosted at Naturalis Biodiversity Center.
DOI: 10.3535/h7j-4e9-0tk
title: †Fusulinidae Möller, 1878

description: Digital Specimen for the physical specimen hosted at Naturalis Biodiversity Center.
DOI: 10.3535/tga-2c9-3er
title: †Fusulinidae Möller, 1878

description: Digital Specimen for the physical specimen hosted at Naturalis Biodiversity Center.
DOI: 10.3535/wg8-rq5-lmd
title: †Hedbergella Brönnimann & Brown, 1958

description: Digital Specimen for the physical specimen hosted at Naturalis Biodiversity Center.
DOI: 10.3535/8hm-zpc-t3b
title: Echinoidea Schumacher, 1817

description: Digital Specimen for the physical specimen hosted at Naturalis Biodiversity Center.
DOI: 10.3535/qyh-fa1-df1
title: †Fusulinidae Möller, 1878

description: Digital Specimen for the physical specimen hosted at Naturalis Biodiversity Center.
DOI: 10.3535/c7w-s6e-3s6
title: Foraminifera d'Orbigny, 1826

description: Digital Specimen for the physical specimen hosted at Naturalis Biodiversity Center.
DOI: 10.3535/ltm-c73-w2n
title: Foraminifera d'Orbigny, 1826

description: Digital Specimen for the physical specimen hosted at Naturalis Biodiversity Center.
DOI: 10.3535/3at-eh2-6tr
title: Cyclammina cancellata Brady, 1879

description: Digital Specimen for the physical specimen hosted at Naturalis Biodiversity Center.
DOI: 10.3535/k5k-1x9-0zm
title: Foraminifera d'Orbigny, 1826

description: Digital Specimen for the physical specimen hosted at Naturalis Biodiversity Center.
DOI: 10.3535/hqc-lvh-h04
title: †Lepidorbitoides Silvestri, 1907

description: Digital Specimen for the physical specimen hosted at Naturalis Biodiversity Center.
DOI: 10.3535/lrv-8pg-zse
title: †Lepidocyclina Gümbel, 1870

description: Digital Specimen for the physical specimen hosted at Naturalis Biodiversity Center.
DOI: 10.3535/1nd-ssv-c9l
title: †Lepidocyclina Gümbel, 1870

description: Digital Specimen for the physical specimen hosted at Naturalis Biodiversity Center.
DOI: 10.3535/25v-2f7-86c
title: Sus scrofa Linnaeus, 1758

description: Digital Specimen for the physical specimen hosted at Naturalis Biodiversity Center.
DOI: 10.3535/wb7-f4g-1v4
title: Foraminifera d'Orbigny, 1826

description: Digital Specimen for the physical specimen hosted at Naturalis Biodiversity Center.
DOI: 10.3535/sfs-41g-h79
title: Foraminifera d'Orbigny, 1826

description: Digital Specimen for the physical specimen hosted at Naturalis Biodiversity Center.
DOI: 10.3535/56a-czz-wdl
title: Ostracoda Latreille, 1802

description: Digital Specimen for the physical specimen hosted at Naturalis Biodiversity Center.
DOI: 10.3535/jzl-543-ejh
title: Miliolinella Wiesner, 1931

description: Digital Specimen for the physical specimen hosted at Naturalis Biodiversity Center.
DOI: 10.3535/5kh-43k-fsl
title: Animalia

description: Digital Specimen for the physical specimen hosted at Naturalis Biodiversity Center.
DOI: 10.3535/sqv-6d0-2ka
title: Animalia

description: Digital Specimen for the physical specimen hosted at Naturalis Biodiversity Center.
DOI: 10.3535/fq7-w1v-1vx
title: Foraminifera d'Orbigny, 1826

description: Digital Specimen for the physical specimen hosted at Naturalis Biodiversity Center.
DOI: 10.3535/k43-ykl-4g9
title: Animalia

description: Digital Specimen for the physical specimen hosted at Naturalis Biodiversity Center.
DOI: 10.3535/nls-594-jmb
title: Animalia

description: Digital Specimen for the physical specimen hosted at Naturalis Biodiversity Center.
DOI: 10.3535/9ky-2se-f5w
title: †Lepidocyclina Gümbel, 1870

description: Digital Specimen for the physical specimen hosted at Naturalis Biodiversity Center.
DOI: 10.3535/w6h-tkw-yc2
title: †Pseudotextularia Rzehak, 1891

description: Digital Specimen for the physical specimen hosted at Naturalis Biodiversity Center.
DOI: 10.3535/8mq-5lf-66e
title: †Lepidocyclina Gümbel, 1870

description: Digital Specimen for the physical specimen hosted at Naturalis Biodiversity Center.
DOI: 10.3535/acv-9tm-8by
title: †Lepidocyclina Gümbel, 1870

description: Digital Specimen for the physical specimen hosted at Naturalis Biodiversity Center.
DOI: 10.3535/eh6-ms4-g07
title: Equus (Equus) caballus Linnaeus, 1758

description: Digital Specimen for the physical specimen hosted at Naturalis Biodiversity Center.
DOI: 10.3535/gqg-7xc-z3d
title: Textularia Defrance, 1824

description: Digital Specimen for the physical specimen hosted at Naturalis Biodiversity Center.
DOI: 10.3535/nqx-p25-y66
title: Sorites Ehrenberg, 1839

description: Digital Specimen for the physical specimen hosted at Naturalis Biodiversity Center.
DOI: 10.3535/gdf-zxx-2j6
title: Ostracoda Latreille, 1802

description: Digital Specimen for the physical specimen hosted at Naturalis Biodiversity Center.
DOI: 10.3535/x2j-1l5-klf
title: Animalia

description: Digital Specimen for the physical specimen hosted at Naturalis Biodiversity Center.
DOI: 10.3535/a42-4xm-5fq
title: Cytheridea (Cytheridea) Bosquet, 1852

description: Digital Specimen for the physical specimen hosted at Naturalis Biodiversity Center.
DOI: 10.3535/aem-ck8-zbx
title: Foraminifera d'Orbigny, 1826

description: Digital Specimen for the physical specimen hosted at Naturalis Biodiversity Center.
DOI: 10.3535/md5-0r8-w2z
title: Foraminifera d'Orbigny, 1826

description: Digital Specimen for the physical specimen hosted at Naturalis Biodiversity Center.
DOI: 10.3535/76z-ded-cnq
title: Foraminifera d'Orbigny, 1826

description: Digital Specimen for the physical specimen hosted at Naturalis Biodiversity Center.
DOI: 10.3535/mrb-h04-z3f
title: Mammalia Linnaeus, 1758

description: Digital Specimen for the physical specimen hosted at Naturalis Biodiversity Center.
DOI: 10.3535/14z-xn3-f6b
title: Animalia

description: Digital Specimen for the physical specimen hosted at Naturalis Biodiversity Center.
DOI: 10.3535/w84-7ec-syj
title: Foraminifera d'Orbigny, 1826

description: Digital Specimen for the physical specimen hosted at Naturalis Biodiversity Center.
DOI: 10.3535/9d0-slx-61b
title: Ammonia Brünnich, 1771

description: Digital Specimen for the physical specimen hosted at Naturalis Biodiversity Center.
DOI: 10.3535/hvm-cp4-m9n
title: Animalia

description: Digital Specimen for the physical specimen hosted at Naturalis Biodiversity Center.
DOI: 10.3535/sa6-26l-ams
title: †Lepidocyclina Gümbel, 1870

description: Digital Specimen for the physical specimen hosted at Naturalis Biodiversity Center.
DOI: 10.3535/25h-gbj-l5r
title: †Ranikothalia Caudri, 1944

description: Digital Specimen for the physical specimen hosted at Naturalis Biodiversity Center.
DOI: 10.3535/rlf-zg2-x01
title: Saracenaria Defrance, 1824

description: Digital Specimen for the physical specimen hosted at Naturalis Biodiversity Center.
DOI: 10.3535/lm5-92d-3wp
title: †Fusulinidae Möller, 1878

description: Digital Specimen for the physical specimen hosted at Naturalis Biodiversity Center.
DOI: 10.3535/xlg-jqt-mc1
title: Ovis aries Linnaeus, 1758

description: Digital Specimen for the physical specimen hosted at Naturalis Biodiversity Center.
DOI: 10.3535/6yv-9kw-7r5
title: Globorotalia Cushman, 1927

description: Digital Specimen for the physical specimen hosted at Naturalis Biodiversity Center.
DOI: 10.3535/vzw-5pq-74e
title: Foraminifera d'Orbigny, 1826

description: Digital Specimen for the physical specimen hosted at Naturalis Biodiversity Center.
DOI: 10.3535/scj-tpx-6tz
title: Liebusella Cushman, 1933

description: Digital Specimen for the physical specimen hosted at Naturalis Biodiversity Center.
DOI: 10.3535/zfv-q4h-04a
title: Groenlandia densa (L.) Fourr.

description: Digital Specimen for the physical specimen hosted at Naturalis Biodiversity Center.
DOI: 10.3535/l3j-q8k-j5g
title: Foraminifera d'Orbigny, 1826

description: Digital Specimen for the physical specimen hosted at Naturalis Biodiversity Center.
DOI: 10.3535/0d3-lbe-wpz
title: †Helicorbitoides voigti van Gorsel, 1973

description: Digital Specimen for the physical specimen hosted at Naturalis Biodiversity Center.
DOI: 10.3535/erv-pay-wq8
title: Animalia

description: Digital Specimen for the physical specimen hosted at Naturalis Biodiversity Center.
DOI: 10.3535/75s-nhs-km1
title: †Lepidocyclina Gümbel, 1870

description: Digital Specimen for the physical specimen hosted at Naturalis Biodiversity Center.
DOI: 10.3535/dxq-r6q-eqr
title: Plantae

description: Digital Specimen for the physical specimen hosted at Naturalis Biodiversity Center.
DOI: 10.3535/4bt-9j6-288
title: Sus scrofa Linnaeus, 1758

description: Digital Specimen for the physical specimen hosted at Naturalis Biodiversity Center.
DOI: 10.3535/94p-5b0-cp6
title: Plantae

description: Digital Specimen for the physical specimen hosted at Naturalis Biodiversity Center.
DOI: 10.3535/jxa-41a-yyn
title: Vaginulinopsis Silvestri, 1904

description: Digital Specimen for the physical specimen hosted at Naturalis Biodiversity Center.
DOI: 10.3535/r2r-1xs-7kc
title: †Vaginulina mexicana Nuttall, 1932

description: Digital Specimen for the physical specimen hosted at Naturalis Biodiversity Center.
DOI: 10.3535/evd-48k-xnf
title: †Baggina thalmanni Pijpers, 1933

description: Digital Specimen for the physical specimen hosted at Naturalis Biodiversity Center.
DOI: 10.3535/mwx-068-cnn
title: Plantae

description: Digital Specimen for the physical specimen hosted at Naturalis Biodiversity Center.
DOI: 10.3535/qvt-z2d-yy3
title: Foraminifera d'Orbigny, 1826

description: Digital Specimen for the physical specimen hosted at Naturalis Biodiversity Center.
DOI: 10.3535/l6n-9a3-km9
title: †Helicorbitoides voigti van Gorsel, 1973

description: Digital Specimen for the physical specimen hosted at Naturalis Biodiversity Center.
DOI: 10.3535/npe-ett-zyk
title: Equus (Equus) caballus Linnaeus, 1758

description: Digital Specimen for the physical specimen hosted at Naturalis Biodiversity Center.
DOI: 10.3535/trx-5l0-xh0
title: Schlumbergerella floresiana (Schlumberger, 1896)

description: Digital Specimen for the physical specimen hosted at Naturalis Biodiversity Center.
DOI: 10.3535/276-ppk-xbv
title: Foraminifera d'Orbigny, 1826

description: Digital Specimen for the physical specimen hosted at Naturalis Biodiversity Center.
DOI: 10.3535/9xd-1je-w34
title: Cytheridea (Cytheridea) Bosquet, 1852

description: Digital Specimen for the physical specimen hosted at Naturalis Biodiversity Center.
DOI: 10.3535/1qx-as7-gw1
title: Technitella legumen Norman, 1878

description: Digital Specimen for the physical specimen hosted at Naturalis Biodiversity Center.
DOI: 10.3535/3db-v6v-pmk
title: †Lepidorbitoides socialis (Leymerie, 1851)

description: Digital Specimen for the physical specimen hosted at Naturalis Biodiversity Center.
DOI: 10.3535/4x0-d6v-n7p
title: Foraminifera d'Orbigny, 1826

description: Digital Specimen for the physical specimen hosted at Naturalis Biodiversity Center.
DOI: 10.3535/t29-784-318
title: Peneroplis Montfort, 1808

description: Digital Specimen for the physical specimen hosted at Naturalis Biodiversity Center.
DOI: 10.5281/zenodo.15700379
title: Displace-DCN

description: - Datasets (source)

OPERA CSLC-S1: from ASF Vertex, https://search.asf.alaska.edu/

 

- Software

Deep learning: TensorFlow's Keras (version 2.13.1; recommended installation with 'pip install tensorflow[and-cuda]==2.13.1')

 

- Relevant Code

https://github.com/smuinsar/DeepLearning/tree/main/Displace-DCN

 

- Description of Contents

dataset_handle.ipynb: jupyter notebook to handle datasets for deep learning



Includes ~50K training, validation, and test sets.

~70GB separate binary files can be downloaded via Box.

The downloaded files can be reassembled to a single HDF5 file.

Each set consists of 256×256 reference (non-displaced) and secondary (displaced) amplitude image chips along with x- and y-direction displacements.