A book in memory of Wassily Leontief would hardly be complete without some piece on the structure of the American economy. After all, Professor Leontief had developed his first input-output table using US data and subsequently published his first three books with the purpose of examining the structure of the American economy (Leontief, 1941, 1951, 1953a). In this contribution, we study the decl...

We examine an approach for demand-driven cooperative theorem proving. We brieey point out the problems arising from the use of common success-driven cooperation methods, and we propose the application of our approach of requirement-based cooperative theorem proving. This approach allows for a better orientation on current needs of provers in comparison with conventional cooperation concepts. We...

We present node-centric approaches to hybrid routing for ad hoc networks in which normal nodes are distinguished from special nodes, called netmarks, hosting popular network services or functioning as points of attachment to the Internet. With node-centric hybrid routing, netmarks force other common nodes to maintain routing information for them by advertising their routing information as in ta...

In contrast to the classic result in Diamond and Mirrlees (1971) that fiscal taxes should not be levied on intermediate use of goods, Newbury (1985) showed that, in a closed economy with Leontief technology, input taxes should be used to indirectly tax commodities that for some reason are untaxed in final consumption. This paper extends the Newbury result to more general cases; i.e., to open ec...

Abstract The Kaldor-Verdoorn law refers to a positive but less than one-for-one causal relationship between the growth rates of output and labour productivity. While empirical research has found that coefficient lies 0 1, interpretation this finding remains unclear. In paper, we present model derive law. Our results show is jointly determined by elasticity factor substitution, supply elasticity...