The notable increase in petroleum demand, together with a decline discovery rates, has highlighted the desire for efficient production of existing oil wells worldwide. Mainly, productivity large fields makes us consider principles managing reservoirs to make most extraction. At same time, many different uncertainties course developing field, including geological, operational, and economic uncer...

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.

Quick Summary is an innovate implementation of an automatic document summarizer that inputs a document in the English language and evaluates each sentence. The scanner or evaluator determines criteria based on its grammatical structure and place in the paragraph. The program then asks the user to specify the number of sentences the person wishes to highlight. For example should the user ask to ...