Skip to main content
Elsevier
View Cart

North Holland

    • Ordinary Differential Equations

      • 1st Edition
      • Volume 13
      • June 28, 2014
      • J. Kurzweil
      • English
      • Paperback
        9 7 8 1 4 9 3 3 0 7 2 0 3
      • eBook
        9 7 8 1 4 8 3 2 9 7 6 5 1
      The author, Professor Kurzweil, is one of the world's top experts in the area of ordinary differential equations - a fact fully reflected in this book. Unlike many classical texts which concentrate primarily on methods of integration of differential equations, this book pursues a modern approach: the topic is discussed in full generality which, at the same time, permits us to gain a deep insight into the theory and to develop a fruitful intuition. The basic framework of the theory is expanded by considering further important topics like stability, dependence of a solution on a parameter, Carathéodory's theory and differential relations.The book is very well written, and the prerequisites needed are minimal - some basics of analysis and linear algebra. As such, it is accessible to a wide circle of readers, in particular to non-mathematicians.

    • Artificial Neural Networks

      • 1st Edition
      • June 28, 2014
      • K. Mäkisara + 3 more
      • English
      • eBook
        9 7 8 1 4 8 3 2 9 8 0 0 9
      This two-volume proceedings compiles a selection of research papers presented at the ICANN-91. The scope of the volumes is interdisciplinary, ranging from mathematics and engineering to cognitive sciences and biology. European research is well represented. Volume 1 contains all the orally presented papers, including both invited talks and submitted papers. Volume 2 contains the plenary talks and the poster presentations.

    • Rivalrous Consonance: A Theory of General Oligopolistic Equilibrium

      • 1st Edition
      • Volume 157
      • June 28, 2014
      • R.E. Kuenne
      • English
      • Paperback
        9 7 8 1 4 9 3 3 0 7 6 8 5
      • eBook
        9 7 8 1 4 8 3 2 9 7 0 7 1
      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''.

    • Human Reliability

      • 1st Edition
      • Volume 7
      • June 28, 2014
      • K.S. Park
      • English
      • Paperback
        9 7 8 1 4 9 3 3 0 5 4 2 1
      • eBook
        9 7 8 1 4 8 3 2 9 7 2 7 9
      The objectives of Human Reliability are to build reliability into the job, into the machine, and into the environment, and to let man perform naturally. In this book the author shows how these objectives can be achieved by concentrating on human reliability issues during the design stage. This is done by illustrating the relationships between various design features and some aspect of human performance, e.g. human errors.The book is designed as a practical guide to the daily performance of tasks in Human Reliability as well as a general reference and tutorial introduction to the field. It is therefore both practical and theoretical: the first four chapters focus on principles and ramifications relevant to human error prevention; the latter four are primarily concerned with human reliability analysis and prediction methodology. Throughout the book there are extensive references, numerous ready-to-use recommendations, formulas and mathematical models, and computer programs for human reliability work for analyzing, predicting and preventing human errors in a variety of situations. Though some of the material requires undergraduate training in engineering, the more difficult mathematical expositions can be omitted without loss of continuity, but are available for the reader who needs a more complete understanding of the relevant theory.

    • The Theory of Models

      • 1st Edition
      • May 27, 2014
      • J.W. Addison + 2 more
      • English
      • Paperback
        9 7 8 1 4 8 3 2 4 9 9 9 5
      • eBook
        9 7 8 1 4 8 3 2 7 5 3 4 5
      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
      • May 27, 2014
      • J.P. Nougier
      • English
      • Paperback
        9 7 8 1 4 9 3 3 0 6 7 2 5
      • Hardback
        9 7 8 0 4 4 4 8 8 9 9 0 4
      • eBook
        9 7 8 1 4 8 3 2 9 5 2 3 7
      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.

    • Higher Order Logic Theorem Proving and its Applications

      • 1st Edition
      • Volume 20
      • May 23, 2014
      • L.J.M. Claesen + 1 more
      • English
      • Paperback
        9 7 8 0 4 4 4 8 9 8 8 0 7
      • eBook
        9 7 8 1 4 8 3 2 9 8 4 0 5
      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.

    • Systems Engineering in Public Administration

      • 1st Edition
      • Volume 36
      • May 23, 2014
      • H.E.G. Bonin
      • English
      • Paperback
        9 7 8 0 4 4 4 8 1 5 6 0 6
      • eBook
        9 7 8 1 4 8 3 2 9 8 4 4 3
      The complexity of large systems in public administration progresses in terms of both quality and quantity year after year. Mastering complex systems is therefore assuming an increasing dominance in this area. Learning to master evolving systems needs at least a foundation in science and engineering know-how. The relationship between the professionals, such as system engineers viewing from the outside and the beneficiaries, such as public administration officials using the computer systems on the inside is therefore of prime importance if the many problems are to be solved.This book does not attempt to provide definitive answers but rather aims to give shape to our visions and ideas and to stimulate further discussion and research.

    • Interoperable Database Systems (DS-5)

      • 1st Edition
      • Volume 25
      • May 23, 2014
      • D.K. Hsiao + 2 more
      • English
      • Paperback
        9 7 8 0 4 4 4 8 9 8 7 9 1
      • eBook
        9 7 8 1 4 8 3 2 9 8 4 7 4
      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.

    • Prostaglandins, Platelets, Lipids

      • 1st Edition
      • May 23, 2014
      • Hadley L. Conn + 2 more
      • English
      • Paperback
        9 7 8 1 4 8 3 1 3 2 7 1 6
      • eBook
        9 7 8 1 4 8 3 1 6 5 1 3 4
      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.

Browse by Publisher

Academic Press

Butterworth-Heinemann

Chandos

Elsevier

Morgan Kaufmann

Newnes

Syngress