On Byzantine Broadcast in Loosely Connected Networks

We consider the problem of reliably broadcasting information in a multihop asynchronous network that is subject to Byzantine failures. Most existing approaches give conditions for perfect reliable broadcast (all correct nodes deliver the authentic message and nothing else), but they require a highly connected network. An approach giving only probabilistic guarantees (correct nodes deliver the authentic message with high probability) was recently proposed for loosely connected networks, such as grids and tori. Yet, the proposed solution requires a specific initialization (that includes global knowledge) of each node, which may be difficult or impossible to guarantee in self-organizing networks - for instance, a wireless sensor network, especially if they are prone to Byzantine failures. In this paper, we propose a new protocol offering guarantees for loosely connected networks that does not require such global knowledge dependent initialization. In more details, we give a methodology to determine whether a set of nodes will always deliver the authentic message, in any execution. Then, we give conditions for perfect reliable broadcast in a torus network. Finally, we provide experimental evaluation for our solution, and determine the number of randomly distributed Byzantine failures than can be tolerated, for a given correct broadcast probability.Comment: 1

On the Informational Comparison of Qualitative Fuzzy Measures

International audienceFuzzy measures or capacities are the most general representation of uncertainty functions. However, this general class has been little explored from the point of view of its information content, when degrees of uncertainty are not supposed to be numerical, and belong to a finite qualitative scale, except in the case of possibility or necessity measures. The thrust of the paper is to define an ordering relation on the set of qualitative capacities expressing the idea that one is more informative than another, in agreement with the possibilistic notion of relative specificity. To this aim, we show that the class of qualitative capacities can be partitioned into equivalence classes of functions containing the same amount of information. They only differ by the underlying epistemic attitude such as pessimism or optimism. A meaningful information ordering between capacities can be defined on the basis of the most pessimistic (resp. optimistic) representatives of their equivalence classes. It is shown that, while qualitative capacities bear strong similarities to belief functions, such an analogy can be misleading when it comes to information content

A Scalable Byzantine Grid

Modern networks assemble an ever growing number of nodes. However, it remains difficult to increase the number of channels per node, thus the maximal degree of the network may be bounded. This is typically the case in grid topology networks, where each node has at most four neighbors. In this paper, we address the following issue: if each node is likely to fail in an unpredictable manner, how can we preserve some global reliability guarantees when the number of nodes keeps increasing unboundedly ? To be more specific, we consider the problem or reliably broadcasting information on an asynchronous grid in the presence of Byzantine failures -- that is, some nodes may have an arbitrary and potentially malicious behavior. Our requirement is that a constant fraction of correct nodes remain able to achieve reliable communication. Existing solutions can only tolerate a fixed number of Byzantine failures if they adopt a worst-case placement scheme. Besides, if we assume a constant Byzantine ratio (each node has the same probability to be Byzantine), the probability to have a fatal placement approaches 1 when the number of nodes increases, and reliability guarantees collapse. In this paper, we propose the first broadcast protocol that overcomes these difficulties. First, the number of Byzantine failures that can be tolerated (if they adopt the worst-case placement) now increases with the number of nodes. Second, we are able to tolerate a constant Byzantine ratio, however large the grid may be. In other words, the grid becomes scalable. This result has important security applications in ultra-large networks, where each node has a given probability to misbehave.Comment: 17 page

Local methylthiolate adsorption geometry on Au(111) from photoemission core-level shifts

The local adsorption structure of methylthiolate in the ordered Au(111)-(√3×√3)R30° phase has been investigated using core-level-shift measurements of the surface and bulk components of the Au 4f7/2 photoelectron binding energy. The amplitude ratio of the core-level-shift components associated with surface Au atoms that are, and are not, bonded to the thiolate is found to be compatible only with the previously proposed Au-adatom-monothiolate moiety in which the thiolate is bonded atop Au adatoms in hollow sites, and not on an unreconstructed surface, or in Au-adatom-dithiolate species

Anytime Algorithms for Solving Possibilistic MDPs and Hybrid MDPs

The ability of an agent to make quick, rational decisions in an uncertain environment is paramount for its applicability in realistic settings. Markov Decision Processes (MDP) provide such a framework, but can only model uncertainty that can be expressed as probabilities. Possibilistic counterparts of MDPs allow to model imprecise beliefs, yet they cannot accurately represent probabilistic sources of uncertainty and they lack the efficient online solvers found in the probabilistic MDP community. In this paper we advance the state of the art in three important ways. Firstly, we propose the first online planner for possibilistic MDP by adapting the Monte-Carlo Tree Search (MCTS) algorithm. A key component is the development of efficient search structures to sample possibility distributions based on the DPY transformation as introduced by Dubois, Prade, and Yager. Secondly, we introduce a hybrid MDP model that allows us to express both possibilistic and probabilistic uncertainty, where the hybrid model is a proper extension of both probabilistic and possibilistic MDPs. Thirdly, we demonstrate that MCTS algorithms can readily be applied to solve such hybrid models. © Springer International Publishing Switzerland 2016.This work is partially funded by EPSRC PACES project (Ref: EP/J012149/1).Peer Reviewe

Thermodynamic Studies of [H_(2)Rh(diphosphine)_2]^+ and [HRh(diphosphine)_(2)(CH_(3)CN)]^(2+) Complexes in Acetonitrile

