industrial effluents consist many pollutant and heavy metals. bacteria isolated from industrial west water ground may have potential to tolerate heavy metal. in this study we isolate a citrobacter sp. which can resist heavy metal like cu and pb. slurry from industrial west water ground was collected from 22.0663 n, 88.1041 e. the heavy metal content and other parameters of soil were estimated. ...

Static property checking is a technique for verifying some pre-defined design rules such as "bus contention", "racing condition", and "don't-care case". It contains formal verification engines so that a property can be completely verified and if the property is proven false, a counterexample will be generated for debugging the design. Among the different static property checking approaches, ATP...

This study examines the influence of accessibility to different types of employment on single-family residential property values using hedonic regression analysis. Using tax assessors’ property attribute records, regional travel demand model outputs, and real property sales transactions from King County, Washington in 1995 and 1998, a hedonic regression analysis is used to determine whether con...

This paper proposes a new approach for proving arithmetic correctness of data paths in System-on-Chip modules. It complements existing techniques which are, for reasons of complexity, restricted to verifying only the control behavior. The circuit is modeled at the arithmetic bit level (ABL) so that our approach is well adapted to current industrial design styles for high performance data paths....

Mining, as with most industrial activities, is constrained by logistics, which involves technological matters of transportation, material conversion and energy costs. Convention and law also influence the activity. These are institutional matters involving mineral rights and access to resources. Both logistical and institutional configurations exist in a space/time context and in metropolitan a...

In this work we report our experience in applying model checking techniques to the analysis of static and dynamic properties of Web application models. We propose a mix of tools that facilitate model driven design of Web applications, automatic code generation, and automatic property verification. As recommended by current tendencies in the academic field, we bridge the gap between the tools by...

Based on a compositional framework for the formal speciica-tion of distributed real-time systems, we present a method for protocol veriication. To be able to deal with realistic examples, the method is supported by the interactive proof checker PVS. In this paper we illustrate our approach by a protocol of the ACCESS.bus which is used for the communication between a computer host and its periph...