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.
52
datasets available to search
ShareScore release 0.9.0
Dataset results
52 results for “SMT”
The MRI-based Evaluation of Safety and Efficacy of EVT and SMT: A Retrospective, Multicenter Study
ClinicalTrials.gov study NCT06236828. IPD Sharing: Not stated. Countries: 1. Publications: 0.
Study of SMT-NK Inj. Plus Pembrolizumab vs Pembrolizumab Monotherapy in Patients With Advanced Biliary Tract Cancer
ClinicalTrials.gov study NCT05429697. IPD Sharing: NO. Countries: 1. Publications: 0.
Yttrium Y 90 SMT 487 in Treating Patients With Refractory or Recurrent Cancer
ClinicalTrials.gov study NCT00006368. IPD Sharing: Not stated. Countries: 1. Publications: 0.
A Phase 1b Study of SMT C1100 in Subjects With Duchenne Muscular Dystrophy (DMD)
ClinicalTrials.gov study NCT02056808. IPD Sharing: Not stated. Countries: 1. Publications: 0.
Radiolabeled SMT-487 (Yttrium Y 90-DOTA-tyr3-octreotide) in Treating Patients With Refractory Small Cell Lung Cancer or Metastatic Breast Cancer
ClinicalTrials.gov study NCT00006370. IPD Sharing: Not stated. Countries: 1. Publications: 0.
Efficacy of Albumin Therapy With Standard Medical Treatment (SMT) as Compared to Standard Medical Treatment (SMT) in Improving Patient Survival and Immune Modulation in Patients With Acute on Chronic
ClinicalTrials.gov study NCT03754400. IPD Sharing: UNDECIDED. Countries: 1. Publications: 0.
Phase 1 Clinical Trial to Evaluate the Safety of Allogeneic NK Cell ("SMT-NK") Cell Therapy in Advanced Biliary Tract Cancer
ClinicalTrials.gov study NCT03358849. IPD Sharing: NO. Countries: 1. Publications: 0.
A Study to Evaluate Efficacy, Safety, and PK of XEMBIFY®+Standard Medical Treatment (SMT) Compared to Placebo+SMT to Prevent Infections in Participants With HGG and Recurrent or Severe Infections Asso
ClinicalTrials.gov study NCT05645107. IPD Sharing: NO. Countries: 8. Publications: 0.
Allogeneic NK Cell ("SMT-NK") in Combination With Pembrolizumab in Advanced Biliary Tract Cancer
ClinicalTrials.gov study NCT03937895. IPD Sharing: Not stated. Countries: 1. Publications: 0.
This Study Evaluates the Impact of the Sodium Management Tool (SMT) on Hemodialysis Patient Outcomes Compared to Standard Care
ClinicalTrials.gov study NCT06896786. IPD Sharing: NO. Countries: 0. Publications: 0.
Artifacts for Fuzzing SMT Solvers with Diversified Sub-formulas
<p>## Installation:<br> ```<br> virtualenv --python=/usr/bin/python3 virenv<br> source virenv/bin/activate<br> cd octopus<br> python3 setup.py install<br> ```</p> <p>## Usage:</p> <p>```<br> octopus --benchmark=[PATH TO SEED DIRECTORY] --solverbin=[PATH TO SOLVER BIN] --solver=[SOLVER NAME] --theory=[SOLVER THEORY]<br> ```</p> <p>For example:</p> <p>```<br> octopus --benchmark=/home/SMT2021 --solverbin=../z3/build/z3 --solver=z3 --theory=LIA<br> ```</p> <p>To run `n` parallel instances of octopus on `n` cores, use the `--cores` flag. For example:</p> <p>```<br> octopus --benchmark=[PATH TO SEED FILES] --solverbin=[PATH TO SOLVER BIN] --solver=[SOLVER NAME] --theory=LIA --cores=10<br> ```</p> <p><br> ## Refutational soundness bugs detected so far:<br> octopus has detected many new "refutational soundness" bugs in Z3. <br> Here is a list of issues we reported.</p> <p>https://github.com/Z3Prover/z3/issues/5373 `[z3]` `[QF_NRA]` <br><br> https://github.com/Z3Prover/z3/issues/5443 `[z3]` `[QF_BVFP]` <br><br> https://github.com/Z3Prover/z3/issues/5447 `[z3]` `[QF_ABV]` <br><br> https://github.com/Z3Prover/z3/issues/5456 `[z3]` `[QF_IDL]` <br><br> https://github.com/Z3Prover/z3/issues/5457 `[z3]` `[QF_BV]` <br><br> https://github.com/Z3Prover/z3/issues/5460 `[z3]` `[QF_BV]` <br><br> https://github.com/Z3Prover/z3/issues/5468 `[z3]` `[AUFLIRA]` <br><br> https://github.com/Z3Prover/z3/issues/5488 `[z3]` `[QF_BV]` <br><br> https://github.com/Z3Prover/z3/issues/5502 `[z3]` `[QF_NIA]` <br><br> https://github.com/Z3Prover/z3/issues/5508 `[z3]` `[QF_NIA]` <br><br> https://github.com/Z3Prover/z3/issues/5423 `[z3]` `[QF_BVFP]` `Won't fixed` <br><br> </p>
YICES 2 SMT Solver
Link to SRI's site. Available for Windows, MacOS, Linux and FreeBSD. Non-commercial use.
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.