We introduce the notions of nested constraints and application conditions, short nested conditions. For a category associated with a graphical representation such as graphs, conditions are a graphical and intuitive, yet precise formalism, well-suited to describe structural properties. We show that nested graph conditions are expressively equivalent to first-order graph formulas. A part of the p...

We propose a generic framework for reasoning about infinite state systems handling data like integers, booleans etc. and having complex control structures. We consider that configurations of such systems are represented by nested data words, i.e., words of ... words over a potentially infinite data domain. We define a logic called NDWL allowing to reason about nested data words, and we define r...

OBJECTIVE L and E6/E7 gene amplification analyses were compared to identify human papillomavirus (HPV) infection and verify the HPV type, with the intent to minimize HPV typing errors. METHODS L1 gene verified HPV typing was accomplished via polymerase chain reaction (PCR) and membrane assays. Verification of HPV typing via E6/E7 genes was accomplished through nested multiplexed PCR. The resu...

We examine the power of incremental evaluation systems that use an SQL-like language formaintaining recursively-de ned views. We show that recursive queries such as transitive closure,and \alternating paths" can be incrementally maintained in a nested relational language, whensome auxiliary relations are allowed. In the presence of aggregate functions, even more queries canbe ma...

In this letter we extend previously established results for nested carbon nanocones to both nested boron nitride and carbon-boron nitride nanocones. Based purely on mechanical principles and classical mathematical modelling techniques, we determine the energetically favourable structures for nested boron nitride and carbon-boron nitride nanocones. While only three apex angles for boron nitride ...

Nested parallelism has been a major feature of OpenMP since its very beginnings. As a programming style, it provides an elegant solution for a wide class of parallel applications, with the potential to achieve substantial utilization of the available computational resources, in situations where outer-loop parallelism simply can not. Notwithstanding its significance, nested parallelism support w...

We present an efficient numerical algorithm for simulating chemical kinetic systems with multiple time scales. This algorithm is an improvement of the traditional stochastic simulation algorithm (SSA), also known as Gillespie’s algorithm. It is in the form of a nested SSA and uses an outer SSA to simulate the slow reactions with rates computed from realizations of inner SSAs that simulate the f...

This paper presents an alternative approach for constructing a hierarchical rough set approximation in an information system. It is based on the notion of dependency of attributes. The proposed approach is started with the notion of a nested sequence of indiscernibility relations that can be defined from the dependency of attributes. With this notion, a nested rough set approximation can be eas...

Multi-dimensional systems containing nested loops are widely used to model scientific applications such as image processing, geophysical signal processing and fluid dynamics. However, branches within these loops may degrade the performance of pipelined architectures. This paper presents the theory, supporting hardware and experiments of a novel technique, based on multi-dimensional retiming, fo...

Let k be an algebraic number field. Let α be a root of a polynomial f ∈ k[x] which is solvable by radicals. Let L be the splitting field of α over k. Let n be a natural number divisible by the discriminant of the maximal abelian subextension of L, as well as the exponent of G(L/k), the Galois group of L over k. We show that an optimal nested radical with roots of unity for α can be effectively ...