The logic of quantified Boolean formulae (QBF) extends propositional logic with universal quantification over propositional variables. The presence of universal quantifiers in QBF does not add expressiveness, but often allows for more compact encodings of problems. From a theoretical point of view, the decision problems of propositional logic (SAT) and QBF are NP-complete and PSPACE-complete, r...

Your use of the JSTOR archive indicates your acceptance of JSTOR's Terms and Conditions of Use, available at . http://www.jstor.org/page/info/about/policies/terms.jsp. JSTOR's Terms and Conditions of Use provides, in part, that unless you have obtained prior permission, you may not download an entire issue of a journal or multiple copies of articles, and you may use content in the JSTOR archive...

In this paper, a series of Biot theory-based analytical solutions are proposed to study the dynamic response viscoelastic two-phase porous medium subjected horizontal cyclic loading. To investigate effect material properties' depth (or confining-pressure) dependency, two types soil stiffness profiles adopted, along with constant Lame elastic and loss moduli depth: that linearly increasing nonli...

The paper investigates properties of the conditional independence relation between pieces of information. This relation is also known in the database theory as embedded multivalued dependency. In 1980, Parker and Parsaye-Ghomi established that the properties of this relation can not be described by a finite system of inference rules. In 1995, Herrmann proved that the propositional theory of thi...

While much has been written about the medical, economic, and social causes of cross-national differences in some mortality related phenomena such as in life expectancy and infant mortality, much less attention has been given to maternal mortality, the focus of the present study. In the studies of maternal mortality that have been done, there has been very little effort to assess the potential r...

Following Müller and Pflug [18] and Nyrhinen [19, 20], we study the adjustment coefficient of ruin theory in a context of temporal dependency. We provide a consistent estimator for this coefficient, and perform some simulations.

The core challenge in the process of knowledge discovery is pre-processing data. Pre-processing data involves feature selection due to substantial amount and degree dimension attribute. concept attribute reduction introduced by Pawlak rough set theory for computational efficiency accuracy. This helps eliminate unnecessary attributes. Rough neutrosophic an extension traditional hybrid theory. pa...