Skip to main content
Elsevier

North Holland

  • Lattice 89

    Proceedings of the 1989 Symposium on Lattice Field Theory
    • 1st Edition
    • N. Cabbibo + 2 more
    • English

  • Algebra of Proofs

    • 1st Edition
    • M. E. Szabo
    • K. J. Barwise + 2 more
    • English
    Algebra of Proofs deals with algebraic properties of the proof theory of intuitionist first-order logic in a categorical setting. The presentation is based on the confluence of ideas and techniques from proof theory, category theory, and combinatory logic. The conceptual basis for the text is the Lindenbaum-Tarski algebras of formulas taken as categories. The formal proofs of the associated deductive systems determine structured categories as their canonical algebras (which are of the same type as the Lindenbaum-Tarski algebras of the formulas of underlying languages). Gentzen's theorem, which asserts that provable formulas code their own proofs, links the algebras of formulas and the corresponding algebras of formal proofs. The book utilizes the Gentzen's theorem and the reducibility relations with the Church-Rosser property as syntactic tools. The text explains two main types of theories with varying linguistic complexity and deductive strength: the monoidal type and the Cartesian type. It also shows that quantifiers fit smoothly into the calculus of adjoints and describe the topos-theoretical setting in which the proof theory of intuitionist first-order logic possesses a natural semantics. The text can benefit mathematicians, students, or professors of algebra and advanced mathematics.

  • EPS - High Energy Physics '89

    Proceedings of the International Europhysics Conference on High Energy Physics
    • 1st Edition
    • R. Fernandez Alvarez-Estrada + 2 more
    • English
    EPS - High Energy Physics '89 presents the proceeding of the International Europhysics Conference on High Energy physics, held in Madrid, Spain, on September 6–13, 1989. This book outlines several topics on the interface between cosmology/astrophysi... and particle physics. Organized into two parts encompassing 181 chapters, this compilation of papers begins with an overview of the implications of the cosmic light element abundances. This text then examines the various aspects of lattice field theory. Other chapters consider the theoretical evidence of a fundamental length in string theory and outline the main features of the higher order corrections to the heavy quark inclusive cross section. This book discusses as well the theory of heavy quark production in hadron collision. The final chapter deals with the idea of low-energy supersymmetry, which relates the scale of supersymmetry breaking to the origin and stability of the electroweak scale. This book is a valuable resource for astrophysicists, physicists, and scientists.

  • Propagation of Transient Elastic Waves in Stratified Anisotropic Media

    • 1st Edition
    • Volume 32
    • J.H.M.T. van der Hijden
    • English
    Seismic waves are one of the standard diagnostic tools used to determine the mechanical parameters (volume density of mass, compressibility, elastic stiffness) in the interior of the earth and the geometry of subsurface structures. There is increasing evidence that in the interpretation of seismic data - especially shear-wave data - the influence of anisotropy must be taken into account.This volume presents a method to compute the seismic waves that are generated by an impulsive source in a stratified anisotropic medium. Although written with the seismic applications in mind, the method that is developed is not limited to solid-earth geophysics. In fact, the methods discussed in this monograph are applicable wherever waves propagate in stratified, anisotropic media. The standard approach to this problem is to employ Fourier transformations with respect to time and with respect to the horizontal spatial coordinates. To obtain numerical results, the relevant inverse transformations then have to be evaluated numerically. In this monograph the problem is, in contrast to the standard approach, solved by applying the Cagniard-de Hoop method and by representing the wave field as a sum of generalized rays. With this method, the computational results can be obtained relatively easily with any degree of accuracy, and with considerably less computation time. For completeness, analysis of acoustic waves in stratified isotropic media is included. Furthermore, for large horizontal or vertical source-receiver separations very efficient approximations are derived. Several examples and applications are given.

  • Investment and Factor Demand

    • 1st Edition
    • Volume 193
    • P. Artus + 1 more
    • English
    The first part of the book presents the estimation of traditional models of investment, their interpretation in the light of the disequilibrium theory and their use in evaluating the economic policies implemented during the seventies. The issue of the best representation of the production technology is also addressed. The second part analyses the interdependance of the decisions of investment, employment and consumption of raw materials using simultaneous estimations of factor demand equations, as well as the dynamic adjustment costs firms are facing. The last section illustrates the most recent theories and econometric methods: investment models with several regimes taking into account sales, employment and financing constraints, and the introduction of the uncertainty on future sales.

  • Handbook of the Economics of Education

    • 1st Edition
    • Volume 5
    • Eric A. Hanushek + 2 more
    • English
    The volume of research into the economics of education has grown rapidly in recent years. In this comprehensive new Handbook, editors Eric Hanushek, Stephen Machin, and Ludger Woessmann assemble original contributions from leading researchers, addressing contemporary advances in the field. Each chapter illuminates major methodological and theoretical developments and directs the reader to productive new lines of research. As a result, these concise overviews of the existing literature offer an essential ‘jumpstart’ for both students and researchers alike.

  • Social Choice and Welfare

    • 1st Edition
    • Volume 145
    • P.K. Pattanaik + 1 more
    • English
    This volume comprises papers presented at the Symposium on Collective Choice, by leading experts in this field. It presents recent advances in Social Choice Theory and Welfare Economics. The papers are classified in two broad groups: (1) those dealing with the ethical aspects of the theory of social choice and (2) those concerned with the positive aspects.The papers in the first part are concerned with the Arrow-type aggregation problem or aspects of it and with more specific questions relating to optimality, justice and welfare. In part II several papers discuss the problem of strategic misrevelation of preferences by individuals, others discuss simple voting games, social choice-correspondenc... and electoral competition.The main features are: - Recent advances in social choice theory and welfare economics - New mathematical approaches to social choice theory (differential and algebraic topology) -New aspects of the concepts of justice and optimality in welfare economics and social choice.

  • Size Effects in Thin Films

    • 1st Edition
    • Volume 2
    • C.R. Tellier + 1 more
    • G. Siddall
    • English
    A complete and comprehensive study of transport phenomena in thin continuous metal films, this book reviews work carried out on external-surface and grain-boundary electron scattering and proposes new theoretical equations for transport properties of these films. It presents a complete theoretical view of the field, and considers imperfection and impurity effects.

  • Mechanics of Material Behavior

    The Daniel C. Drucker Anniversary Volume
    • 1st Edition
    • Volume 6
    • G.J. Dvorak + 1 more
    • English
    Studies in Applied Mechanics, Volume 6: Mechanics of Material Behavior provides information pertinent to the fundamental aspects of the mechanics of material behavior. This book discusses the theory of plasticity and its application to the design of engineering components and structures. Organized into 24 chapters, this volume begins with an overview of the concept of material stability, which provided a unified approach for the derivation of stress–strain relations for the plastic behavior of metals. This text then examines the general equation for the plane-stress condition of orthotropic sheet material that is isotropic in its plane. Other chapters consider the developments in plasticity as applied to soil mechanics, with emphasis on applications to earthquake-induced landslide problems. This book discusses as well the restrictions on a hypothesized quasi-statically propagating planar surface. The final chapter deals with the effects of fiber orientation, delamination length, and ply thickness on the interlaminar fracture. This book is a valuable resource for engineers.

  • Fundamental Problems in Statistical Mechanics, VIII

    Proceedings of the Eighth International Summer School on Fundamental Problems in Statistical Mechanics, Altenberg, Germany, 28 June - 10 July, 1993
    • 1st Edition
    • H. Van Beijeren
    • English
    In keeping with the tradition of previous summer schools on fundamental problems in statistical mechanics, this book contains in depth treatemnts of topics of current interest in statistical mechanics and closely related fields. The topics covered include: dynamical impurity problems, quantum phase transitions, vortex liquids and glasses, quasicrystals and related aperiodic structures, pattern formation, turbulence, exactly solvable models, polymers, phase transitions in colloids, interfaces and two-dimensional gravity.

Browse by Publisher