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.
221
datasets available to search
ShareScore release 0.9.0
Dataset results
221 results for “formalization”
Abstraction-based Trace Generation to Validate Semantics of Formal Verifiers: Validation Model Suite
<p>Dataset of the Scientific Students’ Association Report titled Abstraction-based Trace Generation to Validate Semantics of Formal Verifiers.</p> <p>These files contain the validation model test suite and the generated traces. The models and traces are in the format of the Gamma modeling tool.</p> <p><em>validation-model-suite/model/package<Letter>/model<Number> </em>contains the files for a given model:<br> - stm.gcd is the statemachine,<br> - default.ggen (and in Package F also abstraction.ggen) is the Gamma script executing trace generation and the generated traces can be found in the default (and abstraction) directories.<br> The report of Theta on possible coverage violation is in the traces directory (report.txt).</p> <p> </p> <p>The prototype implementation of trace generation can be found at: https://github.com/AdamZsofi/gamma/tree/dev-tracegen</p>
FIGURE 4 in Critical evaluation of two published descriptions of the same species of Ceratozamia (Zamiaceae) from northern Oaxaca, Mexico, and the formal synonymization of C. martinezii under C. aurantiaca
FIGURE 4. Leaflet vein comparison: (A) conspicuous, translucent veins of Ceratozamia zoquorum Pérez-Farr., Vovides & Iglesias (2001: 175); (B) inconspicuous, slightly translucent, light green veins of C. aurantiaca. Both leaflets were taken from old, mature leaves.
FIGURE 2 in Critical evaluation of two published descriptions of the same species of Ceratozamia (Zamiaceae) from northern Oaxaca, Mexico, and the formal synonymization of C. martinezii under C. aurantiaca
FIGURE 2. Leaflet texture comparison: (A) papyraceous leaflet of Ceratozamia miqueliana H.Wendl. (1854: 68) bends easily; (B) coriaceous leaflet of C. aurantiaca cracks upon bending. Both leaflets were taken from old, mature leaves.
FIGURE 1 in Critical evaluation of two published descriptions of the same species of Ceratozamia (Zamiaceae) from northern Oaxaca, Mexico, and the formal synonymization of C. martinezii under C. aurantiaca
FIGURE 1. Ceratozamia aurantiaca at Fairchild Tropical Botanic Garden in FL, USA: (A) large adult plant growing in full sun; (B) closeup of characteristic orange emerging leaves.
Dataset of the paper: "Creating Common Ground: Formalizing and Designing an Employee-driven Innovation Process with Decision Points"
<p>All practical artifacts of the submitted PACIS2023 paper with the title "Creating Common Ground: Formalizing and Designing an Employee-driven Innovation Process with Decision Points"</p>
Participación, consumo y cultura de la remezcla en TikTok: prácticas creativas por adolescentes españoles más allá de los contextos educativos formales
<p>Base de datos de la investigación cuantitativa y cualitativa realizada a la muestra indicada. </p>
Formal vs. Home-Based Physical Therapy After Unicompartmental Knee Arthroplasty
ClinicalTrials.gov study NCT02883998. IPD Sharing: NO. Countries: 1. Publications: 1.
Early Detection of and Intervention Towards Chronic Diseases Among Individuals Without Formal Education
ClinicalTrials.gov study NCT01979107. IPD Sharing: Not stated. Countries: 1. Publications: 2.
Independent Exercise Compared With Formal Rehabilitation Following Primary Total Knee Replacement
ClinicalTrials.gov study NCT01826305. IPD Sharing: Not stated. Countries: 1. Publications: 15.
Reverse Shoulder Replacement: Formal vs. Home Physiotherapy
ClinicalTrials.gov study NCT03430167. IPD Sharing: NO. Countries: 1. Publications: 23.
Data from: Opportunities to integrate herders’ indicators into formal rangeland monitoring: an example from Mongolia
Open the record for dataset details and reuse information.
Data from: Leaving the shadows behind? Effects of domestic workers reform on mothers’ formal employment
Open the record for dataset details and reuse information.
Formal Ontologies in Information Systems Development: a Systematic Review
<p>Information resources considered in single PRISMA stages.</p>
Figures 23-28 from: Bächli G, Vilela CR (2020) On the identity of Paracacoxenus kaszabi Okada, with the formal description of a new closely related species (Diptera, Drosophilidae). Alpine Entomology 4: 1-20. https://doi.org/10.3897/alpento.4.49492
Figures 23-28 Paracacoxenus macai sp. nov., ♂ paratype # 277, Schmelz (940 m), Trentino, Bolzano, Parco Nazionale dello Stelvio, Italy, 24.VI.-4.VII.2005, Lange and Ziegler leg. (ZMB) 23 Habitus, left lateral view 24 Habitus, oblique dorsal view 25 Habitus, dorsal view 26 Abdomen, dorsal view 27 Head and thorax, close-up, left lateral view 28 Abdomen and terminalia close-up, left lateral view. Scale bars: 0.5 mm (27, 28); 1.0 mm (23–26).
Figures 21- 22 from: Bächli G, Vilela CR (2020) On the identity of Paracacoxenus kaszabi Okada, with the formal description of a new closely related species (Diptera, Drosophilidae). Alpine Entomology 4: 1-20. https://doi.org/10.3897/alpento.4.49492
Figures 21- 22 Paracacoxenus kaszabi Okada, ♂ paratype, Central aimak, Ulan-Baator, Nucht im Bogdo ul, Mongolia (HNHM) 21 Three-branched inner paraphysis, outer paraphysis and aedeagal apodeme, anterior (dorsal) view 22 Three-branched inner paraphysis, outer paraphysis and aedeagal apodeme, oblique posterior view. Abbreviations: a = proximal branch; b = mediodorsal branch; c = distal branch. Scale bar: 0.1 mm.
Figures 56-59 from: Bächli G, Vilela CR (2020) On the identity of Paracacoxenus kaszabi Okada, with the formal description of a new closely related species (Diptera, Drosophilidae). Alpine Entomology 4: 1-20. https://doi.org/10.3897/alpento.4.49492
Figures 56-59 Paracacoxenus macai sp. nov., ♂ non-type specimen, Bohemia mer. Soběslav-okolí, Czech Republic, 17.06.1975, J. Máca leg. (PCJM) 56 Terminalia, left lateral view (in focus: all sclerites) 57 Terminalia, dorsal view (in focus: epandrium, cerci, hypandrium, paraphyses and aedeagal apodeme) 58 Syntergite 6 + 7, right lateral view 59 Syntergite 6 + 7, posterior view. Scale bars: 0.1 mm.
Figures 10-12 from: Bächli G, Vilela CR (2020) On the identity of Paracacoxenus kaszabi Okada, with the formal description of a new closely related species (Diptera, Drosophilidae). Alpine Entomology 4: 1-20. https://doi.org/10.3897/alpento.4.49492
Figures 10-12 Paracacoxenus kaszabi Okada, ♂ paratype, Central aimak, Ulan-Baator, Nucht im Bogdo ul, Mongolia (HNHM) 10 Terminalia, oblique dorsal view 11 Terminalia, left lateral view 12 Terminalia, oblique ventral view. Scale bar: 0.1 mm.
Figures 13-16 from: Bächli G, Vilela CR (2020) On the identity of Paracacoxenus kaszabi Okada, with the formal description of a new closely related species (Diptera, Drosophilidae). Alpine Entomology 4: 1-20. https://doi.org/10.3897/alpento.4.49492
Figures 13-16 Paracacoxenus kaszabi Okada, ♂ paratype, Central aimak, Ulan-Baator, Nucht im Bogdo ul, Mongolia (HNHM) 13 Terminalia, dorsal view (in-focus: epandrium, cerci, tips of aedeagus and inner paraphyses) 14 Terminalia, dorsal view (in-focus: all sclerites) 15 Terminalia, posterior view 16 Terminalia, anterior view. Scale bar: 0.1 mm.
Figures 29-34 from: Bächli G, Vilela CR (2020) On the identity of Paracacoxenus kaszabi Okada, with the formal description of a new closely related species (Diptera, Drosophilidae). Alpine Entomology 4: 1-20. https://doi.org/10.3897/alpento.4.49492
Figures 29-34 Paracacoxenus macai sp. nov., ♂ non-type specimen, Bohemia mer., Soběslav-okolí, Czech Republic, 20.05.1999, J. Máca leg. (PCJM) 29 Habitus, left lateral view 30 Habitus, oblique dorsal view 31 Habitus, dorsal view 32 Abdomen, dorsal view: 33 Abdomen close-up, left lateral view [note partially extruded aedeagus and distal branch of inner paraphysis: compare with Bächli and Vilela (2011): p. 130, fig. 11A] 34 Terminalia close-up, posterior view. Scale bars: 0.5 mm (33, 34); 1.0 mm (29–32).
Figures 35-38 from: Bächli G, Vilela CR (2020) On the identity of Paracacoxenus kaszabi Okada, with the formal description of a new closely related species (Diptera, Drosophilidae). Alpine Entomology 4: 1-20. https://doi.org/10.3897/alpento.4.49492
Figures 35-38 Paracacoxenus macai sp. nov., ♂ non-type specimen, Bohemia mer., Soběslav-okolí, Czech Republic, 20.05.1999, J. Máca leg. (PCJM) 35 Terminalia, left lateral view (in-focus: all sclerites, including ejaculatory apodeme) 36 Terminalia, dorsal view (in-focus: epandrium, surstyli, cerci and ejaculatory apodeme [lateral view]) 37 Terminalia, dorsal view (in focus: aedeagus, distal section of decasternum, inner paraphyses, aedeagal apodeme and ejaculatory apodeme [lateral view]) 38 Terminalia, dorsal view (in focus: outer paraphyses, anterior regions of hypandrium and of inner paraphyses). Scale bar: 0.1 mm.
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.