This article presents an original and critical interrogation of how disabled activists establish claims coordinate activities to progress the independent living agenda. The achieves this by employing Beckett Campbell’s (2015) concept ‘oppositional device’, which is used understand resistance practices technologies power that coalesce around people’s collective action. argues could, similarly, b...

The analyzability of the universe into subsystems requires a concept of the “independence” of the subsystems, of which the relativistic quantum world supports many distinct notions which either coincide or are trivial in the classical setting. The multitude of such notions and the complex relations between them will only be adumbrated here. The emphasis of the discussion is placed upon the warr...

This paper characterizes the speed-independence of high-level designs. The characterization is a condition on the design description ensuring that the behavior of the design is independent of the speeds of its components. The behavior of a circuit is modeled as a transition system, that allows data types, and internal as well as external non-determinism. This makes it possible to verify the spe...

We describe how to combine probabilistic logic and Bayesian networks to obtain a new framework (\Bayesian logic") for dealing with uncertainty and causal relationships in an expert system. Probabilistic logic, invented by Boole, is a technique for drawing inferences from uncertain propositions for which there are no independence assumptions. A Bayesian network is a \belief net" that can represe...

The problem of the independence and completeness of rotation moment invariants is addressed in this paper. First, a general method for constructing invariants of arbitrary orders by means of complex moments is described. As a major contribution of the paper, it is shown that for any set of invariants there exists a relatively small basis by means of which all other invariants can be generated. ...

Generic expert systems are reasoning systems that can be used in many application domains, thus requiring domain independence. The user interface for a generic expert system must contain an intelligence in order to maintain this domain independence and manage the complex interactions between the user and the expert system. This paper explores the uncertainty-based reasoning contained in an inte...