Synthesizing optimal bias in randomized self-stabilization

Randomization is a key concept in distributed computing to tackle impossibility results. This also holds for self-stabilization in anonymous networks where coin flips are often used to break symmetry. Although the use of randomization in self-stabilizing algorithms is rather common, it is unclear what the optimal coin bias is so as to minimize the expected convergence time. This paper proposes a technique to automatically synthesize this optimal coin bias. Our algorithm is based on a parameter synthesis approach from the field of probabilistic model checking. It over- and under-approximates a given parameter region and iteratively refines the regions with minimal convergence time up to the desired accuracy. We describe the technique in detail and present a simple parallelization that gives an almost linear speed-up. We show the applicability of our technique to determine the optimal bias for the well-known Herman’s self-stabilizing token ring algorithm. Our synthesis obtains that for small rings, a fair coin is optimal, whereas for larger rings a biased coin is optimal where the bias grows with the ring size. We also analyze a variant of Herman’s algorithm that coincides with the original algorithm but deviates for biased coins. Finally, we show how using speed reducers in Herman’s protocol improve the expected convergence time.

INVESTIGATION OF OZONE SYNTHESIS IN THE NEGATIVE PULSED CORONA DISCHARGE IN OXYGEN AT THE COMBINED SUPPLY VOLTAGE

The influence of combined supply voltage parameters (bias voltage and voltage pulse amplitude) on efficiency of ozone synthesis in the negative pulsed corona discharge in oxygen was obtained. Pulse overvoltage led to intensification of discharge processes. Bias voltage applied during the discharge channel relaxation essentially increased the efficiency of ozone synthesis. It was established that the “optimal” bias voltage which provides maximum ozone generation doesn’t depend on voltage pulse amplitude, but depends on input oxygen concentration and generated ozone concentration.

Influence of isotopically labeled internal standards on quantification of serum/plasma 17α-hydroxyprogesterone (17OHP) by liquid chromatography mass spectrometry

ObjectivesOur recent survey of 44 mass spectrometry laboratories across 17 countries identified variation in internal standard (IS) choice for the measurement of serum/plasma 17α-hydroxyprogesterone (17OHP) by liquid chromatography-tandem mass spectrometry (LC-MS/MS). The choice of IS may contribute to inter-method variations. This study evaluated the effect of two common isotopically labeled IS on the quantification of 17OHP by LC-MS/MS.MethodsThree collaborating LC-MS/MS laboratories from Asia, Europe and Australia, who routinely measure serum 17OHP, compared two IS, (1) IsoSciences carbon-13 labeled 17OHP-[2,3,4-13C3], and (2) IsoSciences deuterated 17OHP-[2,2,4,6,6,21,21,21-2H]. This was performed as part of their routine patient runs using their respective laboratory standard operating procedure.ResultsThe three laboratories measured 99, 89, 95 independent samples, respectively (up to 100 nmol/L) using the 13C- and 2H-labeled IS. The slopes of the Passing-Bablok regression ranged 0.98–1.00 (all 95% confidence interval [CI] estimates included the line of identity), and intercept of <0.1 nmol/L. Average percentage differences of −0.04% to −5.4% were observed between the two IS materials, which were less than the optimal bias specification of 7% determined by biological variation, indicating no clinically significant difference. The results of 12 Royal College of Pathologists of Australasia Quality Assurance Programs (RCPAQAP) proficiency samples (1–40 nmol/L) measured by the laboratories were all within the RCPAQAP analytical performance specifications for both IS.ConclusionsOverall, the comparison between the results of 13C- and 2H-labeled IS for 17OHP showed good agreement, and show no clinically significant bias when incorporated into the LC-MS/MS methods employed in the collaborating laboratories.

Escherichia coliRemodels the Chemotaxis Pathway for Swarming

ABSTRACTMany flagellated bacteria “swarm” over a solid surface as a dense consortium. In different bacteria, swarming is facilitated by several alterations such as those corresponding to increased flagellum numbers, special stator proteins, or secreted surfactants. We report here a change in the chemosensory physiology of swarmingEscherichia coliwhich alters its normal “run tumble” bias.E. colibacteria taken from a swarm exhibit more highly extended runs (low tumble bias) and higher speeds thanE. colibacteria swimming individually in a liquid medium. The stability of the signaling protein CheZ is higher in swarmers, consistent with the observed elevation of CheZ levels and with the low tumble bias. We show that the tumble bias displayed by wild-type swarmers is the optimal bias for maximizing swarm expansion. In assays performed in liquid, swarm cells have reduced chemotactic performance. This behavior is specific to swarming, is not specific to growth on surfaces, and persists for a generation. Therefore, the chemotaxis signaling pathway is reprogrammed for swarming.IMPORTANCEThe fundamental motile behavior ofE. coliis a random walk, where straight “runs” are punctuated by “tumbles.” This behavior, conferred by the chemotaxis signaling system, is used to track chemical gradients in liquid. Our study results show that when migrating collectively on surfaces,E. colimodifies its chemosensory physiology to decrease its tumble bias (and hence to increase run durations) by post-transcriptional changes that alter the levels of a key signaling protein. We speculate that the low tumble bias may contribute to the observed Lévy walk (LW) trajectories within the swarm, where run durations have a power law distribution. In animals, LW patterns are hypothesized to maximize searches in unpredictable environments. Swarming bacteria face several challenges while moving collectively over a surface—maintaining cohesion, overcoming constraints imposed by a physical substrate, searching for nutrients as a group, and surviving lethal levels of antimicrobials. The altered chemosensory behavior that we describe in this report may help with these challenges.