while true do (noncritB; flagB := true; turn := A; waitfor (flagA = false) ∨ (turn = B); critB ; flagB := false) . A global state of our system S = A‖B (processes A,B running in parallel; they communicate by shared variables) can be described by the values of a few (boolean) variables, i.e., by a (column) vector from {0, 1} for some fixed k. Our system S thus determines (can be equated with) a ...

This 16-year retrospective study reports the data on 456 consecutive patients with 557 peripheral nerve injuries (PNIs) between 1989 and 2004. Most patients were men (74%) and the mean age was 32.4 years. In 83% of cases the PNIs were isolated; combined lesions most commonly involved the ulnar and median nerves. Upper-limb PNIs occurred in 73.5% of cases; the ulnar nerve was most often injured,...

These letters respond to the Commentary 'Towards responsible use of cognitive-enhancing drugs by the health' by Henry Greely and colleagues. (Nature 456, 702-705; 2008)

We report the detection of a deep broad H I 21 cm absorption system at z = 0.78 toward the radio source [HB89] 2351+456 (4C+45.51) at z = 1.992. The H I absorption was identified in a blind spectral line survey conducted at the Green Bank Telescope spanning 0.63 < z < 1.10 toward a large sample of radio continuum sources. The H I column density is NHI = 2.35×10 (Ts/f) cm , where Ts is the spin ...

Abstract Our view of the variety stellar structures pervading local Milky Way has been transformed by application clustering algorithms to Gaia catalog. In particular, several streams have recently discovered that are comprised hundreds thousands stars and span hundred parsecs. We analyze one such structure, Theia 456, a low-density stream extending nearly 200 pc 20° across sky. By supplementin...

Abstract Background Patients with vasculitis, a set of rare diseases, encounter delays in obtaining an accurate diagnosis which can lead to substantial morbidity and increased mortality. This study sought describe the diagnostic journey patients vasculitis identify factors associated time diagnosis. Methods enrolled online registry completed two-stage study: Stage 1: survey open-ended questions...