The standard epistemic justification for inclusiveness in political decision making is the Condorcet Jury Theorem, which states that the probability of a correct decision using majority rule increases in group size (given certain assumptions). Informally, majority rule acts as a mechanism to pool the information contained in the judgements of individual agents. I aim to extend the explanation o...

I introduce a model of corporate voting. I characterize the shareholder majority rule as the unique corporate voting rule that satisfies four axioms: anonymity, neutrality, share monotonicity, and merger, a property that requires consistency in election outcomes following stock-for-stock mergers. JEL classification: D71, D72, K22

Multilevel Logic Optimization Transformations used in existing logic synthesis systems are characterized with respect to their testability preserving and testability enhancing properties. A su cient condition for a multilevel unate circuit to be \hazard free delay fault testable" is presented. In contrast to existing results that consider either \single path propagating hazard free robust tests...

In this paper, precedence constraint combination formalisms defined in the software domain are used to define the behavior of hardware systems. Specifically, AND-join and various types of OR-join semantics are used to describe hardware systems composed of concurrent, cooperating hardware components. It is shown that synthesizable VHDL specifications can be created that model the semantics of th...

Logic synthesis is the process of automatically generating optimized logic-level representation from a high-level description. With the rapid advances in integrated circuit technology and the resultant growth in design complexity, designers increasingly rely on logic synthesis to shorten the design time while achieving performance objectives. This paper describes the IBM logic synthesis system ...

this paper introduces an indirect adaptive fuzzy sliding mode controller as a power system stabilizer for damping local and inter-area modes of oscillations of multi-machine power systems. this controller is designed based on the combination of sliding mode controller and the fuzzy logic systems. the fuzzy systems are used to approximate the unknown functions of power system model. generator sp...