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.