Results 91 to 100 of about 103,330 (308)
This study aims to determine the quality of the package about the Academic Potential Test, to know the procedure of equalizing the package of test of Academic Potential Test and to know how to get two sets of tests that have equality with the method of ...
Akbar Iskandar, Ahmad Rudi
doaj +1 more source
An equivalence test between features lists, based on the Sorensen-Dice index and the joint frequencies of GO term enrichment. [PDF]
Flores P +3 more
europepmc +1 more source
The physical dimensions and shape of bacterial cells define the surface area available to acquire nutrients and the volume available for synthesizing proteins and DNA. Here, we use computational systems biology to decode the importance of cell geometry as a major determinant of prokaryotic phenotype, including growth rate and metabolic efficiency. This
Ross P. Carlson +6 more
wiley +1 more source
Test-Equivalence Analysis for Automatic Patch Generation [PDF]
Automated program repair is a problem of finding a transformation (called a patch) of a given incorrect program that eliminates the observable failures.
Roychoudhury, A +3 more
core
An efficient implementation of a test for EA-equivalence [PDF]
We implement an algorithm for testing EA-equivalence between vectorial Boolean functions proposed by Kaleyski in the C programming language, and observe that it reduces the running time (as opposed to the original Magma implementation of the algorithm ...
Heggebakk, Marie
core
Testing k-binomial equivalence
Two words $w_1$ and $w_2$ are said to be $k$-binomial equivalent if every non-empty word $x$ of length at most $k$ over the alphabet of $w_1$ and $w_2$ appears as a scattered factor of $w_1$ exactly as many times as it appears as a scattered factor of $w_2$.
Dominik D. Freydenberger +4 more
openaire +3 more sources
Electron transfer between complexes III and IV in S. cerevisiae mitochondrial membranes
Mitochondrial oxidative phosphorylation in S. cerevisiae mitoplasts is limited by complex IV catalytic capacity, rather than two‐dimensional cytochrome c diffusion. At physiological cytochrome c : supercomplex ratios at salinity equivalent to that of 20 mm monovalent salt, activity is maximized, indicating that this low ionic strength accurately mimics
Ana Paula Lobez +2 more
wiley +1 more source
Closures of may and must convergence for contextual equivalence
We show on an abstract level that contextual equivalence in non-deterministic program calculi defined by may- and must-convergence is maximal in the following sense.
Sabel, David, Schmidt-Schauß, Manfred
core
Sign-reference equivalence research methods in humans and animals
Human language based on symbolization or sign-referent equivalence relations. The paper focuses on methods of studying the process of developing of sign-referent equivalence.
M.V. Samuleeva +2 more
doaj +1 more source
We present robust protocols for the preparation of supported lipid bilayers (SLBs) incorporating either Salmonella smooth LPS or outer membrane vesicles (OMVs). We use a combination of quartz crystal microbalance with dissipation (QCM‐D) and fluorescence microscopy to both characterize the SLBs of various compositions and to probe their interactions ...
Hudson P. Pace +6 more
wiley +1 more source

