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.
5
datasets available to search
ShareScore release 0.9.0
Dataset results
5 results for “Decision Diagrams”
Canonical Decision Diagrams Modulo Theories - Benchmarking
<p>This archive contains all data and results that were used to benchmark the approach Canonical Decision Diagrams Modulo Theories. The archive contains the following files: 3 subfolders, one for each dataset that was used in the benchmarking process, each one containing a "data" subfolder which contains the problems (in SMT/SMT2 format) and some output folders which contain JSON files describing in detail the results of each run on the problems.</p>
Рис. 11. Гидрометеоролого-технологическая блок-схема хоЗяйственных решений (di) и гидрометеорологических долгосрочных прогноЗов (Pi), необходимых для их принятия. Fig. 11. Hydrometeorological-technological block diagram of economic decisions (di) and hydrometeorological long-term forecasts (Pi) necessary for their adoption. in Review of methods for the forecast of mollusk's spat productivity in sea-farms of Primorye and probable ways of their enhancement
Рис. 11. Гидрометеоролого-технологическая блок-схема хоЗяйственных решений (di) и гидрометеорологических долгосрочных прогноЗов (Pi), необходимых для их принятия. Fig. 11. Hydrometeorological-technological block diagram of economic decisions (di) and hydrometeorological long-term forecasts (Pi) necessary for their adoption.
Microdata used to construct the Causal Diagrams to model investment decisions related to the energy transition
<ul> <li><strong>Name</strong>: Microdata used to construct the Causal Diagrams to model investment decisions related to the energy transition</li> <li><strong>Summary</strong>: This dataset contains answers from a panel of experts to build a) a taxonomy of determinants that explain the investment decision making on assets related to the energy transition, b) the individual contributions when sorting the taxonomy of determinantes on the different stages of the transtheoretical model for different archetypes of persons and c) the causal diagrams agreed between the different groups of experts.</li> <li><strong>License</strong>: cc-BY-SA</li> <li><strong>Acknowledge</strong>: These data have been collected in the framework of the WHY project. This project has received funding from the European Union’s Horizon 2020 research and innovation programme under grant agreement No 891943.</li> <li><strong>Disclaimer</strong>: The sole responsibility for the content of this publication lies with the authors. It does not necessarily reflect the opinion of the Executive Agency for Small and Medium-sized Enterprises (EASME) or the European commission (Ec). EASME or the Ec are not responsible for any use that may be made of the information contained therein.</li> <li><strong>Collection Date</strong>: 22/07/2022</li> <li><strong>Publication Date</strong>: 01/06/2024</li> <li><strong>DOI</strong>: 10.5281/zenodo.11234441</li> <li><strong>Other repositories:</strong></li> <li><strong>Author</strong>: University of Deusto</li> <li><strong>Objective of collection</strong>: This data was originally collected to build a set of causal diagrams of the .</li> <li><strong>Description:</strong> <br> <ul> <li><strong>Scenarios: </strong>This dataset contains the description of 20 different scenarios used in this research activity. </li> <li><strong>File 1 - individual reasons to be coded<br></strong>This dataset compiles the reasons given by experts of different panels of the Intrinsic and Extrinsic Determinants, and the Barriers and potential Rebound effects of citizens towards a set of 20 different scenarios. The file contains the following sheets:<br> <ul> <li><strong>Methodology</strong>: Methodology followed by the coders.</li> <li><strong>Help</strong>: Short summary of the Social Cognitive Theor and Self Determination Theory used for coding. </li> <li><strong>Glossary</strong>: Glossary of terms build by the experts coding the answers. </li> <li><strong>Appliances/Flexibility/Buildings/Mobility</strong>: The contributions of each expert, the code provided by the two researchers and the consensus achived. </li> <li><strong>Summary</strong>: Assesment of the results.</li> </ul> </li> <li><strong>File 2 - individual microdata to sort determinants into causal threads from experts</strong>This dataset includes the individual sortings made by the experts of the taxonomy of determinantes into each one of the stages of the transtheoretical model. The file includes one sheet per expert where he/she has sort each determinant for each arquetype into the stage he/she thinks is more relevant to advance to the next step of the TTM. </li> <li><strong>File 3 - collective microdata to sort determinants into causal threads from EU and LATAM experts</strong> <p>This dataset compiles the results, stage by stage, of the consensus reached by each panel regarding the determining factors that make up each of the archetypes in the contexts of Europe (EU) and Latin America (LATAM). And in which stage of the change of the Transtheoretical Model (TTM) the factors should appears.</p> <ul> <li> <p><strong>Stage 1</strong>: The panels reached a consensus on the factors that describe each of the archetypes in their context. In the case of Latin America, for the panels of some countries, the existence of all eight archetypes was not evident. The number of archetypes analysed by each panel is indicated in parentheses in the following list:</p> <ul> <li> <p><strong>European panels</strong>: Group – F (8), Group–A (8). Group–FF (8), Group–M (4)</p> </li> <li> <p><strong>Latin America panels</strong>: Group-MX (5), Group-CO (8), Group-CL (7), Group-SV (7)</p> </li> </ul> </li> </ul> <ul> <li> <p><strong>Stage 2</strong>: For each of the eight archetypes, the results of the consensus for each panel are consolidated in the tabs indicated in the list below. The column on the far right shows the weights (percentage) of each factor in each stage of the TTM: Archetype-EarlyAdopter, Archetype-Uninterested, Archetype-HomoEconomicus, Archetype-Fearful, Archetype-Stubborn, Archetype-Influencer, Archetype-Careful and Archetype-Activist.</p> </li> <li> <p><strong>Stage3</strong>: In the "<em>Archetypes - Consensus Results</em>" tab, the weights of the factors for each archetype are consolidated. The far-right column calculates the average weight of each factor at each stage of the TTM (Transtheoretical Model of Change).</p> </li> <li> <p><strong>Stage 4</strong>. In the “EU vs Latam - split context” sheet, it is presented a comparative assessment between the European and Latin American results. The comparison has four tables:</p> <ul> <li> <p><em>Table (s)</em>: Difference and Agreements between both context: European & Latin American Archetypes. The table highlights the regions of determinants that mark the differences between both contexts for each archetype. If a determinant is identified by both contexts (EU, Latam), it is considered an agreement and allocated to the early TTM stage. The remaining determinants highlight the differences between the two contexts. European (-1) & Latin American (1) Archetypes FINAL Consensus (0) on TTM Stages.</p> </li> <li> <p><em>Table (t)</em>: This table shows the difference (E, L) and agreements (X) between both context: European (E) & Latin American (L) Archetypes.</p> </li> <li> <p><em>Table (t.1)</em>: This table shows just the <strong>agreements</strong> (X) between both context: European & Latin American Archetypes.</p> </li> <li> <p><em>Table (t.2)</em>: Show the difference between both context: European (E) & Latin American Archetypes (L).</p> </li> <li> <p><em>Table (t.3)</em>: This table shows the differences (E, L) and agreements (X) between both contexts: European (E) & Latin American (L) archetypes. In this table, the main regions of factors for each archetype are coloured to highlight the set of factors that make the main differences.</p> </li> </ul> </li> </ul> </li> </ul> </li> <li><strong>5 star</strong>: ⭐⭐⭐</li> <li><strong>Preprocessing steps:</strong> Data transcription from written documents and oral discussions.</li> <li><strong>Reuse:</strong> NA</li> <li><strong>Update policy:</strong> No more updates are planned.</li> <li><strong>Ethics and legal aspects:</strong> Names of the persons involved have been removed. </li> <li><strong>Technical aspects</strong>: </li> <li><strong>Other:</strong></li> </ul>
Artifact for "Towards Deterministic Compilation of Binary Decision Diagrams From Feature Models"
<p>This artifact supplies the tooling and original data used in the evaluation of the corresponding submission #52 `Towards Deterministic Compilation of Binary Decision Diagrams From Feature Models'' accepted at SPLC'24. The artifact allows reproducing all the figures and tables of the submission. In addition, the artifact allows for easy replicating of the results for additional input models.</p>
Binary Decision Diagrams on Modern Hardware
<p>The reproducibility artefact for the "Binary Decision Diagrams on Modern Hardware" paper.</p> <p> </p> <p>Follow the instructions in the README document. Depending on the concrete steps you want to reproduce, you may not need to download all files in the artefact. However, at the very least, you'll need either `bin.zip` (pre-compiled binaries) or `src.zip` (source code) and one of the benchmark datasets (`bdd-X-pruned.zip` and `benchmarks-X.tsv`).</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.