A new method is presented for the simultaneous estimation of original hydrocarbons in place OHIP and aquifer parameters for a circular aquifer surrounding a hydrocarbon reservoir. Water influx data are represented by the van-Everdingen and Hurst (VEH) unsteady state solution. In addition to the initial oil and/or gas in place, the aquifer parameters are also estimated. These parameters include ...

This paper presents a general framework for deriving tabular algorithms for a very large class of stack-based computations, not only in context-free parsing but in logic programming as well and more generally for all kinds of \information" domains (abstract domains, constraint domains). Tabular algorithms store traces of computations in a table to achieve computation sharing, which is most usef...

Many statistical agencies nowadays operate or envision tools for ad hoc creation and visualization of aggregate tables, ideally with web-access facilities. Users should be able to easily create their own customized tables. However, especially with heavily skewed business data, disclosure control issues usually are a big obstacle in this context, hardly solvable by traditional methods like cell ...

The paper proposes a method for tabular deduction for multimodal logical grammar, extending a method for linear logic presented in (Hepple, 1996; Hepple, 1998). Tabular deduction for multimodal logical grammar avoids redundant computation like chart parsing does for CFGs. The method discussed here enables one to process any kind of multimodal logical grammar fragment. An implementation of the m...

[1] Young flood channels emanate from Cerberus Fossae, Mars. In order to determine whether subsurface aquifers can discharge water sufficiently fast to explain these flood features, I develop a model that couples groundwater flow in a sub-cryosphere aquifer with flow through a fissure that penetrates from the surface to the aquifer. The model is constrained by estimates of peak discharge, and t...

Introduction Groundwater supply sustainable yield is herein defined as how much water can be withdrawn from an aquifer system, where and for how long, with acceptable physical, economical, environmental, social, cultural, institutional, and legal consequences. The purpose of this Technical Commentary is to focus on the following technical aspects of groundwater supply sustainable yield that are...

The predictive representations hypothesis holds that particularly good generalization will result from representing the state of the world in terms of predictions about possible future experience. This hypothesis has been a central motivation behind recent research in, for example, PSRs and TD networks. In this paper we present the first explicit investigation of this hypothesis. We show in a r...

Dual Forms of Reed–Muller (DFRM) are implemented in OR/XNOR forms, which are based on the features of coincidence operation. Map folding and transformation techniques are proposed for the conversion between Boolean and DFRM expansions. However, map techniques can only be used for up to 6 variables. To overcome the limitation, serial tabular technique (STT) and parallel tabular technique (PTT) a...

In most cases authors are permitted to post their version of the article (e.g. in Word or Tex form) to their personal website or institutional repository. Authors requiring further information regarding Elsevier's archiving and manuscript policies are encouraged to visit: Keywords: Coastal aquifer Tidal fluctuation Two-zone aquifer Zone-contrast parameter Groundwater head fluctuation s u m m a ...

High-nitrogen loadings of rivers and aquifers systems are a major concern because of potential effects on human health and water quality impacts such as eutrophication of lakes and coastal zones. This nitrogen enrichment is commonly attributed to anthropogenic sources such as sewage and agricultural and industrial wastes. The aims of this study were to delineate spatial distribution of groundwa...