Background: It has been estimated that 67 million people worldwide are affected with a primary glaucoma and that one-third have primary angle closure glaucoma. We aimed to determine the biometric differences between the eyes of patients with acute attack of primary angle closure and their non-involved fellow eyes. Methods: Twenty eight patients with acute attack of primary angle closure were re...

The es-splitting operation on binary matroids is a natural generalization of Slater's <em>n</em>-line splitting graphs. In this paper, we characterize the closure operator matroid M<sup>e</sup><sub>X</sub> in terms original M. We also describe ats and hyperplanes bi- nary hyperplanes, respectively

D We present a fixpoint semantics for disjunctive logic programs. We extend the concept of the Herbrand base of a logic program to consist of all positive clauses that may be formed using the atoms in the Herbrand base. A monotonic closure operator is defined, operating on the lattice formed by the power set of the extended Herbrand base. The closure operator is shown to achieve a least fixpoin...

Caminada and Amgoud have argued that logic-based argumentation systems should satisfy the intuitive and natural principles of logical closure and consistency. Prakken has developed this idea further for a richer logic. A question arises naturally whether a general structure guaranteeing the logical closure and consistency properties could be identified that is common for all underlying logics. ...

The generalized transitive closure operator can be used to ask and answer a number of sophisticated queries on a database which is viewed as a directed graph. These queries cannot be expressed in SQL or relational algebra and neither can they be answered by commercially available relational or object-oriented database systems. In this report we describe the design and implementation of the gene...