We study the relations between Multi-valued Decision Diagrams (MDD) and tuples (i.e. elements of the Cartesian Product of variables). First, we improve the existing methods for transforming a set of tuples, Global Cut Seeds, sequences of tuples into MDDs. Then, we present some in-place algorithms for adding and deleting tuples from an MDD. Next, we consider an MDD constraint which is modified d...

This papers extends in three ways our previous work about efficient operations on Multi-valued Decision Diagrams (MDD) for building Constraint Programming models. First, we improve the existing methods for transforming a set of tuples, Global Cut Seeds or sequences of tuples into MDDs. Then, we present in-place algorithms for adding and deleting tuples from an MDD. Finally, we describe an incre...

A measurement 1,2 is presented of diffractive dijet production in deep-inelastic scattering (DIS) interactions at HERA of the type ep→ eXY , where the X system is separated by a large rapidity gap from a low-mass leading baryonic system Y . The data are consistent with QCD factorisation in diffractive DIS and yield tight constraints on both shape and normalisation of the diffractive gluon distr...

Abstract The general integer mapping theory of invertible linear transforms is considered in this paper. Two terms of integer factor and elementary triangular matrix are introduced. We prove that there exists an integer implementation if a linear transform is invertible and in finite dimensional space. The integer implementation of an invertible linear transform has several advantages such as (...

The paper presents a simple, linear time, in-place algorithm for performing a 2-way in-shuffle which can be used with little modification for certain other k-way shuffles.

The (k,n)-perfect shuffle, a generalisation of the 2-way perfect shuffle, cuts a deck of kn cards into k equal size decks and interleaves them perfectly with the first card of the last deck at the top, the first card of the second-to-last deck as the second card, and so on. It is formally defined to be the permutation ρk,n : i→ ki (mod kn + 1), i ∈ {1,2, . . . ,kn}. We uncover the cycle structu...

PURPOSE OF THE STUDY To systematically review cost, cost-minimization and cost-effectiveness studies for assisted living technologies (ALTs) that specifically enable older people to 'age in place' and highlight what further research is needed to inform decisions regarding aging in place. DESIGN People aged 65+ and their live-in carers (where applicable), using an ALT to age in place at home o...

Residential satisfaction is a significant topic in environmental psychology yet there is little research on residential satisfaction among elders. This research aims to identify the cognitive structure of residential satisfaction of elderly persons living in their own dwellings and to identify demographic and psychological variables related to this residential satisfaction. One hundred and thre...