Now showing items 61-70 of 169
Predicting DNAPL entrapment and recovery: the influence of hydraulic property correlation
(Springer-Verlag; Springer-Verlag Berlin Heidelberg, 2003-12)
The influence of aquifer property correlation on multiphase fluid migration, entrapment and recovery was explored by incorporating correlated and uncorrelated porosity, permeability, and capillary pressure-saturation (P c ...
Evaluation of likelihood functions
(Elsevier, 1968-07)
An expression is obtained for the likelihood function for the detection of a stochastic signal (diffusion process) in white noise. A stochastic differential equation is then obtained for the evolution of the likelihood ...
Symbolic Intersect Detection: A Method for Improving Spatial Intersect Joins
(Kluwer Academic Publishers; Springer Science+Business Media, 1998-06)
Due to the increasing popularity of spatial databases, researchers have focused their efforts on improving the query processing performance of the most expensive spatial database operation: the spatial join. While most ...
The computational complexity of asymptotic problems I: Partial orders
(Elsevier, 1988-08)
The class of partial orders is shown to have 0-1 laws for first-order logic and for inductive fixed-point logic, a logic which properly contains first-order logic. This means that for every sentence in one of these logics ...
Evaluation of performance enhancing proxies in internet over satellite
(John Wiley & Sons, Ltd., 2003-08)
Performance enhancing proxies (PEPs) are widely used to improve the performance of TCP over high delay-bandwidth product links and links with high error probability. In this paper we analyse the performance of using TCP ...
Usage refinement for ER-to-relation design transformations
(Elsevier, 1991-06)
Database schema refinement based on usage is proposed as a useful next step in a practical database design methodology founded upon entity-relationship (ER) conceptual modeling and transformation to normalized relations. ...
On the unique satisfiability problem
(Elsevier, 1982)
UNIQUE SAT is the problem of deciding whether a given Boolean formula has exactly one satisfying truth assignment. This problem is a typical (moreover complete) representative of a natural class of problems about unique ...
Interactive creative problem solving
(John Wiley & Sons, Inc., 1996)
A set creative problem‐solving tools for instructional purposes is discussed. The tools include a problem‐solving text which presents the heuristic, a set of slides in electronic form that can be used to enhance classroom ...