in this research, hydraulic and sorption behavior of geosynthetic clay liners (gcls) withordinary and modified clay exposed to crude oil were studied. both modified and ordinary bentonites wereinvestigated to evaluate crude oil adsorption efficiency on the liners. because soil permeability exposed tocrude oil is a major parameter in measuring the contaminants migration in soils, the permeabilit...

We consider the extension of Boolean circuits to quantified Boolean circuits by adding universal and existential quantifier nodes with semantics adopted from quantified Boolean formulas (QBF). The concept allows not only prenex representations of the form ∀x1∃y1...∀xn∃yn c where c is an ordinary Boolean circuit with inputs x1, ..., xn, y1, ..., yn. We also consider more general non-prenex norma...

With the rise of social media, writings by ordinary people are becoming increasingly available for linguistic analysis. Such analyses offer great opportunities to identify individual users’ needs from user-generated content, so that better tailored products or services can be recommended. Literature suggests that several types of human needs are universal and directly influence consumer purchas...

For dissipative dynamical systems described by a system of ordinary differential equations, we address the question of how the probability of chaotic dynamics increases with the dimensionality of the phase space. We find that for a system of d globally coupled ODE's with quadratic and cubic non-linearities with randomly chosen coefficients and initial conditions, the probability of a trajectory...

Given a nite set of non-collinear points in the plane there exists a line that passes through exactly two points. Such a line is called an ordinary line. An e cient algorithm for computing such a line was proposed by Mukhopadhyay et al [MAH97]. In this note we extend this result in two directions. We rst show how to use this algorithm to compute an ordinary conic, that is, a conic passing throu...

Tarski’s conceptual analysis of the notion of logical consequence is one of the pinnacles of the process of defining the metamathematical foundations of mathematics in the tradition of his predecessors Euclid, Frege, Russell and Hilbert, and his contemporaries Carnap, Gödel, Gentzen and Turing. However, he also notes that in defining the concept of consequence “efforts were made to adhere to th...

A semantic virtual machine (SVM) is a variant of a programable register machine that combines the transparency and simplicity of the action of a Turing machine with a clearly arranged assembler-style programming language and a user-friendly representation of semantic information. This paper describes the concept of the SVM, its memory management and flow control, and shows how a semantic virtua...

in this paper, two methods have been used: multi-layer perceptron artificial neural network (ann-mlp) and universal kriging to estimate of velocity field. neural network is an information processing system which is formed by a large number of simple processing elements, known as artificial nerves. it is formed by a number of nodes and weights connecting the nodes. the input data are multiplied ...

We define a subclass of quantum Turing machine (QTM) named SR-QTM, which halts deterministically and has deterministic tape head position. A quantum state transition diagram (QSTD) is proposed to describe SR-QTM. With the help of QSTD, we construct a SR-QTM which is universal for all near-trivial transformations. This means there exists a QTM which is universal for the above subclass. Finally w...