On solving fair exchange and related distributed problems in Byzantine environments

Abstract The solvability of the problem of fair exchange in a synchronous system subject to Byzantine failures is investigated in this work. The fair exchange problem arises when a group of processes are required to exchange digital items in a fair manner, which means that either each process obtains the item it was expecting or no process obtains any information on, the inputs of others. After introducing a novel specification of fair exchange that clearly separates safety and liveness, we give an overview of the difficulty of solving such a problem in the context of a fully-connected topology. On one hand, we show that no solution to fair exchange exists in the absence of an identified process that every process can trust a priori; on the other, a well-known solution to fair exchange relying on a trusted third party is recalled. These two results lead us to complete our system model with a flexible representation of the notion of trust. We then show that fair exchange is solvable if and only if a connectivity condition, named the reachable majority condition, is satisfied. The necessity of the condition is proven by an impossibility result and its sufficiency by presenting a general solution to fair exchange relying on a set of trusted processes. The focus is then turned towards a specific network topology in order to provide a fully decentralized, yet realistic, solution to fair exchange. The general solution mentioned above is optimized by reducing the computational load assumed by trusted processes as far as possible. Accordingly, our fair exchange protocol relies on trusted tamperproof modules that have limited communication abilities and are only required in key steps of the algorithm. This modular solution is then implemented in the context of a pedagogical application developed for illustrating and apprehending the complexity of fair exchange. This application, which also includes the implementation of a wide range of Byzantine behaviors, allows executions of the algorithm to be set up and monitored through a graphical display. Surprisingly, some of our results on fair exchange seem contradictory with those found in the literature of secure multiparty computation, a problem from the field of modern cryptography, although the two problems have much in common. Both problems are closely related to the notion of trusted third party, but their approaches and descriptions differ greatly. By introducing a common specification framework, a comparison is proposed in order to clarify their differences and the possible origins of the confusion between them. This leads us to introduce the problem of generalized fair computation, a generalization of fair exchange. Finally, a solution to this new problem is given by generalizing our modular solution to fair exchange

Structural analysis of Turtle mountain (Alberta) using digital elevation model: Toward a progressive failure

In 1903, the eastern slope of Turtle Mountain (Alberta) was affected by a 30 M m3-rockslide named Frank Slide that resulted in more than 70 casualties. Assuming that the main discontinuity sets, including bedding, control part of the slope morphology, the structural features of Turtle Mountain were investigated using a digital elevation model (DEM). Using new landscape analysis techniques, we have identified three main joint and fault sets. These results are in agreement with those sets identified through field observations. Landscape analysis techniques, using a DEM, confirm and refine the most recent geology model of the Frank Slide. The rockslide was initiated along bedding and a fault at the base of the slope and propagated up slope by a regressive process following a surface composed of pre-existing discontinuities. The DEM analysis also permits the identification of important geological structures along the 1903 slide scar. Based on the so called Sloping Local Base Level (SLBL) an estimation was made of the present unstable volumes in the main scar delimited by the cracks, and around the south area of the scar (South Peak). The SLBL is a method permitting a geometric interpretation of the failure surface based on a DEM. Finally we propose a failure mechanism permitting the progressive failure of the rock mass that considers gentle dipping wedges (30°). The prisms or wedges defined by two discontinuity sets permit the creation of a failure surface by progressive failure. Such structures are more commonly observed in recent rockslides. This method is efficient and is recommended as a preliminary analysis prior to field investigation.

Stable hydrogen and oxygen isotope composition of waters from mine tailings in different climatic environments

