" Motivation Limited Domain relations (LD-relations) " What happens for out of domain arguments? Difficulty parsing complex mathematical specifications " What does that do, again? " Objective Clear, formal representation of requirements specifications in a tabular format " Mathematic foundation " Possible for both human and machine parsing " Better partitioned specifications " Techniques Used M...

The vulnerability of public supply wells to chlorinated ethene (CE) contamination in part depends on the availability of naturally occurring organic carbon to consume dissolved oxygen (DO) and initiate reductive dechlorination. This was quantified by building a mass balance model of the Kirkwood-Cohansey aquifer, which is widely used for public water supply in New Jersey. This model was built b...

The invasion of DNAPL into fractured low permeability deposits results in the formation of secondary source zones that represent a long-term source of VOCs to adjacent aquifers. We present data from a site underlain by a fractured mudstone contaminated with TCE DNAPL that was poised for release following remediation of the overlying aquifer. Observations of contaminant distributions and fractur...

Stability testing of two-dimensional (2-D) discrete-time systems requires decision on whether a 2-D (bivariate) polynomial does not vanish in the closed exterior of the unit bi-circle. The paper reformulates a tabular test advanced by Jury to solve this problem. The 2-D tabular test builds for a real 2-D polynomial of degree (n1, n2) a sequence of n2 matrices or 2-D polynomials (the ‘2-D table’...

This dissertation investigates the composition of high quality tables with the use of electronic tools A generic model is designed to support the di erent stages of tabu lar composition including the editing of logical structure the speci cation of layout structure and the formatting of concrete tables The model separates table s logical structure from its layout structure which consists of tab...

Biological sequences play a major role in molecular and computational biology.DNA sequence representation remains as one of the critical steps in the analysis of relationships between species. There are several 2D and 3-D graphical representation methods for DNA sequences. We have introduced a tabular method for representing DNA sequences which will decreases the degeneracy problem occurred in ...

Governments and public administrations started recently to publish large amounts of structured data on the Web, mostly in the form of tabular data such as CSV files or Excel sheets. Various tools and projects have been launched aiming at facilitating the lifting of tabular data to reach semantically structured and linked data. However, none of these tools supported a truly incremental, pay-as-y...

Oscillatory pumping tests-in which flow is varied in a periodic fashion-provide a method for understanding aquifer heterogeneity that is complementary to strategies such as slug testing and constant-rate pumping tests. During oscillatory testing, pressure data collected at non-pumping wells can be processed to extract metrics, such as signal amplitude and phase lag, from a time series. These me...

Groundwater is one of the most important water resources in Fars province. Based on this study, 95 percent of the total annual water consumption in Fars is used for agriculture, whereas the percentages for domestic and industrial uses are 4 and 1 percent, respectively. Population growth, urban and industrial growth, and agricultural development in Fars have created a condition of water stress. ...

Groundwater is one of the most important water resources in Fars province. Based on this study, 95 percent of the total annual water consumption in Fars is used for agriculture, whereas the percentages for domestic and industrial uses are 4 and 1 percent, respectively. Population growth, urban and industrial growth, and agricultural development in Fars have created a condition of water stress. ...