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

Error estimate and control in the MSFV method for multiphase flow in porous media

n this paper the iterative MSFV method is extended to include the sequential implicit simulation of time dependent problems involving the solution of a system of pressure-saturation equations. To control numerical errors in simulation results, an error estimate, based on the residual of the MSFV approximate pressure field, is introduced. In the initial time steps in simulation iterations are employed until a specified accuracy in pressure is achieved. This initial solution is then used to improve the localization assumption at later time steps. Additional iterations in pressure solution are employed only when the pressure residual becomes larger than a specified threshold value. Efficiency of the strategy and the error control criteria are numerically investigated. This paper also shows that it is possible to derive an a-priori estimate and control based on the allowed pressure-equation residual to guarantee the desired accuracy in saturation calculation.

Spontaneous pre-stimulus fluctuations in the activity of right fronto-parietal areas influence inhibitory control performance.

Inhibitory control refers to the ability to suppress planned or ongoing cognitive or motor processes. Electrophysiological indices of inhibitory control failure have been found to manifest even before the presentation of the stimuli triggering the inhibition, suggesting that pre-stimulus brain-states modulate inhibition performance. However, previous electrophysiological investigations on the state-dependency of inhibitory control were based on averaged event-related potentials (ERPs), a method eliminating the variability in the ongoing brain activity not time-locked to the event of interest. These studies thus left unresolved whether spontaneous variations in the brain-state immediately preceding unpredictable inhibition-triggering stimuli also influence inhibitory control performance. To address this question, we applied single-trial EEG topographic analyses on the time interval immediately preceding NoGo stimuli in conditions where the responses to NoGo trials were correctly inhibited [correct rejection (CR)] vs. committed [false alarms (FAs)] during an auditory spatial Go/NoGo task. We found a specific configuration of the EEG voltage field manifesting more frequently before correctly inhibited responses to NoGo stimuli than before FAs. There was no evidence for an EEG topography occurring more frequently before FAs than before CR. The visualization of distributed electrical source estimations of the EEG topography preceding successful response inhibition suggested that it resulted from the activity of a right fronto-parietal brain network. Our results suggest that the fluctuations in the ongoing brain activity immediately preceding stimulus presentation contribute to the behavioral outcomes during an inhibitory control task. Our results further suggest that the state-dependency of sensory-cognitive processing might not only concern perceptual processes, but also high-order, top-down inhibitory control mechanisms.

Efficacy of brief motivational intervention at army conscription to address alcohol use and related problems: a randomized controlled trial

Objectives: The aim of this study was to evaluate the efficacy of brief motivational intervention (BMI) in reducing alcohol use and related problems among binge drinkers randomly selected from a census of 20 year-old French speaking Swiss men and to test the hypothesis that BMI contributes to maintain low-risk drinking among non-bingers. Methods: Randomized controlled trial comparing the impact of BMI on weekly alcohol use, frequency of binge drinking and occurrence of alcohol-related problems. Setting: Army recruitment center. Participants: A random sample of 622 men were asked to participate, 178 either refused, or missed appointment, or had to follow military assessment procedures instead, resulting in 418 men randomized into BMI or control conditions, 88.7% completing the 6-month follow-up assessment. Intervention: A single face-to-face BMI session exploring alcohol use and related problems in order to stimulate behaviour change perspective in a non-judgmental, empathic manner based on the principles of motivational interviewing (MI). Main outcome measures: Weekly alcohol use, binge drinking frequency and the occurrence of 12 alcohol-related consequences. Results: Among binge drinkers, we observed a 20% change in drinking induced by BMI, with a reduction in weekly drinking of 1.5 drink in the BMI group, compared to an increase of 0.8 drink per week in the control group (incidence rate ratio 0.8, 95% confidence interval 0,66 to 0,98, p = 0.03). BMI did not influence the frequency of binge drinking and the occurrence of 12 possible alcohol-related consequences. However, BMI induced a reduction in the alcohol use of participants who, after drinking over the past 12 months, experienced alcohol-related consequences, i.e., hangover (-20%), missed a class (-53%), got behind at school (-54%), argued with friends (-38%), engaged in unplanned sex (-45%) or did not use protection when having sex (-64%). BMI did not reduce weekly drinking in those who experienced the six other problems screened. Among non-bingers, BMI did not contribute to maintain low-risk drinking. Conclusions: At army conscription, BMI reduced alcohol use in binge drinkers, particularly in those who recently experienced alcohol-related adverse consequences. No preventive effect of BMI was observed among non-bingers. BMI is an interesting preventive option in young binge drinkers, particularly in countries with mandatory army recruitment.

