In a recent paper Baumann [1] has shown that splitting results, similar to those known for logic programs under answer set semantics and default logic, can also be obtained for Dung argumentation frameworks (AFs). Under certain conditions a given AF A can be split into subparts A1 and A2 such that extensions of A can be computed by (1) computing an extension E1 of A1, (2) modifying A2 based on ...

objectives this study aimed at reviewing the current literature on the diagnosis, staging, and different treatment strategies for wilms’ tumor with either ureteral or intravascular extension. evidence acquisition in this article, we reviewed the current literature about staging, diagnosis, and management strategies for wt, through a randomized clinical trial, which focused on this matter. the m...

dry beans are rich sources of dietary fiber and phytochemicals such as flavonoids and phenolics that exhibit good functional properties. in current study line, cooking and soaking time effects were investigated on water absorption, splitting and texture properties of different iranian red kidney beans to determine the best lines and the best soaking time for industrial use. d81083 line showed t...

A JSJ-splitting of a group G over a certain class of subgroups is a graph of groups decomposition of G which describes all possible decompositions of G as an amalgamated product or an HNN extension over subgroups lying in the given class. Such decompositions originated in 3-manifold topology. In this paper we generalize the JSJ-splitting constructions of Sela, Rips-Sela and Dunwoody-Sageev and ...

A JSJ-splitting of a group G over a certain class of subgroups is a graph of groups decomposition of G which describes all possible decompositions of G as an amalgamated product or an HNN extension over subgroups lying in the given class. Such decompositions originated in 3-manifold topology. In this paper we generalize the JSJ-splitting constructions of Sela, Rips–Sela and Dunwoody–Sageev, and...

The prevalent method of increasing reasoning efficiency in the domain of qualitative constraint-based spatial and temporal reasoning is to use domain splitting based on so-called tractable subclasses. In this paper we analyze the application of nogood learning with restarts in combination with domain splitting. Previous results on nogood recording in the constraint satisfaction field feature le...

The present work introduces a modified scheme for the solution of compressible 2-D full Navier-Stokes equations, using Flux Vector Splitting method. As a result of this modification, numerical diffusion is reduced. The computer code which is developed based on this algorithm can be used easily and accurately to analyze complex flow fields with discontinuity in properties, in cases such as shock...