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”
Moving-block System: Requirements and Formal Models
<p>A moving-block system (cf. <a href="https://en.wikipedia.org/wiki/Moving_block">https://en.wikipedia.org/wiki/Moving_block</a>) is a railway signalling and distancing system aimed at reducing the headways between trains along a track, therefore increasing line capacity. In railways, a block is intended as a segment of track that is assigned to a train: a train cannot enter a block that is occupied by another train. With traditional fixed-block systems, each moving train is assigned a fixed block, regardless of its speed and position within the block itself. With moving-block systems, the block is dynamically computed based on the position and speed of the train, which is continuously computed onboard and communicated to the wayside control systems. This enables the possibility of routing more trains along the same track. </p> <p>For more details, please refer to: <a href="https://en.wikipedia.org/wiki/Communications-based_train_control">https://en.wikipedia.org/wiki/Communications-based_train_control</a></p> <p>The package includes a set of <strong>requirements</strong> and <strong>models</strong> for a railway moving-block system:</p> <p>(a) a PDF document named Moving-block Model and Requirements.pdf, which includes a UML model of a moving-block system together with a set of requirements for the system;</p> <p>(b) a set of 9 folders, each one associated to a formal or semi-formal development tool. Each folder contains one or more models of the moving-block system from (a), developed by means of the tool. </p> <p>The models were developed using the following tool versions. Other versions may still open and verify the models.</p> <ul> <li>Simulink (2017b)</li> <li>UMC (4.7)</li> <li>UPPAAL SMC (4.1.4) </li> <li>Atelier B (4.2.1)</li> <li>ProB (1.10.2018)</li> <li>NuSMV (2.6.0)</li> <li>SPIN (6.4.9)</li> <li>CADP (2019-a)</li> <li>FDR4 (4.2.3)</li> </ul>
Dataset for "Capturing Formality in Speech Across Domains and Languages"
<p>We share the data used in our paper "Capturing Formality in Speech Across Domains and Languages", previously hosted on Google Drive. Corpora available in this dataset release include:</p> <ol> <li>All-India Radio (Hindi) [<a href="../api/records/13298510/draft/files/all_india_radio-20240812T152206Z-001.zip/content" target="_blank" rel="noopener noreferrer">all_india_radio-20240812T152206Z-001.zip</a>]</li> <li>Bangor Miami (Spanish-English) [<a href="../api/records/13298510/draft/files/bangor_miami_clean-20240812T152204Z-001.zip/content" target="_blank" rel="noopener noreferrer">bangor_miami_clean-20240812T152204Z-001.zip</a>]</li> <li>CallHome (English; Spanish) [<a href="../api/records/13298510/draft/files/callhome-20240812T152201Z-001.zip/content" target="_blank" rel="noopener noreferrer">callhome-20240812T152201Z-001.zip</a>; <a href="../api/records/13298510/draft/files/callhome-20240812T152201Z-002.zip/content" target="_blank" rel="noopener noreferrer">callhome-20240812T152201Z-002.zip</a>]</li> <li>CALLFriend (Hindi) [<a href="../api/records/13298510/draft/files/cf_hindi-20240812T152159Z-001.zip/content" target="_blank" rel="noopener noreferrer">cf_hindi-20240812T152159Z-001.zip</a>]</li> <li>HUB4-SE (Spanish) [<a href="../api/records/13298510/draft/files/hub4_se-20240812T152156Z-001.zip/content" target="_blank" rel="noopener noreferrer">hub4_se-20240812T152156Z-001.zip</a>]</li> <li>HUB5 (Mandarin) [<a href="../api/records/13298510/draft/files/hub5_transcript-20240812T152154Z-001.zip/content" target="_blank" rel="noopener noreferrer">hub5_transcript-20240812T152154Z-001.zip</a>]</li> <li>Multilingual TEDx (English; Spanish) [<a href="../api/records/13298510/draft/files/mtedx_es-en-20240812T152152Z-001.zip/content" target="_blank" rel="noopener noreferrer">mtedx_es-en-20240812T152152Z-001.zip</a>, <a href="../api/records/13298510/draft/files/mtedx_es-en-20240812T152152Z-002.zip/content" target="_blank" rel="noopener noreferrer">mtedx_es-en-20240812T152152Z-002.zip</a>, <a href="../api/records/13298510/draft/files/mtedx_es-en-20240812T152152Z-003.zip/content" target="_blank" rel="noopener noreferrer">mtedx_es-en-20240812T152152Z-003.zip</a>, <a href="../api/records/13298510/draft/files/mtedx_es-en-20240812T152152Z-004.zip/content" target="_blank" rel="noopener noreferrer">mtedx_es-en-20240812T152152Z-004.zip</a>, <a href="../api/records/13298510/draft/files/mtedx_es-en-20240812T152152Z-005.zip/content" target="_blank" rel="noopener noreferrer">mtedx_es-en-20240812T152152Z-005.zip</a>, <a href="../api/records/13298510/draft/files/mtedx_es-en-20240812T152152Z-006.zip/content" target="_blank" rel="noopener noreferrer">mtedx_es-en-20240812T152152Z-006.zip</a>, <a href="../api/records/13298510/draft/files/mtedx_es-en-20240812T152152Z-007.zip/content" target="_blank" rel="noopener noreferrer">mtedx_es-en-20240812T152152Z-007.zip</a>, <a href="../api/records/13298510/draft/files/mtedx_es-en-20240812T152152Z-008.zip/content" target="_blank" rel="noopener noreferrer">mtedx_es-en-20240812T152152Z-008.zip</a>, <a href="../api/records/13298510/draft/files/mtedx_es-en-20240812T152152Z-009.zip/content" target="_blank" rel="noopener noreferrer">mtedx_es-en-20240812T152152Z-009.zip</a>, <a href="../api/records/13298510/draft/files/mtedx_es-en-20240812T152152Z-010.zip/content" target="_blank" rel="noopener noreferrer">mtedx_es-en-20240812T152152Z-010.zip</a>, <a href="../api/records/13298510/draft/files/mtedx_es-en-20240812T152152Z-011.zip/content" target="_blank" rel="noopener noreferrer">mtedx_es-en-20240812T152152Z-011.zip</a>, <a href="../api/records/13298510/draft/files/mtedx_es-en-20240812T152152Z-012.zip/content" target="_blank" rel="noopener noreferrer">mtedx_es-en-20240812T152152Z-012.zip</a>, <a href="../api/records/13298510/draft/files/mtedx_es-en-20240812T152152Z-013.zip/content" target="_blank" rel="noopener noreferrer">mtedx_es-en-20240812T152152Z-013.zip</a>, <a href="../api/records/13298510/draft/files/mtedx_es-en-20240812T152152Z-014.zip/content" target="_blank" rel="noopener noreferrer">mtedx_es-en-20240812T152152Z-014.zip</a>, <a href="../api/records/13298510/draft/files/mtedx_es-en-20240812T152152Z-015.zip/content" target="_blank" rel="noopener noreferrer">mtedx_es-en-20240812T152152Z-015.zip</a>, <a href="../api/records/13298510/draft/files/mtedx_es-en-20240812T152152Z-016.zip/content" target="_blank" rel="noopener noreferrer">mtedx_es-en-20240812T152152Z-016.zip</a>, <a href="../api/records/13298510/draft/files/mtedx_es-en-20240812T152152Z-017.zip/content" target="_blank" rel="noopener noreferrer">mtedx_es-en-20240812T152152Z-017.zip</a>, <a href="../api/records/13298510/draft/files/mtedx_es-en-20240812T152152Z-018.zip/content" target="_blank" rel="noopener noreferrer">mtedx_es-en-20240812T152152Z-018.zip</a>, <a href="../api/records/13298510/draft/files/mtedx_es-en-20240812T152152Z-019.zip/content" target="_blank" rel="noopener noreferrer">mtedx_es-en-20240812T152152Z-019.zip</a>]</li> <li>Multitarget TED (English; Mandarin) [<a href="../api/records/13298510/draft/files/multitarget-ted-20240812T152149Z-001.zip/content" target="_blank" rel="noopener noreferrer">multitarget-ted-20240812T152149Z-001.zip</a>]</li> <li>IIT-B (Hindi) [<a href="../api/records/13298510/draft/files/parallel-n-20240812T042826Z-001.zip/content" target="_blank" rel="noopener noreferrer">parallel-n-20240812T042826Z-001.zip</a>]</li> <li>TDT4 (English; Mandarin) [<a href="../api/records/13298510/draft/files/tdt4_multilingual_news-20240812T152131Z-001.zip/content" target="_blank" rel="noopener noreferrer">tdt4_multilingual_news-20240812T152131Z-001.zip</a>]</li> <li>TED Talks India (Hindi) [<a href="../api/records/13298510/draft/files/ted_talks_hindi-20240812T042346Z-001.zip/content" target="_blank" rel="noopener noreferrer">ted_talks_hindi-20240812T042346Z-001.zip</a>]</li> <li>UN (Mandarin) [<a href="../api/records/13298510/draft/files/UNv1.0.en-zh-002.en.zip/content" target="_blank" rel="noopener noreferrer">UNv1.0.en-zh-002.en.zip</a>; <a href="../api/records/13298510/draft/files/UN-20240812T040956Z-002.zip/content" target="_blank" rel="noopener noreferrer">UN-20240812T040956Z-002.zip</a>; <a href="../api/records/13298510/draft/files/UN-20240812T040956Z-003.zip/content" target="_blank" rel="noopener noreferrer">UN-20240812T040956Z-003.zip</a>]</li> <li>YouTube (English; Spanish; Hindi; Mandarin) [<a href="../api/records/13298510/draft/files/youtube-20240812T040730Z-001.zip/content" target="_blank" rel="noopener noreferrer">youtube-20240812T040730Z-001.zip</a>; <a href="../api/records/13298510/draft/files/youtube-20240812T040730Z-002.zip/content" target="_blank" rel="noopener noreferrer">youtube-20240812T040730Z-002.zip</a>; <a href="../api/records/13298510/draft/files/youtube-20240812T040730Z-003.zip/content" target="_blank" rel="noopener noreferrer">youtube-20240812T040730Z-003.zip</a>]</li> <li>All-CS (Hindi-English) [<a href="../api/records/13298510/draft/files/All-CS.json/content" target="_blank" rel="noopener noreferrer">All-CS.json</a>]</li> <li>Europarl v7 (Spanish) [<a href="../api/records/13298510/draft/files/europarl-v7.es-en.es/content" target="_blank" rel="noopener noreferrer">europarl-v7.es-en.es</a>]</li> </ol> <p>If using our YouTube and/or TED Talks India corpora, please cite our paper:</p> <p>Bhattacharya, D., Chi, J., Hirschberg, J., Bell, P. (2023) Capturing Formality in Speech Across Domains and Languages. Proc. INTERSPEECH 2023, 1030-1034, doi: 10.21437/Interspeech.2023-1852</p>
ERROR ANALYSIS AND CORRECTION IN EFL LINGUISTICS DEVELOPMENT IN FORMAL WRITING
Open the record for dataset details and reuse information.
FIGURE 9. Golabi spring, a in Does the Garra population (Teleostei: Cyprinidae: Labeoninae) from the Kol River drainage, Persian Gulf basin merit formal description?
FIGURE 9. Golabi spring, a tributary of Kol River, Persian Gulf basin.
FIGURE 6 in Does the Garra population (Teleostei: Cyprinidae: Labeoninae) from the Kol River drainage, Persian Gulf basin merit formal description?
FIGURE 6. Live specimen of a Garra specimen, uncatalogued, about 80 mm SL; Iran: Golabi spring.
Figure 6 from: Golovatch S, Li Y, Liu W, Geoffroy J (2012) Three new cavernicolous species of dragon millipedes, genus Desmoxytes Chamberlin, 1923, from southern China, with notes on a formal congener from the Philippines (Diplopoda, Polydesmida, Paradoxosomatidae). ZooKeys 185: 1-17. https://doi.org/10.3897/zookeys.185.3082
Figure 6 - Desmoxytes lui sp. n., ♂ holotype. A sternal cones between coxae 4, ventral view B–D right gonopod telopodite, mesal, dorsal and sublateral views, respectively. Scale bar: 1.0 (A) and 0.5 mm (B–D). Designations: fe femorite sph solenophore sl solenomere ll lamina lateralis lm lamina medialis
Figure 5 from: Golovatch S, Li Y, Liu W, Geoffroy J (2012) Three new cavernicolous species of dragon millipedes, genus Desmoxytes Chamberlin, 1923, from southern China, with notes on a formal congener from the Philippines (Diplopoda, Polydesmida, Paradoxosomatidae). ZooKeys 185: 1-17. https://doi.org/10.3897/zookeys.185.3082
Figure 5 - Desmoxytes lui sp. n., ♂ holotype. A anterior part of body, lateral view B body segments 5 to 8, lateral view C posterior part of body, dorsal view D telson, ventral view.Photographed not to scale.
Figure 4 from: Golovatch S, Li Y, Liu W, Geoffroy J (2012) Three new cavernicolous species of dragon millipedes, genus Desmoxytes Chamberlin, 1923, from southern China, with notes on a formal congener from the Philippines (Diplopoda, Polydesmida, Paradoxosomatidae). ZooKeys 185: 1-17. https://doi.org/10.3897/zookeys.185.3082
Figure 4 - Desmoxytes spinissima sp. n., ♂ holotype. A sternal cones between coxae 4, ventral view B–C left gonopod, mesal and lateral views, respectively. Scale bar: 1.0 (A) and 0.5 mm (B, C). Designations: fe femorite sph solenophore sl solenomere ll lamina lateralis lm lamina medialis
Figure 3 from: Golovatch S, Li Y, Liu W, Geoffroy J (2012) Three new cavernicolous species of dragon millipedes, genus Desmoxytes Chamberlin, 1923, from southern China, with notes on a formal congener from the Philippines (Diplopoda, Polydesmida, Paradoxosomatidae). ZooKeys 185: 1-17. https://doi.org/10.3897/zookeys.185.3082
Figure 3 - Desmoxytes spinissima sp. n., ♂ holotype. A anterior part of body, lateral view B midbody segments, lateral view C posterior part of body, dorsal view D telson, ventral view E femora 6 and 7, lateral view.Photographed not to scale.
Figure 2 from: Golovatch S, Li Y, Liu W, Geoffroy J (2012) Three new cavernicolous species of dragon millipedes, genus Desmoxytes Chamberlin, 1923, from southern China, with notes on a formal congener from the Philippines (Diplopoda, Polydesmida, Paradoxosomatidae). ZooKeys 185: 1-17. https://doi.org/10.3897/zookeys.185.3082
Figure 2 - Desmoxytes eupterygota sp. n., ♂ paratype from near Tianhe. A sternal cones between coxae 4, ventral view B and C right gonopod, mesal and lateral views, respectively. Scale bar: 1.0 (A) and 0.5 mm (B, C). Designations: fe femorite sph solenophore sl solenomere ll lamina lateralis lm lamina medialis s spinule on lm
Figure 1 from: Golovatch S, Li Y, Liu W, Geoffroy J (2012) Three new cavernicolous species of dragon millipedes, genus Desmoxytes Chamberlin, 1923, from southern China, with notes on a formal congener from the Philippines (Diplopoda, Polydesmida, Paradoxosomatidae). ZooKeys 185: 1-17. https://doi.org/10.3897/zookeys.185.3082
Figure 1 - Desmoxytes eupterygota sp. n., ♂ paratype from near Tianhe. A–C anterior part of body, dorsal, ventral and lateral views, respectively D midbody segments, dorsal view E telson, ventral view F midbody leg, front view.Photographed not to scale.
Effect of Formal Contraception Handouts
ClinicalTrials.gov study NCT03956030. IPD Sharing: NO. Countries: 1. Publications: 0.
Data from: The first organ-based ontology for arthropods (Ontology of Arthropod Circulatory Systems - OArCS) and its integration into a novel formalization scheme for morphological descriptions
Open the record for dataset details and reuse information.
Effect of Formal Letter of Invitation on Male Partner Involvement at Antenatal Care Clinic
ClinicalTrials.gov study NCT06171503. IPD Sharing: NO. Countries: 1. Publications: 0.
Does Acupressure Help Reduce Nausea and Vomiting in Palliative Care Patients? Formal Study
ClinicalTrials.gov study NCT00550251. IPD Sharing: Not stated. Countries: 1. Publications: 0.
Formal Versus Informal Mindfulness Among University Students With Self-reported ADHD, Nonsuicidal Self-injury, or Stress
ClinicalTrials.gov study NCT06038942. IPD Sharing: YES. Countries: 1. Publications: 0.
Impact of Formal Home Help on Quality of Life for Caregivers of Elderly Patients With Neurocognitive Impairment
ClinicalTrials.gov study NCT04732312. IPD Sharing: NO. Countries: 1. Publications: 0.
Active aGeing And Personalised Service's Ecosystem (AGAPE) Aims to Implement an Advanced Technology Platform That Provides Services to the Elderly, Formal and Informal Caregivers, and Caregiving Organ
ClinicalTrials.gov study NCT06859489. IPD Sharing: UNDECIDED. Countries: 1. Publications: 0.
Formal Versus Informal Mindfulness Among University Students With and Without Recent Nonsuicidal Self-injury
ClinicalTrials.gov study NCT05608304. IPD Sharing: YES. Countries: 1. Publications: 0.
Comparison Of Radiation Exposure To Patients During Endoscopic Retrograde Cholangiopancreatography (ERCP) Performed By Endoscopists Trained In Judicious Use Of Fluoroscopy With Those Without Formal Tr
ClinicalTrials.gov study NCT03525353. IPD Sharing: Not stated. Countries: 1. Publications: 0.
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.