We define the class of head-cycle free nested logic programs, and its proper subclass of acyclic nested programs, generalising similar classes originally defined for disjunctive logic programs. We then extend several results known for acyclic and head-cycle free disjunctive programs under the stable-model semantics to the nested case. Most notably, we provide a propositional semantics for the p...

Abstract This study compares various multigrid strategies for the fast solution of elliptic equations discretized by hybrid high‐order method. Combinations ‐, and ‐coarsening are considered, combined with diverse intergrid transfer operators. Comparisons made experimentally on 2D 3D test cases, structured unstructured meshes, nested non‐nested hierarchies. Advantages drawbacks each strategy dis...

Network mobility, i.e. Internet access services for a moving network as a single unit brings about new challenging issues. A nested mobile network is a hierarchical form of multiple mobile networks. Nested mobile networks suffer from a pinball routing problem. This problem becomes more serious in the case of a communication between any two nodes in the same nested mobile network. To solve this ...

Given a nested radical involving only d-th roots we show how to compute an optimal or near optimal depth denesting of this nested radical by a nested radical that involves only D-th roots, where D is an arbitrary multiple of d. As a special case the algorithm can be used to compute denestings as in previous papers by S. Landau and Horng/Huang. The running times of the algorithms are polynomial ...

Benichou and Gail (1995, Biometrics 51, 182-194) describe methods for estimating the absolute risk of developing disease given a set of covariate values over a specified time interval from a case-control study within a cohort. The methods are most suitable for unmatched case-control studies, and are restricted to categorical covariates. Expanding on methods for estimating relative mortality fro...