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.
9
datasets available to search
ShareScore release 0.7.1
Dataset results
9 results for “Dynamic Program Analysis”
Dataset for Dynamic Analysis of Quantum Annealing Programs
<p>Quantum software engineering is emerging as a relevant field as it deals with the challenges of producing the new quantum software, whose adoption is increasing progressively. One of those challenges is how quantum software is migrated, how it operates in combination with classical software, or how it should be maintained. In this context this research focuses on reverse engineering of quantum annealing software to facilitates its integration in hybrid software systems. Quantum annealing software has gained a certain market penetration, demonstrating a good performance for optimization problems. While there are some preliminary reverse engineering techniques for gate-based quantum software, there is no reverse engineering techniques to discover the underlying optimization problem definitions (Hamiltonians functions to be minimized). Problem definitions are, in turn, dynamically defined through classical software, and can evolve over time, which make it difficult its accurate comprehension and abstract representation. Thereby, this paper presents a dynamic analysis technique for D-Wave (python) programs for reversing Hamiltonians expressions, that are additionally represented according to the Knowledge Discovery Metamodel. Due to the usage of this standard, the reversed Hamiltonians can be represented in combination with other parts of classical-quantum software systems. In order to facilitates its adoption, the proposed technique has been empirically validated through a case study with 27 D-Wave programs that demonstrates the effectiveness and efficiency. This dataset includes measures derived from that case study.</p>
Attack time analysis in dynamic attack trees via integer linear programming
<p>Matlab code for the experiments of the paper "Attack time analysis in dynamic attack trees via integer linear programming" by Milan Lopuhaä-Zwakenberg & Mariëlle Stoelinga.</p> <p>The code can be accessed either via the virtual machine in Artifact_MILPforDATs_revised.zip, or through the code directly in Matlab_code.zip. The results are in Paper_results.zip.</p> <p>To run the code, installations of Matlab and Gurobi are required.</p>
Attack time analysis in dynamic attack trees via integer linear programming
<p>Code and data corresponding to the paper "Attack time analysis in dynamic attack trees via integer linear programming"</p>
WASMDYPA: Effectively Detecting WebAssembly Bugs via Dynamic Program Analysis
<p>This contains all the experimental code, data sets, and result files for our experiments.</p>
Comprehensive Epigenomic Analysis Reveals Dynamic Regulatory Programs Of Blood Development (Dnase-Hypersensitivity)
GEO Series GSE69095. Mus musculus. 5 samples. Type: Methylation profiling by high throughput sequencing.
Comprehensive Epigenomic Analysis Reveals Dynamic Regulatory Programs Of Blood Development
GEO Series GSE69101. Mus musculus. 77 samples. Type: Expression profiling by high throughput sequencing; Genome binding/occupancy profiling by high throughput sequencing; Methylation profiling by high throughput sequencing.
Comprehensive Epigenomic Analysis Reveals Dynamic Regulatory Programs Of Blood Development (RNA-seq)
GEO Series GSE69080. Mus musculus. 18 samples. Type: Expression profiling by high throughput sequencing.
Comprehensive Epigenomic Analysis Reveals Dynamic Regulatory Programs Of Blood Development (TF ChIP-seq)
GEO Series GSE69099. Mus musculus. 29 samples. Type: Genome binding/occupancy profiling by high throughput sequencing.
Comprehensive Epigenomic Analysis Reveals Dynamic Regulatory Programs Of Blood Development (ChIP-seq)
GEO Series GSE69096. Mus musculus. 25 samples. Type: Genome binding/occupancy profiling by high throughput sequencing.
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.