Current trends in illegal drug use and drug related health problems in Switzerland.

As part of the evaluation of the Confederation's measures to reduce drug related problems, a review of available data on drug use and drug related problems in Switzerland has been conducted. Source of data included: population surveys (adults and teenagers), surveys among drug users, health statistics (drug related and AIDS related deaths, HIV case reporting, drug treatments) police statistics (denunciations for consumption). The aims of reducing the number of dependent hard drug users have been achieved where heroin is concerned. In particular, there seems to have been a decrease in the number of people becoming addicted to this substance. For all other illegal substances, especially cannabis, the trend is towards an increased use, as in many European countries. As regards dependent drug users, especially injecting drug users, progress has been made in the area of harm reduction and treatment coverage. This epidemiological assessment can be used in the discussions currently engaged about the revision of the Law governing narcotics and will be a baseline for future follow up of the situation.

Therapeutic strategies to improve control of hypertension.

Blood pressure is poorly controlled in most European countries and the control rate is even lower in high-risk patients such as patients with chronic kidney disease, diabetic patients or previous coronary heart disease. Several factors have been associated with poor control, some of which involve the characteristic of the patients themselves, such as socioeconomic factors, or unsuitable life-styles, other factors related to hypertension or to associated comorbidity, but there are also factors directly associated with antihypertensive therapy, mainly involving adherence problems, therapeutic inertia and therapeutic strategies unsuited to difficult-to-control hypertensive patients.It is common knowledge that only 30% of hypertensive patients can be controlled using monotherapy; all the rest require a combination of two or more antihypertensive drugs, and this can be a barrier to good adherence and log-term persistence in patients who also often need to use other drugs, such as antidiabetic agents, statins or antiplatelet agents. The fixed combinations of three antihypertensive agents currently available can facilitate long-term control of these patients in clinical practice. If well tolerated, a long-term therapeutic regimen that includes a diuretic, an ACE inhibitor or an angiotensin receptor blocker, and a calcium channel blocker is the recommended optimal triple therapy.

Parental post-traumatic reactions after premature birth: implications for sleeping and eating problems in the infant.

BACKGROUND: Progress in perinatal medicine has made it possible to increase the survival of very or extremely low birthweight infants. Developmental outcomes of surviving preterm infants have been analysed at the paediatric, neurological, cognitive, and behavioural levels, and a series of perinatal and environmental risk factors have been identified. The threat to the child's survival and invasive medical procedures can be very traumatic for the parents. Few empirical reports have considered post-traumatic stress reactions of the parents as a possible variable affecting a child's outcome. Some studies have described sleeping and eating problems as related to prematurity; these problems are especially critical for the parents. OBJECTIVE: To examine the effects of post-traumatic reactions of the parents on sleeping and eating problems of the children. DESIGN: Fifty families with a premature infant (25-33 gestation weeks) and a control group of 25 families with a full term infant participated in the study. Perinatal risks were evaluated during the hospital stay. Mothers and fathers were interviewed when their children were 18 months old about the child's problems and filled in a perinatal post-traumatic stress disorder questionnaire (PPQ). RESULTS: The severity of the perinatal risks only partly predicts a child's problems. Independently of the perinatal risks, the intensity of the post-traumatic reactions of the parents is an important predictor of these problems. CONCLUSIONS: These findings suggest that the parental response to premature birth mediates the risks of later adverse outcomes. Preventive intervention should be promoted.

Phylogeographic patterning of mtDNA in the widely distributed harvest mouse (Micromys minutus) suggests dramatic cycles of range contraction and expansion during the mid- to late Pleistocene

We examined sequence variation in the mitochondrial cytochrome b gene (1140 bp, n = 73) and control region (842-851 bp, n = 74) in the Eurasian harvest mouse (Micromys minutus (Pallas, 1771)), with samples drawn from across its range, from Western Europe to Japan. Phylogeographic analyses revealed region-specific haplotype groupings combined with overall low levels of inter-regional genetic divergence. Despite the enormous intervening distance, European and East Asian samples showed a net nucleotide divergence of only 0.36%. Based on an evolutionary rate for the cytochrome b gene of 2.4%(.)(site(.)lineage(.)million years)(-1), the initial divergence time of these populations is estimated at around 80 000 years before present. Our findings are consistent with available fossil evidence that has recorded repeated cycles of extinction and recolonization of Europe by M. minutus through the Quaternary. The molecular data further suggest that recolonization occurred from refugia in the Central to East Asian region. Japanese haplotypes of M. minutus, with the exception of those from Tsushima Is., show limited nucleotide diversity (0.15%) compared with those found on the adjacent Korean Peninsula. This finding suggests recent colonization of the Japanese Archipelago, probably around the last glacial period, followed by rapid population growth.

