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.
310
datasets available to search
ShareScore release 0.9.0
Dataset results
310 results for “State Model”
Population-Based Modeling of Cholesterol Lowering in the United States
ClinicalTrials.gov study NCT00005463. IPD Sharing: Not stated. Countries: 0. Publications: 3.
LPS causes a transcriptional shift in iPSC-microglia similar to an activated state from genetic mouse models of AD
GEO Series GSE186301. Homo sapiens. 10 samples. Type: Expression profiling by high throughput sequencing.
Modelling pain states with hiPSC derived sensory neurons
GEO Series GSE187345. Homo sapiens. 32 samples. Type: Expression profiling by high throughput sequencing.
Tau accumulation induces microglial state alterations in Alzheimer’s disease model mice
GEO Series GSE270389. Mus musculus. 10 samples. Type: Expression profiling by high throughput sequencing.
The differentiation state of small intestinal organoid models influences prediction of drug-induced toxicity
GEO Series GSE277613. Homo sapiens. 6 samples. Type: Expression profiling by high throughput sequencing.
Identification of a protective microglial state mediated by miR-155 and interferon-γ signaling in a mouse model of Alzheimer's disease
GEO Series GSE205569. Mus musculus. 140 samples. Type: Expression profiling by high throughput sequencing.
Chromatin based modeling of transcription rates identifies the contribution of different regulatory layers to steady-state mRNA levels
GEO Series GSE33252. Mus musculus. 51 samples. Type: Expression profiling by high throughput sequencing; Expression profiling by array; Genome binding/occupancy profiling by high throughput sequencing.
A1-Reactive Astrocytes and a loss of TREM2 are associated to an early state of pathology in a mouse model of Cerebral Amyloid Angiopathy
GEO Series GSE150394. Mus musculus. 6 samples. Type: Expression profiling by high throughput sequencing.
Modeling signaling-dependent pluripotent cell states with boolean logic can predict cell fate transitions
GEO Series GSE88928. Mus musculus. 12 samples. Type: Expression profiling by high throughput sequencing.
Assessment of ability of hTSLP to maintain primary CRLF2 B-ALL cells in a xenograft model in a state more similar to the parent leukemia
GEO Series GSE74339. Homo sapiens. 5 samples. Type: Expression profiling by high throughput sequencing.
Modeling signaling-dependent pluripotent cell states with boolean logic can predict cell fate transitions [I]
GEO Series GSE88926. Mus musculus. 4 samples. Type: Expression profiling by high throughput sequencing.
Single cell RNA-seq analysis of normal, premalignant state and tumor mouse models of VAV1-MYOF gene fusion in Peripheral T-Cell Lymphoma
GEO Series GSE166672. Mus musculus. 12 samples. Type: Expression profiling by high throughput sequencing.
Modeling signaling-dependent pluripotent cell states with boolean logic can predict cell fate transitions [II]
GEO Series GSE88927. Mus musculus. 8 samples. Type: Expression profiling by high throughput sequencing.
Chromatin based modeling of transcription rates identifies the contribution of different regulatory layers to steady-state mRNA levels.
GEO Series GSE34473. Mus musculus. 6 samples. Type: Expression profiling by high throughput sequencing.
A new predictive group-contribution ideal-heat-capacity model, and its influence on second-derivative properties calculated using a free-energy equation of state
<p>Calculated data for figures 4-8 presented in publication.</p>
Development of intermolecular potential models for electrolyte solutions using an electrolyte SAFT-VR Mie equation of state
<p>All computational data presented in the figures of the publication.</p>
Deterministic Compilation of Temporal Safety Properties in Explicit State Model Checking
The translation of temporal logic specifications constitutes an essen- tial step in model checking and a major influence on the efficiency of formal verification via model checking. We devise a new explicit-state translation of Lin- ear Temporal Logic to automata for the class of LTL specifications that describe safety properties, arguably the most used formal specifications in real-world sys- tems. By exploiting the inherent determinism in safety specifications, we can build deterministic Promela never claims that accept only the bad prefixes of the safety specification. In contrast to previous works, we focus on compilation to never claims rather than simply automata and measure Spin model-checking time separately from compilation time and automata size. An extensive experi- mental evaluation over a space of configurations demonstrates that our new trans- lation consistently results in better model-checking performance, for a large array of benchmarks, over the best current translation.
An emergent disease-associated motor neuron state precedes cell death in a mouse model of ALS [scRNA-Seq]
GEO Series GSE306676. Mus musculus. 18 samples. Type: Expression profiling by high throughput sequencing.
An emergent disease-associated motor neuron state precedes cell death in a mouse model of ALS [multiome]
GEO Series GSE306675. Mus musculus. 10 samples. Type: Genome binding/occupancy profiling by high throughput sequencing; Expression profiling by high throughput sequencing.
Systematic comparison of pancreatic ductal adenocarcinoma models identifies a conserved highly plastic basal cell state
GEO Series GSE209599. Mus musculus. 51 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.