20,433 research outputs found
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
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
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
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
\u3ci\u3eAeshna Subarctica\u3c/i\u3e (Odonata: Aeshnidae) in Northwestern Wisconsin
Nine adult specimens of Aeshna subarctica, a boreal dragonfly typically associated with muskeg wetlands, were collected from Black Lake and Breitzman Lake in northwestern Wisconsin (Douglas County). Viable populations likely exist in both lakes. Oviposition by three females is described. This represents the first published report of A. subarctica for the state of Wisconsin. Because Black Lake lies on the border of Wisconsin and Minnesota, A. subarctica likely occurs in Minnesota as well. Further sampling of acidic peatland habitats for aquatic macroinvertebrates is recommended to document populations of northern at the southern periphery of their ranges. These could function as indicators of climate change
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
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
- âŠ