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.
412
datasets available to search
ShareScore release 0.9.0
Dataset results
412 results for “Verification”
BRIC-23 GeneLab Process Verification Test: Staphylococcus aureus transcriptomic, proteomic, and metabolomic data
Microbes interact with humans in complex ways and understanding how they respond to the spaceflight environment is important to the success of future manned spaceflight missions. The BRIC-23 mission was designed to measure the response of Bacillus subtilis and Staphylococcus aureus to the spaceflight environment. This experiment aimed to produce high quality omics data from B. subtilis and S. aureus grown aboard the International Space Station (ISS) to allow comparison to matched ground controls. There were two primary objectives for this experiment: (1) Demonstrate all post-flight processes and operations required for successful completion of GeneLab Reference Missions conducted on ISS, and (2) Generate high quality GeneLab Reference Mission omics data sets for two prokaryotic model organisms, Bacillus subtilis and Staphylococcus aureus. Freezing Control Experiment: The BRIC hardware has significant thermal inertia, thus the freezing rate of samples placed at -80 C is quite slow. This could affect RNA-sequencing, proteomic and metabolic data sets. In an effort to understand how slow freezing could affect these data sets, a control experiment was designed in which B. subtilis and S. aureus were grown in petri plates and either slow frozen to -80 C at a rate matching the BRIC-23 spaceflight samples or processed immediately to harvest RNA and protein. B.subtilis omics data is deposited in GLDS-138.
Spitzer Extragalactic First Look Survey IRAC Ch2 Verification Field Catalog
The Extragalactic First Look Survey is composed of 4 square degrees of imaging with MIPS and IRAC centered at J1718+5930, with extensive ancillary data from ground-based optical and radio telescopes. As one of the first observations made with Spitzer after the completion of Science Verification at the end of 2003 November, the aim of this 67 hr survey was to characterize the extragalactic source populations observed with Spitzer down to sub-millijansky levels in the mid-infrared.
Formal Specification and Verification of a Coordination Protocol for an Automated Air Traffic Control System
We detail all of the facets of adapting classical model checking to a real aerospace system, in- cluding deriving the formal model and a set of specifications from natural language descriptions. To ensure the model checking results are meaningful, we have to ensure that both the model and specifications correctly reflect the intentions of the designers, thus we employ model validation and property debugging techniques. We demonstrate the utility of enhancing LTL satisfiability checking by taking the fairness constraints of the system model into consideration. We argue that specification debugging in real applications deserves more attention in future research efforts, and the utility of a system formalization, model and specification debugging, and verification trilogy for model checking real systems under development. In this paper we assume there are no hardware failures or lost messages. As the AAC design develops and hardware details are decided by AAC designers, we plan to take the failure rates of the chosen components into consideration, i.e. by extending our work to probabilistic model checking using PRISM [19]. Previous work has reported on analyzing the safety of air traffic control systems using simulation [3] or fault trees [1]. By extending the model we designed in this paper, we can carry out safety analysis using PRISM to capture the dynamic interactions in the AAC.
BRIC-23 GeneLab Process Verification Test: Staphylococcus aureus transcriptomic proteomic and metabolomic data
Microbes interact with humans in complex ways and understanding how they respond to the spaceflight environment is important to the success of future manned spaceflight missions. The BRIC-23 mission was designed to measure the response of Bacillus subtilis and Staphylococcus aureus to the spaceflight environment. This experiment aimed to produce high quality omics data from B. subtilis and S. aureus grown aboard the International Space Station (ISS) to allow comparison to matched ground controls. There were two primary objectives for this experiment: (1) Demonstrate all post-flight processes and operations required for successful completion of GeneLab Reference Missions conducted on ISS and (2) Generate high quality GeneLab Reference Mission omics data sets for two prokaryotic model organisms Bacillus subtilis and Staphylococcus aureus. Freezing Control Experiment: The BRIC hardware has significant thermal inertia thus the freezing rate of samples placed at -80 C is quite slow. This could affect RNA-sequencing proteomic and metabolic data sets. In an effort to understand how slow freezing could affect these data sets a control experiment was designed in which B. subtilis and S. aureus were grown in petri plates and either slow frozen to -80 C at a rate matching the BRIC-23 spaceflight samples or processed immediately to harvest RNA and protein.
Spitzer Extragalactic First Look Survey IRAC Ch1 Verification Field Catalog
The Extragalactic First Look Survey is composed of 4 square degrees of imaging with MIPS and IRAC centered at J1718+5930, with extensive ancillary data from ground-based optical and radio telescopes. As one of the first observations made with Spitzer after the completion of Science Verification at the end of 2003 November, the aim of this 67 hr survey was to characterize the extragalactic source populations observed with Spitzer down to sub-millijansky levels in the mid-infrared.
Distilling the Verification Process for Prognostics Algorithms
The goal of prognostics and health management (PHM) systems is to ensure system safety, and reduce downtime and maintenance costs. It is important that a PHM system is verified and validated before it can be successfully deployed. Prognostics algorithms are integral parts of PHM systems. This paper investigates a systematic process of verification of such prognostics algorithms. To this end, first, this paper distinguishes between technology maturation and product development. Then, the paper describes the verification process for a prognostics algorithm as it moves up to higher maturity levels. This process is shown to be an iterative process where verification activities are interleaved with validation activities at each maturation level. In this work, we adopt the concept of technology readiness levels (TRLs) to represent the different maturity levels of a prognostics algorithm. It is shown that at each TRL, the verification of a prognostics algorithm depends on verifying the different components of the algorithm according to the requirements laid out by the PHM system that adopts this prognostics algorithm. Finally, using simplified examples, the systematic process for verifying a prognostics algorithm is demonstrated as the prognostics algorithm moves up TRLs.
Spitzer Extragalactic First Look Survey IRAC Bandmerged Verification Field Catalog
The Extragalactic First Look Survey is composed of 4 square degrees of imaging with MIPS and IRAC centered at J1718+5930, with extensive ancillary data from ground-based optical and radio telescopes. As one of the first observations made with Spitzer after the completion of Science Verification at the end of 2003 November, the aim of this 67 hr survey was to characterize the extragalactic source populations observed with Spitzer down to sub-millijansky levels in the mid-infrared.
Spitzer Extragalactic First Look Survey IRAC Ch3 Verification Field Catalog
The Extragalactic First Look Survey is composed of 4 square degrees of imaging with MIPS and IRAC centered at J1718+5930, with extensive ancillary data from ground-based optical and radio telescopes. As one of the first observations made with Spitzer after the completion of Science Verification at the end of 2003 November, the aim of this 67 hr survey was to characterize the extragalactic source populations observed with Spitzer down to sub-millijansky levels in the mid-infrared.
Tackling Verification and Validation for Prognostics
Verification and validation (V&V) has been identified as a critical phase in fielding systems with Integrated Systems Health Management (ISHM) solutions to ensure that the results produced are robust, reliable, and can confidently inform about vehicle and system health status and to support operational and maintenance decisions. Prognostics is a key constituent within ISHM. It faces unique challenges for V&V since it informs about the future behavior of a component or subsystem. In this paper, we present a detailed review of identified barriers and solutions to prognostics V&V, and a novel methodological way for the organization and application of this knowledge. We discuss these issues within the context of a prognostics application for the ground support equipment of space vehicle propellant loading, and identify the significant barriers and adopted solution for this application.
BRIC-23 GeneLab Process Verification Test: Bacillus subtilis transcriptomic, proteomic, and metabolomic data
Microbes interact with humans in complex ways and understanding how they respond to the spaceflight environment is important to the success of future manned spaceflight missions. The BRIC-23 mission was designed to measure the response of Bacillus subtilis and Staphylococcus aureus to the spaceflight environment. This experiment aimed to produce high quality omics data from B. subtilis and S. aureus grown aboard the International Space Station (ISS) to allow comparison to matched ground controls. There were two primary objectives for this experiment: (1) Demonstrate all post-flight processes and operations required for successful completion of GeneLab Reference Missions conducted on ISS, and (2) Generate high quality GeneLab Reference Mission omics data sets for two prokaryotic model organisms, Bacillus subtilis and Staphylococcus aureus. Freezing Control Experiment: The BRIC hardware has significant thermal inertia, thus the freezing rate of samples placed at -80 C is quite slow. This could affect RNA-sequencing, proteomic and metabolic data sets. In an effort to understand how slow freezing could affect these data sets, a control experiment was designed in which B. subtilis and S. aureus were grown in petri plates and either slow frozen to -80 C at a rate matching the BRIC-23 spaceflight samples or processed immediately to harvest RNA and protein. S. aureus omics data is deposited in GLDS-145.
Screening and verification of differentially expressed long non-coding RNAs in the peripheral blood of patients with asthma
GEO Series GSE195599. Homo sapiens. 7 samples. Type: Expression profiling by high throughput sequencing.
Verification of gene expression profiles in the liver tissues of mice after schistosomiasis infection
GEO Series GSE298216. Mus musculus. 7 samples. Type: Non-coding RNA profiling by array.
In vivo verification of the pathophysiology of lipoid congenital adrenal hyperplasia in the adrenal cortex
GEO Series GSE123300. Mus musculus. 13 samples. Type: Expression profiling by high throughput sequencing.
Bacteriostatic effects of benzyl isothiocyanate on Vibrio parahaemolyticus: Transcriptomic analysis and morphological verification
GEO Series GSE152671. Vibrio parahaemolyticus. 6 samples. Type: Expression profiling by high throughput sequencing.
Screening and identification of miR-181a-5p in oral squamous cell carcinoma and functional verification in vivo and in vitro
GEO Series GSE222429. Cricetulus griseus. 12 samples. Type: Non-coding RNA profiling by high throughput sequencing.
Porphyromonas gingivalis W83:Transcriptome profiling and functional verification of flavodoxin
GEO Series GSE186376. Porphyromonas gingivalis. 6 samples. Type: Expression profiling by high throughput sequencing.
Predicting Oncology Drug-Induced Cardiotoxicity with Donor-Specific iPSC-CMs – Model Verification with Doxorubicin
GEO Series GSE242692. Homo sapiens. 88 samples. Type: Expression profiling by high throughput sequencing.
Identification of conserved miRNAs in Petunia axillaris and P. inflata young flower buds and their verification in the Petunia genome sequence
GEO Series GSE297973. Petunia axillaris; Petunia integrifolia subsp. inflata. 11 samples. Type: Non-coding RNA profiling by high throughput sequencing.
Investigation of anti-cancer effects of 6-shogaol on glioma through analysis of transcriptome and experimental verification
GEO Series GSE214898. Homo sapiens. 6 samples. Type: Expression profiling by high throughput sequencing.
Discovery and verification of liver cancer marker genes and variable scission based on second-generation sequencing data analysis
GEO Series GSE136846. Homo sapiens. 12 samples. Type: Expression profiling by high throughput sequencing.
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.