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”
Data Set for Article "Verification-Aided Debugging: An Interactive Web-Service for Exploring Error Witnesses", Proc. CAV'16
<p>This is the description of the supplementary archive of example interactive reports for the approach described in the article "Verification-Aided Debugging: An Interactive Web-Service for Exploring Error Witnesses", Proc. CAV'16.</p> <p>This archive contains a static snapshot of our system that allows the reader to<br> a) experience the features of our web-service without relying on its online availability and<br> b) reproduce the bug reports displayed in this static snapshot by validating the provided witnesses against the source code and the corresponding specifications using CPAchecker.</p> <p>The witness database is available at:<br> static/index.html<br> The supplied verification tasks can be found at:<br> static/programs/<br> The supplied error witnesses are grouped by their corresponding verification tasks and can be found at:<br> static/witnesses/<br> The software verifier CPAchecker is placed at:<br> CPAchecker/</p> <p>To browse the witness database and explore the supplied error reports, we recommend using the Firefox web browser,<br> because not all features of our bug reports are guaranteed to be available in other browsers.</p> <p>Like the supplementary archive originally provided to the reviewers, this witness database contains only a small selection of the witnesses harvested from the "Competition on Software Verification 2016", because we do not want to burden the reader with an enormous amount of data that likely is not relevant for understanding the concepts. Also, error witnesses produced by some competition candidates that were not even syntactically correct were removed, because they do not add any value to the evaluation. However, the full data is still available online via our web service, for example, the list of witnesses for a verification task can be requested by computing the SHA-1 hash of the verification task's source code and submitting the following query:<br> http://vcloud.sosy-lab.org/webclient/master/witness?inputFile=<program-hash><br> The resulting JSON data contains all hashes of witnesses stored for the given program.<br> A witness stored in the database can be requested via its SHA-1 hash by submitting the following query:<br> https://vcloud.sosy-lab.org/webclient/files/<hash><br> All verification tasks are available at the SV-COMP repository:<br> https://github.com/dbeyer/sv-benchmarks<br> If you use verification tasks from the repository and are interested in validating witnesses produced for SV-COMP '16,<br> please use the 'svcomp16' tag, because the tasks and their hashes might have changed since then.</p> <p>You can use CPAchecker to validate a witness for a verification task and generate an error report.<br> First, navigate to the CPAchecker directory:</p> <p> cd CPAchecker/</p> <p>Now, perform the validation by providing the verification task (consisting of specification and program source code) and a witness:</p> <p> scripts/cpa.sh -generateReport -witness-validation \<br> -spec <specification> \<br> <source-code> \<br> -spec <witness></p> <p>For example:</p> <p> scripts/cpa.sh -generateReport -witness-validation \<br> -spec ../static/programs/loop-acceleration/ALL.prp \<br> ../static/programs/loop-acceleration/array_false-unreach-call3.i \<br> -spec ../static/witnesses/loop-acceleration/array_false-unreach-call3.i/a4572a0c1b505b1d1170b7347e48a2a93cb3f4c1</p> <p>The report will be generated in the subdirectory<br> output/report/</p> <p> </p>
Data and code for article "Mid-infrared frequency comb via coherent dispersive wave generation in silicon nitride nano-photonic waveguides"
<p>This dataset contains the data presented in the figures of the article "Mid-infrared frequency comb via coherent dispersive wave generation in silicon nitride nano-photonic waveguides" (doi:10.1038/s41566-018-0144-1).</p> <p>The raw data in figures (curved plots) is packaged as an independent OriginLab project file (.opj). </p> <p>The layout of the design of the silicon nitride nano-photonic waveguide is presented. Fabrication process card (shown as a diagram) is provided as well.</p> <p>The source code for simulations presented in the article is also presented.</p>
Data for article: Understanding the Visible-light Photocatalytic Activity of GaN:ZnO Solid Solution: the Role of Rh2-yCryO3 Cocatalyst and Charge Carrier Lifetimes Over Tens of Seconds
<p>Dataset underlying the publication 'Understanding the Visible-light Photocatalytic Activity of GaN:ZnO Solid Solution: the Role of Rh<sub>2-y</sub>Cr<sub>y</sub>O<sub>3</sub> Cocatalyst and Charge Carrier Lifetimes Over Tens of Seconds', published in Chemical Science (doi: 10.1039/C8SC02348D)</p>
Supplement data for the article "The impact of OTU sequence similarity threshold on diatom-based bioassessment: A case study of the rivers of Mayotte (France, Indian Ocean)", in preparation
<p>These are supplement data for the article "The impact of OTU sequence similarity threshold on diatom-based bioassessment: A case study of the rivers of Mayotte (France, Indian Ocean)", in preparation</p> <p>The folowing files are available:</p> <ul> <li>Supplement 1. Map of Mayotte with the sampling sites and the rivers.</li> <li>Supplement 2. <em>rbcL</em> primers, reaction mixture, and conditions used for the PCR of the 312-bp <em>rbcL</em> fragment. The information provided is for a single reaction with a final volume of 25µL.</li> <li>Supplement 3. The 20 fastq files containing the demultiplexed DNA reads.</li> <li>Supplement 4. Number of sequence reads for each sample before and after the trimming procedure.</li> <li>Supplement 5. The 20 OTU lists, corresponding to the 20 SSTs, including the number of DNA reads within the 90 samples and their assigned taxonomy.</li> <li>Supplement 6. Sampling site description with sample codes, names of rivers, year, number of raw DNA reads and GPS coordinates.</li> <li>Supplement 7. Values and summary statistics for the environmental variables.</li> <li>Supplement 8. The script used in Mothur for the bioinformatic analysis from trimming to the used OTU lists.</li> </ul> <p> </p>
Dataset for article Direct Evidence of the Benzylium and Tropylium Cations as the Two Long-Lived Isomers of C7H7+
<p>Dataset for article Direct Evidence of the Benzylium and Tropylium Cations as the Two Long-Lived Isomers of C7H7+ (DOI: 10.1002/cphc.201800744)</p> <p>-1- Experimental data: raw data and python script to build the final data for Figs 1 and 2 of the main manuscript and Figs S1 and S2 of supporting information.</p> <p>-2- Computational results: Gaussian files for all the calculated species.</p>
Russian court decisions on article 6.21 "Propaganda of non-traditional sexual relationships" (Code of Administrative Offences)
<p>The <strong>zip</strong> archive contains 338 <strong>txt</strong> files of Russian court decisions on article 6.21 "Propaganda of non-traditional sexual relationships" (Code of Administrative Offences). The source is Russian online database of juridical decisions <a href="http://sudact.ru">sudact.ru</a>.</p>
Data set used in the Article "Evaluation of Monte Carlo tools for high-energy atmospheric physics II: relativistic runaway electron avalanches"
<p>Data used for the Relativistic Runaway Electron Avalanches (RREA) simulations of the Article : "Evaluation of Monte Carlo tools for high energy atmospheric physics II: relativistic runaway electron avalanches" by D. Sarria et al.</p> <p>Includes two set of results : The Probability of Generating RREAs, and the Characterizations of RREAs.</p> <p>Link to the article : <a href="https://www.geosci-model-dev.net/11/4515/2018/gmd-11-4515-2018.html">https://www.geosci-model-dev.net/11/4515/2018/gmd-11-4515-2018.html</a></p> <p>DOI of the article: 10.5194/gmd-2018-119</p>
Evolution of the number of articles published in the area of business dedicated to systematic reviews or narrative reviews (2003-2018)
<p>This figure shows the evolution of systematic reviews in business management (2003-2018). It is part of the Editorial for Journal of Contemporary Administration (Revista de Administração Contemporânea), Volume 23, Number 2, 2019. There this figure is presented.</p>
Dataset of the article: "Technology validation of photosynthetic biogas upgrading in a semi-industrial scale algal-bacterial photobioreactor".
<p>Excel document that contains the data of the article: ‘Technology validation of photosynthetic biogas upgrading in a semi-industrial scale algal-bacterial photobioreactor’. This dataset shows the values obtained during the experimental period and it complements the corresponding article.</p>
DOI-to-DOI citations of articles '10.12685/027.7-4-2-155', '10.18452/9093' and '10.11588/PB.2012.1.9398'
<p>This data set contains the references to publications with a DOI from my publications:</p> <ul> <li>Baierer, Konstantin ; Zumstein, Philipp (2016): Verbesserung der OCR in digitalen Sammlungen von Bibliotheken. <em>027.7 : Zeitschrift für Bibliothekskultur = Journal for Library Culture</em>, 4(2):72-83. <a href="https://doi.org/10.12685/027.7-4-2-155">https://doi.org/10.12685/027.7-4-2-155</a></li> <li>Kim, Timotheus Chang-whae ; Zumstein, Philipp (2016): Semiautomatische Katalogisierung und Normdatenverknüpfung mit Zotero im Index Theologicus. <em>LIBREAS. Library ideas,</em> [12]:29 47-56. <a href="https://doi.org/10.18452/9093">https://doi.org/10.18452/9093</a></li> <li>Zumstein, Philipp (2012): Die Rolle des Semantic Web für Bibliotheken: Linked Open Data und mehr: Welche Strategien können hier die Bibliotheken in die Zukunft führen? <em>Perspektive Bibliothek ,</em> 1(1):81-102. <a href="https://doi.org/10.11588/PB.2012.1.9398">https://doi.org/10.11588/PB.2012.1.9398</a></li> </ul>
Replication Package for Article "CoVeriTest: Cooperative Verifier-Based Testing" in Proc. FASE '19
<p>Replication package for the article<br> "Dirk Beyer and Marie-Christine Jakobs. CoVeriTest: Cooperative Verifier-Based Testing. In Proc. FASE, 2019. Springer."</p> <p>It contains all tools and data that are necessary to reproduce the results in our article.<br> The included README contains detailed instructions.</p> <p>Abstract:<br> Testing is a widely used method to assess software quality. Coverage criteria and coverage measurements are used to ensure that the constructed test suites adequately test the given software. Since manually developing such test suites is too expensive in practice, various automatic test-generation approaches were proposed. Since all approaches come with different strengths, combinations are necessary in order to achieve stronger tools. We study cooperative combinations of verification approaches for test generation, with high-level information exchange.<br> We present CoVeriTest, a hybrid approach for test-case generation, which iteratively applies different conditional model checkers. Thereby, it allows to adjust the level of cooperation and to assign individual time budgets per verifier. In our experiments, we combine explicit-state model checking and predicate abstraction (from CPAchecker) to systematically study different CoVeriTest configurations. Moreover, CoVeriTest achieves higher coverage than state-of-the-art test-generation tools for some programs.</p> <p> </p>
A Scientific Journal List at Japanese News Articles
<p><strong>Abstract</strong> (our paper)</p> <p>In Japanese scientific news articles, although the research results are described clearly, the article's sources tend to be uncited. This makes it difficult for readers to know the details of the research. In this paper, we address the task of extracting journal names from Japanese scientific news articles. We hypothesize that a journal name is likely to occur in a specific context. To support the hypothesis, we construct a character-based method and extract journal names using this method. This method only uses the left and right context features of journal names. The results of the journal name extractions suggest that the distribution hypothesis plays an important role in identifying the journal names.</p> <p><strong>Data</strong></p> <p>list.txt.gz:<br> The first column is the extraction text by our method (journal name), the second column is the cleaned text, the third column is the news date, and the fourth column is the news URL.</p> <p><strong>Publication</strong></p> <p>This data set is part of our experimental results. If you make use of this data set, please cite:</p> <ul> <li>Masato Kikuchi, Kento Kawakami, Mitsuo Yoshida, Kyoji Umemura. <a href="https://doi.org/10.14923/transinfj.2018DEP0007">Conservative Direct Estimation for Likelihood Ratios Based on Observed Frequencies</a>. <em>The IEICE Transactions on Information and Systems (Japanese edition)</em>. vol.J102-D, no.4, pp.289-301, 2019.</li> <li>Masato Kikuchi, Mitsuo Yoshida, Kyoji Umemura. <a href="http://www.apsipa.org/proceedings/2018/pdfs/0000143.pdf">Journal Name Extraction from Japanese Scientific News Articles</a>. <em>Proceedings of the Asia-Pacific Signal and Information Processing Association Annual Summit and Conference 2018</em>. pp.143-148, 2018. [<a href="https://doi.org/10.23919/APSIPA.2018.8659765">DOI</a>]</li> </ul>
The adoption of Article Processing Charges as a business model by Brazilian Open Access journals
<p>These are the raw data behind the publication:</p> <p>Appel, A.L.; Albagli, S. The adoption of Article Processing Charges as a business model by Brazilian Open Access journals. <em>Transinformação</em>, 31:e180045, 2019. <a href="https://doi.org/10.1590/2318-0889201931e180045">https://doi.org/10.1590/2318-0889201931e180045</a></p> <p>Different funding and business model alternatives for Open Access to scientific publication have been discussed and tried, either by Gold open access journals or by the ‘hybrid’ ones. A growing number of both types of scholarly journals have adopted a publication fee – more specifically an Article Processing Charge – as their open access business model, a procedure that has been the subject of controversies. The objective of this study is to characterize Brazilian open access journals that adopt article processing charges. The main contribution of this study is to audit and support decision making of editorial policies and business models for open access that are being proposed by and for Brazilian journals. We defined a sample of Brazilian open access journals using article processing charges extracted from the Directory of Open Access Journals database in April 2018 along with their classification in the Scimago Journal Ranking, Journal Citation Reports and Qualis Capes system, considered as an indicator of prestige of academic journals. The study reveals that a small number of Brazilian open access journals are currently applying article processing charges, with practices varying mainly according to fields of study, types of organization and classification according to the Qualis system.</p>
index of folk culture (journal) articles [Arabic]
<p>فهرس مقالات مجلة «<a href="http://folkculturebh.org/">الثقافة الشعبية</a>» من العدد 1 حتى العدد 44؛ تم استخراجها لأغراض البحث العلمي، و قد تفيد سائر الباحثين.</p>
Supplementary material for research article "Quantifying the risk mitigation efficiency of changing silvicultural systems under storm risk throughout history"
<p>This public repository contains mainly datasets generated and analyzed during the current study, closely linked to the research article "Quantifying the risk mitigation efficiency of changing silvicultural systems under storm risk throughout history". Furthermore, the repository contains additional figures and deep dives on the methodological background the research article was built on.</p>
Metadata on Articles Published at the Requirements Engineering Conference, REFSQ conference, or Requirements Engineering Journal from 2009 until 2018
<p>In the 1990s, it was recognized that Requirements Engineering lays the foundation for high quality software. A substantial research community has formed that set out to enable practitioners of the 21st century to systematically adopt proven strategies to common development challenges and to enable the engineering of innovative solutions and product features. But is contemporary RE Research delivering what it set out to deliver? In the article at IEEE Software 36(4) with DOI 10.1109/MS.2019.2909127, we provide a brief overview over the accomplishments of the past 10 years and identify open opportunities. The work at hand is the raw dataset of metadata, specifically keywords and author names, of articles published at the Requirements Engineering Conference, REFSQ conference, or Requirements Engineering Journal from 2009 until 2018 and supplements our article.</p>
Basmala, the translation and of the 'Basmala' Article in EQ
<p>Basmala, the translation and of the 'Basmala' Article in EQ</p> <p>'Basmala', written by V.Graham, is one of the articles of the Encyclopaedia of <br> Quran. We have translated this article into Persian in order to introduce our <br> readers with the method of 'EQ' in analyzing Quranic concepts. In addition we <br> have provided the reference for some of the informations given in the original <br> article in footnote and made some corrections and annotated as regard to the <br> following claims:<br> 1. The tripartite Allah, Al-rahman Al-rahim is a coalescence of Jewish Christian and Southern arabia beliefs.<br> 2. The Shiite recite Basmala silently in ritual prayers.<br> 3. All areas of knowledge are contained in «the four Shiite hadith books" and <br> their science is in the Quran.<br> 4. Ons hadith saying that 'I performed the ritual prayer with the holy Prophet, Abu<br> Baker, Umar and Uthman and 1 did not hear any of them recite Basmala.' <br> We have also explained the reason for law schools to differ on recitation of <br> Basmala, discussed its being the Great name Of Allah and finally examined <br> the hadith attributed to Imam Ali as saying 'I am the dot beneath the “B” of <br> Basmala'.<br> </p>
Data and simulations files for the tutorial article "Brillouin Optomechanics in Nanophotonic Structures"
<p>Data and simulations files for the tutorial article "Brillouin optomechanics in nanophotonic structures".<br> Published in APL Photonics Special issue "Optoacoustics—Advances in high-frequency optomechanics and Brillouin scattering" - DOI: 10.1063/1.5088169</p>
Dataset for the article 蓝珲. (2019). 浙师大学生的英文能力能帮助《人工智能》课程学习吗?
<p>Data set for the following paper.</p> <p>蓝珲. (2019). 浙师大学生的英文能力能帮助《人工智能》课程学习吗?. http://doi.org/10.5281/zenodo.3341684</p>
Data set supporting journal article: Markwitz, C. and Siebicke, L.: "Low-cost eddy covariance: a case study of evapotranspiration over agroforestry in Germany", Atmos. Meas. Tech., 2019
<p>This data set contains evapotranspiration data obtained by a conventional eddy covariance set-up and a low-cost eddy covariance set-up as described in the research article: Markwitz, C. and Siebicke, L.: "Low-cost eddy covariance: a case study of evapotranspiration over agroforestry in Germany", Atmos. Meas. Tech., 2019.</p> <p>The data set contains all necessary data needed to replicate figures and analysis presented in the research article. The data sets are sorted and named according to the figure the data were used for. </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.