The stable isotope composition of waters (delta H-2, delta O-18) can be used as a natural tracer of hydrologic processes in systems affected by acid mine drainage. We investigated the delta H-2 and delta O-18 values of pore waters from four oxidizing sulfidic mine tailings impoundments in different climatic regions of Chile (Piuquenes at La Andina with Alpine climate, Cauquenes and Caren at El Teniente with Mediterranean climate, and Talabre at the Chuquicamata deposit with hyperarid climate). No clear relationship was found between altitude and isotopic composition. The observed displacement of the tailings pore waters from the local meteoric water line toward higher delta O-18 values (by similar to +2% delta O-18 relative to delta H-2) is partly due to water-rock interaction processes, including hydration and O-isotope exchange with sulfates and Fe(III) oxyhydroxides produced by pyrite oxidation. In most tailings, from the saturated zone toward the surface, isotopically different zones can be distinguished. Zone I is characterized by an upward depletion of H-2 and O-18 in the pore waters from the saturated zone and the lowermost vadose zone, due to ascending diffused isotopically light water triggered by the constant loss of water vapor by evaporation at the surface. In zone II, the capillary flow of a mix of vapor and liquid water causes an evaporative isotopic enrichment in H-2 and O-18. At the top of the tailings in dry climate a zone III between the capillary zone and the surface contains isotopically light diffused and atmospheric water vapor. In temperate climates, the upper part of the profile is affected by recent rainfall and zone III may not differ isotopically from zone II.

Switching between apparently redundant iron-uptake mechanisms benefits bacteria in changeable environments.

Bacteria often possess multiple siderophore-based iron uptake systems for scavenging this vital resource from their environment. However, some siderophores seem redundant, because they have limited iron-binding efficiency and are seldom expressed under iron limitation. Here, we investigate the conundrum of why selection does not eliminate this apparent redundancy. We focus on Pseudomonas aeruginosa, a bacterium that can produce two siderophores-the highly efficient but metabolically expensive pyoverdine, and the inefficient but metabolically cheap pyochelin. We found that the bacteria possess molecular mechanisms to phenotypically switch from mainly producing pyoverdine under severe iron limitation to mainly producing pyochelin when iron is only moderately limited. We further show that strains exclusively producing pyochelin grew significantly better than strains exclusively producing pyoverdine under moderate iron limitation, whereas the inverse was seen under severe iron limitation. This suggests that pyochelin is not redundant, but that switching between siderophore strategies might be beneficial to trade off efficiencies versus costs of siderophores. Indeed, simulations parameterized from our data confirmed that strains retaining the capacity to switch between siderophores significantly outcompeted strains defective for one or the other siderophore under fluctuating iron availabilities. Finally, we discuss how siderophore switching can be viewed as a form of collective decision-making, whereby a coordinated shift in behaviour at the group level emerges as a result of positive and negative feedback loops operating among individuals at the local scale.

Comparative study of human erythrocytes by digital holographic microscopy, confocal microscopy, and impedance volume analyzer.

Red blood cell (RBC) parameters such as morphology, volume, refractive index, and hemoglobin content are of great importance for diagnostic purposes. Existing approaches require complicated calibration procedures and robust cell perturbation. As a result, reference values for normal RBC differ depending on the method used. We present a way for measuring parameters of intact individual RBCs by using digital holographic microscopy (DHM), a new interferometric and label-free technique with nanometric axial sensitivity. The results are compared with values achieved by conventional techniques for RBC of the same donor and previously published figures. A DHM equipped with a laser diode (lambda = 663 nm) was used to record holograms in an off-axis geometry. Measurements of both RBC refractive indices and volumes were achieved via monitoring the quantitative phase map of RBC by means of a sequential perfusion of two isotonic solutions with different refractive indices obtained by the use of Nycodenz (decoupling procedure). Volume of RBCs labeled by membrane dye Dil was analyzed by confocal microscopy. The mean cell volume (MCV), red blood cell distribution width (RDW), and mean cell hemoglobin concentration (MCHC) were also measured with an impedance volume analyzer. DHM yielded RBC refractive index n = 1.418 +/- 0.012, volume 83 +/- 14 fl, MCH = 29.9 pg, and MCHC 362 +/- 40 g/l. Erythrocyte MCV, MCH, and MCHC achieved by an impedance volume analyzer were 82 fl, 28.6 pg, and 349 g/l, respectively. Confocal microscopy yielded 91 +/- 17 fl for RBC volume. In conclusion, DHM in combination with a decoupling procedure allows measuring noninvasively volume, refractive index, and hemoglobin content of single-living RBCs with a high accuracy.

The human CFTR protein expressed in CHO cells activates aquaporin-3 in a cAMP-dependent pathway: study by digital holographic microscopy.

