This investigation was undertaken as an efficient method for isolating sperm DNA from a mixed fluid sample which contains vaginal epithelial cells in a greater amount. The modified method of the two-step differential extraction procedure was found to be suitable for separating sperm DNA and vaginal epithelial cell DNA from the mixed stains. As the first step of digestion, vaginal epithelial cel...

Simulations of coal combustors and gasifiers generally cannot incorporate the complexities of advanced pyrolysis models, and hence there is interest in evaluating simpler models over ranges of temperature and heating rate that are applicable to the furnace of interest. In this paper, six different simple model forms are compared to predictions made by the Chemical Percolation Devolatilization (...

Marden and Perlman (1988) have shown that the classical step-down procedure the Hotelling T 2 testing problem is inadmissible in most cases. Mudholkar and Subbaiah (1980) proposed a modified step-down procedure wherein the p-values associated with sten-wise F tests are combined according to Fisher's combination method. In the present paper it is shown that the modified step-down procedure is in...

To reduce the difficulty and complexity in computing the projection from a real Hilbert space onto a nonempty closed convex subset, researchers have provided a hybrid steepest-descent method for solving VI(F,K) and a subsequent three-step relaxed version of this method. In a previous study, the latter was used to develop a modified and relaxed hybrid steepest-descent (MRHSD) method. However, ch...

a gel composite (based on polyacrylamide and crosslinker cr(iii) acetate) was prepared by solvent method (distillate and water formation) and nanoclay particle (kaolinite). using xrd tests, d001 was evaluated for kaolinite nanoparticles in gel composite. kaolinite modification using dimethyl-sulfoxide led to increase interlamellar spacing from 7.21 to 10.82 o a. based on the results obtained fo...

We introduce a new form of SAT-based symbolic model checking. One common idea in SAT-based symbolic model checking is to generate new clauses from states that can lead to property violations. Our previous work suggests applying induction to generalize from such states. While effective on some benchmarks, the main problem with inductive generalization is that not all such states can be inductive...

In this paper, we propose a new step size rule to accelerate Yan et al.’s self-adaptive projection method. Under the new step size strategy, the superiority of modified projection method is verified through theory to numerical experiments.