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.
62
datasets available to search
ShareScore release 0.9.0
Dataset results
62 results for “Solver”
An Explicit Primitive Conservative Solver for the Euler Equations with Arbitrary Equation of State: Dataset
<p>Contains the files for all simulations related to the publication:</p> <p>"An Explicit Primitive Conservative Solver for the Euler Equations with Arbitrary Equation of State: Dataset"</p> <p>paper: https://doi.org/10.1016/j.compfluid.2024.106340</p> <p>pre-print: https://doi.org/10.48550/arXiv.2404.07710</p>
Shape Optimization of Thermoacoustic Systems Using a Two-Dimensional Adjoint Helmholtz Solver
<p>rijke stands for Rijke tube and tswc stands for turbulent swirl combustor.</p> <p>mesh_*.xml contains the mesh in xml format.</p> <p>p_dir_*.xml and p_adj_*.xml contain the direct and adjoint fields in xml format.</p> <p>omega_*.txt contains the eigenvalue.</p> <p>my_dict_*.pickle contains the control points and the shape derivatives as byte streams.</p> <p>The dataset also contains the pvd (ParaView Data) files for the amplitude and phase of the direct and adjoint fields.</p>
Dataset for "Too much information: CDCL solvers need to forget and perform restarts"
<p>This repository contains all generated data and evaluations of the paper "<strong>Too much information: CDCL solvers need to forget and perform restarts</strong>" by Tom Krüger, Jan-Hendrik Lorenz, and Florian Wörz.</p> <p>In particular, this collection contains the scripts for obtaining the sets <span class="math-tex">\(\mathbb{L}\)</span> (<em>cores</em>) and reconstructing our sampled sets <span class="math-tex">\(L\)</span> (<em>ext_bitstrings</em>). Furthermore, all data obtained by calling <span class="math-tex">\(\mathrm{CDCLSolver}(\mathscr{F} \cup L)\)</span> can be found. Additionally, we included visual and statistical evaluations used in this paper.</p>
Survey Results: LP/MIP Solver Usage for Energy Modeling
<p>This report summarizes the responses to the recent solver benchmark survey conducted by Open Energy Transition. The survey aimed at better understanding energy modelers’ needs and pain points, and to gauge the usefulness of creating a new solver benchmark website for the energy modeling community. </p>
From Ridge 2 Reef: An Interdisciplinary Model for Training the Next Generation of Environmental Problem Solvers
<p>This dataset contains the raw data from the evaluation instruments and accompanies the manuscript: "From Ridge 2 Reef: An Interdisciplinary Model for Training the Next Generation of Environmental Problem Solvers". It contains all trainee and advisor interviews from 2018 - 2022, as well as a select few partner interviews. It also contains pre and post-annual trainee survey data and the codebook to decipher the survey data. Rubric criteria and scores are included for trainees enrolled in the R2R Communication Skills course. The R script contains the statistical analyses reported in the manuscript and code used to generate figures.</p>
Benchmarking (multi)wavelet-based dynamic and static non-uniform grid solvers for flood inundation modelling (Simulation results)
<p>Simulation result data for Environment Agency benchmark test 5, Thamesmead hypothetical flood, and Carlisle 2005 case studies, using uniform DG2, adaptive MWDG2, adaptive HWFV1, non-uniform DG2, non-uniform FV1 and non-uniform ACC solvers. </p> <p>Model results are archived in 3 zip files:</p> <ul> <li>EA5.zip contains results of Environment Agency test 5 (Néelz and Pender, 2013)</li> <li>Thamesmead.zip contains results of Thamesmead hypothetical flood (Liang et al., 2008)</li> <li>Carlisle.zip contains results of Carlisle 2005 flooding (Neal et al., 2009)</li> </ul> <p>The results are stored with the following file extensions:</p> <ul> <li>".wd" for 2D flood inundation maps in ESRI ASCII format</li> <li>".stage" for water depth or water level time-series at staging points in tabulated text format</li> <li>".velocity" for velocity time-series at staging points in tabulated text format</li> </ul> <p>Model outputs are stored under directories named for each solver.</p> <p><strong>References</strong></p> <p>Néelz, S., & Pender, G. (2013). Benchmarking the latest generation of 2D hydraulic modelling packages. <em>Environment Agency: Bristol, UK</em>.</p> <p>Liang, Q., Du, G., Hall, J. W., & Borthwick, A. G. (2008). Flood Inundation Modeling with an Adaptive Quadtree Grid Shallow Water Equation Solver. <em>Journal of Hydraulic Engineering</em>, <em>134</em>(11), 1603–1610. https://doi.org/10.1061/(ASCE)0733-9429(2008)134:11(1603)</p> <p>Neal, J. C., Bates, P. D., Fewtrell, T. J., Hunter, N. M., Wilson, M. D., & Horritt, M. S. (2009). Distributed whole city water level measurements from the Carlisle 2005 urban flood event and comparison with hydraulic model simulations. <em>Journal of Hydrology</em>, <em>368</em>(1–4), 42–55. https://doi.org/10.1016/j.jhydrol.2009.01.026</p> <p> </p>
One-dimensional hydrodynamic solution data of wavelet-based adaptive finite volume and discontinuous Galerkin shallow water solvers
<p>Raw data for a series of idealised, one-dimensional hydrodynamic test cases:</p> <ul> <li>dambreakwet (SWASHES 4.1.1)</li> <li>dambreakdry (SWASHES 4.1.2)</li> <li>dambreakmanning (SWASHES 4.1.3)</li> <li>dambreakupslope, dambreakdownslope (<a href="http://doi.org/10.1061/(ASCE)HY.1943-7900.0000494">Kesserwani and Liang 2011</a>)</li> <li>dambreakonehump (<a href="https://doi.org/10.1080/19942060.2011.11015393">Ozmen-Cagatay and Kocaman 2011</a>)</li> <li>lakeatrest (<a href="https://doi.org/10.29007/vm3q">Kesserwani et al. 2018</a>)</li> <li>parabolicbowlswashes (SWASHES 4.2.1)</li> <li>parabolicbowlliangmarche (<a href="https://doi.org/10.1016/j.advwatres.2009.02.010">Liang and Marche 2009</a>)</li> <li>steadysubcritical (SWASHES 3.1.3)</li> <li>steadysupercritical (<a href="https://doi.org/10.2166/hydro.2015.039">Haleem et al. 2015</a>)</li> <li>steadytranscriticalshockless (SWASHES 4.1.4)</li> <li>steadytranscriticalshock (SWASHES 4.1.5) </li> </ul> <p>SWASHES refers to <a href="https://doi.org/10.1002/fld.3741">Delestre et al. 2013</a> </p>
Data from the Mancoosi solver competition and articles
<p>This directory contains the data produced in the framework of the Mancoosi european research project, and in particular:</p> <ul> <li>the dataset used for the MISC solver competition</li> <li>the dataset used in the articles written with support from the Mancoosi project</li> </ul>
Development of an OpenFOAM Multiphysics Solver for Solid Fission Products Transport in the Molten Salt Fast Reactor - Dataset
<p>Dataset associated with the PHYSOR 2022 conference paper "Development of an OpenFOAM Multiphysics Solver for Solid Fission Products Transport in the Molten Salt Fast Reactor"</p>
Efficient GPU Offloading with OpenMP for a Hyperbolic Finite Volume Solver on Dynamically Adaptive Meshes
<p>We identify and show how to overcome an OpenMP bottleneck in the administration of GPU memory. It arises for a wave equation solver on dynamically adaptive block-structured Cartesian meshes, which keeps all CPU threads busy and allows all of them to offload sets of patches to the GPU. Our studies show that multithreaded, concurrent, non-deterministic access to the GPU leads to performance breakdowns, since the GPU memory bookkeeping as offered through OpenMP's map clause, i.e., the allocation and freeing, becomes another runtime challenge besides expensive data transfer and actual computation. We, therefore, propose to retain the memory management responsibility on the host: A caching mechanism acquires memory on the accelerator for all CPU threads, keeps hold of this memory and hands it out to the offloading threads upon demand. We show that this user-managed, CPU-based memory administration helps us to overcome the GPU memory bookkeeping bottleneck and speeds up the time-to-solution of Finite Volume kernels by more than an order of magnitude.</p>
Data from: Songbird species that display more-complex vocal learning are better problem-solvers and have larger brains
<p>Complex vocal learning, a critical component of human spoken language, has been assumed to be associated with more-advanced cognitive abilities. Tests of this hypothesis between individuals within a species have been inconclusive and have not been done across species. In this work, we measured an array of cognitive skills - namely problem-solving, associative and reversal learning, and self-control - across 214 individuals of 23 bird species, including 19 wild-caught songbird species and two vocal nonlearning species. We found that the greater the vocal learning abilities of a species, the better their problem-solving skills and the relatively larger their brains. These conclusions held when controlling for non-cognitive variables and phylogeny. Our results support a hypothesis of shared genetic and cognitive mechanisms between vocal learning, problem-solving, and bigger brains in songbirds.</p>
Data from: Songbird species that display more-complex vocal learning are better problem-solvers and have larger brains
Open the record for dataset details and reuse information.
Dataset of Paper "Enhanced numerical simulation of photocatalytic reactors with an improved solver for the radiative transfer equation"
<p>Dataset of Paper "Enhanced numerical simulation of photocatalytic reactors with an improved solver for the radiative transfer equation":</p> <p>- Data of the incident radiation profiles in the annular reactor.</p> <p>- Average and net values of main radiation magnitudes in the tubular reactor at different photocatalyst concentration </p> <p> </p>
Deep_Statistical_Solvers_-_AC_Power_Flow_14
<p>Dataset for the training and testing of Deep Statistical Solvers</p> <p>AC power flow problem on the IEEE case14 power grid and snapshots from the L2RPN competition</p>
Using Resolution Proofs to Analyse CDCL SAT solvers
<p>Data for the article Janne I. Kokkala, Jakob Nordström: Using Resolution Proofs to Analyse CDCL SAT solvers, accepted to the 26th International Conference on Principles and Practice of Constraint Programming.</p> <p>Files:</p> <ul> <li><strong>solver.tgz</strong> – Source code of the modified Glucose 3.0 used in the experiments</li> <li><strong>instances.tar</strong> – All CNF instances used in the experiments (compressed individually using xz). Note that these are the formulas obtained after preprocessing, so they are not the same as used in the SAT races and competitions they are obtained from.</li> <li><strong>data-instances.txt</strong> – List of all benchmark instance filenames and IDs used to refer to them in other data files.</li> <li><strong>data-solvers.txt</strong> – Parameters used for each solver configuration (see the paper for explanation of where they were used).</li> <li><strong>data-solverstats.txt</strong> – For each solver configuration and instance, some data of the run</li> <li><strong>data-proofsizes.txt</strong> – For each solver configuration and instance, sizes of untrimmed proof, the trimmed solver proof, and the proof output by DRAT-trim, measured both in number of learnt clauses and in number of clause usages – note that for the clause usage counts, all unit clauses are considered to be used only once at the end (since that would result to a shorter resolution proof and is more related to the solver performance)</li> <li><strong>data-features.txt</strong> – For the solver used in the clause feature experiments, this file contains for each instance the frequency distribution of each feature (both absolute and percentile rank)</li> <li><strong>plots-features.pdf</strong> – Larger versions of the feature plots in the paper, including plots not shown in the paper.</li> <li><strong>plots-proofsizes.pdf</strong> – Plots of the data for the pairwise solver proof size comparison experiments.</li> </ul> <p> </p>
Reduced drift kinetic neoclassical tearing mode (RDK-NTM) solver and drift kinetic neoclassical tearing mode (DK-NTM) solver benchmarking
<p>A 4D drift kinetic non-linear code, DK-NTM, has been developed to describe the plasma response to the neoclassical tearing mode (NTM) magnetic perturbation. Employing the drift island formalism allows the dimensionality reduction from 4D to 3D (the RDK-NTM approach). This simplifies the numerical task and efficiently resolves the collisional boundary layer across the trapped-passing boundary. The benchmarking DK- and RDK-NTM data is presented. </p>
Selected BATSRUS MHD output data and IE solver data for August 3, 2016
<p>This is a dataset for BATSRUS MHD model output and IE module output used to prepare Figures 2, 3, 4 for a second submission to GRL of a paper by A. M. Keese, N. Buzulukova, C. Mouikis and E. E. Scime "Mesoscale structures in Earth's magnetotail observed using energetic neutral atom imaging". The dataset has one file in .zip format.</p> <p>The file BATSRUS_IE_data_Fig2_3_4.zip contains the data for plotting BATSRUS results and IE module results for the Figures 2, 3, 4.</p> <p>Figure 2: file Fig2_imf_BATSRUS_input.dat has solar wind data used as an input to BATSRUS run.<br> file Fig2_ae_index.dat has model AU and AL indices</p> <p>Figure 3: files Fig3* are standard output files for IE module (ASCII) and could be plotted with spacepy package.</p> <p>Figure 4: file Fig4_BATSRUS_3D_0520UT_nx300_ny150_nz150.csv has 3D output from BATSRUS interpolated to a regular grid (nx=300, ny=150, nz=150) required to plot Figure 4. The Figure 4 could be reproduced with ParaVew free 3D plotting software.</p>
Data and plotting scripts used in "High level implementation of geometric multigrid solvers for finite element problems: applications in atmospheric modelling"
<p>Raw performance data and plotting scripts used to generate the figures in the paper "High level implementation of geometric multigrid solvers for finite element problems: applications in atmospheric modelling"</p>
Data and plotting scripts used in "High level implementation of geometric multigrid solvers for finite element problems: applications in atmospheric modelling"
<p>Raw performance data and plotting scripts used to generate the figures in the paper "High level implementation of geometric multigrid solvers for finite element problems: applications in atmospheric modelling"</p> <p>A previous version of this dataset (corresponding to an earlier revision of the paper) is available as https://doi.org/10.5281/zenodo.50533.</p>
Perceived creativity in insight problems by secondary school students: Effects of problem and solver's variables
<p><span>An exploratory empirical study was conducted to collect and analyse the perception of secondary education students regarding the creativity involved in insight problems. A total of 127 Spanish students from 8th grade (2nd ESO) and 11th grade (1st Bachillerato) participated in the study and assessed the creativity involved in the problems before and after attempting to solve them. These evaluations were related to the course, gender, surface, and structural aspects of the problems. Everyday life and science contexts were considered as problem surfaces or contexts. The structural aspects of the problems were associated with the specific strategy required to solve them, such as ‘chunk decomposition’ and ‘constrain relaxation,’ the assistance provided by the problem statement to initiate the resolution process, and the possibility of metacognitive control over the quality of the solution developed. Individual booklets were prepared with counterbalanced statements to assess perceived creativity and to solve the problems. The results show that, contrary to expectations, students are capable of mentally representing the structural aspects of the problems during reading and before solving them. The problem surface did not significantly affect the initial perception of creativity. After solving the problems, the average changes in perceived creativity were of small magnitude. The results encourage teachers to use insight problems as promoters of creativity in secondary school classrooms.</span></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.