Scalable multicomputers are based upon interconnection net works that typically provide multiple communication routes between any given pair of processor nodes Routes must be selected for communica tion so that the load is distributed evenly among the links and switches to prevent congestion in the network We describe the route selection algorithm used in the IBM SP multicomputer We then descri...

Different models with various approaches to strategic positioning have been employed to define it in various industries. As one of the powerful models, BSC analyses all aspect of organization evenly. In this study BSC is used as an instrument to make Shiraz University more efficient in implementing strategic and performance or supporting their strategic plan. Therefore this study aims to desig...

In this paper we propose a distributed symbolic algorithm for model checking of propositional μ–calculus formulas. μ-calculus is a powerful formalism and many problems like (fair) CTL and LTL model checking can be solved using the μ–calculus model checking. Previous works on distributed symbolic model checking were restricted to reachability analysis and safety properties. This work thus signi£...

Gene banks around the world hold over 370.000 accessions of barley (van Hintum and Menting, 2003). Although a large number of landraces and obsolete cultivars are stored in genebanks the geographic coverage of this conserved material is far from evenly distributed. For example only a handful of landraces from Northern Europe have been conserved (Jones et al, 2008a). Thus studies of geographic d...

Gli genes encode a family of zinc finger transcription factors that mediate signaling by Hedgehog proteins. We have cloned the chick Gli3 gene and studied its expression in developing chick limbs. Gli3 expression is highly similar to that of chick Gli2. Gli3 mRNA is evenly distributed in the early limb mesenchyme and subsequently downregulated in the posterior mesenchyme by the polarizing activ...

Previous research shows that technical progress at the industry level, measured by sectoral TFP growth, is more localized in continental European countries than in Anglo-Saxon countries. We use EU KLEMS data sets to decompose sectoral TFP for nine European countries by means of a Malmquist approach, in order to separate technical change. Applying Harberger diagrams, we describe the sectoral pat...

We examined college students' procrastination when studying for weekly in-class quizzes. Two schedules of online practice quiz delivery were compared using a multiple baseline design. When online study material was made available noncontingently, students usually procrastinated. When access to additional study material was contingent on completing previous study material, studying was more even...

The distribution of gross income net of taxes and transfers – or equivalently consumption – is generally considered a reasonable approximation of the distribution of well-being in the society. One typically observes differing trends in the distribution of gross incomes across countries or within the same country over time. Where do these inequalities originate from? Considering a simple model w...