the transport of dissolved contaminants in groundwater is usually described by the advectiondispersion equation with reaction. several numerical methods for solving the one-dimensional are availableincluding finite difference methods, finite volume methods, and finite element methods. stringent conditions,such as small peclet (pe) and courant (cr) numbers, must be satisfied to ensure the accura...

A pattern-based approach to the presentation, codi cation and reuse of property speci cations for nite-state veri cation was proposed by Dwyer and his colleagues in [4,3]. The patterns enable nonexperts to read and write formal speci cations for realistic systems and facilitate easy conversion of speci cations between formalisms, such as LTL, CTL, QRE. In this paper we extend the pattern system...

It is known that Dodgson’s rule is computationally very demanding. Tideman (1987) suggested an approximation to it but did not investigate how often his approximation selects the Dodgson winner. We show that under the Impartial Culture assumption the probability that the Tideman winner is the Dodgson winner tend to 1. However we show that the convergence of this probability to 1 is slow. We sug...

Two people have a full B-gallon jug of wine and two empty jugs of capacity M and S, respectively, where B= M +S. Any jug may be poured into any other jug until either the first one is empty or the second is full. What is the quickest way for them to divide the wine equally? We solve this problem and show that a natural related problem may be solved in polynomial time.

Accidental or intentional release of radioactive materials into the living or working environment may cause radioactive contamination. In nuclear medicine departments, radioactive contamination is usually due to radionuclides which emit high energy gamma photons and particles. These radionuclides have a broad range of energies and penetration capabilities. Rapid detection of radioactive contami...

now-a-days, due to the quick growth of science and technology, institutionalization of learning organizations sounds as more important among public service organizations, and that is because they should be able to offer better services to their customers in accordance with the quick changes of science and technology. one of these organizations to be emphasized upon is jahad-e-keshavarzi organiz...