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.
8
datasets available to search
ShareScore release 0.9.0
Dataset results
8 results for “Software Tutorials”
Imalys: ESIS-Software-Tools – Tutorial Data
<p>Imalys is a <a href="https://codebase.helmholtz.cloud/esis/Imalys">software library</a> in the <a href="https://doi.org/10.3390/rs16071139">ESIS project</a>. The Imalys library includes a <a href="https://codebase.helmholtz.cloud/esis/Imalys/tutorial">tutorial</a> that shows how image and vector data can be analyzed and transformed into new products. The examples in the tutorial refer to the sample data in <strong>Imalys_tutorial_data.zip</strong>.</p> <p>The software repository with source code, binaries, documents and the tutorials is available on <a href="https://codebase.helmholtz.cloud/esis/Imalys">GitLab</a> and in an earlier version on <a href="https://github.com/c7sepe2/Imalys_ESIS-Software-Tools">GitHub</a>.</p> <p>In the <a href="https://doi.org/10.3390/rs16071139">ESIS project</a> we are trying to put environmental indicators on a well-defined and reproducible basis. The ESIS software library "Imalys" is supposed to generate the remote sensing products defined for ESIS. Landscape diversity, change and different landuse types can be analyzed in time and space. Landuse borders can be delineated and typical landscape structures can be characterized by a self adjusting process.</p> <p><strong>Acknowledgements:</strong></p> <p>We thank the Helmholtz Association and the Federal Ministry of Education and Research (BMBF) for supporting the DataHub Initiative of the Research Field Earth and Environment. The DataHub enables an overarching and comprehensive research data management, following FAIR principles, for all topics in the Program Changing Earth – Sustaining our Future.</p> <p>Parts of the work was funded by the Federal Ministry for Digital and Transport of Germany (BMDV, grant no. 45KI19D041, Artificial Intelligence and Mobility - AIAMO project).</p>
Tutorial videos of MEFisTo software and other UVic ECE 340 course content
<p>An assemblage of tutorial videos and content that document the usage of MEFisTo software and detail example questions from the <em>Fundamentals of Applied Electromagnetism</em> textbook by Ulaby <strong>2014</strong>. These materials were used for the ECE 340 course at the University of Victoria in Winter 2021.</p>
Instructions for ContinuousFlex software installation and Tutorial for running MDSPACE and MDTOMO with test datasets
<p>Instructions for ContinuousFlex software installation and Tutorial for running MSPACE and MDTOMO methods of ContinuousFlex, together with test datasets. The ContinuousFlex installation instructions also include the instructions for installing Scipion, Xmipp, ChimeraX, and VMD (required for using ContinuousFlex). This distribution was prepared for the practical session of AlgoSB 2023 thematic school (Novembre 20 - 24, 2023, Cargese, France) on hybrid methods MDSPACE and MDTOMO for obtaining continuous conformational landscapes from cryo electron microscopy and cryo electron tomography data. Instructions for the software installation are in Instructions-Installation-ContinuousFlex.txt. The tutorial for the practical session is in MDSPACE_Tutorial_v4.docx and MDSPACE_Tutorial_v4.pdf.</p>
Reproduction Package for FM 2024 Article `Software Verification with CPAchecker 3.0: Tutorial and User Guide'
<p>This package allows you to check the claims of our FM 2024 tutorial paper<br><em>Software Verification with CPAchecker 3.0: Tutorial and User Guide</em>.</p> <p>See the <strong>README.html</strong> for more information.</p> <p>Abstract:<br><em>This tutorial provides an introduction to CPAchecker for users. CPAchecker is a flexible and configurable framework for software verification and testing. The framework provides many abstract domains, such as BDDs, explicit values, intervals, memory graphs, and predicates, and many program-analysis and model-checking algorithms, such as abstract interpretation, bounded model checking, Impact, interpolation-based model checking, k-induction, PDR, predicate abstraction, and symbolic execution. This tutorial presents basic use cases for CPAchecker in formal software verification, focusing on its main verification techniques with their strengths and weaknesses. An extended version also shows further use cases of CPAchecker for test-case generation and witness-based result validation. The envisioned readers are assumed to possess a background in automatic formal verification and program analysis, but prior knowledge of CPAchecker is not required. This tutorial and user guide is based on CPAchecker in version 3.0. This user guide’s latest version and other documentation are available at <a href="https://cpachecker.sosy-lab.org/doc.php">https://cpachecker.sosy-lab.org/doc.php</a>.</em></p> <p> </p>
Spam: Software for Practical Analysis of Materials - datasets for tutorials
<p>Datasets for <a href="https://ttk.gricad-pages.univ-grenoble-alpes.fr/spam/intro.html">spam tutorials</a>:</p> <ul> <li><strong>VEC4</strong> dataset from E.M. Charalampidou, E. Tudisco, S.A. Hall <ul> <li><a href="https://theses.fr/2011GRENI090">Experimental details available here: Charalampidou, E.M. (2011), "Experimental study of localised deformation in porous sandstones", <em>PhD Thesis</em></a></li> <li>This dataset is two x-ray tomography scans of a notched sandstone sample scanned before and after deformation in an external rig.<br> There is a rigid body displacement between the two scans that can be taken into account nicely with a registration.<br> Scans from Laboratoire 3SR, Grenoble.<br> </li> </ul> </li> <li><strong>M2EA05</strong> dataset from E. Andò, G. Viggiani and J. Andrade.<br> This data already used in the following papers for comparison to numerical simulations: <ul> <li><a href="https://doi.org/10.1016/j.jmps.2016.02.021">Kawamoto, R., Andò, E., Viggiani, G., & Andrade, J. E. (2016). Level set discrete element method for three-dimensional computations with triaxial case study. <em>Journal of the Mechanics and Physics of Solids</em>, <em>91</em>, 1-13</a></li> <li><a href="https://doi.org/10.1680/jgeot.18.T.030">Nadimi, S., Fonseca, J., Andò, E., & Viggiani, G. (2019). A micro finite-element model for soil behaviour: experimental evaluation for sand under triaxial compression. <em>Géotechnique</em>, 1-6</a></li> <li>This dataset is a series of x-ray tomographies acquired during the triaxial compression of a small sample of a "Martian Simulant" soil, performed in Laboratoire 3SR, Grenoble.<br> </li> </ul> </li> <li> <p><strong>c01_F10_b4</strong> dataset from O. Stamati, E. Roubin, E. Andò and Y. Malecot</p> <ul> <li> <p><em>This dataset belongs to a paper which is under review</em></p> </li> <li> <p>This is a 4-binned x-ray tomography of a small cylindrical sample of <em>micro-concrete</em><br> Scans from Laboratoire 3SR, Grenoble.<br> </p> </li> </ul> </li> <li> <p><strong>SandNX</strong> dataset from M. Milatz</p> <ul> <li> <p><em>The dataset is currently being analysed further</em></p> </li> <li> <p>See this publication for the experimental setup: <a href="https://doi.org/10.1007/s11440-020-00922-y">Milatz, M. (2020). An automated testing device for continuous measurement of the hysteretic water retention curve of granular media. <em>Acta Geotechnica</em>, 1-19</a><br> Data acquired on NeXT-Grenoble, a simultaneous Neutron and X-ray scanner at the ILL in Grenoble (<a href="https://dx.doi.org/10.5291/ILL-DATA.UGA-73">Experiment UGA-73</a>).<br> Neutron tomography has had a x0.7 downscale to bring it approximately in line with the pixel size for the x-ray tomography.<br> </p> </li> </ul> </li> <li> <p><strong>YehyaConcreteNX</strong> dataset from M. Yehya, A. Tengattini, E. Andò, F. Dufour</p> <ul> <li> <p><a href="https://doi.org/10.1016/j.nima.2018.02.039">Yehya, M., Ando, E., Dufour, F., & Tengattini, A. (2018). Fluid-flow measurements in low permeability media with high pressure gradients using neutron imaging: Application to concrete. <em>Nuclear Instruments and Methods in Physics Research Section A: Accelerators, Spectrometers, Detectors and Associated Equipment</em>, <em>890</em>, 35-42</a></p> </li> <li> <p>Data acquired on NeXT-Grenoble, a simultaneous Neutron and X-ray scanner at the ILL in Grenoble (<a href="https://dx.doi.org/10.5291/ILL-DATA.UGA-25">Experiment UGA-25</a>).</p> </li> </ul> </li> </ul>
Appendix for "Properties and Styles of Software Technology Tutorials"
<p>This artifact contains details of the resource collection, analysis scripts, and data analyzed in the paper "Properties and Styles of Software Technology Tutorials" by Deeksha M. Arya, Jin L.C. Guo, and Martin P. Robillard.</p>
Appendix for "A Data-Centric Study of Software Tutorial Design"
<p>This appendix contains details of the systematic study methodology and an evaluation sample of the data necessary to independently validate and replicate the findings on tutorial design that are presented in the paper "A Data-Centre Study of Software Tutorial Design".</p>
Tutorial videos on the application of XPS inelastic background for characterization of composition and morphology of nano-structures with QUASES software
<p>The tutorial videos illustrate the application of XPS inelastic background analysis for characterization of composition and morphology of nano-structures with QUASES software.</p> <p><strong>For an introduction to the method, see:</strong><br> S. Tougaard "Practical guide to the use of backgrounds in quantitative XPS." <em>J Vac Sci Technol A</em>. 2021;39:011201. doi:10.1116/6.0000661<br> S. Tougaard "Accuracy of the non-destructive surface nanostructure quantification technique based on analysis of the XPS or AES peak shape". <em>Surf Interface Anal</em>. 1998;26(4):249-269. doi:<a href="https://doi-org.proxy1-bib.sdu.dk/10.1002/(SICI)1096-9918(199804)26:4%3C249::AID-SIA368%3E3.0.CO;2-A">https://doi-org.proxy1-bib.sdu.dk/10.1002/(SICI)1096-9918(199804)26:4<249::AID-SIA368>3.0.CO;2-A</a></p> <p> </p> <p>The inelastic background analysis was done with the QUASES-Tougaard software . See www. quases.com.</p> <p>It is recommended to read first the short description in the pdf file: <strong>Guide to the 14 posted videos.pdf.</strong> This explains briefly the purpose of each video. </p> <p>To best understand what is done in Video 9 ("9.Practical procedure to correct for elastic electron scattering.mp4") you should first watch Video 8, then Video 6 and then Video 9.</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.