The transmembrane water movements during cellular processes and their relationship to ionic channel activity remain largely unknown. As an example, in epithelial cells it was proposed that the movement of water could be directly linked to cystic fibrosis transmembrane conductance regulator (CFTR) protein activity through a cAMP-stimulated aqueous pore, or be dependent on aquaporin. Here, we used digital holographic microscopy (DHM) an interferometric technique to quantify in situ the transmembrane water fluxes during the activity of the epithelial chloride channel, CFTR, measured by patch-clamp and iodide efflux techniques. We showed that the water transport measured by DHM is fully inhibited by the selective CFTR blocker CFTRinh172 and is absent in cells lacking CFTR. Of note, in cells expressing the mutated version of CFTR (F508del-CFTR), which mimics the most common genetic alteration encountered in cystic fibrosis, we also show that the water movement is profoundly altered but restored by pharmacological manipulation of F508del-CFTR-defective trafficking. Importantly, whereas activation of this endogenous water channel required a cAMP-dependent stimulation of CFTR, activation of CFTR or F508del-CFTR by two cAMP-independent CFTR activators, genistein and MPB91, failed to trigger water movements. Finally, using a specific small-interfering RNA against the endogenous aquaporin AQP3, the water transport accompanying CFTR activity decreased. We conclude that water fluxes accompanying CFTR activity are linked to AQP3 but not to a cAMP-stimulated aqueous pore in the CFTR protein.

Using a NPWE model observer to assess suitable image quality for a digital mammography quality assurance programme.

A method of objectively determining imaging performance for a mammography quality assurance programme for digital systems was developed. The method is based on the assessment of the visibility of a spherical microcalcification of 0.2 mm using a quasi-ideal observer model. It requires the assessment of the spatial resolution (modulation transfer function) and the noise power spectra of the systems. The contrast is measured using a 0.2-mm thick Al sheet and Polymethylmethacrylate (PMMA) blocks. The minimal image quality was defined as that giving a target contrast-to-noise ratio (CNR) of 5.4. Several evaluations of this objective method for evaluating image quality in mammography quality assurance programmes have been considered on computed radiography (CR) and digital radiography (DR) mammography systems. The measurement gives a threshold CNR necessary to reach the minimum standard image quality required with regards to the visibility of a 0.2-mm microcalcification. This method may replace the CDMAM image evaluation and simplify the threshold contrast visibility test used in mammography quality.

Simultaneous cell morphometry and refractive index measurement with dual-wavelength digital holographic microscopy and dye-enhanced dispersion of perfusion medium.

Digital holographic microscopy (DHM) allows optical-path-difference (OPD) measurements with nanometric accuracy. OPD induced by transparent cells depends on both the refractive index (RI) of cells and their morphology. This Letter presents a dual-wavelength DHM that allows us to separately measure both the RI and the cellular thickness by exploiting an enhanced dispersion of the perfusion medium achieved by the utilization of an extracellular dye. The two wavelengths are chosen in the vicinity of the absorption peak of the dye, where the absorption is accompanied by a significant variation of the RI as a function of the wavelength.

Quality assurance in the EORTC 22033-26033/CE5 phase III randomized trial for low grade glioma: the digital individual case review.

INTRODUCTION: The phase III EORTC 22033-26033/NCIC CE5 intergroup trial compares 50.4 Gy radiotherapy with up-front temozolomide in previously untreated low-grade glioma. We describe the digital EORTC individual case review (ICR) performed to evaluate protocol radiotherapy (RT) compliance. METHODS: Fifty-eight institutions were asked to submit 1-2 randomly selected cases. Digital ICR datasets were uploaded to the EORTC server and accessed by three central reviewers. Twenty-seven parameters were analysed including volume delineation, treatment planning, organ at risk (OAR) dosimetry and verification. Consensus reviews were collated and summary statistics calculated. RESULTS: Fifty-seven of seventy-two requested datasets from forty-eight institutions were technically usable. 31/57 received a major deviation for at least one section. Relocation accuracy was according to protocol in 45. Just over 30% had acceptable target volumes. OAR contours were missing in an average of 25% of cases. Up to one-third of those present were incorrectly drawn while dosimetry was largely protocol compliant. Beam energy was acceptable in 97% and 48 patients had per protocol beam arrangements. CONCLUSIONS: Digital RT plan submission and review within the EORTC 22033-26033 ICR provide a solid foundation for future quality assurance procedures. Strict evaluation resulted in overall grades of minor and major deviation for 37% and 32%, respectively.