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.
5
datasets available to search
ShareScore release 0.9.0
Dataset results
5 results for “Logic Programming”
Domain-specific Language for Data-driven Design Time Analyses and Result Mappings for Logic Programs - Data Set
<p>This data set contains additional information to the master thesis of Sebastian Hahner. This includes the prototypical implementation of the domain-specific language (DSL) as well as sample scenarios and mapping results.</p>
Computation Tree Logic guided Reactive Program Repair
<p>This is the supporting data for OOPSLA24 submission: Computation Tree Logic guided Reactive Program Repair. </p> <p>It includes the source code and benchmarks presented in the paper. </p>
Key transcription factors altered in multiple myeloma patients revealed by logic programming approach combining gene expression pro ling and regulatory networks
GEO Series GSE83503. Homo sapiens. 602 samples. Type: Expression profiling by array.
Sequential rather than coincident molecular mechanisms govern the combinatorial control logic underlying pathogen-responsive gene expression programs
GEO Series GSE35521. Mus musculus. 40 samples. Type: Expression profiling by array.
Computation Tree Logic guided Program Repair With Precise Loop Summaries
<div> <p>This is the supporting data for ICSE25 submission: Computation Tree Logic guided Program Repair With Precise Loop Summaries. </p> <p>It includes the source code and benchmarks presented in the paper. </p> <p> </p> </div>
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.