conclusions we conclude that intraperitoneal hydrocortisone instillation caused leukocytosis and is thus suggested not to be used in immune-compromised patients. results the study was completed by 120 patients. patients who received intraperitoneal hydrocortisone and hydrocortisone plus bupivacaine had higher white blood cell (wbc) count (p < 0.0001). the patients were similar with respect to d...

We propose two models of random quantified boolean formulas and their natural random disjunctive logic program counterparts. The models extend the standard models of random k-CNF formulas and the Chen-Interian model of random 2QBFs. The first model controls the generation of programs and QSAT formulas by imposing a specific structure on rules and clauses, respectively. The second model is based...

In this paw=, a normal form for entity-relationship diagrams and the objectives for such a normal form are presented. A normal form entity-relationship diagram may consist of composite attributes, multivalued attributes, and special types of relationship sets such as existence dependent, identifier dependent, ISA, UNION, INTERSECT, and DECOMPOSE relationships. A comprehensive algorithm is given...

In many biological and social systems, where the ideal of heritance and aberrance exist at the same time, normal distribution failed in describing the distributions of variables. In stead, many real data as well as simulations indicate that log-normal distribution and power-law distribution can characterize many properties of this kind of systems. In this paper, the failure of normal distributi...

We study the axiomatisability of the iteration-free fragment of Propositional Dynamic Logic with Intersection and Tests. The combination of program composition, intersection and tests makes its proof-theory rather difficult. We develop a normal form for formulae which minimises the interaction between these operators, as well as a refined canonical model construction. From these we derive an ax...