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.
54
datasets available to search
ShareScore release 0.9.0
Dataset results
54 results for “algorithmic system”
Automated Verification for Real-Time Systems via Implicit Clocks and an Extended Antimirov Algorithm
<p>This is the artifact for paper</p> <p>"Automated Verification for Real-Time Systems via Implicit Clocks and an Extended Antimirov Algorithm"</p> <p>The latest code can be found in https://github.com/songyahui/Timed_Verification</p> <p>Our benchmark contains three folders:</p> <p>- Validation: We manually annotate TimEffs specifications for a set of synthetic examples (for about 54 programs), to test the main contributions, including: computing effects from symbolic timed programs written in C^t ; and the inclusion checking for TimEffs with the parallel composition, block waiting operator and shared global variables.</p> <p>- Experiment1: For 16 C^t programs, and the annotated temporal specifications are in a 1:1 ratio for succeeded/failed cases. We record the evaluation results in Table 3 in the paper.</p> <p>- Experiment12: comparison with the PAT [16] model checker using real-life Fischer’s mutual exclusion algorithm.</p>
Data and script for "Characterizing Wet Season Precipitation in the Central Amazon Using a Mesoscale Convective System Tracking Algorithm"
<p>This is a placeholder for Data and script for "<strong>Characterizing Wet Season Precipitation in the Central Amazon Using a Mesoscale Convective System Tracking Algorithm</strong>" submitted to JGR-atmosphere.</p>
Velocity, density and energy budget statistics from the article: Validation and application of the lattice Boltzmann algorithm for a turbulent immiscible Rayleigh-Taylor system
<p>We develop a multicomponent lattice Boltzmann (LB) model for the 2D Rayleigh--Taylor turbulence with a Shan-Chen pseudopotential implemented on GPUs. Accuracy of the LB model is tested both for early and late stages of instability. For the developed turbulent motion we analyze the balance between different terms describing variations of the kinetic and potential energies. Then, we analyze the role of interface in the energy balance, and also the effects of the vorticity induced by the interface in the energy dissipation. Statistical properties are compared for miscible and immiscible flows.</p> <p>In this Dataset, we have included the files for the statistics of the energy budget for the miscible and immiscible Rayleigh-Taylor flows studied in the referred article.</p> <p>We also included the examples of the density and velocity fields showed in the Figures 1 and 2 of the article.</p>
Clinical Validation of Algorithms for Mean Systemic Filling Pressure and Automated Cardiac Output
ClinicalTrials.gov study NCT04202432. IPD Sharing: NO. Countries: 1. Publications: 1.
Assessment of Decision Support System Software in Extraction and Anchorage Planning Among Adult Patients Using Computer Algorithm
ClinicalTrials.gov study NCT05348109. IPD Sharing: UNDECIDED. Countries: 1. Publications: 33.
Decision Support System Algorithm for COVID-19 Diagnosis
ClinicalTrials.gov study NCT04479319. IPD Sharing: UNDECIDED. Countries: 1. Publications: 7.
Performance of a Tablet Based Workflow and Decision Support System With Incorporated Software Algorithm Used for Glycaemic Management
ClinicalTrials.gov study NCT01766752. IPD Sharing: Not stated. Countries: 1. Publications: 1.
Multiple Algorithms System Of All Scores in Embolism (MOSE)
ClinicalTrials.gov study NCT02911012. IPD Sharing: NO. Countries: 1. Publications: 6.
Assessment of a Novel Algorithm System for Polypharmacy Patient Medication Safety and Consultation
ClinicalTrials.gov study NCT05589870. IPD Sharing: NO. Countries: 1. Publications: 5.
Testing a Prediction Algorithm Into a Running Telehealth System for Patients With COPD
ClinicalTrials.gov study NCT05218525. IPD Sharing: NO. Countries: 1. Publications: 7.
Velocity, density and energy budget statistics from the article: Validation and application of the lattice Boltzmann algorithm for a turbulent immiscible Rayleigh-Taylor system
Open the record for dataset details and reuse information.
Process Mining Algorithm for Online Intrusion Detection System
<p>The pre-processed data we used in the paper.</p>
Plots Scripts and Associated Data Sets for: "A Divide-and-Conquer Algorithm for Disordered and Interacting Few-Particle Systems in One Dimension"
<p>The dataset includes data and Python scripts for all figures in the corresponding preprint/article.</p>
PRECISION Study: Multi-center Study of Performance of a Novel Implanted CGM System Using a Next Generation Transmitter and Algorithm
ClinicalTrials.gov study NCT03251079. IPD Sharing: NO. Countries: 1. Publications: 0.
Single Center Pilot Study Using the ECGenius System to Collect Electrogram Data to Test an Ablation Impact Algorithm
ClinicalTrials.gov study NCT05458648. IPD Sharing: NO. Countries: 1. Publications: 0.
Trima Accel® System Post Count Algorithm Study
ClinicalTrials.gov study NCT02684630. IPD Sharing: NO. Countries: 1. Publications: 0.
Vascular Positioning System G4 Algorithm ECG Data Collection for Model Training Study
ClinicalTrials.gov study NCT05702515. IPD Sharing: NO. Countries: 1. Publications: 0.
A Decision Support System Based on Classification Algorithms for the Diagnosis of Periodontal Disease
ClinicalTrials.gov study NCT06071338. IPD Sharing: NO. Countries: 0. Publications: 2.
Cross-track Infrared Sounder (CrIS) Level 2 Earth System Science Profiling Algorithm Ammonia Retrieval Algorithm (ESSPA-NH3) V1 (SNDRSNIL2ESPNH3)
The objective of this limited edition data collection is to examine the ammonia products generated by the ESSPA (Earth System Science Profiling Algorithm) algorithm from the Cross-track Infrared Sounder (CrIS) instruments. The CrIS instrument used for this product is deployed on board the Suomi National Polar-orbiting Partnership (SNPP) platform and uses the Normal Spectral Resolution (NSR) data. The CrIS instrument is a Fourier transform spectrometer with a total of 1305 NSR infrared sounding channels covering the longwave (655-1095 cm-1), midwave (1210-1750 cm-1), and shortwave (2155-2550 cm-1) spectral regions.The NH3 L2 ammonia algorithm is based on an AER (Atmospheric and Environmental Research, Inc.) program initially developed to process TES (Tropospheric Emissions Spectrometer) trace gas products. This version runs within the ESSPA software framework: it uses the AER OSS forward model and an optimal estimation approach with a Levenberg-Marquardt algorithm. Temperature and water profiles are obtained from the CLIMCAPS Field of Regard (FOR) products, as are initial guesses for surface temperature and emissivity. The algorithm consists of a two-step sequential retrieval the first step retrieves surface temperature and emissivity and the second step an ammonia profile. The algorithm produces ammonia retrievals on every field of view (FOV) in each FOR.A level 2 granule has been set as 6 minutes of data, 30 footprints crosstrack by 45 lines along track. There are 240 granules per day, with an orbit repeat cycle of approximately 16 day.
Supplementary Data: Cloud-based multi-dimensional parallel dynamic programming algorithm for a hydropower station system
<p>The files in this record contain data for cloud-based multi-dimensional parallel dynamic programming algorithm for a hydropower station system considered for publication in Water Resources Research.</p> <p>The files consist of:</p> <ul> <li>cascade reservoir system data;</li> <li>Source code and results of the parallel dynamic programming algorithm program on the physical machine;</li> <li>Source code and results of the parallel dynamic programming algorithm program on the cloud virtual machine;</li> </ul>
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.