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.
412
datasets available to search
ShareScore release 0.9.0
Dataset results
412 results for “Verification”
Verification of Novel Survival Prediction Algorithm for Patients With NSCLC Spinal Metastasis
ClinicalTrials.gov study NCT03363685. IPD Sharing: NO. Countries: 1. Publications: 1.
Nursing Activity Score (Nursing Activities Score-NAS) Verification of Turkish Version
ClinicalTrials.gov study NCT06206889. IPD Sharing: Not stated. Countries: 1. Publications: 3.
Verification of Saliva MMP-1 as a Diagnostic Marker of Oral Cavity Cancer
ClinicalTrials.gov study NCT05049408. IPD Sharing: NO. Countries: 1. Publications: 1.
Epidural Space Verification With the CompuFlo®
ClinicalTrials.gov study NCT03625232. IPD Sharing: UNDECIDED. Countries: 6. Publications: 1.
Biomarker Verification in Pediatric Chronic GvHD: ABLE 2.0 / PTCTC GVH 1901 Study
ClinicalTrials.gov study NCT04372524. IPD Sharing: NO. Countries: 2. Publications: 2.
Definition of ARDS in Qinghai Province: Verification of Berlin Definition Plateau Criteria
ClinicalTrials.gov study NCT04199650. IPD Sharing: Not stated. Countries: 1. Publications: 1.
SpecTRA; An Observational Study of the Verification of Protein Biomarkers in Transient Ischemic Attack.
ClinicalTrials.gov study NCT03050099. IPD Sharing: NO. Countries: 1. Publications: 2.
The Construction and Effect Verification of a Deep Learning-based Automated Semantic Segmentation Model for Medical Imaging
ClinicalTrials.gov study NCT06864702. IPD Sharing: UNDECIDED. Countries: 1. Publications: 11.
Verification of Predictive Biomarkers for Pancreatic Cancer Treatment Using Multicenter Liquid Biopsy
ClinicalTrials.gov study NCT04241367. IPD Sharing: Not stated. Countries: 1. Publications: 1.
Verification Study on Lafutidine in Mild Reflux Oesophagitis - Double Blind Controlled Study With Famotidine -
ClinicalTrials.gov study NCT00229424. IPD Sharing: Not stated. Countries: 1. Publications: 1.
Verification of The Cloud DX Vitaliti™ Continuous Vital Sign Monitor (CVSM): Non-invasive Blood Pressure Component
ClinicalTrials.gov study NCT03493867. IPD Sharing: UNDECIDED. Countries: 1. Publications: 1.
Multicenter Pediatric Low-Dose CT Protocol: Development and Clinical Verification
ClinicalTrials.gov study NCT07199101. IPD Sharing: UNDECIDED. Countries: 1. Publications: 2.
Detection of hEad Pulse for Ischemic StrOke Verification Study
ClinicalTrials.gov study NCT05602740. IPD Sharing: NO. Countries: 1. Publications: 1.
Confocal Laser Endomicroscopy VERification
ClinicalTrials.gov study NCT06079970. IPD Sharing: YES. Countries: 7. Publications: 6.
Evaluation of HER2-targeted Therapy for Gastric Cancer and Establishment and Verification of Monitoring System
ClinicalTrials.gov study NCT05165602. IPD Sharing: NO. Countries: 1. Publications: 14.
Verification of the Efficacy and Safety of the BAROSTIM NEO System in the Treatment of Drug Resistant Hypertension
ClinicalTrials.gov study NCT01471834. IPD Sharing: Not stated. Countries: 3. Publications: 1.
Data from: High-throughput microsatellite marker development in two sparid species and verification of their transferability in the family Sparidae
Open the record for dataset details and reuse information.
Experimental Verification of Nonlinear Effects in Constant-Frequency Peak-Controlled Boost Converter
<p>Compressed file contains results of an experimental verification of nonlinear effects in constant-frequency peak-controlled boost converter, as well as a comparison of the experimental results to a semi-analytical/semi-numerical model proposed and refined in several papers published by the authors of this upload.</p>
Supplementary Material for the Paper "Configurable Verification of Timed Automata with Discrete Variables"
<p>The tool we used for producing the experimental data is implemented as a prototype in the open source model checking framework <a href="http://theta.inf.mit.bme.hu">Theta</a>. Source code is available on <a href="https://github.com/FTSRG/theta">GitHub</a>. The experimental data is based on <a href="https://github.com/FTSRG/theta/tree/be86f967998b7065cd55cb629322bffd8333af54">this commit</a>.</p> <p><strong>Prerequisites</strong></p> <p><a href="https://www.oracle.com/technetwork/java/javase/downloads/jdk11-downloads-5066655.html">Java SE Runtime Environment 11</a></p> <p><strong>Building the tool</strong></p> <p>See the <a href="http://github.com/ftsrg/theta/blob/be86f967998b7065cd55cb629322bffd8333af54/hu.bme.mit.theta.xta/README.md">build instructions</a>.</p> <p><strong>Usage</strong></p> <pre><code> $ java -jar theta-xta-cli.jar --clock <LU|FWITP|BWITP> Refinement strategy for clock variables --discrete <NONE|FWITP|BWITP> Refinement strategy for clock variables --model <MODEL> Path of the input model --search <BFS|DFS|RANDOM> Search strategy </code> </pre> <p><strong>Example</strong></p> <pre><code> $ java -jar theta-xta-cli.jar --model models\c1.xta --clock FWITP --discrete BWITP --search DFS </code> </pre> <p><strong>Sample output</strong></p> <pre><code> AlgorithmTimeInMs: 3482 // Total execution time in ms ExpandTimeInMs: 2128 // Time spend with expansion in ms CloseTimeInMs: 1301 // Time spent with covering nodes in ms ExpandExplRefinementTimeInMs: 901 // Expand refinement time for explicit domain in ms ExpandZoneRefinementTimeInMs: 84 // Expand refinement time for zone domain in ms CloseExplRefinementTimeInMs: 890 // Close refinement time for explicit domain in ms CloseZoneRefinementTimeInMs: 145 // Close refinement time for zone domain in ms CoverageChecks: 628201 // Number of coverage checks CoverageAttempts: 6069 // Number of attempts for forced coverage CoverageSuccesses: 6065 // Number of successes for forced coverage ExplRefinementSteps: 33560 // Number of refinements steps for explicit domain ZoneRefinementSteps: 1544 // Number of refinements steps for zone domain ArgDepth: 879 // Depth of the reachability graph ArgNodes: 14973 // Number of nodes in the reachability graph ArgNodesExpanded: 9307 // Number of expanded nodes in the reachability graph </code> </pre> <p>For the experiments, we used JVM switches <code>-Xmx6G</code> and <code>-Xss8m</code>.</p>
Verification data for the Leipzig neutral ABL benchmark
<p>This dataset has been extracted from Letau (1950) to verify ABL models in neutral conditions.</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.