Policy Change and the Politics of Expertise. Economic Ideas and immigration Control Reforms in switzerland

This article analyses the varying influence across time of the "epistemic community" of free-market economists on immigration policy making in Switzerland. To this end, a framework for the analysis of the impact of economic expertise is provided, and then used in an historical analysis comparing the 1960s with the 1990s. Whereas this influence can be considered to have been weak in the 1960s, it gained significantly in importance in the 1990s, when a period of economic unrest seriously challenged previous immigration policies. It is argued that economic experts played an important role in framing the reforms undertaken during this latter period, notably by providing a "credible causal story" about the links between the existing immigration policy and the social problems which arose in the country in the 1990s. As compared to the 1960s, economic expertise in the 1990s enjoyed more credibility, more political support and took full advantage of a more uncertain social and economic context

Accurate and efficient simulation of multiphase flow in a heterogeneous reservoir by using error estimate and control in the multiscale finite-volume framework

The multiscale finite-volume (MSFV) method is designed to reduce the computational cost of elliptic and parabolic problems with highly heterogeneous anisotropic coefficients. The reduction is achieved by splitting the original global problem into a set of local problems (with approximate local boundary conditions) coupled by a coarse global problem. It has been shown recently that the numerical errors in MSFV results can be reduced systematically with an iterative procedure that provides a conservative velocity field after any iteration step. The iterative MSFV (i-MSFV) method can be obtained with an improved (smoothed) multiscale solution to enhance the localization conditions, with a Krylov subspace method [e.g., the generalized-minimal-residual (GMRES) algorithm] preconditioned by the MSFV system, or with a combination of both. In a multiphase-flow system, a balance between accuracy and computational efficiency should be achieved by finding a minimum number of i-MSFV iterations (on pressure), which is necessary to achieve the desired accuracy in the saturation solution. In this work, we extend the i-MSFV method to sequential implicit simulation of time-dependent problems. To control the error of the coupled saturation/pressure system, we analyze the transport error caused by an approximate velocity field. We then propose an error-control strategy on the basis of the residual of the pressure equation. At the beginning of simulation, the pressure solution is iterated until a specified accuracy is achieved. To minimize the number of iterations in a multiphase-flow problem, the solution at the previous timestep is used to improve the localization assumption at the current timestep. Additional iterations are used only when the residual becomes larger than a specified threshold value. Numerical results show that only a few iterations on average are necessary to improve the MSFV results significantly, even for very challenging problems. Therefore, the proposed adaptive strategy yields efficient and accurate simulation of multiphase flow in heterogeneous porous media.

Social and medical vulnerability factors of frequent users at the emergency department: a case-control study

BACKGROUND: Up to 5% of patients presenting to the emergency department (ED) four or more times within a 12 month period represent 21% of total ED visits. In this study we sought to characterize social and medical vulnerability factors of ED frequent users (FUs) and to explore if these factors hold simultaneously. METHODS: We performed a case-control study at Lausanne University Hospital, Switzerland. Patients over 18 years presenting to the ED at least once within the study period (April 2008 toMarch 2009) were included. FUs were defined as patients with four or more ED visits within the previous 12 months. Outcome data were extracted from medical records of the first ED attendance within the study period. Outcomes included basic demographics and social variables, ED admission diagnosis, somatic and psychiatric days hospitalized over 12 months, and having a primary care physician.We calculated the percentage of FUs and non-FUs having at least one social and one medical vulnerability factor. The four chosen social factors included: unemployed and/or dependence on government welfare, institutionalized and/or without fixed residence, either separated, divorced or widowed, and under guardianship. The fourmedical vulnerability factors were: ≥6 somatic days hospitalized, ≥1 psychiatric days hospitalized, ≥5 clinical departments used (all three factors measured over 12 months), and ED admission diagnosis of alcohol and/or drug abuse. Univariate and multivariate logistical regression analyses allowed comparison of two JGIM ABSTRACTS S391 random samples of 354 FUs and 354 non-FUs (statistical power 0.9, alpha 0.05 for all outcomes except gender, country of birth, and insurance type). RESULTS: FUs accounted for 7.7% of ED patients and 24.9% of ED visits. Univariate logistic regression showed that FUs were older (mean age 49.8 vs. 45.2 yrs, p=0.003),more often separated and/or divorced (17.5%vs. 13.9%, p=0.029) or widowed (13.8% vs. 8.8%, p=0.029), and either unemployed or dependent on government welfare (31.3% vs. 13.3%, p<0.001), compared to non-FUs. FUs cumulated more days hospitalized over 12 months (mean number of somatic days per patient 1.0 vs. 0.3, p<0.001; mean number of psychiatric days per patient 0.12 vs. 0.03, p<0.001). The two groups were similar regarding gender distribution (females 51.7% vs. 48.3%). The multivariate linear regression model was based on the six most significant factors identified by univariate analysis The model showed that FUs had more social problems, as they were more likely to be institutionalized or not have a fixed residence (OR 4.62; 95% CI, 1.65 to 12.93), and to be unemployed or dependent on government welfare (OR 2.03; 95% CI, 1.31 to 3.14) compared to non-FUs. FUs were more likely to need medical care, as indicated by involvement of≥5 clinical departments over 12 months (OR 6.2; 95%CI, 3.74 to 10.15), having an ED admission diagnosis of substance abuse (OR 3.23; 95% CI, 1.23 to 8.46) and having a primary care physician (OR 1.70;95%CI, 1.13 to 2.56); however, they were less likely to present with an admission diagnosis of injury (OR 0.64; 95% CI, 0.40 to 1.00) compared to non-FUs. FUs were more likely to combine at least one social with one medical vulnerability factor (38.4% vs. 12.1%, OR 7.74; 95% CI 5.03 to 11.93). CONCLUSIONS: FUs were more likely than non-FUs to have social and medical vulnerability factors and to have multiple factors in combination.

