Abstract. Recent advances in scheduling and networking have cleared the way for efficient exploitation of large-scale distributed computing platforms, such as computational grids and huge clusters. Such infrastructures hold great promise for the highly resource-demanding task of verifying

ABSTRACT Using dealer's quotes and transactions prices on straight industrial bonds, we investigate the determinants of credit spread changes. Variables that should in theory determine credit spread changes have rather limited explanatory power. Further, the residuals from this regression

cation of current processes of social transformation, thus providing theoretical meaning to the ideal type of the network society. I hope the reader will be benevolent enough to use what s/he nds useful in this effort, and discard the rest. I also hope that we all end up adopting the notion of disposable

of the latent and observed variables on the intended construct. This model demonstrated a good fit for the data ( 2 ϭ 25.99, df ϭ 14, p ϭ .02, CFI ϭ 1.00, IFI ϭ 1.00, SRMR ϭ .01, RMSEA ϭ .04). In cases in which we used a single observed variable to measure a latent construct (job attitudes), we corrected

the industrial revolution is among the most significant of human influences on the global environment. The source of this carbon dioxide has been convincingly ascribed to the use of fossil fuels, cement manufacture and deforestation, but considerable mystery remains because only a fraction of the estimated

technology, through-hole assembly. The second technology, through-hole, generates a product that looks very much like a stereotypical circuit board. These boards have large components that protrude from their surface. Pins from the component run through the circuit board and extend beyond the bottom

be classified according to several, very different parameters. Firstly, they can be classified according to shape, a process that started with Dogiel at the end of the 1800s using methylene blue as a stain. The early distinction based on the morphology of the cell body and its processes between Dogiel type I

pages 156–175, 2013. [2] Johannes Buchmann, Denise Demirel, and Jeroen van de Graaf. Towards a publicly-verifiable mix-net providing everlasting privacy. In Financial Cryptog-raphy, pages 197–204, 2013. [3] Denise Demirel, Jeroen van de Graaf, and Roberto Araùjo. Improving helios

in a quasi-automatic process in that "groups in the field who have more power use the acceptable cultural rules to reproduce their power" (Fligstein, 2001:15). 7 Institutional stabilization is not necessarily an automatic process but rests on ongoing mobilization both within

Abstract — Given some geometric elements such as points and lines in , subject to a set of pairwise distance constraints, the problem tackled in this paper is that of finding all possible configurations of these elements that satisfy the constraints. Many problems in Robotics (such as the position analysis of serial and parallel manipulators) and CAD/CAM (such as the interactive placement of objects) can be formulated in this way. The strategy herein proposed consists in looking for some of the a priori unknown distances, whose derivation permits solving the problem rather trivially. Finding these distances relies on a branch-and-prune technique that iteratively eliminates from the space of distances entire regions which cannot contain any solution. This elimination is accomplished by applying redundant necessary conditions derived from the theory of Distance Geometry. The experimental results qualify this approach as a promising one. Index Terms — Kinematic and geometric constraint solving, distance constraint, Cayley-Menger determinant, branch-and-prune, interval method, direct and inverse kinematics, octahedral manipulator. I.