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.
15,733
datasets available to search
ShareScore release 0.9.0
Dataset results
15,733 results for “article”
Superposition for Lambda-Free Higher-Order Logic — Supplementary Material for the Journal Article
<p>We provide the following supplementary material for our <a href="http://matryoshka-project.github.io/pubs/lfhosup_article.pdf">article</a>.</p> <p><strong>Zipperposition</strong></p> <p>Compilation instructions for Zipperposition, in particular instructions for compilation for <a href="https://www.starexec.org/">StarExec</a>, can also be found in the <a href="https://github.com/sneeuwballen/zipperposition#starexec">Zipperposition readme</a>. We used OCaml 4.07.0, branch <code>lmcs2020</code>, commit <a href="https://github.com/sneeuwballen/zipperposition/tree/2031e216c1941acd76187882a073e8f1e53383f2">2031e216c1941acd76187882a073e8f1e53383f2</a></p> <p><strong>Problems</strong></p> <p>We used the following first-order (TFF) and the higher-order (THF) <a href="http://www.cs.miami.edu/~tptp/">TPTP (v7.3.0) problems</a> for the evaluation: <a href="https://zenodo.org/record/3992618/files/list_TFF.txt">TFF problem list</a> <a href="https://zenodo.org/record/3992618/files/list_THF.txt"> THF problem list</a>. These lists were obtained by excluding all problems that contain arithmetic, the symbols <code>(@@+)</code>, <code>(@@-)</code>, <code>(@+)</code>, <code>(@-)</code>, <code>(&)</code>, or tuples, as well as the <code>SYN000</code> problems, which are only intended to test the parser, and problems whose clausal normal form takes longer than 15s to compute or falls outside the lambda-free fragment. The following archive contains instructions on how the benchmarks were selected: <a href="https://zenodo.org/record/3992618/files/benchmark_selection.zip">Benchmark selection</a></p> <p>Note that Zipperposition is not aware that our calculi are complete for this fragment and it will always report "GaveUp" instead of "CounterSatisfiable" if the calculus saturates.</p> <p>The selection of TPTP problems and the problems generated by Isabelle/Sledgehammer can be downloaded here: <a href="https://zenodo.org/record/3992618/files/benchmarks.zip">Benchmarks</a></p> <p><strong>Run scripts</strong></p> <p>We used the following run scripts on StarExec. This archive also contains the Zipperposition binary, compiled for StarExec: <a href="https://zenodo.org/record/3992618/files/run_scripts.zip">StarExec run scripts</a></p> <p>The scripts use the following command-line options for Zipperposition</p> <ul> <li>First-order mode:<br> <code>./zipperposition.exe --mode=fo-complete-basic</code></li> <li>Applicative encoding mode (intensional):<br> <code>./zipperposition.exe --mode=fo-complete-basic --app-encode=intensional</code></li> <li>Applicative encoding mode (extensional):<br> <code>./zipperposition.exe --mode=fo-complete-basic --app-encode=extensional</code></li> <li>Nonpurifying intensional calculus:<br> <code>./zipperposition.exe --mode=lambda-free-intensional</code></li> <li>Nonpurifying extensional calculus:<br> <code>./zipperposition.exe --mode=lambda-free-extensional</code></li> <li>Purifying intensional calculus:<br> <code>./zipperposition.exe --mode=lambda-free-purify-intensional</code></li> <li>Purifying extensional calculus:<br> <code>./zipperposition.exe --mode=lambda-free-purify-extensional</code></li> </ul> <p>As additional command line arguments, we provided the problem's filename, the order (<code>--ord=lambdafree_rpo</code> or <code>--ord lambdafree_kbo</code> or <code>--ord epo</code>), and the following parameters for heuristics that were obtained by optimizing the first-order mode in preliminary experiments:</p> <pre>--kbo-weight-fun=modarity \ -q "7|prefer-sos|pnrefined(2,1,1,1,2,2,2)" \ -q "4|prefer-short-trail|pnrefined(1,1,1,2,2,2,0.5)" \ -q "1|prefer-processed|fifo" \ -q "7|prefer-ground|conjecture-relative-var(1,l,f)" \ -q "6|prefer-goals|conjecture-relative-var(1,s,f)" \ --select=e-selection7 </pre> <p>On Starexec, we chose a wallclock timeout of 360 s, a CPU timeout of 180 s, and a memory limit of 128 GB. StarExec's machine specifications are:</p> <pre>Intel(R) Xeon(R) CPU E5-2609 0 @ 2.40GHz (2393 MHZ) 10240 KB Cache 263932744 kB main memory OS: CentOS Linux release 7.7.1908 (Core) kernel: 3.10.0-1062.4.3.el7.x86_64 </pre> <p><strong>Results</strong></p> <p>Download the raw output of the evaluation and the .csv files created by StarExec here:</p> <ul> <li><a href="https://zenodo.org/record/3992618/files/results_tff.zip">Raw evaluation output TFF</a></li> <li><a href="https://zenodo.org/record/3992618/files/results_sh256.zip">Raw evaluation output SH256</a></li> <li><a href="https://zenodo.org/record/3992618/files/results_sh16.zip">Raw evaluation output SH16</a></li> <li><a href="https://zenodo.org/record/3992618/files/results_thf.zip">Raw evaluation output THF</a></li> <li><a href="https://zenodo.org/record/3992618/files/results_csv.zip">Evaluation results as CSV file + script to compile the statistics</a></li> </ul> <p><strong>Examples</strong></p> <p>We tested the examples given in our paper in Zipperposition. Here are the problem files we used. Some are in TPTP format (.p) and some are in Zipperposition format (.zf).</p> <ul> <li><a href="https://zenodo.org/record/3992618/files/example_varcond.zf">Example 3.3</a></li> <li><a href="https://zenodo.org/record/3992618/files/example_posext.zf">Example 3.4</a></li> <li><a href="https://zenodo.org/record/3992618/files/example_supatvars_rpo.zf">Example 3.5</a></li> <li><a href="https://zenodo.org/record/3992618/files/example_negext.zf">Example 3.6</a></li> <li><a href="https://zenodo.org/record/3992618/files/example_add_equiv_defs.p">Example 3.7</a></li> </ul>
Data sets to all figures in our article Appl. Phys. Lett. 115, 193507 (2019)
<p>Data sets to all figures in our article in Applied Physics Letters:<br> <br> Quartz tuning fork—A potential low temperature thermometer in high magnetic fields<br> Appl. Phys. Lett. <strong>115</strong>, 193507 (2019)<br> doi: 10.1063/1.5124736</p>
Supplemental Material to Article "A practical approach for the peel stress prediction in the trailing-edge adhesive joint of wind turbine blades"
<p>This set supplements the figure data to the article "A practical approach for the peel stress prediction in the trailing-edge adhesive joint of wind turbine blades", DOI: .</p>
Logger data for article "Effects of blood parasite infections on spatiotemporal migration patterns and activity budgets in a long-distance migratory passerine"
<p>The supplement loggerDATA.zip is a ZIP Archive (to be unzipped e.g. with <a href="https://www.izarc.org/downloads">https://www.izarc.org/downloads</a>) containing 40 folders and one .txt file. In the readME.txt file one can find a detailed description of the folder content and the data specifications of the files used for the analyses in the article "Effects of blood parasite infections on spatiotemporal migration patterns and activity budgets in a long-distance migratory passerine".</p> <p>For more information of how the data can be analysed and visualised please see: <a href="https://kiranlda.github.io/PAMLrManual/">https://kiranlda.github.io/PAMLrManual/</a>.</p>
Supplementary information to the article by van Beijnum et al. "Integrating phenotypic search and phosphoproteomic profiling of active kinases for optimization of drug mixtures for RCC treatment"
<p>Supplementary information to the article "Integrating phenotypic search and phosphoproteomic profiling of active kinases for optimization of drug mixtures for RCC treatment".</p> <p><strong>Judy R. van Beijnum<sup>1</sup>, Andrea Weiss<sup>2, 3</sup>, Robert H. Berndsen<sup>1,2 </sup>, Tse J. Wong<sup>1</sup>, Louise C. Reckman<sup>1</sup>, Sander R. Piersma<sup>4,5</sup>, Marloes Zoetemelk<sup>2,3</sup>, Richard de Haas<sup>1,4,5</sup>, Olivier Dormond<sup>6</sup>, Axel Bex<sup>7,8</sup>, Alexander A. Henneman<sup>4,5</sup>, Connie R. Jimenez<sup>4,5</sup>, Arjan W. Griffioen<sup>1</sup>, Patrycja Nowak-Sliwinska<sup>2,3,9</sup>*</strong></p> <p> </p> <p><sup>1</sup> Angiogenesis Laboratory, Department of Medical Oncology, Amsterdam UMC, Vrije Universiteit Amsterdam, Medical Oncology, Cancer Center Amsterdam, De Boelelaan 1117, Amsterdam, Netherlands;</p> <p><sup>2</sup> Molecular Pharmacology Group, School of Pharmaceutical Sciences, University of Geneva, Geneva, Switzerland*;</p> <p><sup>3 </sup>Institute of Pharmaceutical Sciences of Western Switzerland, University of Geneva, Geneva, Switzerland</p> <p><sup>4 </sup>Department of Medical Oncology, Amsterdam UMC, Vrije Universiteit Amsterdam, Medical Oncology, Cancer Center Amsterdam, De Boelelaan 1117, Amsterdam, Netherlands</p> <p><sup>5</sup> OncoProteomics Laboratory, Cancer Center Amsterdam, Amsterdam UMC, Vrije Universiteit Amsterdam, Amsterdam, The Netherlands</p> <p><sup>6</sup> Department of Visceral surgery, Lausanne University Hospital and University of Lausanne, Lausanne, Switzerland<sup> </sup> </p> <p><sup>7</sup> Royal Free London NHS Foundation Trust, Renal Cancer Centre, UCL Division of Surgical and Interventional Science, London, UK</p> <p><sup>8</sup> Netherlands Cancer Institute, Amsterdam, The Netherlands</p> <p><sup>9 </sup> Translational Research Centre in Oncohaematology, Geneva, Switzerland</p> <p> Correspondence: <a href="mailto:Patrycja.Nowak-Sliwinska@unige.ch">Patrycja.Nowak-Sliwinska@unige.ch</a></p>
Supporting data and scripts for Nature Astronomy article "Detection of two bright radio bursts from magnetar SGR 1935+2154" by Kirsten et al.
<p>This data set contains scripts and data used to analyze the observations described in Nature Astronomy article "Detection of two bright radio bursts from magnetar SGR 1935+2154" by Kirsten et al. 2020. The scripts used to create the plots therein also included.</p>
Dataset for the submission entitled: Journal article publishing in the social sciences and humanities: a comparison of Web of Science coverage for five European countries
<p>Dataset for the manuscript submission entitled: Journal article publishing in the social sciences and humanities: a comparison of Web of Science coverage for five European countries.</p>
Raw data for the article "Enantioselective Carboetherification/Hydrogenation for the Synthesis of Amino Alcohols via a Catalytically-Formed Chiral Auxiliary"
<p>Raw NMR, MS, IR and HPLC data for the article "Enantioselective Carboetherification/Hydrogenation for the Synthesis of Amino Alcohols via a Catalytically-Formed Chiral Auxiliary" published in the Journal of the American Chemical Society, DOI: <a href="https://doi.org/10.1021/jacs.0c09177">https://doi.org/10.1021/jacs.0c09177</a></p> <p>The number of the folders correspond to compounds numbers in the article. All details concerning conditions and equipment for measurements can be found in the supporting information of the article.</p>
Data set for the article titled hypertension affects the treatment of wet age-related macular degeneration
<p>This is concise data set for the article titled Hypertension affects the treatment of wet age-related macular degeneration</p>
Data for GMD article: "Towards an improved treatment of cloud-radiation interaction in weather and climate models: exploring the potential of the Tripleclouds method for various cloud types using libRadtran 2.0.4"
<p>Dataset for the publication by Nina Črnivec and Bernhard Mayer: "Towards an improved treatment of cloud-radiation interaction in weather and climate models: exploring the potential of the Tripleclouds method for various cloud types using libRadtran 2.0.4" submitted to Geoscientific Model Development in 2020.</p> <p>The repository contains data for stratocumulus, cirrus and cumulonimbus cloud case studies. It also contains MYSTIC benchmark radiation data (including atmosphering heating rate and net surface flux) for the aforementioned cloud cases. See README for additional information and description of data files.</p>
Dataset from the ISMIR2020 article "Multilingual Music Genre Embeddings for Effective Cross-Lingual Music Item Annotation"
<p>We release the data required to reproduce the cross-lingual music genre translation experiments from the article <strong><em>Multilingual Music Genre Embeddings for Effective Cross-Lingual Music Item Annotation</em></strong> presented at the <a href="https://ismir.github.io/ISMIR2020/">ISMIR 2020</a> conference.</p> <p>More information about this data and how it should be used in the experiments can be found in the GitHub repository <a href="http://github.com/deezer/MultilingualMusicGenreEmbedding">deezer/MultilingualMusicGenreEmbedding</a>.</p> <p>Please cite our paper if you use the code or data in your work.</p>
Migration variables and infection data for article "Effects of blood parasite infections on spatiotemporal migration patterns and activity budgets in a long-distance migratory passerine"
<p>Data related to the article "Effects of blood parasite infections on spatiotemporal migration patterns and activity budgets in a long-distance migratory passerine" in the format .csv. The 1st file (SupplTab_EcoEvo_data.csv) contains all variables used for the analyses and the 2nd file (SupplTab_EcoEvo_glossary.csv) contains explanations about the variables in the 1st file.</p>
Additional data to the article "Educational Open Government Data in Germany"
<p>This dataset contains the raw data of the quantitative evaluation of German open government portals, conducted in March 2020 as well as the questions to the interviews we conducted with researchers from educational research.</p>
Raw data for the article "Azide Radical Initiated Ring Opening of Cyclopropenes Leading to Alkenyl Nitriles and Polycyclic Aromatic Compounds"
<p>Raw NMR, MS and IR data for the article "Azide Radical Initiated Ring Opening of Cyclopropenes Leading to Alkenyl Nitriles and Polycyclic Aromatic Compounds" published in Angewandte Chemie: </p> <p>https://onlinelibrary.wiley.com/doi/10.1002/anie.202013516 </p> <p>The number of the folders correspond to compounds numbers in the article. All details concerning conditions and equipment for measurements can be found in the supporting information of the article.</p> <p> </p>
Global flow of earth science scientific articles based on several databases
<p>Global flow of earth science scientific articles based on several databases contains the summary of our findings from our search of earth science articles in ten databases:</p> <ol> <li>Google Scholar</li> <li>Lens</li> <li>Dimensions</li> <li>Korean Citation Index</li> <li>Russian Scientific Citation Index</li> <li>Garuda Ristekbrin</li> <li>HAL</li> <li>Scielo</li> <li>Scopus</li> <li>Web of Science</li> </ol> <p>The data are visualized using Datawrapper in the following links. All graphs contain links to the data sources (click "Get the data" under each graph):</p> <ol> <li><a href="https://www.datawrapper.de/_/YxTc9/">https://www.datawrapper.de/_/YxTc9/ (Scielo)</a></li> <li><a href="https://www.datawrapper.de/_/blOXM/">https://www.datawrapper.de/_/blOXM/ (Dimensions)</a></li> <li><a href="https://www.datawrapper.de/_/0fyDw/">https://www.datawrapper.de/_/0fyDw/ (Lens)</a></li> <li><a href="https://www.datawrapper.de/_/ad6c8/">https://www.datawrapper.de/_/ad6c8/ (Scopus)</a></li> <li><a href="https://www.datawrapper.de/_/NyypS/">https://www.datawrapper.de/_/NyypS/ (Maximum score for documents in rank promotion regulation of Indonesia)</a></li> <li><a href="https://www.datawrapper.de/_/s1KMD/">https://www.datawrapper.de/_/s1KMD/ (Percentage of OA earth sciences documents in several databases)</a></li> <li><a href="https://www.datawrapper.de/_/2nBnP/">https://www.datawrapper.de/_/2nBnP/ (Sum of earth sciences documents in several databases)</a></li> <li><a href="https://www.datawrapper.de/_/CgpLO/">https://www.datawrapper.de/_/CgpLO/ (Distribution of earth sciences documents by year in log scale)</a></li> </ol>
Experimental and numerical data of an article on the prediction of wind load on pylons for a neutral atmospheric boundary layer ow over two successive hills
<p>his deposit contains experimental and numerical data related to the article entitled "Towards prediction of wind load on pylons for a neutral atmospheric boundary layer flow over two successive hills" that will be publised in Journal of Wind Engineering & Industrial Aerodynamics. It consists in post-processed experimental data (turbulence statistics) for flows around 2D hills, measured by PIV, and numerical date of k-epsilon simulations of the same configirations. All data are provided in matlab metadata format. Matlab functions are given to plot all the figures of the article.</p>
Raw data for the research article "Rasch analysis of the Listening Effort Questionnaire - Cochlear Implant (LEQ-CI)"
<p>These are the raw data for the paper entitled "Rasch analysis of the Listening Effort Questionnaire - Cochlear Implant (LEQ-CI)" that is currently under revision in Ear and Hearing.</p>
Supplementary materials for the article on 'How to express evolution in English Pokémon names', published in Linguistics
<p>The zip-archive contains two folders, "Graphics" and "statistics". For the statistical analyses, cf. the Rdm-file in the "statistics" folder. The data is stored in csv-files. For a description of the data, cf. the publication itself.</p>
Data archive for the peer-reviewed journal article "Detailed characterization of the CAPS single scattering albedo monitor (CAPS PMssa) as a field-deployable instrument for measuring aerosol light absorption with the extinction-minus-scattering method"
<p>Data archive accompanying the peer-reviewed journal article "Detailed characterization of the CAPS single scattering albedo monitor (CAPS PMssa) as a field-deployable instrument for measuring aerosol light absorption with the extinction-minus-scattering method". In 2020 this article was accepted for publication in the journal <em>Atmospheric Measurement Techniques</em>. Data are uploaded in the form of ascii text files, Igor Pro experiment files (.pxp), and Jupyter notebook files. In addition, a Jupyter notebook file is included containing an implementation of the error model used in the paper.</p>
Link to dataset related to article "Endogenous murine microbiota member Faecalibaculum rodentium and its human homologue protect from intestinal tumour growth "
<p>This record contains raw data related to article “ Endogenous murine microbiota member Faecalibaculum rodentium and its human homologue protect from intestinal tumour growth"</p> <p>The microbiota has been shown to promote intestinal tumourigenesis, but a possible anti-tumourigenic effect has also been postulated. Here, we demonstrate that changes in the microbiota and mucus composition are concomitant with tumourigenesis. We identified two anti-tumourigenic strains of the microbiota-Faecalibaculum rodentium and its human homologue, Holdemanella biformis-that are strongly under-represented during tumourigenesis. Reconstitution of Apc<sup>Min/+</sup> or azoxymethane- and dextran sulfate sodium-treated mice with an isolate of F. rodentium (F. PB1) or its metabolic products reduced tumour growth. Both F. PB1 and H. biformis produced short-chain fatty acids that contributed to control protein acetylation and tumour cell proliferation by inhibiting calcineurin and NFATc3 activation in mouse and human settings. We have thus identified endogenous anti-tumourigenic bacterial strains with strong diagnostic, therapeutic and translational potential.</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.