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.
15
datasets available to search
ShareScore release 0.9.0
Dataset results
15 results for “Isomorphism”
Serial Isomorphous Replacement Data -Pilatus3 2M raw images and meta data
<p>Diffraction data collected from the ESRF ID23-EH2 microfocus beamline for the purpose of single isomorphous replacement phasing. These are raw CBF images from a pilatus3 2M detector. The "process" sub directory and CBF headers contain meta data about the experimental setup. Data were collected with the Mesh and Collect workflow and contain partial datasets of ~10 degrees with 0.1 degree oscillations (more detail in the meta data files). </p>
Isomorph Invariant Dynamic Mechanical Analysis: A Molecular Dynamics Study
<p>This data set contains the data required to reproduce most of the figures in our paper, [arXiv:2204.06962] which will soon be submitted to a journal. Abstract of the paper:</p> <p>We simulate dynamic mechanical analysis experiments for the Kob-Andersen binary Lennard-Jones system. For this, the SLLOD algorithm with time-dependent strain rates is applied to give a sinusoidally varying strain at different densities and temperatures. The starting point is a temperature scan at a fixed reference density. Isomorph theory predicts that for other densities corresponding temperatures can be identified at which the mechanical properties are unchanged when scaled appropriately. We determine the isomorphically equivalent temperatures by analysing how<br> particle forces change upon scaling configurations to the new density. Loss moduli expressed in suitable reduced units are compared for isomorphic state points. When plotted against the unscaled temperatures, these reduced loss curves are observed to collapse indicating the validity of isomorph theory for dynamic mechanical analysis experiments. Two different methods to determine isomorphic temperatures are considered. While one of them breaks down for the largest density rescalings considered in this study, the other one is still applicable in this region. The decorrelation of force vectors upon rescaling is investigated as a possible origin of this effect. Our results demonstrate that the simplification of the phase diagram entailed by isomorph theory for a wide class of system<br> is relevant also for the mechanical properties of glasses.</p> <p> </p> <p> </p>
BRAIN Journal-Isomorphism Between Estes' Stimulus Fluctuation Model and a Physical- Chemical System-Figure 1. Two compartments containing solution separated by a membrane.
<p>In fact, this equation will be found first if one consults physical or chemical textbooks for<br> diffusion. Also one may be able to find already-existing diffusion simulators to see vivid images of<br> the process.</p>
[Artifact] Qubit Allocation as a Combination of Subgraph Isomorphism and Token Swapping
<p>Object-Oriented Programming, Systems, Languages & Applications (OOPSLA'19) artifact for the paper: "Qubit Allocation as a Combination of Subgraph Isomorphism and Token Swapping".</p>
Dataset for paper entitled, 'Isomorphic grain inoculation in Ti-6Al-4V during additive manufacturing'
<p>Dataset for paper entitled, 'Isomorphic grain inoculation in Ti-6Al-4V during additive manufacturing'. Abstract: The potential for using isomorphic inoculation (ISI) to grain refine titanium alloys in additive manufacturing was investigated by adding TiAlNb particles to Ti-64 during building test samples. A surviving particle was identified and its crystallographic relationship with the matrix studied by transmission Kikuchi diffraction. The particle and bulk matrix grain were shown to have the same crystallographic orientation, demonstrating that the ISI mechanism of solidification bypasses the nucleation step in favour of direct epitaxial growth.</p> <p>Paper doi: https://doi.org/10.1016/j.mlblux.2020.100057</p>
CNF Encoded Isomorphic and Optimized Miters from Hardware Model Checking Competition 2012 Models
<p>These miter benchmarks are used in a paper on congruence closure in 2024.</p> <p>The miter AIGs in the [`aig`](aig) directory are the same as those used to<br>generate CNFs of miter benchmarks submitted to the SAT Challenge in 2012.<br>Some of them have regularly been used in the SAT Competitions since then.</p> <p>The AIGs are separated into two sets:</p> <p>- [`aig/iso`](aig/iso) miters of isomorphic circuits<br>- [`aig/opt`](aig/opt) miters of optimized versus original circuit</p> <p>The first set checks equivalence of one circuit with itself in the<br>[`aig/iso`](aig/iso) (isomorphic) sub-directory and second set contains<br>equivalence checking problems (aka miters) comparing the original circuit<br>with an optimized version in the [`aig/opt`](aig/opt) (optimized)<br>sub-directory. The optimized versions of the circuits were obtained in 2012<br>by the `dc2` script for [ABC](https://people.eecs.berkeley.edu/~alanmi/abc).<br>We did not re-run ABC with a newer version in order to make sure we have as<br>base-line in our experiments the same CNFs, as they are well-known, i.e., <br>they have been used in the SAT competitions for several years.</p> <p>Note that the original AIGER models have state elements (called "latches"<br>in AIGER terminology), but both the optimization with ABC as well as our<br>equivalence checking is purely combinational, by treating latches as<br>additional pseudo inputs, and next-state functions as output-functions. The<br>miters were accordingly generated (by the 2011 version) of `aigmiter` using<br>the `-c` option. For the same reason as for ABC explained above, we did not<br>rerun `aigmiter` either.</p> <p>We then encoded the two sets of AIGs into CNF in two different ways.<br>The first encoding just uses a simple Tseitin encoding, without<br>Plaisted-Greenbaum optimization, i.e., using the `--no-pg` option, as in 2012.<br>Even though we use a new version of `aigtocnf` in `src/aiger/aigtocnf.c` we<br>made sure that identical CNFs are generated for this first encoding variant<br>by checking that the MD5 sum of the (actually compressed) CNF files match.<br>This required to disable a newly introduced cone-of-influence (COI)<br>optimization with `--no-coi` which skips unreachable gates even when the<br>Plaisted-Greenbaum optimization is disabled.</p> <p>The second variant of the encoding detects XOR and ITE gates by pattern<br>matching and produces more concise CNFs by skipping internal AND gates<br>of detected XOR and ITE gates producing a direct encoding instead.</p> <p>This gives the following sets of CNFs;</p> <p>- [`cnf/ands/iso`](cnf/ands/iso) isomorphic circuits with ANDs only<br>- [`cnf/ands/opt`](cnf/ands/opt) optimized versus original with ANDs only<br>- [`cnf/xits/iso`](cnf/xits/isor) isomorphic circuits with ANDs, XORs, ITEs<br>- [`cnf/xits/opt`](cnf/xits/opt) optimized versus original with ANDs, XORs, ITEs</p> <p>All the CNFs in these directories have the same original file name of the<br>AIGER model to simplify run-time comparison. In `cnf/all` we further<br>provide links with qualified names to distinguish them.</p>
DC Ionic Conductivity in KTP and Its Isomorphs: Properties, Methods for Suppression, and Its Connection to Gray Tracking
<p>Dataset for the related publication "DC Ionic Conductivity in KTP and Its Isomorphs: Properties, Methods for Suppression, and Its Connection to Gray Tracking"</p>
CNF Encoded Isomorphic and Optimized Miters from Hardware Model Checking Competition 2020 Models
<p>From the Hardware Model Checking Competition 2020 we have collected 324<br>sequential model checking problems and for each generated an isomorphic and<br>an optimized miter. The isomorphic miters just compares two identical<br>copies while for the optimized miter one copy went through optimization<br>with ABC using the `dc2` command.</p> <p>The CNFs are generated with a new version of `aigtocnf` which detects<br>XOR and ITE gates in the AIGER circuit and if detected uses a more compact<br>encoding (4 clauses clauses instead of 9) for each detected gate.</p>
Practical Bigraphs via Subgraph Isomorphism - Benchmark Instances
<p>A set of 11176 test instances for comparing the existing SAT solver found in BigraphER with the new Subgraph based solver using the Glasgow subgraph solver.</p> <p>See README for details.</p> <p>Also included in results.tar.xz are those presented in the paper.</p>
Figure 1. A in Structural comparisons of isomorphic breeding nests between closely allied spiders Cheiracanthium japonicum and Cheiracanthium lascivum (Araneae: Eutichuridae)
Figure 1. A breeding nest being constructed by a female. (a) Cheiracanthium japonicum; (b) Cheiracanthium lascivum.
Figure 2 in Structural comparisons of isomorphic breeding nests between closely allied spiders Cheiracanthium japonicum and Cheiracanthium lascivum (Araneae: Eutichuridae)
Figure 2. Frequency distribution of the diameter of spider silk used for breeding nests. The smoothing curve was generated by kernel density estimation. In the box plot, the line in the box indicates the median, the diamond indicates the average, and the whiskers indicate the range.
Data from: Structural modification of isomorphous SO42−-doped K2FeO4 for remediating the stability and enhancing the discharge of super-iron battery
In the paper, the isomorphous SO42- doped K2FeO4, aimed at the remediation of the discharge and stability of the super-iron battery, was first synthesized for doping and reforming the K2FeO4 crystalline structure via a facile coprecipitation and mechanochemistry. Afterward, the compared cathodes were assembled by the undoped and doped K2FeO4 for an evaluation of the discharge and stability in the AAA super-iron battery system. The results show that the small amounts of K2SO4 were doped into the K2FeO4 in the calculated form of K2Fe1-xSxO4 by the isomorphous substitution. The doped K2FeO4 cathodes/batteries exhibited an excellent discharge with a normal discharge profile. The cathodes doped by two techniques had significantly enhanced the discharge capacity of the super-iron battery with an increase of 10-30% compared to the undoped K2FeO4. Moreover, the stability of the K2FeO4 cathodes was obviously remediated by the isomorphous SO42- doping. The shelf time of the doped K2FeO4 cathodes was prolonged by an increase of about 10% in comparison of the undoped K2FeO4 cathode. The desirable enhancements could be attributed to doping and reforming the similar building block and isomorphous SO42- into the FeO42- tetrahedral and crystalline in the form of the isomorphous substitution and filling vacancies.
ISOMORPHIC AND ALLOMORPHIC FEATURES OF COMPLEX SENTENCES WITH ADVERBIAL CLAUSES OF PLACE IN ENGLISH AND UZBEK LANGUAGES.
Open the record for dataset details and reuse information.
Data from: Structural modification of isomorphous SO42−-doped K2FeO4 for remediating the stability and enhancing the discharge of super-iron battery
Open the record for dataset details and reuse information.
Isomorphic diffuse glioma is a distinct tumour entity with recurrent gene fusions of MYBL1 or MYB and a benign disease course
GEO Series GSE136361. Homo sapiens. 26 samples. Type: Methylation profiling by array.
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.