Skip to main content
Elsevier

North Holland

  • Production, Multi-Sectoral Growth and Planning

    Essays in Memory of Leif Johansen
    • 1st Edition
    • Volume 154
    • F.R. Førsund + 2 more
    • English
    Professor Leif Johansen's contributions to economic science are well documented in his articles and essays for economic journals, symposium volumes and Festschrifts, all of which are to be published by North-Holland. When initiating the idea of this collection, Professor Dale W. Jorgenson also suggested a memorial volume by associates and others that would include papers devoted to research topics directly inspired by Leif Johansen. In the present volume this idea is realised. Three topics are covered: production theory, multisectoral growth models and planning. The papers presented here were either under work at the time of Leif Johansen's death or prepared especially for this volume.

  • Essays in the Economics of Exhaustible Resources

    • 1st Edition
    • Volume 150
    • N.V. Long + 1 more
    • English
    Contributions to Economic Analysis, 150: Essays in the Economics of Exhaustible Resources focuses on the processes, principles, methodologies, and approaches involved in the economics of exhaustible resources. The selection first elaborates on the problem of survival, towards a more general theory of the order of exploitation of non-renewable resource-deposits, and the optimal order of exploitation of deposits of a renewable resource. Discussions focus on optimal trajectory, stable locus, assumptions and formulation, set-up costs and flow fixed costs, possibility of storage, costly extraction of deposits, and technical progress. The text then examines the transition from an exhaustible resource-stock to an inexhaustible substitute and the development of a substitute for an exhaustible natural resource, including dispersed ownership of the resource, social optimum, and single monopoly of the resource and its substitute. The manuscript takes a look at optimal taxation and economic depreciation, efficiency of competitive markets in a context of exhaustible resources, and oligopolistic extraction of a common-property resource. Topics include rational-expectation... equilibrium, implausibility of the assumption of competition, second-best taxation and the undesirability of the economic depreciation rule, and the effect of other taxes. The selection is a valuable reference for researchers interested in the economics of exhaustible resources.

  • A History of Econometrics

    • 1st Edition
    • Volume 165
    • R.J. Epstein
    • English
    This comparative historical study of econometrics focuses on the development of econometric methods and their application to macroeconomics.The analysis covers the origins of modern econometrics in the USA and Europe during the 1920's and 30's, the rise of `structural estimation' in the 1940's and 50's as the dominant research paradigm, and the crisis of the large macroeconomic models in the 1970's and 80's.The completely original feature of this work is the use of previously unknown manuscript material from the archives of the Cowles Commission and other collections. The history so constructed shows that recent debates over methodology are incomplete without understanding the many deep criticisms that were first raised by the earliest researchers in the field.

  • Global International Economic Models

    Selected Papers from an IIASA Conference
    • 1st Edition
    • Volume 147
    • B.G. Hickman
    • English
    This volume surveys the state-of-the-art of global international modeling. All 15 models included in the survey feature national or regional disaggregation of the world economy and interdependencies among the various nations and regions. A few are constructed for short-term forecasting, but the primary focus is on long-run models and applications.Macroec... input-output, general equilibrium, trade and exchange rate, and several hybrid models are included. A cross-sectional analysis by the editor compares the structures, linkage mechanisms, methodologies and applications of the various models and concludes with some observations on prospective research trends.

  • Rivalrous Consonance: A Theory of General Oligopolistic Equilibrium

    • 1st Edition
    • Volume 157
    • R.E. Kuenne
    • English
    The book is an attempt to construct frameworks for the analysis of oligopoly which combine both the rivalrous and cooperative elements in the market structure of mature oligopolistic industries. It provides an alternative approach to those of game theory and conjectural variation, and does so in a fashion that permits: - the development of a general equilibrium framework that incorporates oligolopy - operational analysis of pricing policies in oligolopy - the tailoring of the analytical framework to the specifics of an industry within the context of multiobjective decision making. The book stresses the need for economic theory to move away from the search for universal theorems concerning oligopolistic behaviour, and to develop a body of specific industry analyses using ``simulative theorizing''.

  • The Theory of Models

    Proceedings of the 1963 International Symposium at Berkeley
    • 1st Edition
    • J.W. Addison + 2 more
    • English
    Studies in Logic and the Foundations of Mathematics: The Theory of Models covers the proceedings of the International Symposium on the Theory of Models, held at the University of California, Berkeley on June 25 to July 11, 1963. The book focuses on works devoted to the foundations of mathematics, generally known as "the theory of models." The selection first discusses the method of alternating chains, semantic construction of Lewis's systems S4 and S5, and continuous model theory. Concerns include ordered model theory, 2-valued model theory, semantics, sequents, axiomatization, formulas, axiomatic approach to hierarchies, alternating chains, and difference hierarchies. The text also ponders on Boolean notions extended to higher dimensions, elementary theories with models without automorphisms, and applications of the notions of forcing and generic sets. The manuscript takes a look at a hypothesis concerning the extension of finite relations and its verification for certain special cases, theories of functors and models, model-theoretic methods in the study of elementary logic, and extensions of relational structures. The text also reviews relatively categorical and normal theories, algebraic theories, categories, and functors, denumerable models of theories with extra predicates, and non-standard models for fragments of number theory. The selection is highly recommended for mathematicians and researchers interested in the theory of models.

  • III-V Microelectronics

    • 1st Edition
    • J.P. Nougier
    • English
    As is well known, Silicon widely dominates the market of semiconductor devices and circuits, and in particular is well suited for Ultra Large Scale Integration processes. However, a number of III-V compound semiconductor devices and circuits have recently been built, and the contributions in this volume are devoted to those types of materials, which offer a number of interesting properties. Taking into account the great variety of problems encountered and of their mutual correlations when fabricating a circuit or even a device, most of the aspects of III-V microelectronics, from fundamental physics to modelling and technology, from materials to devices and circuits are reviewed. Containing contributions from European researchers of international repute this volume is the definitive reference source for anyone interested in the latest advances and results of current experimental research in III-V microelectronics.

  • Prostaglandins, Platelets, Lipids

    New Developments in Atherosclerosis
    • 1st Edition
    • Hadley L. Conn + 2 more
    • English
    Prostaglandins, Platelets, Lipids: New Developments in Atherosclerosis focuses on developments pertaining to atherosclerosis and suggested novel approaches for its prevention, treatment, and complications. The selection first underscores the biological importance and therapeutic potential of prostacyclin and rationale for the suppression of platelet aggregation and thrombosis by dietary manipulation of fatty acids. Discussions focus on eicosapentaenoic acid as a potential antithrombotic substance, vascular effects of prostacyclin, antithrombotic and hemostatic effects of prostacyclin, fatty acids, prostacyclin, and thrombosis, and therapeutic uses of prostacyclin. The text then examines prostaglandins and hypertension, role of platelets in stroke and transient ischemic attack, and antiplatelet agents in the prevention of acute coronary events. Topics include thrombosis and clinical complications of atherosclerosis, mechanisms in thrombosis, vascular prostaglandins and antihypertensive mechanisms, and renal prostaglandins and antihypertensive mechanisms. The book ponders on a specific inhibitor of thrombin and cardiovascular actions of prostacyclin in man, including prostacyclin and angina pectoris, prostacyclin therapy for peripheral arterial disease, and hemodynamic changes induced by prostacyclin. The selection is a dependable source of data for researchers interested in atherosclerosis.

  • Higher Order Logic Theorem Proving and its Applications

    Proceedings of the IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and its Applications - HOL '92 Leuven, Belgium, 21-24 September 1992
    • 1st Edition
    • Volume 20
    • L.J.M. Claesen + 1 more
    • English
    The HOL system is a higher order logic theorem proving system implemented at Edinburgh University, Cambridge University and INRIA. Its many applications, from the verification of hardware designs at all levels to the verification of programs and communication protocols are considered in depth in this volume. Other systems based on higher order logic, namely Nuprl and LAMBDA are also discussed. Features given particular consideration are: novel developments in higher order logic and its implementations in HOL; formal design and verification methodologies for hardware and software; public domain availability of the HOL system. Papers addressing these issues have been divided as follows: Mathematical Logic; Induction; General Modelling and Proofs; Formalizing and Modelling of Automata; Program Verification; Hardware Description Language Semantics; Hardware Verification Methodologies; Simulation in Higher Order Logic; Extended Uses of Higher Order Logic. Academic and industrial researchers involved in formal hardware and software design and verification methods should find the publication especially interesting and it is hoped it will also provide a useful reference tool for those working at software institutes and within the electronics industries.

  • Interoperable Database Systems (DS-5)

    Proceedings of the IFIP WG2.6 Database Semantics Conference on Interoperable Database Systems (DS-5) Lorne, Victoria, Australia, 16-20 November, 1992
    • 1st Edition
    • Volume 25
    • D.K. Hsiao + 2 more
    • English
    The proliferation of databases within organizations have made it imperative to allow effective sharing of information from these disparate database systems. In addition, it is desirable that the individual systems must maintain a certain degree of autonomy over their data in order to continue to provide for their existing applications and to support controlled access to their information. Thus it becomes necessary to develop new techniques and build new functionality to interoperate these autonomous database systems and to integrate them into an overall information system. Research into interoperable database systems has advanced substantially over recent years in response to this need.The papers presented in this volume cover a wide spectrum of both theoretical and pragmatic issues related to the semantics of interoperable database systems. Topics covered include techniques to support the translation between database schema and between database languages; object oriented frameworks for supporting interoperability of heterogeneous databases, knowledge base integration and techniques for overcoming schematic discrepancies in interoperable databases. In addition, there are papers addressing issues of security transaction processing, data modelling and object identification in interoperable database systems. It is hoped the publication will represent a valuable collective contribution to research and development in the field for database researchers, implementors, designers, application builders and users alike.

Browse by Publisher