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.
52
datasets available to search
ShareScore release 0.9.0
Dataset results
52 results for “certificates”
Patents and certificates of addition granted in France from 1880 to 1903 by class of industry
<p><strong>**TITRE**</strong><br> Etat des brevets d'invention et des certificats d'addition délivrés en France entre 1880 et 1903 par classes d'industrie</p> <p><strong>**VARIABLES**</strong><br> CLASS : le nom donné est le nom de la classe d'industrie qui apparaît dans la source originale.</p> <p>SUB-CLASS : le nom donné est le nom de la sous-classe d'industrie qui apparaît dans la source originale.</p> <p>TYPE : brevets d'invention ou certificats d'addition</p> <p>YEAR : année de délivrance<br> NUMBER : le nombre de brevets d'invention et de certificats d'addition délivrés.</p> <p><strong>**SOURCES**</strong></p> <p><em>La propriété industrielle : organe officiel du Bureau international de l'Union pour la protection de la propriété industrielle</em></p> <p><br> année 1880 à 1884 : 1885/12, p. 13 ; année 1885<em> </em>:<em> </em>1886/8, p. 62 ; année 1886 : 1887/9, p. 72 ; année 1887 : 1889/5, p. 73 ; année 1888 : 1889/6, p. 90 ; année 1889 : 1890/07, p. 86 ;</p> <p>année 1890 : 1891/08, p. 110 ; année 1891 : 1892/08, p. 134 ; année 1892 : 1893/07, p. 100 ; année 1893 : 1894/08, p. 102 ; année 1894 : 1896/05, p. 81; année 1895 : 1897/02, p. 32; année 1896 : 1898/06, p. 100; année 1897 : 1899/01, p. 16 ; année 1898 : 1900/03, p. 55 ; année 1899 : 1900/08, p. 140 ;</p> <p>année 1900 : 1902/02, p. 32 ; année 1901 : 1903/03, p. 52 ; année 1902 : 1904/04, p. 72 ; année 1903 : 1906/03, p. 48.</p> <p>--------------------------------------------------------------------------------------------------</p> <p><strong>**TITLE**</strong><br> Number of patents granted and certificates of addition in France between 1880 and 1903 by classes of industry</p> <p><strong>**VARIABLES**</strong></p> <p>CLASS : the name given is the one of the class of industry that appears in the original source (in French).</p> <p>SUB-CLASS : the name given is the one of the sub-class of industry that appears in the original source (in French).</p> <p>TYPE : Patent (brevets) or certificate of addition</p> <p>YEAR : year of issue<br> <br> NUMBER : the number of patents and certificates of addition granted.</p> <p> </p> <p><strong>**SOURCES**</strong><br> <em>La propriété industrielle : organe officiel du Bureau international de l'Union pour la protection de la propriété industrielle</em></p> <p>year 1880 to 1884 : 1885/12, p. 13 ; year 1885 : 1886/8, p. 62 ; year 1886 : 1887/9, p. 72 ; year 1887 : 1889/5, p. 73 ; year 1888 : 1889/6, p. 90 ; year 1889 : 1890/07, p. 86 ;</p> <p>year 1890 : 1891/08, p. 110 ; year 1891 : 1892/08, p. 134 ; year 1892 : 1893/07, p. 100 ; year 1893 : 1894/08, p. 102 ; year 1894 : 1896/05, p. 81; year 1895 : 1897/02, p. 32; year 1896 : 1898/06, p. 100; year 1897 : 1899/01, p. 16 ; year 1898 : 1900/03, p. 55 ; year 1899 : 1900/08, p. 140 ;</p> <p>year 1900 : 1902/02, p. 32 ; year 1901 : 1903/03, p. 52 ; year 1902 : 1904/04, p. 72 ; year 1903 : 1906/03, p. 48.</p>
A SAT-based Resolution of Lam's Problem (SAT instances and certificates)
<p>This repository contains SAT instances and certificates accompanying the paper "A SAT-based Resolution of Lam's Problem" appearing at <a href="https://aaai.org/Conferences/AAAI-21/">AAAI 2021</a>. This paper developed a method to generate certificates proving the nonexistence of a word of weight 19 in the code generated by a projective plane of order ten. Together with previously computed certificates this solves Lam's Problem.</p> <p>The 'a1' archive contains a certificate showing that there are exactly 66 A1 matrices up to isomorphism. Run the provided check.sh script to verify the certificate.</p> <p>The 'a2' archive contains certificates showing that there are exactly 650,370 A2 matrices up to isomorphism. Run the provided check.sh script to verify the certificates.</p> <p>The 'main' archive contains precomputed SAT instances for each of the A2 matrices up to isomorphism and partial solutions of the SAT instances. The main certificates may be generated and verified by extracting the main archive into the weight19/main directory of the MathCheck2 repository for Lam's problem (available from <a href="https://bitbucket.org/cbright/mathcheck2/src/master/">bitbucket.org/cbright/mathcheck2</a> or in the lams-problem-code.7z archive) and running the driver.sh script. The final-step/solve.sh script verifies that no partial solution can be completed to a full incidence matrix of a projective plane of order ten.</p>
Data from: Effects of forest certification on the ecological condition of Mediterranean streams
1. Forest certification, a proxy for sustainable forest management, covers more than 10% of the world's forests. Under forest certification, forest managers and landowners must comply with environmental, economic and social management standards aiming to promote forest conservation. Despite an increasing area of certified forests, there is a dearth of data on how forest certification is affecting the conservation of forest ecosystems and associated habitats. 2. Here we assess the effects of Forest Stewardship Council (FSC) certification, one of the largest certification schemes in the world, on the ecological condition of streams crossing Mediterranean evergreen oak woodlands. 3. We used the Stream Visual Assessment Protocol (SVAP) to compare the ecological condition of streams located in areas with three and five years of certification, in non-certified areas and in least-disturbed streams. 4. Forest certification positively affected the ecological condition of the surveyed streams but its effects were only measurable after five years of certification. Streams with five years of certification had more continuous, dense and diverse riparian vegetation when compared to streams located in non-certified areas. Moreover, the condition of streams located in areas with five years of forest certification was similar to the condition of least- disturbed streams. 5. Synthesis and applications. Forest certification promotes the ecological condition of streams occurring within Mediterranean evergreen oak woodlands. This mainly happens because in areas under forest certification managers and landowners have to comply with management practices that require them to remove or reduce the main causes for stream degradation, allowing riparian habitats to recover. Within landscapes with large and increasing areas under forest certification, such as the Mediterranean cork oak woodlands, the positive effects of certification on the ecological condition of streams may spread across the hydrographic network in the medium to long term.
Developing a global biodiversity standard certification for tree-planting and restoration: Tutorials for standardizing species names with WorldFlora
<p>This archive provides <a href="https://rmarkdown.rstudio.com/lesson-1.html">R Markdown files (.Rmd files)</a> containing scripts used to standardize tree species names downloaded from the <a href="https://www.bgci.org/resources/bgci-databases/globaltree-portal/">GlobalTree Portal</a> for different countries with national hubs for the <a href="https://www.darwininitiative.org.uk/project/DAREX001/">Developing a global biodiversity standard certification for tree-planting and restoration</a> project.</p> <p>The R Markdown files were modified from <a href="https://rpubs.com/Roeland-KINDT/1134151">a recent Rpub</a> where I standardized tree species names from <a href="https://tools.bgci.org/global_tree_search.php">GlobalTreeSearch</a> version 1.7. One of my objectives during a training workshop held in January 2024 with national hub partners at the <a href="https://sitioduascachoeiras.org.br/">Jardim Botânico Araribá, Sítio Duas Cachoeiras</a>, site in Brazil was to show how R Markdown files can be easily modified to analyse different data sets.</p> <p> </p> <p>This publication was generated after conducting training for a <strong>Darwin Initiative project</strong> (<a href="https://www.darwininitiative.org.uk/project/DAREX001/">DAREX001</a>) that develops a <a href="https://www.biodiversitystandard.org/">Global Biodiversity Standard for tree planting</a>. Recently the <a href="https://www.nature.com/articles/s41598-023-39552-1">GlobalUsefulNativeTrees</a> and <a href="https://onlinelibrary.wiley.com/doi/10.1111/gcb.16914">Tree Globally Observed Environmental Ranges</a> databases were released from this project. With scripts such as the ones shown here, when the Global Biodiversity Standard scheme becomes operational, tree planting projects can crosscheck lists of species before applying.</p>
CARPE Database of Empirical Research on Assessment for the Leaving Certificate in Ireland (May 2024)
<p>This is the download site for the <strong>CARPE Database of Empirical Research on Leaving Certificate Assessment in Ireland (May 2024). </strong>We hope that this database will act as a guide and resource for any future research regarding the Leaving Certificate and the assessment methods used therein. If you do use this database as a reference or tool, please cite it as:</p> <p>Lehane, P., O'Connor, G. & O'Leary, M. (2024). <em>CARPE Database of Empirical Research on Leaving Certificate Assessment in Ireland </em>[Database]. Dublin City University. </p> <p>We realise that there are current and future studies that should be included in this database now and in the years to come. We intend on updating this database on an annual basis with missing or new studies. If you wish to suggest an empirical study that could be added to this database, please fill in the relevant details on this <a href="https://forms.gle/ggi53t1psYXJXqi77">Google Form</a>. </p>
Certificates and Witnesses for Multi-Objective Queries in Markov Decision Processes - Artefact - PEVA
<p><strong>Summary</strong><br>This artifact accompanies the PEVA submission "Certificates and Witnesses for Multi-Objective Queries in Markov Decision Processes". It contains the implementation (<code>switss-multi</code>) of the presented techniques, that is, the computation of certificates, witnessing subsystems and schedulers for multi-objective queries in MDPs. Further, the artifact contains the PRISM models, PRISM properties and scripts bundled in a Docker image for completely reproducing the experimental results presented in Section 6. Additionally, it also contains the original raw experimental data presented in Section 6 and the corresponding analysis scripts. Lastly, we provide a documentation of our implementation <code>switss-multi</code> and describe how to use our tool via its command-line and programmatically via its Python interface.</p> <p><strong>Relation to paper</strong><br>This artifact can be used to reproduce all the experimental results (including examples) presented in the paper, that is:<br>- The toy examples presented in Example 12, Example 14, Example 22 and Example 34<br>- Table 3 in Section 6<br>- Table 4 in Section 6<br>- Table 5 in Section 6<br>- Table 8 in Section 6<br>- Figure 9 in Section 6<br>- Figure 10 in Section 6<br>- Figure 11 in Section 6</p> <p><strong>Structure</strong><br>This artifact consists of the following files and folders:<br>- <code>data</code>: Contains original raw experimental data presented in Section 6. Additionally, the log files and scripts for summarizing the raw experimental data are provided.<br>- <code>switss-multi/experiments</code>: Contains the PRISM models, PRISM properties (queries) and scripts for running the experiments.<br>- <code>switss-multi</code>: The source code of the implementation of our presented techniques.<br>- <code>switss-multi-docs</code>: A documentation of the Python API of <code>switss-multi</code>.<br>- <code>peva-docker-image.tar.gz</code>: The compressed Docker image, with the installed implementation (<code>switss-multi</code>), PRISM models, PRISM properties and the scripts for running the experiments and analysing the raw experimental data. Moreover, it contains a copy of the <code>data</code> folder, in case you want to run the analysis scripts on the original data.<br>- <code>docker-results</code>: An empty folder that will be populated with results when running the experiments and analysis with the provided Docker image.<br>- <code>LICENSE</code>: The license of this artifact (MIT license).<br>- <code>GUROBI-EULA</code>: The end-user license agreement of Gurobi (also see https://pypi.org/project/gurobipy/).<br>- <code>GPL-3.0</code>: The GPL 3.0 license. It is included because our dependency Storm (https://www.stormchecker.org) is licensed under it.</p>
Linkage of hospital records and death certificates by a search engine and machine learning: training and test set data
<p>INTRODUCTION: Vital status is of central importance to hospital clinical research. However, hospital information systems record only in-hospital death information. Recently, the French government released a publicly available dataset containing death-certificate data for over 25 million individuals. The objective of this study was to link French death certificates to the Bordeaux University Hospital records to complete the vital status information.</p> <p>MATERIALS AND METHODS: Our linkage strategy was composed of a search engine to reduce the number of comparisons and machine-learning algorithms. The overall pipeline was evaluated by assembling a file containing 3,565 in-hospital deaths and 15,000 alive persons.</p> <p>RESULTS: The recall and precision of our linkage strategy were 97.5% and 99.97% for the upper threshold and 99.4% and 98.9% for the lower threshold, respectively.</p> <p>CONCLUSION: In this article, we demonstrated the feasibility of accurately linking hospital records with death certificates using a search engine and machine learning.</p>
Certificates and Witnesses for Multi-Objective Queries in Markov Decision Processes - QEST 2024 Artefact
<p>This artifact accompanies the QEST+FORMATS 2024 paper "Certificates and Witnesses for Multi-Objective Queries in Markov Decision Processes" (<a href="https://arxiv.org/abs/2406.08175">arXiv</a>). It contains the implementation (<code>switss-multi</code>) of the presented techniques, that is, the computation of certificates, witnessing subsystems and schedulers for multi-objective queries in MDPs. Further, the artifact contains the PRISM models, PRISM properties and scripts bundled in a Docker image for completely reproducing the results presented in Section 5 and Appendix D. Additionally, it also contains the original raw experimental data presented in Section 5 and Appendix D and the corresponding analysis scripts. Lastly, we provide a documentation of our implementation <code>switss-multi</code> and describe how to use our tool via its command-line and programmatically via its Python interface.</p> <p><strong>Relation to paper</strong><br>This artifact can be used to reproduce all the experimental results (including examples) presented in the paper, that is:<br>- The toy examples presented in Example 1 and Example 2<br>- Table 1 in Section 5<br>- Table 3 in Appendix D<br>- Figure 5 in Appendix D<br>- Figure 6 in Appendix D<br>- Table 4 in Appendix D</p> <p><strong>Aritfact structure</strong><br>This artifact consists of the following files and folders:<br>- <code>data</code>: Contains the PRISM models, PRISM properties (queries) and original raw experimental data presented in Section 5 and Appendix D. Additionally, the log files and scripts for summarizing the raw experimental data are provided.<br>- <code>switss-multi</code>: The source code of the implementation of our presented techniques.<br>- <code>switss-multi-docs</code>: A documentation of the Python API of <code>switss-multi</code>.<br>- <code>qest-docker-image.tar.gz</code>: The compressed Docker image, with the installed implementation (<code>switss-multi</code>), PRISM models, PRISM properties and the scripts for running the experiments and analysing the raw experimental data. Moreover, it contains a copy of the <code>data</code> folder, in case you want to run the analysis scripts on the original data.<br>- <code>docker-results</code>: An empty folder that will be populated with results when running the experiments and analysis with the provided Docker image.<br>- <code>LICENSE</code>: The license of this artifact (MIT license).<br>- <code>GUROBI-EULA</code>: The end-user license agreement of Gurobi (also see https://pypi.org/project/gurobipy/).<br>- <code>GPL-3.0</code>: The GPL 3.0 license. It is included because our dependency Storm (https://www.stormchecker.org) is licensed under it.</p> <p><strong>Note on the versions:</strong> The first version (v1) contains the data and implementation at the point of the paper submission. The second version (v2) contains a Docker image and more detailed documentation and was evaluated by the QEST+FORMATS 2024 Artifact Evaluation Comittee and awarded the artifact evaluation badge. This version (v3) incorporates the feedback of the QEST+FORMATS 2024 artifact evaluation and contains improvements on the second version (v2).</p> <p><strong>Acknowledgments:</strong> We would like to thank the anonymous reviewers in the QEST+FORMATS Artifact Evaluation Committee for their valuable feedback. The authors were supported by the German Federal Ministry of Education and Research (BMBF) within the project SEMECO Q1 (03ZU1210AG) and by the German Research Foundation (DFG) through the Cluster of Excellence EXC 2050/1 (CeTI, project ID 390696704, as part of Germany’s Excellence Strategy) and the DFG Grant 389792660 as part of TRR 248 (Foundations of Perspicuous Software System).</p>
Implementation of Rest-API in the Integration of Diploma Supplement Certificate Application
<p>This material has presented on 2nd International Conference on Advanced Research in Engineering and Technology in October 25, 2023.</p>
Data of "Efficient and Device-Independent Active Quantum State Certification"
<p>Dataset and analysis code for the manuscript "Efficient and Device-Independent Active Quantum State Certification"</p>
Linear cross-entropy certification of quantum computational advantage in Gaussian Boson Sampling
<p>This repository contains the data used to obtain the numerical results of the paper "Linear cross-entropy certification of quantum computational advantage in Gaussian Boson Sampling" (https://arxiv.org/abs/2403.15339).</p>
AWS Certification Training
<p><a href="https://www.learnsoft.org/">learnsoft.org</a>'s AWS Certification Training is designed to help learners build strong cloud skills through in-depth, hands-on experience with Amazon Web Services. Covering core <a href="https://www.learnsoft.org/course/aws-training-in-chennai">AWS</a> services, cloud architecture, and security, this training prepares students for various AWS certifications, including Solutions Architect, Developer, and SysOps Administrator. The program combines expert-led instruction, real-world labs, and exam-focused preparation, ensuring participants gain the practical knowledge needed to succeed in cloud computing roles</p>
Code for "Experimental certification of contextuality, coherence and dimension in a programmable universal photonic processor"
<p>Code written, and data collected as part of the paper "Experimental certification of contextuality, coherence and dimension in a programmable universal photonic processor". The code corresponds to the data generated by a quadratic SDP solved using CVXPY.</p>
RESCUE: European Certification for Second Victim Support
ClinicalTrials.gov study NCT06888297. IPD Sharing: YES. Countries: 1. Publications: 8.
Death Certificate Analysis at Colombian Orinoquia: A Retrospective Observational Trial.
ClinicalTrials.gov study NCT05739305. IPD Sharing: NO. Countries: 1. Publications: 10.
Data from: Social and environmental impacts of forest management certification in Indonesia
Open the record for dataset details and reuse information.
Linkage of hospital records and death certificates by a search engine and machine learning: training and test set data
Open the record for dataset details and reuse information.
Data from: Effects of forest certification on the ecological condition of Mediterranean streams
Open the record for dataset details and reuse information.
Precise certification of qubit space
<p>Data for <em>Precise certification of qubit space</em> paper.</p>
Faulconer 2024 ERAU Textbook Affordability Champion Certificate
Open the record for dataset details and reuse information.
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.