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.
260
datasets available to search
ShareScore release 0.9.0
Dataset results
260 results for “Logic”
Supporting data for 'A shuttling-based two-qubit logic gate for linking distant silicon quantum processors'
<p>Data supporting for paper 'A shuttling-based two-qubit logic gate for linking distant silicon quantum processors'.</p> <p>All the data are stored in the HDF5 format that can be conveniently loaded by the xarray Python package.</p>
Datasets for "A superconducting dual-rail cavity qubit with erasure-detected logical measurements"
<p>Title of Dataset: Demonstrating a superconducting dual-rail cavity qubit with erasure-detected logical measurements<br>---</p> <p>Included are data shown in Figures 1-4 of the main text and Extended Data Figures 2 and 3 in the Methods.<br>Data was collected by running quantum programs on hardware deployed at Quantum Circuits, Inc. The results of these experiments are decoded and assigned an appropriate label (discussed below and in the manuscript). We provide various levels of processing: number of counts, fraction of counts, and the logical assignment. Full labeled shot-by-shot outcomes can be provided upon request.</p> <p>## Description of the data and file structure</p> <p>Description of column labels<br>- xs: sweep variable (if applicable)<br>- Counts:<br> - 00_counts, 01_counts, 10_counts, 11_counts: Number of runs with outcome labeled "00", "01", "10", "11", respectively<br> - A_counts: Number of runs with outcome labeled as ambiguous outcome<br> - FSP_counts: Number of runs with outcome labeled as a failed state preparation<br> - all_shots: Total number of runs<br> - total_counts: Number of runs with a successful state preparation (e.g. all_shots - B_counts)<br>- Outcome fraction<br> - 00, 01, 10, 11, A, FSP: Fraction of counts normalized by total_counts<br> - 00_err, 01_err, 10_err, 11_err, A_err, FSP_err: Standard error for all above<br>- Logical outcomes<br> - 0L, 1L, erasures, Z_L: Computed logical dual-rail outcome for "0_L", "1_L", erasures, and expectation value of logical sigma_z <Z>, respectively<br> - 0L_err, 1L_err, erasures_err, Z_L_err: Standard error for all above</p> <p>State assignment datasets:<br>- Fig2_state_assignment_1msmts.csv: Data for Figure 2<br>- ExtendedDataFig2_state_assignment_2msmts.csv: Data for Extended Data Figure 2</p> <p>Bit-flip datasets: <br>- Each row corresponds to a different delay specified in the xs column in units of microseconds<br>- Counts and Outcome fraction are plotted in Figure 3A<br>- Logical outcomes are plotted in Figure 3B<br>- Detail on datasets:<br> - Fig3_bit_flip_0L_1ms.csv: Data for Figure 3, left panel<br> - Fig3_bit_flip_0L_20us.csv: Data for Figure 3, left panel inset<br> - Fig3_bit_flip_1L_1ms.csv: Data for Figure 3, right panel<br> - Fig3_bit_flip_1L_20us.csv: Data for Figure 3, right panel inset</p> <p>Phase error datasets: <br>- Each row corresponds to a different delay specified in the xs column in units of microseconds<br>- Counts and Outcome fraction are plotted in the top panels for Figure 4A and 4B<br>- Logical outcomes are plotted in the bottom panel for Figure 4A and 4B<br>- Short time data are shown in the inset of bottom panel for Figure 4A and 4B. <br>- We provide additional detail for the short time data in Extended Data Figure 3 for short-time Ramsey<br>- Detail on ramsey_short_time.csv: Data includes an additional dimension where the Ramsey phase angle is swept<br> - values in radians are enumerated in ExtendedDataFig3_ramsey_short_time_phases.csv<br>- Detail on datasets:<br> - Fig4_ramsey_long_time.csv: Data for Figure 4A<br> - ExtendedDataFig3_ramsey_short_time.csv, ExtendedDataFig3_ramsey_short_time_phases.csv: Data for Figure 4A, inset (bottom panel); Data for Extended Data Figure 3<br> - Fig4_echo_long_time.csv: Data for Figure 4B<br> - Fig4_echo_short_time.csv: Data for Figure 4B, inset (bottom panel)</p>
Map 1 in Fisheries at the heart of a development issue in Mauritania: Small coastal pelagics between market logic and nutritional rationality
Map 1: Geographical areas of small pelagics fishing and landings
Fig 3 in Fisheries at the heart of a development issue in Mauritania: Small coastal pelagics between market logic and nutritional rationality
Fig 3: Contribution of small coastal pelagics to public finances
Fig 2 in Fisheries at the heart of a development issue in Mauritania: Small coastal pelagics between market logic and nutritional rationality
Fig 2: Evolution of the quantities of fish distributed by the SNDP
Fig 1 in Fisheries at the heart of a development issue in Mauritania: Small coastal pelagics between market logic and nutritional rationality
Fig 1: Evolution of fishmeal and fish oil production in Mauritania
The data for the work of 'Using non-adiabatic excitation transfer for signal transmission between molecular logic gates'
<p>There are input and output data for calculation of non-adiabatic transfer rates which was performed using the NATRC program. It was calculated rates for transfer and relaxation of an exciton in the molecule of 3H-thioxanthene-TTF-dibenzo-BODIPY. The study was carried out using three isomers of this molecule: 'Chain', 'Line' and 'S-line'</p>
Artifact for Misconceptions in Finite-Trace and Infinite-Trace Linear Temporal Logic
<p>Welcome!</p> <p>This artifact contains the survey instruments, final catalog, and labeled responses from our FM 2024 paper:</p> <p><em>Misconceptions in Finite-Trace and Infinite-Trace Linear Temporal Logic</em></p> <ul> <li>The artifact is primarily a dataset. There is no required software to run.</li> <li>The instruments and catalog are PDF files.</li> <li>The labeled responses are in spreadsheets, which we provide as open document files (`.ods`) with HTML as a backup.</li> </ul>
Fig. 1. Phylogenetic relationships of species of Eusurbus and Zentamyia. Tree generated from morpho- logical phylogenetic analysis, unambiguous apomorphies mapped on branches, black circles indicate non- homoplasious changes.
Fig. 1. Phylogenetic relationships of species of Eusurbus and Zentamyia. Tree generated from morpho- logical phylogenetic analysis, unambiguous apomorphies mapped on branches, black circles indicate non- homoplasious changes.
Supplementary materials for the paper "Computing with liquid crystal fingers: Models of geometric and logical computation." Physical Review E 84.6 (2011): 061702.
<p>When a voltage is applied across a thin layer of cholesteric liquid crystal, fingers of cholesteric alignment can form and propagate in the layer. In computer simulation, based on experimental laboratory results, we demonstrate that these cholesteric fingers can solve selected problems of computational geometry, logic, and arithmetics. We show that branching fingers approximate a planar Voronoi diagram, and nonbranching fingers produce a convex subdivision of concave polygons. We also provide a detailed blueprint and simulation of a one-bit half-adder functioning on the principles of collision-based computing, where the implementation is via collision of liquid crystal fingers with obstacles and other fingers.</p>
Fuzzy Logic Control for ABS ESR 8
<p>Results of the Fuzzy Logic Control for ABS from the HIL test rig at TU Ilmenau.</p>
InCLosure Code for Guaranteed Enclosures Under Interval Dependency: Supplementary Material for Article "A Logical Formalization of the Notion of Interval Dependency: Towards Reliable Intervalizations of Quantifiable Uncertainties"
<p>InCLosure Input and Output Files for Guaranteed Enclosures Under Interval Dependency: Supplementary Material for Article "A Logical Formalization of the Notion of Interval Dependency: Towards Reliable Intervalizations of Quantifiable Uncertainties", Online Mathematics Journal, July 2019. Download latest release of InCLosure via <a href="https://doi.org/10.5281/zenodo.2702404">https://doi.org/10.5281/zenodo.2702404</a></p>
Benchmark circuits used in the work entitled "Don't-care-based node minimization for threshold logic networks"
<p>Benchmark circuits used in the work entitled "Don't-care-based node minimization for threshold logic networks".<br> There are two sets of threshold logic networks (TLNs), K6 and K15, generated with the method proposed in Effective Logic Synthesis Flow for Threshold Logic Circuit Design (https://ieeexplore.ieee.org/document/8355999) by Augusto Neutzling, et al.<br> In K6, each node has at most 6 fanins.<br> In K15, each node has at most 15 fanins.</p> <p>Contents:<br> ori/blif: Original TLNs in the blif format.<br> ori/th: Original TLNs in the threshold logic format.<br> opt/blif: Optimized TLNs in the blif format.<br> opt/th: Optimized TLNs in the threshold logic format.</p>
Data and code for "Programmable Trans-splicing Riboregulators for Complex Cellular Logic Computation"
<p>Split-intron ENabled Trans-splicing Riboregulators (SENTR) is a class of programmable riboregulators based on group I intron mediated trans-splicing. SENTR functions by seperating target mRNA into two strands, 5'RNA and 3'RNA, and rejoin them through RNA splicing. We fused de-novo designed external guide sequences (EGSs) to the intron halves, to improve the efficiency, programmability, predictability with machine-learning, and orthogonality of conventional split intron design. This repository deposits:</p> <ol> <li>The source data file for the paper "Programmable Trans-splicing Riboregulators for Complex Cellular Logic Computation"</li> <li>The NUPACK scripts to design the EGS library, orthogonal EGS library and other EGS structures for mRNA sensing and ribocomputing</li> <li>The sequences, performance data, and codes for machine-learning</li> </ol>
Impact planning using logic models and theory of change - Webinar
<p>As part of Project Ô's communication efforts, two international events were organised aimed at extended networks with a focus on political communication and science advocacy relevant to water reuse. These online public events were recorded and edited for publication on the YouTube channel.<br> --</p> <p>Making an effective plan for impact can considerably increase your likelihood of success. This training introduces you to two powerful tools that will enable you to think systematically about your pathway to impact, including risks and assumptions you might need to take into account and indicators to help you track your progress.</p> <p>Mark Reed (SRUC and Fast Track Impact) introduces you to logic models based on his widely used impact planning template, and Eric Jensen (University of Illinois at Urbana-Champaign, University of Warwick and Methods for Change) introduces the theory of change approach. Mark then explains how you can co-produce a more detailed theory of change with stakeholders, and Eric shows how theory of change can be used to evaluate impact, using a case study of water research. You then have an opportunity to see examples of logic models and theory of change developed with researchers by Sarah Bowman (Trinity College Dublin).</p>
Supplemental data to paper "An Extensible Logic Embedding Tool for Lightweight Non-Classical Reasoning"
<p>These files are supplementary material to the paper<br> An Extensible Logic Embedding Tool for Lightweight Non-Classical Reasoning<br> Alexander Steen<br> accepted at the Eighth Workshop on Practical Aspects of Automated Reasoning (PAAR 2022), 2022.</p> <p>Files ex1.p, ex2.p and ex3.p correspond to Examples 1, 2, and 3 from the paper in section 5.<br> The *.embed.p files are their embedded variants in classical HOL (THF).</p> <p>In a later update, according to the paper [1], the syntax of NXF and NHF was slightly updated to include<br> an "@"-sign between the non-classical operator {...} and its arguments (...), even in NXF. As a consequence,<br> the examples in this archive have been updated accordingly.</p> <p>Alexander Steen, <alexander.steen@uni-greifswald.de></p> <p> </p> <p>[1] Alexander Steen, David Fuenmayor, Tobias Gleißner, Geoff Sutcliffe, Christoph Benzmüller: Automated Reasoning in Non-classical Logics in the TPTP World. PAAR@IJCAR 2022. Available at https://ceur-ws.org/Vol-3201/paper11.pdf</p>
Home automation system failure logic behavior rules
<p>This document presents the Home automation system failure logic behavior rules used to perform the model-based fault-tree analysis.</p>
Neural-logic Multi-agent System for flood event detection
<p>This repository contains the source code for the paper "Neural-logic Multi-agent System for flood event detection". The code implements a multi-agent system (MAS) designed to detect flooding events.</p>
Diabetic Macular Edema VQA Dataset with Logical Relations
<p>Same as <a href="https://zenodo.org/record/6784358">Diabetic Macular Edema VQA Dataset</a>, but logical relations are added between pairs of questions.</p> <p>If you use this dataset, please cite our paper:</p> <pre>@inproceedings{tascon2023logical, title={Logical Implications for Visual Question Answering Consistency}, author={Tascon-Morales, Sergio and M{\'a}rquez-Neila, Pablo and Sznitman, Raphael}, booktitle={Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition}, pages={6725--6735}, year={2023} }</pre>
Logical and thermodynamical reversibility: optimized experimental implementation of the NOT operation
<p><strong>Dataset for the article:</strong></p> <p>Logical and thermodynamical reversibility: optimized experimental implementation of the NOT operation</p> <p>to be published in PRE</p> <p><strong>Files description: </strong></p> <p><strong>.fig:</strong> Matlab Figures used to create the figures of the article</p> <p><strong>Analysis.mat:</strong> mat file storing the analysis of 4538 bitflip protocols.</p> <ul> <li>dQall: average infinitesimal heat evolution along a protocol</li> <li>dt: sampling rate</li> <li>dW: average infinitesimal work evolution along a protocol</li> <li>f0: resonance frequency of the cantilever</li> <li>Klist: average kinetic energy evolution along a protocol</li> <li>N: number of protocols</li> <li>Qhisto: array of the average heat released for the N protocols</li> <li>sigma_m: position variance implemented in the FPGA at the beginning of the N protocols</li> <li>sigmalist: position variance recalibrated for each protocol </li> <li>tau1: duration of the bitflip</li> <li>Teq: duration of the equlivration step</li> <li>trelax: time between protocols</li> <li>Ulist: average potential energy evolution along a protocol</li> <li>Vplot: protocol driving for the plot</li> <li>Whisto: array of the average work released for the N protocols</li> <li>x0plot: protocol driving for the plot</li> <li>xplot: position signal for plotting </li> </ul> <p><strong>bitflip.m: </strong></p> <p>Analysis code to obtain the Analysis.mat type of files from the dataset of N protocols.</p> <p><strong>bitflip_01.mat to bitflip_1000.mat</strong></p> <p>Experimental data of bitflip protocols. The driving and the system position are stored, and some acquisition parameters. These files are designed to be analysed by bitflip.m</p> <p>.</p> <p> </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.