No-err typing aids

Device for aligning paper in typewriter to correct one letter or line of type is discussed. Two types of correcting devices are described and illustrations of the devices are provided

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

Possibilistic Boolean games: strategic reasoning under incomplete information

Boolean games offer a compact alternative to normal-form games, by encoding the goal of each agent as a propositional formula. In this paper, we show how this framework can be naturally extended to model situations in which agents are uncertain about other agents' goals. We first use uncertainty measures from possibility theory to semantically define (solution concepts to) Boolean games with incomplete information. Then we present a syntactic characterization of these semantics, which can readily be implemented, and we characterize the computational complexity

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

Life cycle assessment of Swiss organic farming systems

The impacts of organic and integrated farming systems in Switzerland on the environment have been assessed in a comprehensive study by the life cycle assessment method. This paper reports a comparison of the treatments of the DOC experiment. Organic farming showed clear ecological advantages particularly for eco- and human toxicity, resource use and biodiversity. These ecological advantages only partly apply to nutrient losses and are not always found for single products. Per kg of organic product, higher impacts were often found for global warming potential, ozone formation, eutrophication and acidification compared to integrated production. In the same crop rotation with the same amount of organic fertilisers there were no systematic differences in soil quality of organic compared with integrated production. Further improvement of the environmental performance of organic farming should focus on achieving higher yields of good quality – especially in potatoes and cereals - by using inputs more efficiently and minimising nitrogen losses

On a graded q-differential algebra

Given a unital associatve graded algebra we construct the graded q-differential algebra by means of a graded q-commutator, where q is a primitive N-th root of unity. The N-th power (N>1) of the differential of this graded q-differential algebra is equal to zero. We use our approach to construct the graded q-differential algebra in the case of a reduced quantum plane which can be endowed with a structure of a graded algebra. We consider the differential d satisfying d to power N equals zero as an analog of an exterior differential and study the first order differential calculus induced by this differential.Comment: 6 pages, submitted to the Proceedings of the "International Conference on High Energy and Mathematical Physics", Morocco, Marrakech, April 200

Guide for a typewriter

The invention relates to accessories for typewriters, and more particularly to an improved guide for use in aligning a sheet of paper preparatory to an application of typed indicia to selected spaces. The device includes an aligning plate pivotally mounted on a line guide having formed therein a plurality of aligned apertures. The plate is so positioned that an aperture is positioned immediately above a target area for a type slug so that a slug will imprint a character in selected spaces

Evidence Propagation and Consensus Formation in Noisy Environments

We study the effectiveness of consensus formation in multi-agent systems where there is both belief updating based on direct evidence and also belief combination between agents. In particular, we consider the scenario in which a population of agents collaborate on the best-of-n problem where the aim is to reach a consensus about which is the best (alternatively, true) state from amongst a set of states, each with a different quality value (or level of evidence). Agents' beliefs are represented within Dempster-Shafer theory by mass functions and we investigate the macro-level properties of four well-known belief combination operators for this multi-agent consensus formation problem: Dempster's rule, Yager's rule, Dubois & Prade's operator and the averaging operator. The convergence properties of the operators are considered and simulation experiments are conducted for different evidence rates and noise levels. Results show that a combination of updating on direct evidence and belief combination between agents results in better consensus to the best state than does evidence updating alone. We also find that in this framework the operators are robust to noise. Broadly, Yager's rule is shown to be the better operator under various parameter values, i.e. convergence to the best state, robustness to noise, and scalability.Comment: 13th international conference on Scalable Uncertainty Managemen