Plant growth promoting rhizobacteria (PGPR) are known to influence plant growth by various director indirect mechanisms. Thirty–two strains were isolated from 15 soils sampled in central Iran, byusing and comparing three different methods. The screening of soil samples by means of soil paste–plate method combined with isolation on mannitol agar proved to be the best strategy in terms ofreliabil...

This paper describes our work exploring the suitability of formal speci cation methods for independent veri cation and validation (IV&V) of software speci cations for large, safety critical systems. An IV&V contractor often has to perform rapid analysis on incomplete speci cations, with no control over how those speci cations are represented. Lightweight formal methods show signi cant promise i...

This paper describes our work exploring the suit-ability of formal speciication methods for independent veriication and validation (IV&V) of software speciications for large, safety critical systems. An IV&V contractor often has to perform rapid analysis on incomplete speciications, with no control over how those speciications are represented. Lightweight formal methods show signiicant promise ...

While facing continuously shrinking feature sizes, the demand for fault tolerance in digital circuits increases. Numerous approaches to achieve such robustness on the design side have been presented. But ensuring that the fault tolerance is really achieved is a tough verification problem. Here, we propose a formal model and an effective algorithm to formally prove the robustness of a digital ci...

ÐThis paper describes the use of formal development methods on an industrial safety-critical application. The Z notation was used for documenting the system specification and part of the design, and the SPARK subset of Ada was used for coding. However, perhaps the most distinctive nature of the project lies in the amount of proof that was carried out: proofs were carried out both at the Z level...

Following FDIR, we separate the detection of faults from the identification of failures. The diagnosis layer collects the verdicts of the distributed monitors and deduces an explanation for the current system state. For this purpose, the diagnosis layer may infer a (minimal) set of system components, which must be assumed to be faulty in order to explain the currently observed system state. The...

Dr Taguchi is a Japanese engineer and an international quality consultant who has made breakthrough improvements in product and process quality through the use of statistical design of experiments (SDOE). The Taguchi method became popular in the West in the 1980s as a means to design robust products and processes. Although many companies and industries have used the method with success, the rea...

background: cryptosporidium parvum causes severe gastroenteritis in immunocompromised human and new borne animals. the organism can be transmitted through water. since small number of c. parvum is infectious, the aim of the present study was to develop a chromatography method for the isolation of c. parvum oocyst in samples with limited number of oocysts. methods: antibody was prepared against ...

plant growth promoting rhizobacteria (pgpr) are known to influence plant growth by various director indirect mechanisms. thirty–two strains were isolated from 15 soils sampled in central iran, byusing and comparing three different methods. the screening of soil samples by means of soil paste–plate method combined with isolation on mannitol agar proved to be the best strategy in terms ofreliabil...

considering the ease of isolation and high expansion potential of pulp stem/progenitor cells isolated from wisdom and primary teeth they have been implicated as the most reliable autologous cell source in dental tissue engineering. meanwhile, different isolation methods have remarkable impacts on the expansion potential of adult stem cells. in enzymatic digestion method extracted teeth as denta...