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

Binge eating in binge eating disorder: a break-down of emotion regulatory process?

Current explanatory models for binge eating in binge eating disorder (BED) mostly rely onmodels for bulimianervosa (BN), although research indicates different antecedents for binge eating in BED. This studyinvestigates antecedents and maintaining factors in terms of positive mood, negative mood and tension in asample of 22 women with BED using ecological momentary assessment over a 1-week. Values for negativemood were higher and those for positive mood lower during binge days compared with non-binge days.During binge days, negative mood and tension both strongly and significantly increased and positive moodstrongly and significantly decreased at the first binge episode, followed by a slight though significant, andlonger lasting decrease (negative mood, tension) or increase (positive mood) during a 4-h observation periodfollowing binge eating. Binge eating in BED seems to be triggered by an immediate breakdown of emotionregulation. There are no indications of an accumulation of negative mood triggering binge eating followed byimmediate reinforcing mechanisms in terms of substantial and stable improvement of mood as observed inBN. These differences implicate a further specification of etiological models and could serve as a basis fordeveloping new treatment approaches for BED.

Streamlining the medication process improves safety in the intensive care unit.

BACKGROUND: Multiple interventions were made to optimize the medication process in our intensive care unit (ICU). 1 Transcriptions from the medical order form to the administration plan were eliminated by merging both into a single document; 2 the new form was built in a logical sequence and was highly structured to promote completeness and standardization of information; 3 frequently used drug names, approved units, and fixed routes were pre-printed; 4 physicians and nurses were trained with regard to the correct use of the new form. This study was aimed at evaluating the impact of these interventions on clinically significant types of medication errors. METHODS: Eight types of medication errors were measured by a prospective chart review before and after the interventions in the ICU of a public tertiary care hospital. We used an interrupted time-series design to control the secular trends. RESULTS: Over 85 days, 9298 lines of drug prescription and/or administration to 294 patients, corresponding to 754 patient-days were collected and analysed for the three series before and three series following the intervention. Global error rate decreased from 4.95 to 2.14% (-56.8%, P < 0.001). CONCLUSIONS: The safety of the medication process in our ICU was improved by simple and inexpensive interventions. In addition to the optimization of the prescription writing process, the documentation of intravenous preparation, and the scheduling of administration, the elimination of the transcription in combination with the training of users contributed to reducing errors and carried an interesting potential to increase safety.

New perspectives in the use of ink evidence in forensic science: Part I. Development of a quality assurance process for forensic ink analysis by HPTLC

The level of information provided by ink evidence to the criminal and civil justice system is limited. The limitations arise from the weakness of the interpretative framework currently used, as proposed in the ASTM 1422-05 and 1789-04 on ink analysis. It is proposed to use the likelihood ratio from the Bayes theorem to interpret ink evidence. Unfortunately, when considering the analytical practices, as defined in the ASTM standards on ink analysis, it appears that current ink analytical practices do not allow for the level of reproducibility and accuracy required by a probabilistic framework. Such framework relies on the evaluation of the statistics of the ink characteristics using an ink reference database and the objective measurement of similarities between ink samples. A complete research programme was designed to (a) develop a standard methodology for analysing ink samples in a more reproducible way, (b) comparing automatically and objectively ink samples and (c) evaluate the proposed methodology in a forensic context. This report focuses on the first of the three stages. A calibration process, based on a standard dye ladder, is proposed to improve the reproducibility of ink analysis by HPTLC, when these inks are analysed at different times and/or by different examiners. The impact of this process on the variability between the repetitive analyses of ink samples in various conditions is studied. The results show significant improvements in the reproducibility of ink analysis compared to traditional calibration methods.

Cerebrospinal fluid antimicroglial antibodies in Alzheimer disease: a putative marker of an ongoing inflammatory process.

Immunocompetent microglia play an important role in the pathogenesis of Alzheimer's disease (AD). Antimicroglial antibodies in the cerebrospinal fluid (CSF) in clinically diagnosed AD patients have been previously recorded. Here, we report the results of the analysis of the CSF from 38 autopsy cases: 7 with definite AD; 14 with mild and 10 with moderate Alzheimer's type pathology; and 7 controls. Antimicroglial antibodies were identified in 70% of patients with definite AD, in 80% of patients with moderate and in 28% of patients with mild Alzheimer's type pathology. CSF antimicroglial antibodies were not observed in any of the control cases. The results show that CSF antimicroglial antibodies are present in the majority of patients with definite AD and also in cases with moderate Alzheimer's type changes. They may also indicate dysregulation of microglial function. Together with previous observations, these findings indicate that compromised immune defense mechanisms play an important role in the pathogenesis of AD.

Reforms of the pre-graduate curriculum for medical students: the Bologna process and beyond.

For several years, all five medical faculties of Switzerland have embarked on a reform of their training curricula for two reasons: first, according to a new federal act issued in 2006 by the administration of the confederation, faculties needed to meet international standards in terms of content and pedagogic approaches; second, all Swiss universities and thus all medical faculties had to adapt the structure of their curriculum to the frame and principles which govern the Bologna process. This process is the result of the Bologna Declaration of June 1999 which proposes and requires a series of reforms to make European Higher Education more compatible and comparable, more competitive and more attractive for Europeans students. The present paper reviews some of the results achieved in the field, focusing on several issues such as the shortage of physicians and primary care practitioners, the importance of public health, community medicine and medical humanities, and the implementation of new training approaches including e-learning and simulation. In the future, faculties should work on several specific challenges such as: students' mobility, the improvement of students' autonomy and critical thinking as well as their generic and specific skills and finally a reflection on how to improve the attractiveness of the academic career, for physicians of both sexes.

Macrophages induce neutrophil apoptosis through membrane TNF, a process amplified by Leishmania major.

Neutrophils are recruited to the site of parasite inoculation within a few hours of infection with the protozoan parasite Leishmania major. In C57BL/6 mice, which are resistant to infection, neutrophils are cleared from the site of s.c. infection within 3 days, whereas they persist for at least 10 days in susceptible BALB/c mice. In the present study, we investigated the role of macrophages (MPhi) in regulating neutrophil number. Inflammatory cells were recruited by i.p. injection of either 2% starch or L. major promastigotes. Neutrophils were isolated and cultured in the presence of increasing numbers of MPhi. Extent of neutrophil apoptosis positively correlated with the number of MPhi added. This process was strictly dependent on TNF because MPhi from TNF-deficient mice failed to induce neutrophil apoptosis. Assays using MPhi derived from membrane TNF knock-in mice or cultures in Transwell chambers revealed that contact with MPhi was necessary to induce neutrophil apoptosis, a process requiring expression of membrane TNF. L. major was shown to exacerbate MPhi-induced apoptosis of neutrophils, but BALB/c MPhi were not as potent as C57BL/6 MPhi in this induction. Our results emphasize the importance of MPhi-induced neutrophil apoptosis, and membrane TNF in the early control of inflammation.