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.
781
datasets available to search
ShareScore release 0.9.0
Dataset results
781 results for “proofs”
DATASET: Using auxiliary electrochemical working electrodes as probe during contact glow discharge electrolysis: A proof of concept study
<p>This project contains all the data shown in the figures of the manuscript (and the supporting information) entitled:<br> 'Using auxiliary electrochemical working electrodes as probe during contact glow discharge electrolysis: A proof of concept study'<br> (doi:10.26434/chemrxiv-2022-0v5sc).</p> <p>The data to each figure is provided in a subfolder where each curve is stored as a single CSV.<br> The filenames contain labels describing the curves.</p>
Feasibility and acceptability of personalized breast cancer screening (DECIDO Study): A single-arm proof-of-concept trial
<p>The aim of this study was to assess the acceptability and feasibility of offering risk-based breast cancer screening and its integration into regular clinical practice. A single-arm proof-of-concept trial was conducted with a sample of 387 women aged 40–50 years residing in the city of Lleida (Spain). The study intervention consisted of breast cancer risk estimation, risk communication and screening recommendations, and a follow-up. A polygenic risk score with 83 single nucleotide polymorphisms was used to update the Breast Cancer Surveillance Consortium risk model and estimate the 5-year absolute risk of breast cancer. The women expressed a positive attitude towards varying the frequency of breast screening according to individual risk and, especially, more frequently inviting women at higher-than-average risk. A lower intensity screening for women at lower risk was not as welcome, although half of the participants would accept it. Knowledge of the benefits and harms of breast screening was low, especially with regard to false positives and overdiagnosis. The women expressed a high understanding of individual risk and screening recommendations. The participants' intention to participate in risk-based screening and satisfaction at 1-year were very high.</p>
Figure 2 in Using deep-learning for automatic identification of images of marine benthic macro-invertebrate bycatch: a proof of concept
Figure 2. – Three images of organisms obtained by cropping images of lots; from left to right: Chalinidae (Porifera), Polyclinidae (Chordata), Hormatidae (Cnidaria).
Figure 3 in Using deep-learning for automatic identification of images of marine benthic macro-invertebrate bycatch: a proof of concept
Figure 3. – Image of a batch of macro-invertebrate bycatch organisms from Kerguelen Exclusive Economical Zone (Poker 4 survey, 2017), including corals, a crinoïd, an ophiurid, a sea urchin and a brachiopoda; organisms are incomplete and have been quickly spread out over a small plate to take the picture.
Figure 6 in Using deep-learning for automatic identification of images of marine benthic macro-invertebrate bycatch: a proof of concept
Figure 6. – Example of detection and classification obtained with an image including an Ophiuroid, a piece of coral and a sea star with network 2; red squares and annotations have been provided by the computer with no human action.
Figure 5 in Using deep-learning for automatic identification of images of marine benthic macro-invertebrate bycatch: a proof of concept
Figure 5. – Example of detection and classification obtained with an image including Ascidians and a sea star with network 2; red squares and annotations have been provided by the computer with no human action.
Experimental data for the paper Andrews-Curtis conjecture, term rewriting and first-order proofs
<p>This dataset contains proofs obtained by Prover9 and refutations by Mace4 for AC-simplifications. </p>
Text-fig. 4. Electrophoresis after amplification: Electrophoretical analysis of mitochondrial DNA. mtDNA sequences were amplified by primers F15.412 and R16.169 (450 bp), R16.269 (550 bp), R16.519 (800 bp). Lane 1 are primers F15.412 + R16.169, lane 2 primers F15.412 + R16.269, lane 3 primers F15.412 + R16.519, NC – negative control – water, L – 100 bp DNA ladder (band size from 100 bp to 1500 bp). in Genetic Analysis Of Possibly The Oldest Greyhound Remains Within The Territory Of The Czech Republic As Proof Of A Local Elite Presence At Chotěbuz-Podobora Hillfort In The 8 -9 Century Ad
Text-fig. 4. Electrophoresis after amplification: Electrophoretical analysis of mitochondrial DNA. mtDNA sequences were amplified by primers F15.412 and R16.169 (450 bp), R16.269 (550 bp), R16.519 (800 bp). Lane 1 are primers F15.412 + R16.169, lane 2 primers F15.412 + R16.269, lane 3 primers F15.412 + R16.519, NC – negative control – water, L – 100 bp DNA ladder (band size from 100 bp to 1500 bp).
Text-fig. 1. Bottom view of the spoke bone of the excavated greyhound-like dog (above) and the spoke bone of a dog of the same size category (below). The gracility of the spoke bone of the greyhound-like dog is clearly visible. Photo by D. Nývlt. in Genetic Analysis Of Possibly The Oldest Greyhound Remains Within The Territory Of The Czech Republic As Proof Of A Local Elite Presence At Chotěbuz-Podobora Hillfort In The 8 -9 Century Ad
Text-fig. 1. Bottom view of the spoke bone of the excavated greyhound-like dog (above) and the spoke bone of a dog of the same size category (below). The gracility of the spoke bone of the greyhound-like dog is clearly visible. Photo by D. Nývlt.
Text-fig. 5. Multiple sequence alignment of mtDNA from ancient bone and recent greyhound, (Gundry et al. 2007) primer pair A – F15.719 and R16.114. in Genetic Analysis Of Possibly The Oldest Greyhound Remains Within The Territory Of The Czech Republic As Proof Of A Local Elite Presence At Chotěbuz-Podobora Hillfort In The 8 -9 Century Ad
Text-fig. 5. Multiple sequence alignment of mtDNA from ancient bone and recent greyhound, (Gundry et al. 2007) primer pair A – F15.719 and R16.114.
Fig. 1 in Estimating parasite infrapopulation size given imperfect detection: Proof-of-concept with ectoparasitic fleas on prairie dogs
Fig. 1. Left: Frequency histogram of raw (field) flea count indices from prairie dogs. Middle and right: Huggins closed captures model estimates for fleas combed from prairie dogs, including a histogram of estimated flea counts (infrapopulation size = ̂N) and a positive correlation between Julian date and individual flea detection probability (here, p from the first combing occasion within primary trapping occasions). In the histograms, counts of 0 fleas (gray bars) are presented for illustration; those data were not analyzed herein, because the Huggins closed captures models 'condition' on primary occasions with at least 1 flea being detected (black bars). Model output is from the top model in Table 1. On the right, dotted lines are 95% confidence intervals.
Proof minimization formulas dataset
<p>The collection of formulas used for the experimental evaluation in "How to discover short, shorter, and the shortest proofs of unsatisfiability: a branch-and-bound approach for resolution proof length minimization."</p> <p>Directory structure:</p> <ul> <li><code>full</code>: synthetic formulas, including the random 3-CNFs, random graph coloring, and SMUs from Peitl & Szeider (2021).</li> <li><code>small</code> and <code>small-opt</code>: collections with the same structure but smaller and without the SMUs; <code>small-opt</code> additionally excludes everything except 3-CNFs.</li> <li><code>proofmin-sat-competition-2002</code>: a subset of unsatisfiable <em>SAT Competition 2002</em> formulas solved within 15 seconds with an addition of their subsets produced by MUSer2.</li> </ul>
Datasets for the manuscript "In silico proof of principle of machine learning-based antibody design at unconstrained scale"
<p>The zip file contains dataset files for the manuscript "In silico proof of principle of machine learning-based antibody design at unconstrained scale"</p>
Experimental data of "Novel flow modulation method for R744 two-phase ejectors – Proof of concept, optimization and first experimental results"
<p>Experimental data of "Novel flow modulation method for R744 two-phase ejectors – Proof of concept, optimization and first experimental results"</p>
SMT-Solving Induction Proofs of Inequalities Benchmarking Repository
<p>This repository contains the full list of files and the benchmarking results that were used in the benchmarking processes described in the paper:<br> A.K. Uncu, J.H. Davenport and M. England. "SMT-Solving Induction Proofs of Inequalities". Proceedings of the 7th International Workshop on Satisfiability Checking and Symbolic Computation (SC^2 2022). </p> <p>The files are split in three branches. The Mathematica and Maple files include the calls that were made to the respective computer algebra systems, and the smt2 files are the ones used by the considered SMT solvers: Z3, CVC5 and Yices.</p> <p>The Benchmarking Results cvc has the results. The columns record the file names, the satisfiability outcome of the calls, then the times (in seconds) of the respective programmes. Any empty box (which the Maple:-RegularChains column has) would mean that the implementation does not accept that sort of input (this is due to rational functions - see the paper for details). Any time over 1200 seconds would mean that the program times out and the outcome of the question was not found in the given time.</p> <p> </p> <p> </p>
PRISM Proof Repair Dataset
<p>This is the first release of a sample of the PRISM Coq proof repair dataset. We will update with later versions when repair mining is complete and goes through DARPA's approval process. The initial release (data and limitations) is documented here: https://docs.google.com/document/d/19A6YMm1glkcd7ze8wi87pxmUgogA3Mitny7mDl-192c/edit?usp=sharing. It includes about 200 unique changes. Later versions will include more data and better line number information, and will be deduplicated.</p>
Data for: An AAV-CRISPR/Cas9-strategy for gene editing across divergent rodent species: Targeting neural oxytocin receptors as a proof of concept
<p>A major issue in neuroscience is the poor translatability of research results from preclinical studies in animals to clinical outcomes. Comparative neuroscience can overcome this barrier by studying multiple species to differentiate between species-specific and general mechanisms of neural circuit functioning. Targeted manipulation of neural circuits often depends on genetic dissection, and use of this technique has been restricted to only a few model species, limiting its application in comparative research. However, ongoing advances in genomics make genetic dissection attainable in a growing number of species. To demonstrate the potential of comparative gene editing approaches, we developed a viral-mediated CRISPR/Cas9 strategy that is predicted to target the oxytocin receptor (<em>Oxtr</em>) gene in >80 rodent species. This strategy specifically reduced OXTR levels in all evaluated species (n=6), without causing gross neuronal toxicity. Thus, we show that CRISPR/Cas9-based tools can function in multiple species simultaneously. Thereby, we hope to encourage comparative gene editing and improve the translatability of neuroscientific research.</p>
GeoExposomics.org proof-of-concept catalogue as an Excel workbook
<p>Part of the outputs of an International Society for Photogrammetry and Remote Sensing (ISPRS)-funded project entitled ‘geospatial database for exposomics (development of an online portal and metadata catalogue of Earth observation data types, sources and products for human health research in exposomics)’. The project is funded under ISPRS Scientific Initiatives 2023 (SI2023 Awards). P.I.: Prof. Maged N. Kamel Boulos. URL: https://geoexposomics.org/</p>
Lithium recovery from brines by lithium membrane flow capacitive deionization (Li-MFCDI) – A proof of concept
<p>Dataset to H.M. Saif et al., <a href="https://www.sciencedirect.com/journal/journal-of-membrane-science-letters">Journal of Membrane Science Letters</a>, <a href="https://www.sciencedirect.com/journal/journal-of-membrane-science-letters/vol/3/issue/2">Volume 3, Issue 2</a>, November 2023, 100059</p> <p>The demand of lithium for electric vehicles and energy storage devices is increasing rapidly, thus new sources of<br> lithium (such as seawater and natural or industrial brines), as well as sustainable methods for its recovery, will<br> need to be explored/developed soon. This work presents a novel electromembrane process, called Lithium<br> Membrane Flow Capacitive Deionization (Li-MFCDI), which was tested to recover lithium from a synthetic<br> geothermal brine containing a much higher mass concentration of sodium than lithium (more than 650 times).<br> Specifically, a ceramic lithium-selective membrane was integrated into a flow capacitive deionization (FCDI)<br> cell, which was specifically designed, and 3D printed, to allow simultaneous charging and regeneration of the<br> employed flow electrodes. Despite the extremely high Na+/Li+ mass ratio in the feed stream, 99.98% of the<br> sodium was rejected and the process selectivity for lithium over other monovalent cations was 141 ± 5.85 for<br> Li+/Na+ and 46 ± 1.46 for Li+/K+. The Li-MFCDI process exhibited a stable behaviour over a 7-day test period,<br> and the estimated energy consumption was 16.70 ± 1.63 kWh/kg of Li+ recovered in the draw solution. These<br> results demonstrate promising potential of the Li-MFCDI for the sustainable lithium recovery from saline streams.</p>
Data from: Automatic patient-level recognition of four Plasmodium species on thin blood smear by a Real Time Detector Transformer (RT-DETR) object detection algorithm: a proof-of-concept and evaluation
<p>Automatic patient-level recognition of four <em>Plasmodium</em> species on thin blood smear by a Real Time Dectector Transformer (RT-DETR) object detection algorithm: a proof-of-concept and evaluation</p> <p>Emilie Guemas, Baptiste Routier, Théo Ghelfenstein-Ferreira, Camille Cordier, Sophie Hartuis, Bénédicte Marion, Sébastien Bertout, Emmanuelle Varlet-Marie, Damien Costa, Grégoire Pasquier</p> <p><strong>Abstract:</strong></p> <p>Malaria remains a global health problem with 247 million cases and 619,000 deaths in 2021. Diagnostic of <em>Plasmodium</em> species is important for administering the appropriate treatment. The gold-standard diagnosis from accurate species identification remains the thin blood smear. Nevertheless, this method is time-consuming and requires highly skilled and trained microscopists. To overcome these issues, new diagnostic tools based on deep learning are emerging. This study aimed to evaluate the performances of a RT-DETR (Real-Time Detection Transformer)object detection algorithm to discriminate <em>Plasmodium</em> species on thin blood smears images. The algorithm was trained and validated on a dataset consisting in 24,720 images from 475 thin blood smears corresponding to 2,002,597 labels. Performances were calculated with a test dataset of 4,508 images from 170 smears corresponding to 358,825labels coming from six French university hospital. At the patient level, the RT-DETR algorithm exhibited an overall accuracy of 79.4% (135/170) with a recall of 74% (40/54) and 81.9% (95/116) for negative and positive smears, respectively. Among <em>Plasmodium </em>positive smears, the global sensitivity was 82.7% (91/110) with a sensitivity of 90% (38/42), 81.8% (18/22) and 76.1% (35/46) for <em>P. falciparum</em>, <em>P. malariae </em>and <em>P. ovale/vivax,</em> respectively. The YOLOv5 model achieved a World Health Organization (WHO) competence level 2 for species identification. Besides, the RT-DETR algorithm may be run in real-time on low-cost devices such as a smartphone and could be suitable for deployment in low-resource setting areas where microscopy experts are lacking.</p> <p><strong>Data collection:</strong></p> <p>The training and validation dataset included 24,720 pictures taken from 475 manually May Grunwald-Giemsa (MGG)-stained thin blood smears from the Montpellier University Hospital collection and for a smaller part from the Toulouse University Hospital collection. In Montpellier, the pictures were taken with a Flexcam C1 microscope camera (Leica) attached to a Leica DM 2000 microscope and Leica DF450C microscope camera adapted with a Leica DM2500 microscope at X1000 magnification. Labelling of pictures was performed manually, and then automatically with manual correction with a Computer Visual Annotation Tools (CVAT) free software. Nine categories of labels were used: white blood cells (n=3,338), red blood cells (n=1,887,781), platelets (n=48,520), <em>Trypanosoma brucei </em>(n=2,773), and red blood cells infected by <em>P. falciparum </em>(n=43,545), <em>P. ovale </em>(n=4,651), <em>P. vivax </em>(n=4,115), <em>P. malariae </em>(n=2,849) and <em>Babesia divergens</em> (n=5,142).</p> <p>The test dataset included 4,508 pictures taken from 170 thin blood smears from the same number of patients from the Parasitology laboratories of University Hospitals of Montpellier, Toulouse, Rouen, Lille, Nantes and Saint-Louis in Paris (Table 1). Among these 170 patients, 54 were not infected, including two patients with Howell-Jolly bodies, and 116 were infected with hematozoa. For each patient, between 20 and 30 photos were taken from one thin blood smear with at least one hematozoan parasite per picture for infected patients.</p> <p>Accurate species diagnostic was made by a senior parasitologist, and for recent smears, it was confirmed by specific PCR, either performed locally (Toulouse) or at the Malaria French National Reference Center (Montpellier, Saint Louis, Rouen, Lille, Nantes).</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.