Improving globally distributed software development and support processes - A workflow view

We propose a new approach and related indicators for globally distributed software support and development based on a 3-year process improvement project in a globally distributed engineering company. The company develops, delivers and supports a complex software system with tailored hardware components and unique end-customer installations. By applying the domain knowledge from operations management on lead time reduction and its multiple benefits to process performance, the workflows of globally distributed software development and multitier support processes were measured and monitored throughout the company. The results show that the global end-to-end process visibility and centrally managed reporting at all levels of the organization catalyzed a change process toward significantly better performance. Due to the new performance indicators based on lead times and their variation with fixed control procedures, the case company was able to report faster bug-fixing cycle times, improved response times and generally better customer satisfaction in its global operations. In all, lead times to implement new features and to respond to customer issues and requests were reduced by 50%.

The border of reproductive control: undocumented immigration as a risk factor for unintended pregnancy in Switzerland.

Unintended pregnancies reflect an unmet need for family planning, and are part of health disparities. Using the only database to inquire about pregnancy intention among women in Switzerland, this study examined the relationship between immigrant documentation and unintended pregnancy (UP). Among pregnant women presenting to a Swiss hospital, we compared pregnancy intention between documented and undocumented women. We used logistic regression to examine whether undocumented status was associated with UP after adjusting for other significant predictors. Undocumented women had more unintended pregnancies (75.2 vs. 20.6 %, p = 0.00). Undocumented status was associated with UP after adjustment (OR 6.23, 95 % CI 1.83-21.2), as was a history of psychological problems (OR 4.09, 95 % CI 1.32-12.7). Contraception non-use was notably associated with lower odds of UP (OR 0.01, 95 % CI 0.004-0.04). Undocumented status was significantly associated with UP, even after adjusting for well-recognized risk factors. This highlights the tremendous risk of undocumented status on UP among women in Switzerland.

Validation of and comparison between a semidistributed rainfall-runoff hydrological model (PREVAH) and a spatially distributed snow-evolution model (SnowModel) for snow cover prediction in mountain ecosystems

Snow cover is an important control in mountain environments and a shift of the snow-free period triggered by climate warming can strongly impact ecosystem dynamics. Changing snow patterns can have severe effects on alpine plant distribution and diversity. It thus becomes urgent to provide spatially explicit assessments of snow cover changes that can be incorporated into correlative or empirical species distribution models (SDMs). Here, we provide for the first time a with a lower overestimation comparison of two physically based snow distribution models (PREVAH and SnowModel) to produce snow cover maps (SCMs) at a fine spatial resolution in a mountain landscape in Austria. SCMs have been evaluated with SPOT-HRVIR images and predictions of snow water equivalent from the two models with ground measurements. Finally, SCMs of the two models have been compared under a climate warming scenario for the end of the century. The predictive performances of PREVAH and SnowModel were similar when validated with the SPOT images. However, the tendency to overestimate snow cover was slightly lower with SnowModel during the accumulation period, whereas it was lower with PREVAH during the melting period. The rate of true positives during the melting period was two times higher on average with SnowModel with a lower overestimation of snow water equivalent. Our results allow for recommending the use of SnowModel in SDMs because it better captures persisting snow patches at the end of the snow season, which is important when modelling the response of species to long-lasting snow cover and evaluating whether they might survive under climate change.