The relational model and its extensions are often considered incompatible with object-orientation. However, on the one hand nested relations provide the complex object features demanded by object models. Particularly, powerful query languages exploit the complex data structure while keeping the advantages of the declarative, set-oriented paradigm. On the other hand, object models provide semant...

We propose a notion of focusing for nested sequent calculi for modal logics which brings down the complexity of proof search to that of the corresponding sequent calculi. The resulting systems are amenable to specifications in linear logic. Examples include modal logic K, a simply dependent bimodal logic and the standard non-normal modal logics. As byproduct we obtain the first nested sequent c...

Dependency analysis techniques used for parllelizing compilers can be used to produce coarse grained code for distributed memory systems such as a cluster of workstations. Nested for-loops provide opportunities for this coarse grained parallelization. This paper describes current dependency analysis tests that can be used to identify ways for transforming sequential C code into parallel C code....

The quantum integrable systems associated with the loop algebras $\mathrm U_q(\mathcal L(\mathfrak{sl}_{\, l + 1}))$ are considered. factorized form of transfer operators related to infinite dimensional evaluation representations is found and determinant finite obtained. master $TQ$- $TT$-relations derived. operatorial $T$- $Q$-systems found. nested Bethe equations

We investigate the relationship between the nested organization of mutualistic systems and their robustness against the extinction of species. We establish that a nested pattern of contacts is the best possible one as far as robustness is concerned, but only when the least linked species have the greater probability of becoming extinct. We introduce a coefficient that provides a quantitative me...

In this article, we present a Lyapunov framework for establishing stability with respect to compact set nested interconnection of nonlinear dynamical systems ordered from slow fast according their convergence rates, where each the dynamics is influenced only by slower and successive fastest one. The proposed approach explicitly considers more than two time scales, it does not require modeling m...

The termination of rewrite systems for parameter recursion, simple nested recursion and unnested multiple recursion is shown by using monotone interpretations both on the ordinals below the first primitive recursively closed ordinal and on the natural numbers. We show that the resulting derivation lengths are primitive recursive. As a corollary we obtain transparent and illuminating proofs of t...

Nested Petri nets have been applied for modeling interaction protocols, mobility, adaptive systems and interorganizational workflows. However, few results have been reported on the use of automated tools for analyzing the behavior of these nets. In this paper we present a general translation from nested Petri nets into PROMELA and explain how some properties of these nets can be studied using S...