This paper proposes an extension of the ML module system with recursion that keeps a flexible use of nested structures and functors. For the purpose of formal study, we design a calculus, called PathCal, which has a module system with nested structures and simple functors along with recursion. It is important for this calculus to guarantee resolvability of recursive references between modules. ...

A system of nested dichotomies is a hierarchical decomposition of a multi-class problem with c classes into c − 1 two-class problems and can be represented as a tree structure. Ensembles of randomlygenerated nested dichotomies have proven to be an effective approach to multi-class learning problems [1]. However, sampling trees by giving each tree equal probability means that the depth of a tree...

Secure Nested Transactions are an adaptation of traditional nested transactions to support the synergy of language-based security and multi-level database security. They have application in security for enterprise applications, where transactional semantics are a critical feature in middleware systems. This article considers correctness in terms of transactional properties for secure nested tra...

Mention detection is the first module used in coreference resolution systems. Due to that, it is important that the results obtained by this module are as high as possible. Within the field of mention detection, nested mentions are the most difficult ones to detect. In this paper, we present a nested mention detection system based on expansion, a new model for detecting nested elements in NLP b...

The target paper of Dr. Feinberg [1] is a testimony to an admirable scholarship and deep thoughtfulness. This paper develops a general theoretical framework of nested hierarchy in the brain that allows production of mind with consciousness. The difference between non-nested and nested hierarchies is the following. In a non-nested hierarchy the entities at higher levels of the hierarchy are phys...

Nested certification is a methodology for efficient certificate path verification. Nested certificates can be used together with classical certificates in the Public Key Infrastructures (PKIs). Such a PKI, which is called Nested certificate based PKI (NPKI), is proposed in this paper as alternative to classical PKI. The NPKI formation model is a transition from an existing PKI by issuing nested...

The SC language system has been developed to provide a transformation-based language extension scheme for SC languages (extended/plain C languages with an S-expression based syntax). Using this system, many flexible extensions to the C language can be implemented by transformation rules over S-expressions at low cost mainly because of the pre-existing Common Lisp capabilities for manipulating S...

This paper introduces a programming language that makes it convenient to compose large software systems, combining their features in a modular way. J& supports nested intersection, building on earlier work on nested inheritance in the language Jx. Nested inheritance permits modular, type-safe extension of a package (including nested packages and classes), while preserving existing type relation...

In this paper the ways of various types of transaction support in the buffer system of the storage system are considered. Support of active transaction tree as the mechanism for nested transaction execution is described. It is shown that inclusion of some additional information into ATT nodes makes possible to support the wide range of flexible transaction concepts. The implementing of ARIES me...

The nested transaction model was introduced to satisfy the requirements of advanced database applications. Moreover, it is currently the basic transaction model for new database applications like work¯ow systems and new database systems like mobile databases and object-relational databases. Though there are several performance evaluation studies of different concurrency control mechanisms in ne...