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”
FIGURE 11 in A new genus and new species of fan worms (Polychaeta: Sabellidae) from Atlantic and Pacific Oceans—the formal treatment of taxon names as explanatory hypotheses
FIGURE 11. Sabellomma harrisae gen. nov., sp. nov. A–B: live specimens; C: total worm, dorsal view; D: total worm, ventral view; E: total worm, right lateral view; F: anterior end, right lateral view; G: detail of anterior end, right lateral view; H: anterior end, dorsal view; I: anterior end, ventral view; J: posterior end, left ventro-lateral view. Photos A–B from paratype 11 (LACM-AHF POLY 2424; no track for other specs in photo B), courtesy L. Harris; photos C–J from holotype (LACM-AHF 2413). Scale bars: C–E = 0.5 mm; F = 0.4 mm; G, J = 0.2 mm; H–I = 0.3 mm.
FIGURE 9 in A new genus and new species of fan worms (Polychaeta: Sabellidae) from Atlantic and Pacific Oceans—the formal treatment of taxon names as explanatory hypotheses
FIGURE 9. Sabellomma collinae gen. nov., sp. nov. A: collar chaetae; B: notochaetae from segment 4; C: neurochaetae from segment 13; D: notochaeta from anterior row from segment 13; E: notochaeta from posterior row from segment 13; F: neurochaetae from segment 4; G–H: uncini from segment 15. All photos from paratype 6 (LACM-AHF 2410). Scale bars: A–B, D = 30 µm; C, E = 25 µm; F = 20 µm; G–H = 10 µm.
FIGURE 12 in A new genus and new species of fan worms (Polychaeta: Sabellidae) from Atlantic and Pacific Oceans—the formal treatment of taxon names as explanatory hypotheses
FIGURE 12. Sabellomma harrisae gen. nov., sp. nov. A: anterior end, right lateral view; B: anterior end, left lateral view; C: dissected half crown and lips; D: anterior end, dorsal view; E: anterior end, ventral view; F: anterior end, left lateral view; G: anterior end, right lateral view; H–I: details of collar and base of crown, right ventro-lateral and dorsal views, respectively; J: dorsal lip (dissected crown); unspecified arrow points to connection between dorsal lip and dorsal pinnular appendage. br = branchial ridge; dl = dorsal lip; pa = pinnular appendage; pl = parallel lamellae; ra = radiolar appendage; vs = ventral sacs. Photos A–B, D–I from paratype 6 (LACM-AHF 2419); photos C and J from paratype 12 (LACM-AHF 2425). Scale bars: A, C = 0.3 mm; B = 0.4 mm; D, F–G = 0.1 mm; E, I = 75 µm; H, J = 50 µm.
FIGURE 13 in A new genus and new species of fan worms (Polychaeta: Sabellidae) from Atlantic and Pacific Oceans—the formal treatment of taxon names as explanatory hypotheses
FIGURE 13. Sabellomma harrisae gen. nov., sp. nov. A: collar chaetae; B: notochaetae from segment 3; C: superior thoracic notochaetae from segment 3; D: inferior thoracic notochaetae (paleae) from segment 3; E: neurochaetae from segment 12; F–G: uncini from segment 3; H: companion chaetae from segment 3; I: uncini from segment 10. All photos from paratype 10 (LACM-AHF 2423). Scale bars: A–E = 30 µm; F, H = 8 µm; G = 15 µm; I = 10 µm.
FIGURE 8 in A new genus and new species of fan worms (Polychaeta: Sabellidae) from Atlantic and Pacific Oceans—the formal treatment of taxon names as explanatory hypotheses
FIGURE 8. Sabellomma collinae gen. nov., sp. nov. A: anterior end, dorsal view; B: anterior end, left lateral view; C: anterior end, ventral view; D: detail of anterior end, dorsal view; E: detail of anterior end, left lateral view; F: dorsal lip (dissected crown); G–H: details of collar and base of crown, ventral view; I: posterior end, left lateral view. Unspecified arrows point to ciliated patch; bp = basalmost pinnule; br = branchial ridge; dl = dorsal lip; pl = parallel lamellae; ra = radiolar appendage; vs = ventral sacs. Photos A–E, G–H from paratype 7 (LACM-AHF 2411); photo F from paratype 6 (LACM-AHF 2410). Scale bars: A–B = 0.4 mm; C–E = 0.2 mm; F–G, I = 0.1 mm; H = 60 µm.
FIGURE 22 in A new genus and new species of fan worms (Polychaeta: Sabellidae) from Atlantic and Pacific Oceans—the formal treatment of taxon names as explanatory hypotheses
FIGURE 22. Strict consensus tree presented in Fig. 19, but 'inapplicable' character optimizations for distribution of simple eyes (subject 9; cf. Tables 6–7) correctly treated as inapplicable. Note that Sabellomma is monophyletic on the basis of simple eyes distributed along the entire lengths of radioles [9(1)] and presence of interramal eyespots [21(1)]. Relationships among Sabellomma are determined by one of the optimizations of dorsal pinnular appendages (subject 13); compare with alternate optimization in Fig. 20.
FIGURE 7 in A new genus and new species of fan worms (Polychaeta: Sabellidae) from Atlantic and Pacific Oceans—the formal treatment of taxon names as explanatory hypotheses
FIGURE 7. Sabellomma collinae gen. nov., sp. nov. A: total worm, left lateral view; B: total worm, dorsal view; C: total worm, right lateral view; D: total worm, ventral view; E: anterior end, ventral view; F: anterior end, left ventro-lateral view; G: anterior end, left lateral view; H: anterior end, dorsal view; I: anterior end, right lateral view; J: detail of anterior end, ventral view; K: detail of anterior end, left ventro-lateral view; L: anterior to mid-abdominal segments; M: posterior end, right lateral view. All photos from holotype (LACM-AHF 2404). vs = ventral sacs. Scale bars: A–D = 1 mm; E–I, K = 0.7 mm; J = 0.4 mm; L–M = 0.3 mm.
FIGURE 5. Sabellomma minuta gen. nov., comb. nov. A in A new genus and new species of fan worms (Polychaeta: Sabellidae) from Atlantic and Pacific Oceans—the formal treatment of taxon names as explanatory hypotheses
FIGURE 5. Sabellomma minuta gen. nov., comb. nov. A: neurochaetae from segment 2; B–D: companion chaetae from segments 2, 4 and 2, respectively; E–F: uncini from segment 4; G: anterior abdominal uncini; H: mid-abdominal uncini; I: posterior abdominal uncini; J: uncini from segment 2. All photos from spec. 10 (LACM-AHF 2400). Scale bars: A = 20 µm; B–C = 8 µm; D, F–G, J = 5 µm; E = 9 µm; H–I = 6 µm.
FIGURE 6. Sabellomma minuta gen. nov., comb. nov. A in A new genus and new species of fan worms (Polychaeta: Sabellidae) from Atlantic and Pacific Oceans—the formal treatment of taxon names as explanatory hypotheses
FIGURE 6. Sabellomma minuta gen. nov., comb. nov. A: inferior thoracic notochaetae (paleae) from segment 3; B: neurochaetae from segment 3; C: neurochaetae from segment 9; D: uncini from segment 9. All photos from holotype (AMNH 2894). Scale bars: A–C = 60 µm; D = 40 µm.
FIGURE 24 in A new genus and new species of fan worms (Polychaeta: Sabellidae) from Atlantic and Pacific Oceans—the formal treatment of taxon names as explanatory hypotheses
FIGURE 24. Detail of the phylogenetic and specific hypotheses from Fig. 22, showing optimizations of dorsal pinnular appendages. The formal definitions of these hypotheses are also presented, indicating that specific hypotheses S. collinae and S. minuta cannot be defined (cf. Figs 21, 23 for alternative optimizations).
FIGURE 17 in A new genus and new species of fan worms (Polychaeta: Sabellidae) from Atlantic and Pacific Oceans—the formal treatment of taxon names as explanatory hypotheses
FIGURE 17. Methyl green staining. Sabellomma harrisae gen. nov., sp. nov. A–B: total worm; C: anterior end, ventral view; D: posterior end, ventral view; E: total worm, left lateral view; F: posterior end, dorsal view. Photos A–D from spec. BPBM 1237, after ~2.5 hours in ethanol after immersion in methyl green solution; photos E–F from paratype 2 (LACM-AHF 2415), after ~24 hours in ethanol after immersion in methyl green solution. Scale bars: A = 0.6 mm; B = 1 mm; C, F = 0.3 mm; D = 0.4 mm; E = 0.7 mm.
FIGURE 4. Sabellomma minuta gen. nov., comb. nov. A in A new genus and new species of fan worms (Polychaeta: Sabellidae) from Atlantic and Pacific Oceans—the formal treatment of taxon names as explanatory hypotheses
FIGURE 4. Sabellomma minuta gen. nov., comb. nov. A: collar chaetae; B: notochaetae from segment 2; C: notochaetae from segment 5; D: neurochaetae from segment 6; E–F: inferior thoracic notochaetae (paleae) from segments 3 and 5, respectively; G: detail of neurochaetae from anterior row from segment 6. All photos from spec. 10 (LACM-AHF 2400). Scale bars: A, D = 30 µm; B = 40 µm; C = 20 µm; E = 9 µm; F = 12 µm; G = 15 µm.
FIGURE 2. Sabellomma minuta gen. nov., comb. nov. A in A new genus and new species of fan worms (Polychaeta: Sabellidae) from Atlantic and Pacific Oceans—the formal treatment of taxon names as explanatory hypotheses
FIGURE 2. Sabellomma minuta gen. nov., comb. nov. A: total worm, right lateral view; B: anterior end, left lateral view; C: anterior end, dorsal view; D: anterior end, left lateral view; E: dorsal lip (dissected crown); F–G: details of base of crown; H: anterior end, right lateral view; I–J: details of anterior end, ventral view. br = branchial ridge; ci = ciliated patch; dl = dorsal lip; pa = pinnular appendage; pl = parallel lamellae; ra = radiolar appendage; vs = ventral sacs. Photos A–D, F–J from spec. 10 (LACM-AHF 2400); photo E from spec. 20 (LACM-AHF 2403). Scale bars: A–B = 0.5 mm; C = 0.3 mm; D, H = 0.4 mm; E, I = 75 µm; F = 0.1 mm; G = 40 µm; J = 80 µm.
FIGURE 3. Sabellomma minuta gen. nov., comb. nov. A in A new genus and new species of fan worms (Polychaeta: Sabellidae) from Atlantic and Pacific Oceans—the formal treatment of taxon names as explanatory hypotheses
FIGURE 3. Sabellomma minuta gen. nov., comb. nov. A: middle part of radiole; B: collar chaetae; C: notochaetae from segment 3; D: neurochaetae from segment 10; E: neurochaetae from segment 3; F: uncini from segment 10; G: neurochaetae from segment 4; H: uncini from segment 18. Photos B–C, E, G–H from spec. 19 (ZUEC-POL 7445); photos D and F from spec. 10 (LACM-AHF 2400). Scale bars: A = 60 µm; B–C, E, G = 30 µm; D = 40 µm; F, H = 20 µm.
FIGURE 1. Sabellomma minuta gen. nov., comb. nov. A in A new genus and new species of fan worms (Polychaeta: Sabellidae) from Atlantic and Pacific Oceans—the formal treatment of taxon names as explanatory hypotheses
FIGURE 1. Sabellomma minuta gen. nov., comb. nov. A: entire specimen, left ventro-lateral view; B–D: entire specimen, ventral, ventral and left lateral views, respectively; E, G: anterior end, ventral views; F: anterior end, right lateral view; H: posterior end, right ventro-lateral view. A, C–D, F–H from spec. 18 (MZUSP 1050), B, E from holotype (AMNH 2894). Scale bars: A–D = 2 mm; E–G = 0.7 mm; H = 0.5 mm.
Fig. 1 in Widespread support for a global species list with a formal governance system
Fig. 1. Survey results showing (A) generally strong agreement that there would be a net benefit to creation of a single global species list across all respondent groups; (B) overall preferences for representation on an oversight board; (C) overall preferences for oversight options of an independent board, a committee of an existing organization, or an NGO; and (D) common problems encountered by respondents, including competing lists, outdated information, and the absence of lists.
Tactician's Web of Large-Scale Formal Knowledge
<p>This dataset contains machine-readable data extracted by <a href="https://coq-tactician.github.io">Tactician</a> from formal knowledge encoded in the <a href="https://coq.inria.fr">Coq Proof Assistant</a>. It includes definitions, theorems, proof terms and tactical proofs presented both as Coq's default textual format and a graph format. The entire known universe of formal knowledge in Coq is encoded as a single interconnected graph of mathematical concepts where all knowledge is faithfully and unambiguously encoded. The dataset is intended for machine learning, analysis and general proof engineering purposes. In addition to exploring this offline dataset, it is also possible to interact directly with Coq in the same data format through <a href="https://coq-tactician.github.io/api">Tactician's API</a>.</p><p>See the README.md file for more information.</p>
Data Supplement for "Microscopic derivation of the thin film equation using the Mori-Zwanzig formalism"
<p>Data set and python code to recreate the figures of "Microscopic derivation of the thin film equation using the Mori-Zwanzig formalism".</p>
Formal verification of software architectures with SysADL Studio
<p>This short video demonstrates how to formally verify a software architecture description expressed in the <a href="https://sysadl.imd.ufrn.br">SysADL architectural language</a> using its supporting tool, SysADL Studio.</p>
Ionic Hydrogen Bond-Assisted Catalytic Construction of Nitrogen Stereogenic Center via Formal Desymmetrization of Remote Diols
<p><span>The folder /DFT_structures/ contains the DFT-optimized geometries (in .xyz format together with the gas-phase energy, E) accompanying the paper</span></p> <p><span>"Ionic Hydrogen Bond-Assisted Catalytic Construction of Nitrogen Stereogenic Center via Formal Desymmetrization of Remote Diols"</span></p> <p><span>Where conformers occur, they are always named from the lowest Gibbs energy to the highest in ascending order from c1 (sometimes omitted), c2, c3, .., etc.</span></p> <p><span>The folder /xTB_structures/ contain structures crest_best_major_full_F.xyz and crest_best_minor_full_F.xyz, which are the most stable GFN2-xTB optimized structures from CREST conformational sampling while constraining the model system with chiral phosphoric acid C-3 added to the system.</span></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.