In this paper we discuss a processor architecture for interval arithmetic. Firstly it is shown that double precision FPUs can cheaply be split to support single precision interval addition/subtraction or multiplication, secondly we propose hardware support for double precision interval arithmetic and compare the e ort and performance with software implementations on current architectures.

This paper reviews economic studies on rural-urban migration issues in China. The review focuses on three issues: firstly, the explanations for the rural to urban migration, secondly, the interaction between migration and labor market evolution, with special attention to labor market segregation, labor market flexibility and wage differentials, and lastly suggestions for further research topics.

This paper studies the concepts of definability and canonicity in Boolean logic with a binary relation. Firstly, it provides formulas defining first-order or second-order conditions on frames. Secondly, it proves that all formulas corresponding to compatible first-order conditions on frames are canonical.

We study, within the framework of intuitionistic logic, two well-known general results of (classical logic) bounded arithmetic. Firstly, Parikh’s theorem on the existence of bounding terms for the provably total functions. Secondly, the result which states that adding the scheme of bounded collection to (suitable) bounded theories does not yield new Π2 consequences. Mathematics Subject Classifi...

In this paper, firstly we prove a common fixed point theorem for weakly compatible mappings. Secondly, we peove common fixed point theorems for weakly compatible mappings with E.A. and CLR property in a fuzzy metric space. At the end, we provide an example in support of our theorems. Mathematics Subject Classification: 47H10, 54H25

Several adaptive learning systems are currently available. Nevertheless, most existing e-learning platforms lack efficient alignment to decision makers. Our approach is twofold. Firstly, we aim to integrate business goals in the selection process of learning concepts. Secondly, we make use of Case Based Reasoning (CBR) approach to learn from past experiences and construct effective adaptive sys...

This paper investigates the problem of allocation of database fragments to a network, so that the overall communication cost for processing a given set of transactions is minimized. Presented first is a data allocation algorithm with respect to a "simple strategy" to process transactions. Secondly, we present a dynamic data allocation algorithm which is guaranteed to produce a "locally optimal"...

In this note we establish two facts concerning the so-called New-Jersey outer bound. We show that this outer bound is equivalent to a much simpler computable region; and secondly we show that in the absence of private information this bound is exactly same as the UV -outerbound.

In this paper we consider several families of potential non-isochronous systems and study their associated period functions. Firstly, we prove some properties of these functions, like their local behavior near the critical point or infinity, or their global monotonicity. Secondly, we show that these properties are also present when we approach to the same questions using the Harmonic Balance Me...

We give a new treatment of tabular LR parsing, which is an alternative to Tomita’s generalized LR algorithm. The advantage is twofold. Firstly, our treatment is conceptually more attractive because it uses simpler concepts, such as grammar transformations and standard tabulation techniques also know as chart parsing. Secondly, the static and dynamic complexity of parsing, both in space and time...