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.
174
datasets available to search
ShareScore release 0.9.0
Dataset results
174 results for “symbol”
NEON Neuro-Symbolic Dataset
<p>This is the dataset used in the experiments from the manuscript</p> <blockquote> <p>Harmon, I., Weinstein, B., Bohlman, S., White, E., & Wang, D. Z. (2024). A Neuro-Symbolic Framework for Tree Crown Delineation and Tree Species Classification. Remote Sensing, 16(23), 4365. <a href="https://doi.org/10.3390/rs16234365">https://doi.org/10.3390/rs16234365</a></p> </blockquote> <p> This dataset is the RGB images combined with canopy height models (CHM) for the NEON sites NIWO and TEAK. The TEAK data is from the following publication:</p> <blockquote> <p>Geoffrey A Fricker, Jonathan Daniel Ventura, Jeffrey Wolf, Malcolm P. North, Frank W. Davis, & Janet Franklin. (2019). A Convolutional Neural Network classifier identifies tree species in mixed-conifer forest from hyperspectral imagery [Data set]. In Remote Sensing. Zenodo. <a href="https://doi.org/10.5281/zenodo.3463589" target="_blank" rel="noopener">https://doi.org/10.5281/zenodo.3463589</a>.</p> </blockquote>
AlphaTrans: A Neuro-Symbolic Compositional Approach for Repository-Level Code Translation and Validation
Open the record for dataset details and reuse information.
Estimating biodiversity using symbolic meta analysis
<p>Global species richness is a key biodiversity metric. Concerns continue to grow over its decline due to overexploitation and habitat destruction by humans. Despite recent efforts to estimate global species richness, the resulting estimates have been highly uncertain and often logically inconsistent. Estimates lower down either the taxonomic or geographic hierarchies are often larger than those above. Further, these estimates have been typically represented in a wide variety of forms, including intervals (a, b), point estimates with no uncertainty, and point estimates with either symmetrical or asymmetrical bounds, making it difficult to combine information across different studies. Here, we develop a Bayesian hierarchical approach to estimate global species richness (we estimate 22.02m species; 95% HPD interval (10.43m, 35.28m)) that combines 50 estimates from published studies. The data mix of intervals and point estimates are reconciled using techniques from symbolic data analysis. This approach allows us to recover interval estimates at each species level, even when data are partially or wholly unobserved, while respecting logical constraints, and to determine the effects of estimation on the whole hierarchy of obtaining future estimates for particular taxa at various levels in the hierarchy.</p>
Audio Rendered Using Symbolic Music Data Sampled From DMelodies
<p>This is a dataset of audio files rendered using a subset of symbolic music data from <a href="https://github.com/ashispati/dmelodies_dataset">DMelodies</a>.</p>
Neuro-Symbolic Language Modeling with Automaton-augmented Retrieval
<p>These are datasets and models for the paper:</p> <p>"Neuro-Symbolic Language Modeling with Automaton-augmented Retrieval" (ICML'2022)</p> <p><a href="https://arxiv.org/pdf/2201.12431.pdf">https://arxiv.org/pdf/2201.12431.pdf</a></p> <p>The code is available at: <a href="https://github.com/urialon/retomaton">https://github.com/neulab/retomaton</a></p> <p> </p>
Aberlemno 3 Pictish Symbol Stone, Scotland
ScRAP ID 3429 Canmore 34860. Pictish symbol stone. A rectangular, upright cross-slab carved in relief 2.7m high by 1.0m wide by 0.2m thick. One side bears a full-length ring cross, interlacing animals and angels. The reverse bears the crescent and V-rod, the double-disc and Z-rod. Below this is a hunting scene and at the bottom is a centaur and what appears to be David rending the lion's jaw. Source: Objaverse 1.0 / Sketchfab
Birse Pictish Symbol Stone
Birse (St Michael), Aboyne, Aberdeenshire, Pictish cross-slab fragment Measurements: H 0.29m, W 0.13m Now built into the interior face of the garden wall at Birse Manse, near the church, first recorded in 1995. This small fragment appears to be part of a Pictish cross-slab. It is incised with a curlicue, probably the lower right portion of a cross-shaft, and a double-sided comb. A curving line above the comb is likely to be the tip of the handle of a mirror symbol. All edges are broken but the surviving carving is clear. The image has been reoriented to show the angle the cross slab would have been erected, in the wall the stone is on its side. Date range: eighth or ninth century. Source: Objaverse 1.0 / Sketchfab
Benchmarks for Comparing Binary-Level Symbolic Execution Speed
<p>This dataset contains a reproducible computing environment as well as a set of synthetic benchmark applications for comparing symbolic execution speed at the binary level of several symbolic execution engines supporting the 32-bit RISC-V architecture. Specifically, the dataset compares and supports the following engines:</p> <ul> <li><a href="https://github.com/binsec/binsec">BinSec</a></li> <li><a href="https://github.com/angr/angr">angr</a></li> <li><a href="https://github.com/agra-uni-bremen/symex-vp">SymEx-VP</a></li> <li><a href="https://github.com/agra-uni-bremen/binsym">BinSym</a></li> </ul> <p>The benchmarks are designed to be easily extendable through the utilization of <a href="https://guix.gnu.org">Guix</a> (a functional package manager for <a href="https://doi.org/10.1038/s41597-022-01720-9">long-term reproducible research</a>). Currently, the supported engines perform IR-based symbolic execution using binary lifting (BinSec & angr) and direct symbolic execution of RISC-V machine code (SymEx-VP & BinSym). The dataset compares these approaches by fully exploring synthetic benchmark applications (e.g. sorting algorithms) with unconstrained symbolic input values and calculating an arithmetic mean over multiple executions, which is then represented as a table and a plot.</p> <p>More information on using the dataset is available in the supplementary README file.</p>
Material for the paper "MIDI2vec: Learning MIDI Embeddings for Reliable Prediction of Symbolic Music Metadata"
<p>Edgelists and trained embeddings used in the paper</p>
Symbolic Automatic Relations and Their Applications to SMT and CHC Solving
<p>This is a replication package for the paper "Symbolic Automatic Relations and Their Applications to SMT and CHC Solving," published in the proceedings of the 28th Static Analysis Symposium (SAS 2021).</p> <p>This package contains all the tools discussed in the paper, and all the benchmarks the evaluation was conducted on, along with README.md and benchmark scripts.</p>
Photographs of the bombed-out school of Addilal – symbol for three years without schools in Tigray (Ethiopia)
<p>On Tuesday 22 June 2021, the Ethiopian Air Force targeted the market place of Addilal in Tigray’s Gheralta district (north Ethiopia). Fortunately, the bomb missed the market, but it fell on the school compound. There were no students in school, as all schools in Tigray are closed since 2020. Damages to the school buildings were considerable. Up to date, the bombed-out Addilal school stands unused, as a symbol for these three years without schools in Tigray. Here we share a six exclusive photographs of the Addilal school.</p>
On the Correspondence between Information Flow, Noninterference, and Symbolic Execution - Benchmark Set
<p>The benchmark set the paper ``On the Correspondence between Information Flow, Noninterference, and Symbolic Execution'' evaluates.</p>
On the Correspondence between Information Flow, Noninterference, and Symbolic Execution - Benchmark Set
<p>The benchmark set the paper ``On the Correspondence between Information Flow, Noninterference, and Symbolic Execution'' evaluates.</p>
Ideal Solutions for the Evaluation of A User-driven Hybrid Neuro-symbolic Approach for Knowledge Graph Creation from Relational Data
<p>Those two files represent one ideal solution of RML rules for the provided ontology and database by the study conductors.</p> <p>Note: in those two Turtle files joins are not necessary since templates could have been defined, too. This would lead to the same result.</p>
Hybrid analytical surrogate-based process optimization via Bayesian symbolic regression
<p>Dataset associated with the publication "Hybrid analytical surrogate-based process optimization via Bayesian symbolic regression" by Sachin Jog, Daniel Vázquez, Lucas F. Santos, José A. Caballero, and Gonzalo Guillén-Gosálbez. The dataset includes the parameters used in the DACE BB models of case studies 1 and 2, described in sections 5.1.3 and 5.2.3 of the supplementary material, respectively.</p>
Wester Balblair Pictish Symbol Stone
This Class I Pictish (300-900AD) Symbol Stone was found at a depth of 2 feet when a gentlemen was digging his garden at Wester Balblair, Beauly, Inverness-shire in 1969. The stone measures 2' 4" long by 1' 6" wide and 4 1/2" thick. The stone exhibits a crescent and V-rod and three oval symbols. A report on the stones discovery can be found [here](https://archaeologydataservice.ac.uk/archiveDS/archiveDownload?t=arch-352-1/dissemination/pdf/vol_101/101_288_289.pdf) and further details can be found in the [Catalogue of Pictish Art in Inverness Museum](http://her.highland.gov.uk/hbsmrgatewayhighland/DataFiles/LibraryLinkFiles/192822.pdf). This stone is one display in the superb galleries of [Inverness Museum and Art Gallery](https://www.highlifehighland.com/inverness-museum-and-art-gallery/). Source: Objaverse 1.0 / Sketchfab
Medieval Christian Symbols, Arcidosso
A carved stone lintel with christian symbols on Via Codaccio, in Arcidosso, Grosseto, Tuscany. The building si connected to San Leonardo church and this lintel is a rectangular face architrave with incised decoration representing a cross inscribed in a circle, between a triangle and an elliptical sign representing possibly a fish. It dates to the second half of 12th c. on the basis of stratigraphic analyses. [source: M. De Falco 2004-2005, ref. AVM4, usm 207] Model was created in Reality Capture using 18 photographs. The Mt. Amiata Project is an ongoing GDH collaboration involving faculty and students at the University of Florence and the University of Siena. We could not have done this project without the considerable support of the Municipality of Arcidosso. Source: Objaverse 1.0 / Sketchfab
Keillor Pictish Symbol Stone
https://canmore.org.uk/site/30545/keillor Source: Objaverse 1.0 / Sketchfab
Testing the Effects of Singapore's Front-of-Pack Healthier Choice Symbol Label With or Without a Physical Activity Equivalent Label
ClinicalTrials.gov study NCT04172337. IPD Sharing: YES. Countries: 1. Publications: 1.
Estimating biodiversity using symbolic meta analysis
Open the record for dataset details and reuse information.
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.