For each k, let P k be the product of the rst k primes. By the Chinese remainder theorem, each integer in the interval 0;P k) is determined by its residues modulo these k primes. We address the problems of space-eeciently computing the bits and the relative order of such numbers from their residues.

By integrating constructs from the λ-calculus and the π-calculus, in higher-order process calculi exchanged values may contain processes. This paper studies the relative expressiveness of HOπ, the higher-order π-calculus in which communications are governed by session types. Our main discovery is that HO, a subcalculus of HOπ which lacks name-passing and recursion, can serve as a new core calcu...

This work proposes tractable bisimulations for the higher-order πcalculus with session primitives (HOπ) and offers a complete study of the expressivity of its most significant subcalculi. First we develop three typed bisimulations, which are shown to coincide with contextual equivalence. These characterisations demonstrate that observing as inputs only a specific finite set of higher-order valu...

The judgement of relative order (JOR) procedure is used to investigate serial-order memory. Measuring response times, the wording of the instructions (whether the earlier or the later item was designated as the target) reversed the direction of search in subspan lists (Chan, Ross, Earle, & Caplan Psychonomic Bulletin & Review, 16(5), 945-951, 2009). If a similar congruity effect applied to abov...

Investigating the expressiveness of a diagrammatic logic provides insight into how its syntactic elements interact at the semantic level. Moreover, it allows for comparisons with other notations. Various expressiveness results for diagrammatic logics are known, such as the theorem that Shin’s Venn-II system is equivalent to monadic first order logic. The techniques employed by Shin for Venn-II ...

In this paper, we introduce and study new concepts of order L-weakly M-weakly compact operators. As consequences, obtain some characterizations Banach lattices with continuous norms or whose topological duals have norms. It is proved that if $$T:E \longrightarrow F$$ an operator between two lattices, then T only its adjoint $$T'$$ compact. Also, show compact, Some related results are also obtai...

 In this paper by use of mathematical modeling of an observer [14,15] the notion of relative information functional for relative dynamical systemson compact metric spaces is presented. We extract the information function ofan ergodic dynamical system (X,T) from the relative information of T fromthe view point of observer χX, where X denotes the base space of the system.We also generalize the in...