13,471 research outputs found
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 which allows to decompose the exterior space-time
derivative as a 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
- …