A mutual exclusion algorithm is presented that has four desired properties: (1) it satisfies FIFO fairness, (2) it satisfies localspinning, (3) it is adaptive, and (4) it uses finite number of bounded size atomic registers. No previously published algorithm satisfies all these properties. In fact, it is the first algorithm (using only atomic registers) which satisfies both FIFO and local-spinni...

The now half-century-old multidisciplinary, interdisciplinary discipline that we call "system engineering" is the classic half-empty, half-full glass; optimists and pessimists can look at the same thing and draw opposing conclusions. Optimistically, the maturing of system engineering into a recognized discipline from its roots in large aerospace and defense programs has been, and will remain, a...

The observable world of physical phenomena is fundamentally governed by quantum gauge field theory (QFT) [16], as was recently once more confirmed by the detection [13] of the Higgs boson [8]. On the other hand, the world of mathematical concepts is fundamentally governed by formal logic, as elaborated in a foundational system such as axiomatic set theory or type theory. Quantum gauge field the...

The platform of personal fabrication is developed by technologies such as 3D printing. However, most people do not have enough professional knowledge or skills to design these products. A promising approach relates subjective impressions physical parameters support intuitive design. This study aimed build a model that predicts “high-class feeling,” which product value, using features. present c...

Pardossi-Piquard et al. (2005) recently reported that the processing of APP by the presenilin/g-secretase complex to release the APP intracellular domain (AICD) allows the latter to upregulate the cellular expression of neprilysin. The authors emphasized the biological elegance of thisnovel feedbackmechanism in that a by-product (AICD) of thegeneration of amyloid b protein (Ab) increases the le...

This paper describes a simple but flexible family of Haskell programs for drawing pictures of fractals such as Mandelbrot and Julia sets. Its main goal is to showcase the elegance of a compositional approach to program construction, and the benefits of a clean separation between different aspects of program behavior. Aimed at readers with relatively little experience of functional programming, ...

As is the case with diagnostic nuclear medicine, a major consideration in the development of targeted radiotherapeutics is to seek a balance between conceptual elegance and practicality. Nowhere is this more apparent than in the selection of the nature of the radiation to be exploited and the radionuclide that will be used to deliver this radiation. From a pragmatic perspective, convenient avai...

Supersymmetric hadrons of the type g̃g̃, g̃g and g̃qq̄ could exist depending on the masses of the gluino and the squarks being in an appropriate range of values. We find the energy levels of g̃g and g̃qq̄ bound states (where q denotes a light quark, u, d or s), as well as the strong interaction transition rates among them, using a Heavy Gluino Effective Theory, much in the same spirit as the well-known...

In this paper we propose a new recursive algorithm for computing the staircase form of a matrix pencil, and implicitly its Kronecker structure. The algorithm compares favorably to existing ones in terms of elegance, versatility, and complexity. In particular, the algorithm without any modiication yields the structural invari-ants associated with a generalized state{space system and its system p...