Find research datasets worth reusing
Search datasets from major research repositories and use ShareScore to quickly assess how well each record supports discovery, access, and reuse.
106
datasets available to search
ShareScore release 0.9.0
Dataset results
106 results for “LIBS”
TriCera Benchmarks: SMT-LIB Encodings of SV-COMP 2022 Benchmarks by TriCera
<p>This repository contains the SMT-LIB v2.6 encodings of a subset of SV-COMP 2022 benchmarks from the <em>reach-safety</em> and the <em>memsafety</em> categories, encoded by <a href="https://github.com/uuverifiers/tricera">TriCera</a> and <a href="https://github.com/zafer-esen/heap2array">heap2array</a> [1, 2]. The source benchmarks from SV-Comp 2022 (`.c` and `.i` files together with their accompanying `.yml` files) are not provided due to licensing reasons; the files are freely available for download at <a href="https://zenodo.org/record/5831003/export/hx">https://zenodo.org/record/5831003/export/hx</a></p> <p>- `benchmarks/heap` contains all heap benchmarks (encoded by TriCera using the <a href="https://arxiv.org/abs/2104.04224">theory of heaps</a>, used in [1] and [2]).<br> - `benchmarks/heap2array` contains all heap2array encoded benchmarks (encoded from heap benchmarks using heap2array, used in [1] and [2]).<br> - `benchmarks/nonHeapBms` contains all non-heap benchmarks (encoded by TriCera, used in [2]).</p> <p>[1] (to appear) Zafer Esen and Philipp Rümmer, "An SMT-LIB Theory of Heaps", SMT 2022<br> [2] (to appear) Zafer Esen and Philipp Rümmer, "TriCera: Verifying C Programs Using the Theory of Heaps", FMCAD 2022</p>
Dataset supporting the paper 'Integration of SMT-LIB Support into Maple'
<p>This dataset provides a listing of all distinct queries to the Maple commands <strong>is</strong> and <strong>coulditbe </strong>which occurred in the course of a complete run through the Maple library test suite using Maple 2017 on 26 July 2017. The results include:</p> <ul> <li>24085 distinct queries to <strong>is</strong> (which tests if a given proposition holds universally) - see file is_queries.txt</li> <li>5771 distinct queries to <strong>coulditbe</strong> (which tests if given proposition is satisfiable) - see file coulditbe_queries.txt</li> </ul> <p>The files are plaintext and each line corresponds to a distinct query. Queries are in Maple syntax and adhere to one of the following patterns:</p> <ul> <li><strong>coulditbe(</strong><em>X</em><strong>)</strong></li> <li><strong>coulditbe(</strong><em>X</em><strong>) assuming </strong><em>Y</em></li> <li><strong>is(</strong><em>X</em><strong>)</strong></li> <li><strong>is(</strong><em>X</em><strong>) assuming </strong><em>Y</em></li> </ul> <p>Here, <em>X</em> is the expression being tested (in Maple syntax) and <em>Y</em> is an expression sequence of one or more assumptions on symbols appearing in <em>X</em>.</p> <ul> </ul>
Gini index mean score grain size estimates for Murray formation rocks (Gale crater, Mars) from ChemCam LIBS data (sols 766-1804)
<p>This repository includes main research results from the Journal of Geophysical Research: Planets manuscript entitled <em>"Grain Size Variations in the Murray Formation: Stratigraphic Evidence for Changing Depositional Environments in Gale Crater, Mars"</em>. These datasets were also included as Supplementary tables with the manuscript. Please find the plain language summary of the manuscript and the captions for these datasets below:</p> <p><strong><em>Plain language summary:</em></strong> The lowest exposed rocks of the Murray formation in Gale crater, Mars are interpreted as ancient lake deposits based on <em>Curiosity </em>rover data. However, the duration and temporal variability of this ancient lake is still an open question. Here we characterize the vertical distribution of deposits within the entire Murray formation using new grain size information. Characterizing grain size in rocks provides information about the speed of past fluid flows, which is crucial for interpreting depositional environments. However, measuring grain size in images is rarely possible for martian rocks. Thus, we estimate grain sizes with the Gini Index Mean Score (GIMS), a grain-size proxy that uses ChemCam Laser Induced Breakdown Spectroscopy data. GIMS results indicate that the Murray formation is dominated by rocks with mud-sized grains (i.e., mudstones), suggesting mud-sized grain settled in a low energy lake environment. Mud cracks occur in some of the mudstones, indicating drying periods in a lake. Rocks with sand-sized grains (i.e., sandstones) and cross bedding occur at specific intervals, suggesting episodes with stream channels and wind-blown sand dunes. The dominance of lake deposits interspersed with stream deposits suggests that liquid water was present in Gale crater for tens of thousands to millions of years.</p> <p><strong>Table captions:</strong></p> <p><em>Table S3. </em>All Murray formation targets used in the Gini mean index score (GIMS) analysis (sols 766-1804) with summary information, general grain size estimates from MAHLI and RMI images if known, and G<sub>MEAN </sub>values with associated standard deviation errors. For targets with N/A grain sizes, grains could not be resolved in any of the images, or images were not available. Protrusions in the rocks that are not grains are likely diagenetic nodules or concretions. Targets with G<sub>MEAN</sub>=0.07 have transitional GSRs, indicated by GSR1/GSR2. Targets names are merged in the same cell for those analyses that were taken on the same rock exposure. Next to the target names, the symbol * denotes that the ChemCam target was imaged by the MAHLI, the symbol ** denotes that the dust removal tool was used before the MAHLI image was taken, and ~ signifies that a location close to the ChemCam target was imaged by the MAHLI.</p> <p><em>Table S4</em>. The mean, median, minimum and maximum G<sub>MEAN</sub> and the minimum and maximum grain size regime (GSR) for each locality in the Murray formation.</p>
AE.Genre AESCHNA.- A. GenreANAX. C. Genre CALEPTERIX 1. Genre LESTES. - L. Genre LIB E L LULA. (partie.) in pp 56 - 66, plates 1-4 in Monographie des Libellulidées d'Europe
AE.Genre AESCHNA.- A. GenreANAX. C. Genre CALEPTERIX 1. Genre LESTES. - L. Genre LIB E L LULA. (partie.)
SWAVE for LIB recycling
<p>This study has looked at 48 commercial recyclers and assessed their recycling and reclamation processes. A novel qualitative measure termed “Strategic materials Weighting And Value Evaluation" (SWAVE) is proposed and used to compare the strategic importance and value of various materials in EoL LIBs. The sustainability and quality of recycled material is assessed by comparing the final form or composition after the recycling processes, the industrial processes and the industry type (primary material producer or recycler). SWAVE is applied to each company, producing a score out of 20, with a higher number indicating that more materials are recycled.</p>
Classification of ChemCam LIBS targets from Glen Torridon, Gale crater, Mars
<p>Point-by-point classification of all ChemCam LIBS targets in the Glen Torridon region (sols 2301 to 3007). The targets from the Greenheugh pediment are included for completeness, even though they are not studied in detail here (see Bedford et al., this issue). Columns 5 to 9 contain the geographic and stratigraphic locations of the targets. Columns 10 to 12 contain descriptions of the material that was sampled by the laser at each point, based on visual inspection of rover imagery. Column 13 indicates the quality of the data with respect to focus, based on the examination of the focus curves returned by the instrument each time an autofocus is performed (Peret et al., 2016): “poor” corresponds to a flat or noisy curve; “suboptimal” corresponds to a curve with a maximum at the edge of the range of distances scanned by the autofocus; and “uncertain” corresponds to points for which no focus curve is available, but that are likely out-of-focus given the local target topography visible in the RMI images of the target. Column 14 contains the spacecraft clock, which is unique to each row and enables identification and download of the associated spectra from the Planetary Data System (<a href="http://pds-geosciences.wustl.edu/missions/msl/">http://pds-geosciences.wustl.edu/missions/msl/</a>). Columns 15 to 42 contain the major-element oxide composition of each point, except for targets with poor focus or very high FeO<sub>T</sub> (e.g., iron meteorites), or located beyond 6 meters. Abundances are in wt%. The RMSEP (root mean squared error of prediction) reflects the model accuracy as detailed in Clegg et al. (2017). The “shots stdev” reflects the standard deviation across the laser shots (excluding the first 5). Columns 45 to 49 contain the corrected abundances for SiO<sub>2</sub>, Al<sub>2</sub>O<sub>3</sub>, Na<sub>2</sub>O and K<sub>2</sub>O, as well as the corrected sum of oxides, for targets beyond 3.5 m (Wiens et al., 2021). Column 50 contains the calculated value of the Chemical Index of Alteration. Abbreviations used: BH = Bloodstone hill; CB = Central butte; CBU = clay-bearing unit; LT = lateral traverse; MA = Mary Anning; TB = Tower butte; WB = Western butte.</p>
Neutron and LIBS data behind figures in Gabriel et al. (2022). On an extensive late hydrologic event in Gale crater as indicated by water-rich fracture halos. JGR-Planets.
<p>This repository contains datasets that allow for the reproduction of certain figures and analysis by Gabriel et al. (2022), a peer-reviewed journal article accepted in the Journal of Geophysical Research: Planets. Below are brief descriptions of the datasets.</p> <p> </p> <p>File: TGabriel_JGR-P_DAN_Passive_NoMobility_Raw_Data_sol350-400_FigureS10.txt</p> <p>Description: These are raw neutron counts from the thermal and epithermal neutron detectors as part of the Dynamic Albedo of Neutrons instrument. Only data from rover stops for sols 350 to 400 are included. Data from rover stops allows them to be readily colocated rover localization data, which includes 'site' and 'drive' numbers that are specific to each stop.</p> <p><br> File: TGabriel_JGR-P_DAN_Passive_NoMobility_Raw_Data_sol900-1500_Figure5.txt</p> <p>Description: This is similar data to the product above, however for the sol range 900 to 1500.</p> <p> </p> <p>File: TGabriel_JGR-P_DAN_Passive_withMobility_Raw_Data_sol350-420_FigureS13.txt</p> <p>Description: This is similar data to the products above, however the dataset includes passive neutron count rates acquired while the rover was traversing, smoothed over 3 meters of lateral distance traveled. This dataset allows for the analysis of environments that may be present between rover stops, and thus not detected in 'no mobility' datasets.</p> <p> </p> <p>TGabriel_JGR-P_Kukri_CCAM_MajorOxideComposition_FigureS19TableS1.xlsx</p> <p>Description: This is the result of the Major Oxide Quantification pipeline developed by the ChemCam instrument team (sPDL Tool v2.0, 25 July 2015) as run by William Rapin. Additional H quantification in Figure S19 of Gabriel et al. (2022) is not included in this dataset, but is provided in the manuscript.</p>
Rubus montanus Lib. ex Lej. (BR0000011019671)
Belgium Herbarium image of <a href="https://www.plantentuinmeise.be">Meise Botanic Garden</a>.
Rubus arduennensis Lib. ex Lej. (BR0000011047490)
Belgium Herbarium image of <a href="https://www.plantentuinmeise.be">Meise Botanic Garden</a>.
Rubus arduennensis Lib. ex Lej. (BR0000011047827)
Belgium Herbarium image of <a href="https://www.plantentuinmeise.be">Meise Botanic Garden</a>.
libs-github-api: fix "lines" mistake — GitHub API reports bytes, not lines
<p>Correct mistake in several places, including data file and scripts.</p>
SMT-LIB release 2023 (non-incremental benchmarks)
<p>This is the SMT-LIB benchmark library: a large library of input problems, or benchmarks, written in the SMT-LIB language. More information about the SMT-LIB initiative can be found at <a href="https://smtlib.cs.uiowa.edu/">https://smtlib.cs.uiowa.edu/</a>. The contributor and licence of each benchmark is indicated in the metadata fields of each benchmark file.</p> <p>This collection contains the <strong>non-incremental benchmarks</strong>.</p> <p>Benchmarks are grouped by logic and compressed with the <code>zstd</code> compression algorithm using the <code>tar --zstd</code>. SMT-LIB benchmarks usually have a very high compression rate, be aware of the required disk space when uncompressing the archives. You can find the size of each archive in compressed and uncompressed form in the following list.</p>
SMT-LIB release 2023 (incremental benchmarks)
<p>This is the SMT-LIB benchmark library: a large library of input problems, or benchmarks, written in the SMT-LIB language. More information about the SMT-LIB initiative can be found at <a href="https://smtlib.cs.uiowa.edu/">https://smtlib.cs.uiowa.edu/</a>. The contributor and licence of each benchmark is indicated in the metadata fields of each benchmark file.</p> <p>This collection contains the <strong>incremental benchmarks</strong>.</p> <p>Benchmarks are grouped by logic and compressed with the <code>zstd</code> compression algorithm using the <code>tar --zstd</code>. SMT-LIB benchmarks usually have a very high compression rate, be aware of the required disk space when uncompressing the archives. You can find the size of each archive in compressed and uncompressed form in the following list.</p>
Benchmarks from the paper titled "An SMT-LIB Theory of Heaps" submtted to SMT 2022
<p>Benchmarks from the paper titled "An SMT-LIB Theory of Heaps" submtted to SMT 2022</p> <p><strong>benchmarks/</strong><br> This directory contains all benchmarks (excluding SV-Comp sources).<br> - <strong>benchmarks/heap</strong> contains all heap benchmarks (smt2). <br> - <strong>benchmarks/heap2array</strong> contains all heap2array encoded benchmarks (smt2).</p> <p>The source benchmarks from SV-Comp 2022 (`.c` and `.i` files together with their accompanying `.yml` files) are not provided in this repository due to licensing reasons, but the files are freely available for download: <a href="https://zenodo.org/record/5831003/export/hx">https://zenodo.org/record/5831003/export/hx</a></p>
SMT-LIB release 2024 (non-incremental benchmarks)
<p>This is the SMT-LIB benchmark library: a large library of input problems, or benchmarks, written in the SMT-LIB language. More information about the SMT-LIB initiative can be found at <a href="https://smt-lib.org">https://smt-lib.org</a>. The contributor and licence of each benchmark is indicated in the metadata fields of each benchmark file.</p> <p>This collection contains the <strong>non-incremental benchmarks</strong>.</p> <p>Benchmarks are grouped by logic and compressed with the <code>zstd</code> compression algorithm using the <code>tar --zstd</code>. SMT-LIB benchmarks usually have a very high compression rate, be aware of the required disk space when uncompressing the archives. You can find the size of each archive in compressed and uncompressed form in the following list.</p>
SMT-LIB release 2024 (incremental benchmarks)
<p>This is the SMT-LIB benchmark library: a large library of input problems, or benchmarks, written in the SMT-LIB language. More information about the SMT-LIB initiative can be found at <a href="https://smt-lib.org">https://smt-lib.org</a>. The contributor and licence of each benchmark is indicated in the metadata fields of each benchmark file.</p> <p>This collection contains the <strong>incremental benchmarks</strong>.</p> <p>Benchmarks are grouped by logic and compressed with the <code>zstd</code> compression algorithm using the <code>tar --zstd</code>. SMT-LIB benchmarks usually have a very high compression rate, be aware of the required disk space when uncompressing the archives. You can find the size of each archive in compressed and uncompressed form in the following list.</p>
LIBS-wallscanner dataset related to "Scanning laser-induced breakdown spectrometer for mine walls" thesis
<p>This is a LIBS dataset published alongside the thesis in related identifiers. For better description see the thesis publication.</p>
Photos from DH2019 DH & Lib SIG Preconference workshop on 8 July 2019 in KB National Library of the Netherlands
<p>A selection of photos taken at the DH2019 DH & Lib SIG Preconference workshop on 8 July 2019 in KB National Library of the Netherlands</p>
Gini index mean score grain size estimates for Murray formation rocks in the Vera Rubin ridge (Gale crater, Mars) from ChemCam LIBS data (sols 1808-2298)
<p>Data in this repository are included as main research results in the Journal of Geophysical Research: Planets manuscripts entitled:</p> <p><em>"</em>Extensive diagenesis revealed by fine-scale features at Vera Rubin ridge, Gale crater, Mars<em>" </em></p> <p>"A lacustrine paleoenvironment recorded at Vera Rubin ridge, Gale crater: Overview of the sedimentology and stratigraphy observed by the Mars Science Laboratory Curiosity rover".</p> <p> </p> <p><strong>Table captions:</strong></p> <p><em>Table 1. </em>Murray formation targets from the Vera Rubin ridge used in the Gini mean index score (GIMS) analysis (sols 1808-2298) with summary information and G<sub>MEAN </sub>values with associated standard deviation errors. The grain size regimes (GSRs) were defined during the calibration procedure in Rivera-Hernández et al. (2020) and are defined as: mud (G<sub>MEAN</sub>=0.00-0.07; GSR1) and coarse silt to very fine sand (G<sub>MEAN</sub>=0.07-0.10; GSR2). Rocks with G<sub>MEAN</sub>=0.07 are exactly at GSR1 and GSR2 boundary and are reported as GSR1/GSR2. Next to the target names, the symbol * denotes that the ChemCam target was imaged by the Mars Hand Lens Imager (MAHLI), the symbol ** denotes that the dust removal tool was used before the MAHLI image was taken, and ~ signifies that a location close to the ChemCam target was imaged by the MAHLI. </p> <p><em>Table 2</em>. The mean, median, minimum and maximum G<sub>MEAN</sub> and the minimum and maximum grain size regime (GSR) for each Murray formation locality in the Vera Rubin ridge.</p> <p> </p> <p>References:</p> <p>Rivera-Hernández, F., Sumner, D. Y., Mangold N., Wiens, R.W., Edgett, K., Fedo, C., Schieber, J., Banham, S.G., Newsom, H., Gupta, S., Heydari, E., Stack, K.M., Nachon, M., Stein, N., & Maurice, S. (2020) Grain Size Variations in the Murray Formation: Stratigraphic Evidence for Changing Depositional Environments in Gale Crater, Mars. <em>Journal of Geophysical Research:</em><em> Planets.</em> doi:10.1029/2019JE006230</p>
Supplementary tables for the article "LIBS and XRF for the elemental analysis of aquatic organisms"
<p>Supplementary tables with full analytical results (Russian and English versions)</p>
ScienceDex guides
Understand access before you commit
These curated guides explain access requirements, typical timelines, costs, and reuse considerations for widely used research datasets.
Allen Brain Atlas
Allen Brain Atlas is an Allen Institute collection of brain map atlases, datasets, APIs, and analysis tools covering mouse, human, and non-human primate brain resources.
Annotated Behaviour and Observability Dataset (ABODe)
ABODe is a University of Edinburgh DataShare dataset for behavior classification in group-housed mice using home-cage video, identities, bounding boxes, ground-plate positions, and annotator labels.
DANDI Archive for NWB datasets
DANDI is a BRAIN Initiative archive for publishing and sharing neurophysiology data, including electrophysiology, optophysiology, and behavioral data packaged as NWB and related standards.
International Brain Laboratory public data
The International Brain Laboratory public data releases expose standardized mouse decision-making experiments, including Neuropixels recordings, widefield calcium imaging, behavior, and session metadata accessed through the ONE API.
OpenNeuro
OpenNeuro is a free, open platform for sharing neuroimaging datasets, with public search, dataset pages, and download paths for web, S3, DataLad, and the OpenNeuro CLI.