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.
3
datasets available to search
ShareScore release 0.9.0
Dataset results
3 results for “Program Invariants”
Inference and Test Generation Using Program Invariants in Chemical Reaction Networks Artifacts
<p>The artifacts for Inference and Test Generation Using Program Invariants in Chemical Reaction Networks, published at ICSE 2022.</p> <p>The pdf of the paper can be accessed at <a href="https://ieeexplore.ieee.org/document/9794130">IEEEXplore</a>.</p> <p><strong>To cite this work, please use the citation below:</strong></p> <pre>@INPROCEEDINGS{GertenICSE22, author={Gerten, Michael C. and Marsh, Alexis L. and Lathrop, James I. and Cohen, Myra B. and Miner, Andrew S. and Klinge, Titus H.}, booktitle={2022 IEEE/ACM 44th International Conference on Software Engineering (ICSE)}, title={Inference and Test Generation Using Program Invariants in Chemical Reaction Networks}, month={May}, year={2022}, pages={1193-1205}, doi={10.1145/3510003.3510176}}</pre> <p>The artifacts are also available on <a href="https://github.com/LavaOps/ICSE-2022-Artifacts">GitHub</a>.</p> <p><strong>This is an updated version of the ChemFlow tool. The update addressed an overflow error when computing gaussian elimination that could result in incorrect invariants with certain model inputs. After verification, all models in this work were not affected by this bug and have the same set of invariants generated by both versions. We have updated the docker file to use the new code as well.</strong></p>
Global epigenetic stability of liver-resident invariant natural killer T cells in response to cues capable of inducing transcriptional re-programming
GEO Series GSE250192. Mus musculus. 24 samples. Type: Methylation profiling by high throughput sequencing; Expression profiling by high throughput sequencing; Genome binding/occupancy profiling by high throughput sequencing.
Comparative transcriptomes reveal pro-survival and cytotoxic programs of mucosal-associated invariant T cells upon Bacillus Calmette–Guérin stimulation
GEO Series GSE228089. Homo sapiens. 9 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.