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.
2
datasets available to search
ShareScore release 0.7.1
Dataset results
2 results for “Symbolic Computation”
Dataset supporting the paper: Symbolic Versus Numerical Computation and Visualization of Parameter Regions for Multistationarity of Biological Networks
<p>Dataset supporting the paper:</p> <p>Matthew England, Hassan Errami, Dima Grigoriev, Ovidiu Radulescu, Thomas Sturm, and Andreas Weber. Symbolic Versus Numerical Computation and Visualization of Parameter Regions for Multistationarity of Biological Networks. In Proceedings of CASC ’17, Beijing, China, September 18-22 2017, 15 pages. Springer, 2017.</p> <p>The files whose name starts with "SamplePoints" are text files containing the data that produced the plots in the paper.</p> <p>The files whose name starts with "Sys" show the Maple computations used to produce the data. The mw files are to be run with the Maple Computer Algebra System (https://www.maplesoft.com/products/maple/). Pdf printouts of these have also been included for those who do not have access to Maple.</p> <p> </p>
Fast Symbolic Computation of Bottom SCCs - TACAS 2024 artifact
<p>This is the artifact for the paper "<em>Fast Symbolic Computation of Bottom SCCs</em>", by Anna B. Jakobsen, Rasmus S. M. Jørgensen, Jaco van de Pol and Andreas Pavlogiannis, appearing in TACAS 2024.</p> <p>The artifact contains the LTSmin toolset, extended with an implementation of the algorithms from the paper, to compute the Bottom Strongly Connected Components of a directed graph, provided symbolically by BDDs (Binary Decision Diagrams).</p> <p>The artifact also contains the data set, consisting of directed graphs (state spaces) specified in DVE (Divine), PNML (Petri Nets) and BN (Boolean Networks).</p> <p>The file README.md contains the instructions how to setup the artifact on Ubuntu and how to run the experiment scripts.</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.