Thermodynamic studies of a series of [H_(2)Rh(PP)_2]^+ and [HRh(PP)_(2)(CH_(3)CN)]^(2+) complexes have been carried out in acetonitrile. Seven different diphosphine (PP) ligands were selected to allow variation of the electronic properties of the ligand substituents, the cone angles, and the natural bite angles (NBAs). Oxidative addition of H_2 to [Rh(PP)_2]^+ complexes is favored by diphosphine ligands with large NBAs, small cone angles, and electron donating substituents, with the NBA being the dominant factor. Large pK_a values for [HRh(PP)_(2)(CH_(3)CN)]^(2+) complexes are favored by small ligand cone angles, small NBAs, and electron donating substituents with the cone angles playing a major role. The hydride donor abilities of [H_(2)Rh(PP)_2]^+ complexes increase as the NBAs decrease, the cone angles decrease, and the electron donor abilities of the substituents increase. These results indicate that if solvent coordination is involved in hydride transfer or proton transfer reactions, the observed trends can be understood in terms of a combination of two different steric effects, NBAs and cone angles, and electron-donor effects of the ligand substituents

Algebraic characterization of the Wess-Zumino consistency conditions in gauge theories

A new way of solving the descent equations corresponding to the Wess-Zumino consistency conditions is presented. The method relies on the introduction of an operator $\delta$ which allows to decompose the exterior space-time derivative $d$ as a $BRS$ commutator. The case of the Yang-Mills theories is treated in detail.Comment: 16 pages, UGVA-DPT 1992/08-781 to appear in Comm. Math. Phy

Physical Study by Surface Characterizations of Sarin Sensor on the Basis of Chemically Functionalized Silicon Nanoribbon Field Effect Transistor

Surface characterizations of an organophosphorus (OP) gas detector based on chemically functionalized silicon nanoribbon field-effect transistor (SiNR-FET) were performed by Kelvin Probe Force Microscopy (KPFM) and ToF-SIMS, and correlated with changes in the current-voltage characteristics of the devices. KPFM measurements on FETs allow (i) to investigate the contact potential difference (CPD) distribution of the polarized device as function of the gate voltage and the exposure to OP traces and, (ii) to analyze the CPD hysteresis associated to the presence of mobile ions on the surface. The CPD measured by KPFM on the silicon nanoribbon was corrected due to side capacitance effects in order to determine the real quantitative surface potential. Comparison with macroscopic Kelvin probe (KP) experiments on larger surfaces was carried out. These two approaches were quantitatively consistent. An important increase of the CPD values (between + 399 mV and + 302 mV) was observed after the OP sensor grafting, corresponding to a decrease of the work function, and a weaker variation after exposure to OP (between - 14 mV and - 61 mV) was measured. Molecular imaging by ToF-SIMS revealed OP presence after SiNR-FET exposure. The OP molecules were essentially localized on the Si-NR confirming effectiveness and selectivity of the OP sensor. A prototype was exposed to Sarin vapors and succeeded in the detection of low vapor concentrations (40 ppm).Comment: Paper and supporting information, J. Phys. Chem. C, 201

Professional decision-making in medicine: Development of a new measure and preliminary evidence of validity

INTRODUCTION: This study developed a new Professional Decision-Making in Medicine Measure that assesses the use of effective decision-making strategies: seek help, manage emotions, recognize consequences and rules, and test assumptions and motives. The aim was to develop a content valid measure and obtain initial evidence for construct validity so that the measure could be used in future research or educational assessment. METHODS: Clinical scenario-based items were developed based on a review of the literature and interviews with physicians. For each item, respondents are tasked with selecting two responses (out of six plausible options) that they would choose in that situation. Three of the six options reflect a decision-making strategy; these responses are scored as correct. Data were collected from a sample of 318 fourth-year medical students in the United States. They completed a 16-item version of the measure (Form A) and measures of social desirability, moral disengagement, and professionalism attitudes. Professionalism ratings from clerkships were also obtained. A sub-group (n = 63) completed a second 16-item measure (Form B) to pilot test the instrument, as two test forms are useful for pre-posttest designs. RESULTS: Scores on the new measure indicated that, on average, participants answered 75% of items correctly. Evidence for construct validity included the lack of correlation between scores on the measure and socially desirable responding, negative correlation with moral disengagement, and modest to low correlations with professionalism attitudes. A positive correlation was observed with a clerkship rating focused on professionalism in peer interactions. CONCLUSIONS: These findings demonstrate modest proficiency in the use of decision-making strategies among fourth-year medical students. Additional research using the Professional Decision-Making Measure should explore scores among physicians in various career stages, and the causes and correlates of scores. Educators could utilize the measure to assess courses that teach decision-making strategies

A modal theorem-preserving translation of a class of three-valued logics of incomplete information

International audienceThere are several three-valued logical systems that form a scattered landscape, even if all reasonable connectives in three-valued logics can be derived from a few of them. Most papers on this subject neglect the issue of the relevance of such logics in relation with the intended meaning of the third truth-value. Here, we focus on the case where the third truth-value means unknown, as suggested by Kleene. Under such an understanding, we show that any truth-qualified formula in a large range of three-valued logics can be translated into KD as a modal formula of depth 1, with modalities in front of literals only, while preserving all tautologies and inference rules of the original three-valued logic. This simple information logic is a two-tiered classical propositional logic with simple semantics in terms of epistemic states understood as subsets of classical interpretations. We study in particular the translations of Kleene, Gödel, ᴌukasiewicz and Nelson logics. We show that Priest’s logic of paradox, closely connected to Kleene’s, can also be translated into our modal setting, simply by exchanging the modalities possible and necessary. Our work enables the precise expressive power of three-valued logics to be laid bare for the purpose of uncertainty management